day15

Java.
我们已经讨论了方法重写，即子类可以重写父类中的方法。一个被重写的方法在父类中实质上被隐藏，除非子类在重写的方法中使用super关键字，否则这个被重写的方法是不会被调用的。
我们首先要理解Java中的动态绑定机制。
在面向对象程序开发中，我们将一个方法调用与该方法所在的类关联起来，称为”绑定”。绑定分静态绑定和动态绑定，或者称为前期绑定和后期绑定。
所谓静态绑定，是指在程序执行前方法已经被绑定，此时由编译器或其它连接程序实现。针对Java简单的可以理解为程序编译期的绑定；这里特别说明一点，Java中的方法只有final、static、private和构造器是前期绑定。
所谓动态绑定，是指在运行时根据具体对象的类型进行绑定。Java中所有的普通方法，都采用动态绑定技术。通过动态绑定，JVM必须沿着继承层次树向下找，判断一个方法是否被重写。如果方法被重写了，在运行时就执行子类中的方法，而不是编译时调用的父类方法。
在Java中，多态的主要应用体现在两个方面：多态参数和异构集合。下面我们分别以示例详细说明。
1）多态参数
所谓多态参数，就是当方法的某个形式参数是一个引用的时候，与该引用兼容的任何对象都可以传递给方法，从而允许方法接受不同数据类型的形式参数。
例如，如下的方法有一个Employee类型的形式参数：
public void payEmployee(Employee e)
如果要调用payEmployee()方法，我们需要用一个Employee对象作为实际参数。如果Salary和Hourly继承自Employee类，那么Salary或Hourly对象也可以作为实际参数传给payEmployee()方法。因为通过多态，Salary或Hourly对象也是一个Employee对象。
现在，通过将Employee类型的引用作为形式参数，使payEmployee()成为了一个更通用的方法。现在，它可以接受Employee、Hourly、Salary对象作为实际参数。如果出现了一个继承自Employee类的新类，那么这个新类也可以传递给payEmplyee()。
代码清单9.8所示的Boss（老板）类包含了一个用Employee类型的引用作为形式参数的payEmployee()方法。在该方法中，强制转换形式参数为恰当的数据类型，并调用computePay()方法。
多态最常见的应用是创建一个不是同一类型，但是有共同父类的数据集合。不同对象的集合称为异构集合。
例如，假如我们要用一个数组来保存公司中员工的信息。在创建数组时，数组中所有的数据必须是同一类型。因为我们有Salary和Hourly两种类型的员工，所以要分别为Salary对象和Hourly对象各自创建一个数组。假如公司有200名员工，我们就需要两个数组来跟踪员工信息：
Salary[] salaries = new Salary[200];
Hourly[] hourlies = new Hourly[200];
用两个不同的数组有几个缺点。首先，每个类型用200个引用是浪费内存。如果有一段时间是200名Salary类型员工，没有Hourly类型员工，但是过了一段时间是150名Salary类型员工，50名Hourly类型员工，那又该如何分配呢？假如我们开始定义数组时元素小一些，但是如何两个数组中任何一个太小的话，就需要实例化一个更大的数组，然后将小数组中的数据复制到大数组中。
第二个缺点是如果新添加一个员工类型，那么就要修改代码，添加一个新的数组，同时这个数组应该定义为多大的问题又出来了。
通过创建一个异构集合，来容纳公司中所有员工，可以避免以上问题。Employee类是一个共用的父类，所以我们可以通过多态创建一个Employee引用的数组：
Employee[] company = new Employee[200];
这样，company数组就可以容纳200个Employee引用，每个引用代表一个Salary或者Hourly对象。如果将来Employee的新子类出现了，一样可以出现在company数组中。
从以上示例，我们可以看出：父类类型的引用可以调用父类中定义的所有属性和方法，而对于子类中定义而父类中没有的方法，它是无可奈何的；同时，父类中的一个方法只有在父类中定义而在子类中没有重写的情况下，才可以被父类类型的引用调用；对于父类中定义的方法，如果子类中重写了该方法，那么父类类型的引用将会调用子类中的这个方法，这就是动态绑定。也就是说：在多态机制中，是由被引用对象的类型，而不是引用变量的类型，决定了调用谁的成员方法。但是，这个被调用的方法必须是在父类中定义过的，也就是说被子类重写的方法 。
因此，对于多态，我们可以总结它为：
使用父类类型的引用指向子类的对象。
该引用只能调用父类中定义的方法，不能调用子类中独有的方法。
如果子类中重写了父类中的一个方法，那么在调用这个方法的时候，将会调用子类中的这个方法。
在多态中，子类可以调用父类中的所有方法。
在Java中，所有普通方法默认都是动态绑定，要避免动态绑定默认行为的唯一方法是将方法声明为final。声明为final的方法不能被重写，所以JVM不需要沿着继承层次树向下寻找，并试图判断子类是否重写该方法。基于此原因，final方法可以提升性能，因为避免了动态绑定的开销。