JAVA：一篇文章理清多态

　　很多人总是喜欢，或者说错误地将JAVA中的多态理解得很复杂，最常见的错误说法就是所谓“方法的多态”，他们会给出类似下面的例子来佐证“多态是指方法的多态”：

//Enginner和Mechanic是Employee的子类，构造函数参数均为月薪salary
Employee a=new Enginner(100);
Employee b=new Mechanic(100);
 
//getAnnualSalary是Employee类的方法，用于计算并返回年薪
System.out.println(a.getAnnualSalary());//输出1500，Enginner年薪为15倍月薪
System.out.println(b.getAnnualSalary());//输出1300，Mechanic年薪为13倍月薪

　　从结果上看，a、b都是Employee类对象变量，然而对a调用getAnnualSalary()返回的是15*salary，对b调用getAnnualSalary()却返回了13*salary，好像的确是所谓“方法的多态”，毕竟对同一类对象变量调用同一个方法，内部实现方式却出现不同了嘛。基于这样的想法，甚至有一些人将多态扩展到了更广泛、更复杂的情况，比如下面这种，连泛型都算进了多态中：

　　

　　那么，多态真的是有那么多种情况吗？真的是只要方法名相同，而参数或者内部实现方式不同，就要看成是多态吗？不不不，这种说法纯属扯淡，JAVA中的多态有且只有一种情况：对象变量是多态的。这个理解至关重要，可以说对于多态的概念，要记住的就是这个点。但是，为什么在上面的例子中，对a和b调用同一个方法，会有不同的效果呢？注意，这是方法调用的知识范畴，只是恰好和多态相关罢了。下面我们就来理清一下多态与方法调用的知识。

　　JAVA中的多态是由继承机制带来的，正是因为有继承机制，所以才存在多态。简单来说，多态的起因就是JAVA中允许一个父类对象变量引用一个子类对象（至于为什么我们之后会说）：

//Son是Father的子类
Father variable=new Son(); //variable是一个Father类对象变量，但它实际引用的对象却是Son类对象

　　由于父类对象变量可以引用子类对象，所以当我们看到一个A类对象变量时，我们不能一口咬定它所引用的对象就是A类对象，它也有可能引用B类对象、C类对象……只要它引用的对象是A类的子类对象就行。这就是多态：对象变量实际引用的对象的类型不一定是对象变量声明的类型。

　　但是单纯的多态并没卵用，我令Employee类对象变量a引用了一个Enginner对象，然后呢，即便我在Enginner中重写了getAnnualSalary以返回15薪，在对a调用getAnnualSalary时依然返回12薪吗？（假设Employee类中getAnnualSalary返回12*salary）那有什么意义？

　　所以实际上，多态的存在，必须要有方法调用时的动态绑定支持才有意义。所谓方法调用的动态绑定，就是：虚拟机会调用与变量所引用的实际类型最匹配的那个方法。

　　举例来说，Employee类的getAnnualSalary返回12*salary，Enginner类重写了该方法以返回15*salary，那么当出现下述情况时：

Employee a=new Enginner(100);
int annualSalary=a.getAnnualSalary();

　　虚拟机会先判断变量a所引用的对象实际上是什么类型（此例实际类型为Enginner），然后查看其实际类型是否重写了该方法（此例Enginner重写了Employee中的getAnnualSalary方法），如果是则调用其实际类型中的该方法（此例也即调用Enginner类中返回15*salary的getAnnualSalary），否则调用a声明的类型（即Employee）中的该方法。

　　通过多态+动态绑定，我们就可以快速地实现一些效果。比如说写一个抽象类List，声明一个get方法以获取列表中指定元素，声明一个set方法以设置列表中指定元素，然后实现一个非抽象子类LinkedList，内部采用链表结构存储列表，再实现一个ArrayList，内部采用数组结构存储列表。这样一来，我们就可以利用多态+动态绑定这样写代码：

List a=new ArrayList();
oldValue=a.get(i);
a.set(i,newValue);

　　如果我们想要使用一个可以良好支持随机访问的列表，我们就可以像上面这样写，即令a引用一个ArrayList对象，如果哪一天我们希望此处改用使用良好支持动态增减的列表了，只需要将

List a=new ArrayList();

　　改为：

List a=new LinkedList();

　　即可，而其余代码不需要改动。通过方法的动态绑定，对get和set的调用都将自动成为对LinkedList类中的方法调用。这样一来，改变列表的实际存储结构就成了一个很简单的事情。

　　此外，多态+动态绑定还可以在“只关注通用方法”时起到简化代码的效果。什么意思呢？举例来说就是Enginner和Mechanic有各自不同的，在Employee类基础上新增的方法。但是我们在统计员工薪水时，并不想关注它们各自独有的东西，只想关注同样作为Employee都会有的年薪。那我就可以将各个Enginner、Mechanic都放进一个Employee数组中，然后遍历该数组，对每个元素调用getAnnualSalary并输出，而不用为Enginner创个数组遍历一遍，再对Mechanic创个数组遍历一遍。

　　当然，多态+动态绑定还有许多其他用途，尤其是在JAVA的各集合类应用上，此处不予细谈。

　　如果说动态绑定是解决了多态的方法调用问题，那么静态绑定就是为了快速实现（方法）重载机制。所谓重载机制就是指在JAVA中，允许一个方法的名字与已存在的另一个方法相同，只要这两个方法的参数个数或类型不同即可。这种多个方法名字相同、参数不同的情况，就是方法重载。此处所说的“方法”也可以是构造器，因此这种机制叫做：重载。

　　要想实现重载，就得在调用方法时，根据调用时所给的参数决定到底调用哪个方法。但是到底该什么时候确定这件事呢？在JAVA中，这个确认步骤在编译器将源代码翻译为字节码时确定，也即由编译器javac根据方法调用时所给的参数个数、类型来确定实际该调用哪个方法，从而实现重载。因为是在编译时确定的，所以这个绑定过程就是静态绑定。

　　但是需要注意的是，静态绑定并不算真正的“绑定”，它其实是一个筛选。什么意思呢？举例来说，假设Employee类的getAnnualSalary还有一个带参数的版本：getAnnualSalary(double bonusRate)，即给定一个“奖金比例”来计算年薪，那么当对一个Employee类对象变量a调用getAnnualSalary()时，编译器会先进行静态绑定，即筛选，从而确定此处的方法调用不可能是带参数的版本，但有可能是Employee类的该方法，也有可能是Enginner或Mechanic类的该方法，经过静态绑定后，剩下了三种可能，再由虚拟机在运行时通过动态绑定确定真正调用的方法。

　　其实重载也可以做成让虚拟机来做的事情，但是通过编译器的静态绑定筛选掉一部分方法，就可以令虚拟机在确定实际调用方法时减少一些工作量，只关注于动态绑定的可能方法上。所以说静态绑定是为了快速实现重载。

　　有关多态、方法调用的相关知识当然还有许多细节，比如一个方法x(int)和重载的方法x(double)，在调用x(3)时既可以是调用x(int)，也可以是调用x(double)，到底选哪个？为什么重载不允许仅仅返回类型不同？不过这些细节问题并不是本文想要讨论的东西，本文要说的基本上就是上面那些提纲挈领的内容。

　　总的来说，在学习JAVA多态时最重要的点就是要明白多态就是指对象变量的多态，不要去把多态这个概念复杂化。至于所谓“方法的多态”，其实就是方法调用的静态绑定（筛选）和动态绑定。