动态绑定

要点提示：方法可以沿着继承链的多个类中实现。JVM决定运行时调用哪个方法。

​ 方法可以在父类中定义而在子类中重写。例如：toString()方法在Object类中定义的，而在GeometricObject类中重写。思考下面代码：

Object o =new GeometricObject();
System.out.println(o.toString());

​ 这里的o调用哪个toString()呢？为了回答这个问题，我们首先介绍两个术语：声明类型和实际类型。一个变量必须被声明为某种类型。变量的这个类型成为它的声明类型（declared type）。这里，o的声明类型是Object。一个引用类型变量可以是一个null值或者一个对声明类型实例的引用。实例可以使用声明类型或它的子类型的构造方法创建。变量的实际类型（actual type）是被变量引用的对象的实际类。这里，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，那么JVM会依次在类C1，C2，....，Cn-1，Cn中查找方法p的实现，直到找到为止。一旦找到就实现，就停止查找，然后使用首先找到的实现。

DynamicBindingDemo.java

package ohhh;
​
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());
    }
    public static class GraduateStudent extends Student{
       
    }
    public static class Student extends Person{
        @Override
        public String toString(){
            return "Student";
        }
    }
    public static class Person extends Object{
        @Override
        public String toString(){
            return "Person";
        }
    }
}

运行结果：