多态是面向对象三大特性之一(另外两个叫封装和继承),也是三兄弟中最不好理解的一个。网上流行的说法是分两类多态:编译时和运行时。有的人把重载、泛型算到编译时多态头上,有的人不同意,我站在后面这一队。为啥?因为java语言的经典著作《Thinking in JAVA》里说:多态通过分离做什么和怎么做,从另一个角度将接口和实现分离开来。这里的接口泛指基类、接口类,因此多态应该基于类的继承或者接口的实现而言,而重载、泛型并未涉及。
先说继承,看例子:
父类:
abstract classDeath
{abstract voidprintDeathWay();
}
子类:
public class AccidentDeath extendsDeath
{
@Override
publicvoidprintDeathWay()
{
System.out.println("I'm killed in an accident.");
}
}
public class DisasterDeath extendsDeath
{
@Override
publicvoidprintDeathWay()
{
System.out.println("I'm killed by a disaster.");
}public static voidmain(String[] args)
{
Death death= newAccidentDeath();
death.printDeathWay();//多态:Death -> AccidentDeath
death = new DisasterDeath(); //多态:Death -> DisasterDeath
death.printDeathWay();
}
}
执行结果:
I'm killed in an accident.
I'm killed by a disaster.
我们看到父类Death执行了printDeathWay方法有两个不同的子类结果,因为子类分别重写了该方法,这就是多态。同样的,如果把Death的abstract class改为interface,子类extands改为implememts,执行结果仍然不变。接口的行为由实现类分别去处理。这里抽象方法printDeathWay调用的时候用到了动态绑定。
啥是动态绑定?将一个方法调用同一个方法主体关联起来被称为绑定。如果在程序执行之前就绑定了,就叫前期绑定或静态绑定,比如static方法、私有方法或者构造器,编译器很明确该调用哪个方法。比如上面的main方法就是一个static方法,编译器在执行main方法前就知道去调用该main方法。但如果是在运行时根据对象的类型进行绑定,那么就叫后期绑定,也叫做动态绑定或运行时绑定。动态绑定是java的默认方式(除了上面静态绑定之外的方法调用),正式因为天赋此种异凛,才导致了多态特性的诞生。那么动态绑定怎么做到的呢?JVM为每个方法签名和实际调用方法建立映射关系,每次调用方法时JVM都去映射关系表里查找。比如上面调用death.printDeathWay()时,JVM先找到death的具体类型(比如是AccidentDeath),然后查找该类的方法映射表(printDeathWay() -> AccidentDeath.printDeathWay()),最后调用AccidentDeath.printDeathWay()。
最后再说下重载的情况:
public voidprintSomething(String msg)
{
System.out.println(msg);
}public void printSomething(intcount)
{
System.out.println(count);
}
上面的两个方法名称相同,但参数类型不同,乍一看也有点多态的意思,同一个方法调用支持不同的类型,但我们要明白,重载是横向的,而多态是纵向的。泛型也是同样的道理,它们都是编译器能识别的(重载如果方法签名一样则编译报错,泛型传入类型不一致也编译报错)。只有纵向的继承(包括接口的实现)才是多态的特征,这就是为什么我认为没有编译时多态这一说法的根源。