动态绑定
来源:互联网 发布:朝鲜核试验 知乎 编辑:程序博客网 时间:2024/05/16 12:51
一个方法可以在父类中定义而在它的子类中覆盖。考虑下面的代码:
Object o new GeometricObject();System.out.println(o.toString());
这里的o调用哪个toString()呢?为了回答这个问题,我们首先介绍两个术语:声明类型和实际类型。一个变量必须被声明为某种类型。变量的这个类型称为它的声明类型。这里,o的声明类型是Object。一个引用类型变量可以是一个null值或者是一个对声明类型实例的引用。实例可以使用声明类型或它的子类型的构造方法创建。变量的实际类型是被变量引用的对象的实际类。这里,o的实际类型是GeometricObject,因为o指向使用new GeometricObject()创建的对象。o调用的到底是哪个toString()方法是由o的实际类型所决定的。这称为动态绑定。
动态绑定工作机制如下:假设对象o是类C1,C2,...,Cn的实例,其中C1是C2的子类,C2是C3的子类,...,Cn-1是Cn的子类。也就是说,Cn是最通用的类,C1是最特殊的类。在Java中,Cn是Object类。如果对象o调用一个方法p,那么Java虚拟机会依次在类C1,C2,...,Cn-1,Cn中查找方法p的实现,起到找到为止。一旦找到一个实现,就停止查找然后调用这个第一次找到的实现。
例如:
public class DynamicBindingDemo { public static void main(String[] args) { m(new GraduateStudent()); m(new Student()); m(new Person()); m(new object()); } public static void m(Object x) { System.out.println(x.toString()); }}class GraduateStudent extends Student {}class Student extends Person { public String toString() { return "Student"; }}class Person extends Object { public String toString() { return "Person"; }}
输出:
StudentStudentPersonjava.lang.Object@130c19b
匹配方法的签名和绑定方法的实现是两个独立的事情。引用变量的声明类型决定了编译时匹配哪个方法。编译器会在编译时,根据参数类型,参数个数和参数顺序找到匹配的方法。一个方法可能在几个子类中都被实现。Java虚拟机在运行时动态绑定方法的实现,这是由变量的实际类型决定的。