后期绑定

绑定指的是一个方法的调用与方法所在的类（方法主体）关联起来分为：动态绑定（在对象中安插某种信息）、静态绑定

java动态绑定的过程：（static、fianal(包括私有方法和成员变量）属于前期绑定 成员变量为前期绑定。运行时（动态）绑定针对的范畴只是对象的方法。将方法声明为final类型的一是为了防止方法被覆盖，二是为了有效的关闭java中的动态绑定

虚拟机提取对象的实际类型的方法表

虚拟机搜索方法签名

调用方法

Parent p = new Children();
其具体过程细节如下：
1：编译器检查对象的声明类型和方法名。假设我们调用x.f(args)方法，并且x已经被声明为C类的对象，那么编译器会列举出C类中所有的名称为f的方法和从C类的超类继承过来的f方法
2：接下来编译器检查方法调用中提供的参数类型。如果在所有名称为f 的方法中有一个参数类型和调用提供的参数类型最为匹配，那么就调用这个方法，这个过程叫做“重载解析”  
3：当程序运行并且使用动态绑定调用方法时，虚拟机必须调用同x所指向的对象的实际类型相匹配的方法版本。假设实际类型为D(C的子类)，如果D类定义了f(String)那么该方法被调用，否则就在D的超类中搜寻方法f(String),依次类推

重载函数的实际调用版本由编译器绑定决定，而覆盖函数的实际调用版本由动态绑定决定：

class Base{  
    public void foo(Base x){  
        System.out.println("Base.Base");  
    }  
      
    public void foo(Derived x){  
        System.out.println("Base.Derived");  
    }  
}  
class Derived extends Base{  
  public void foo(Base x){  
        System.out.println("Derived.Base");  
    }  
      
    public void foo(Derived x){  
        System.out.println("Derived.Derived");  
    }  
}  
class Main{  
    public static void whichFoo(Base arg1, Base arg2){  
        arg1.foo(arg2);  
    }  
  
    public static void main(String[] args)}{  
        Base b = new Base();  
        Derived d = new Derived();  
      
        whichFoo(b,b);  
        whichFoo(b,d);  
        whichFoo(d,b);  
        whichFoo(d,d);              
    }  
}  

则此处whichFoo重载方法编译器决定：形参arg2的类型是Base,因此不管arg2实际引用的是什么类型，arga.foo(arg2)匹配的都是public void foo(Base x)

覆盖方法的实际版本由动态绑定决定：根据实际引用的类型决定用Base还是Derived版本中的foo(Base x)函数