如果是private,static方法,final方法或者构造器,那么编译器将可以准备知道应该调用哪个方法,我们将这种调用方式
称为静态绑定。与此对应的是,调用方法依赖于隐式参数的实际类型,并且在运行时动态绑定。
当程序运行时,并且采用动态绑定调用方法时,虚拟机一定调用与X所引用对象的实际类型最合适的那个类的方法。假设
X的实际类型是D,它是C类的子类。如果D类定义了方法f(String),就直接调用它。否则,将在D类的超类中寻找f(String),以此类推。
每次调用方法都要进行搜索,时间开销相当大。因此,虚拟机预先为每个类创建一个方法表,其中类出了所有方法的签名和
实际调用的方法。这样依赖,在真正调用方法的时候,虚拟机查找这个表就行了。在前面的例子中,虚拟机搜索D类的方法表,
以便寻找与调用f(String) 相匹配的方法。这个方法既有可能是D.f(String),也有可能是X.f(String),这里的X是D的超类。
如果调用super.f(param),编译器将对隐式参数超类的方法进行搜索。
由于getSalary 不是private方法、static 方法或final方法,所以将采用动态绑定。
在运行的时候,调用e.getSalary()的解析过程
1.首先,虚拟机提取e的实际类型的方法表。既有可能是Employee、Manager的方法表,也有可能是Employee类的其他子类的
方法表
2.接下来,虚拟机搜索定义个体Salary签名的类。此时,虚拟机已经知道应该调用哪个方法
3.最后,虚拟机调用方法。
动态绑定有一个重要非常重要的特性:无需对现存的代码进行修改,就可以对程序进行扩展。假设增加一个新类XXX,并且变量e有可能引用这个类的对象,我们不需要对包含调用e.getSalary()的代码进行重新编译。如果恰好e引用一个XXX类对象,就会自动调用XXX.getSalary()方法
final修饰的类不可以被继承,域也可以被声明为final。对于final域来说,构造对象之后就不允许改变它们的值了。不过如果将一个类修饰final,只有方法为final类型,域不是
抽象类Person 有个抽象方法
Person p=new Student() 可以,p.getXXX由于不能构造Person类的对象,所以变量p永远不会引用到Person对象,而是引用子类Student 对象