Java的動態綁定機制

• 靜態綁定發生在編譯時期，動態綁定發生在運行時
• 使用private或static或final修飾的變量或者方法，使用靜態綁定。而虛方法（可以被子類重寫的方法）則會根據運行時的對象進行動態綁定。
• 靜態綁定使用類信息來完成，而動態綁定則需要使用對象信息來完成。
• 重載(Overload)的方法使用靜態綁定完成，而重寫(Override)的方法則使用動態綁定完成

In Java, all non-static methods are by default "virtual functions." Only methods marked with thekeyword final, which cannot be overridden, along with private methods, which are not inherited, are non-virtual.

所以動態綁定規則和C++一致。

Java的動態綁定又稱爲運行時綁定。意思就是說，程序會在運行的時候自動選擇調用哪兒個方法。

一、動態綁定的過程：

　　例子：

public class Son extends Father
Son son = new Son();
son.method();

　　1. 首先，編譯器根據對象的聲明類型和方法名，搜索相應類(Son)及其父類(Father)的“方法表”，找出所有訪問屬性爲public的method方法。

　　　 可能存在多個方法名爲method的方法，只是參數類型或數量不同。

　　2. 然後，根據方法的“簽名”找出完全匹配的方法。

　　　 方法的名稱和參數列表稱爲方法的簽名。

　　　 在Java SE 5.0 以前的版本中，覆蓋父類的方法時，要求返回類型必須是一樣的。現在子類覆蓋父類的方法時，允許其返回類型定義爲原始類型的子類型。

public Father getFather(){...}  //父類中的方法
public Son getFather(){...}     //子類覆蓋父類中的getFather()方法

　　3. 如果是private、static、final 方法或者是構造器，則編譯器明確地知道要調用哪兒個方法，這種調用方式成爲“靜態調用”。

　　4. 調用方法。

　　　 如果子類Son中定義了 method() 的方法，則直接調用子類中的相應方法；如果子類Son中沒有定義相應的方法，則到其父類中尋找method()方法。

二、Demo

　　1. 子類重寫父類中的方法，調用子類中的方法

public class Father{
    public void method(){
        System.out.println("父類方法："+this.getClass());
    }
}
public class Son extends Father{
    public void method(){
       System.out.println("子類方法"+this.getClass());
    }
    public static void main(String[] args){
        Father instance = new Son();
        instance.method();
    }
}
//結果：子類方法：class Son

　　2. 子類沒有重寫父類中的方法，所以到父類中尋找相應的方法

public class Father{
public void method(){
        System.out.println("父類方法："+this.getClass());
    }
}
public class Son extends Father{
public static void main(String[] args){
        Father instance = new Son();
        instance.method();
    }
}
//結果：父類方法：class Son

三、動態綁定只是針對對象的方法，對於屬性無效。因爲屬性不能被重寫。

public class Father{
    public String name = "父親屬性";
}
public class Son extends Father{
    public String name = "孩子屬性";

    public static void main(String[] args){
        Father instance = new Son();
        System.out.println(instance.name);
    }
}
//結果：父親屬性

【Stay Hungry, Stay Foolish】