今天我們來填坑，在之前的一篇文章深挖?向對象編程三?特性 --封裝、繼承、多態中 我們遺留了一個問題：當父類引用指向子類對象時，JVM是如何知曉調用的是哪個子類的方法？

動態綁定和靜態綁定

我們下文還是用之前文章的例子，簡單修改一下：

public class ClassTest {

    static class Animal {
        public void eat(){
            System.out.println("動物吃飯！");
        }
        public void work(){
            System.out.println("動物可以幫助人類干活！");
        }
    }

    static class Cat extends Animal {
        public void eat() {
            System.out.println("吃魚");
        }
        public void sleep() {
            System.out.println("貓會睡懶覺");
        }
    }

    static class Dog extends Animal {
        public void eat() {
            System.out.println("吃骨頭");
        }
    }

    public static void main(String[] args) throws Exception {
        Animal cat=new Cat();
        cat.eat();
        cat.work();
       //cat.sleep();//此處編譯會報錯。
    }

}

當父類引用指向子類對象時，也就是Animal cat=new Cat();這個也叫做向上轉型，重寫式多態。

這種多態其實是通過 動態綁定 （dynamic binding）技術來實現，是指 在執行期間判斷所引用對象的實際類型，根據其實際的類型調用其相應的方法 。也就是說，只有程序運行起來，你才知道調用的是哪個子類的方法。這種多態可通過函數的重寫以及向上轉型來實現。

與動態綁定相對應的就是 靜態綁定 ，指的是 在JVM解析時便能夠直接識別目標方法的情況 。網上有些文章說，重載和靜態綁定直接掛鉤，這其實是不完全正確的，筆者舉個極端的例子：當某個類中的重載方法被它的子類重寫時，那它其實通過了動態綁定。

重載指的是方法名相同而參數類型不相同的方法之間的關系，重寫指的是方法名相同并且參數類型也相同的方法之間的關系

需要注意的是： 本文一直在說程序在運行期間發生的事，而方法調用在靜態階段（編譯） 以聲明的靜態類型為準 ，不管符號引用指向的是哪個實例對象。編譯成字節碼再進入JVM,進行類加載

我們回到剛剛的例子上：cat.eat();這句的結果打印：吃魚。程序這塊調用我們子類Cat定義的方法，而不是父類的同名方法。cat.work();這句的結果打印：動物可以幫助人類干活！我們上面Cat類沒有定義work方法，但是卻使用了父類的方法，這是不是很神奇。

其實此處調的是父類的同名方法cat.sleep();這句 編譯器會提示 編譯報錯。表明：當我們當子類的對象作為父類的引用使用時，只能訪問子類中和父類中都有的方法，而無法去訪問子類中特有的方法。

雖然向上轉型是安全的。但是缺點是：一旦向上轉型，子類會丟失的子類的擴展方法，其實就是 子類中原本特有的方法就不能再被調用了。所以cat.sleep()這句會編譯報錯。

由此我們可以發現規律：當發生向上轉型，去調用方法時，首先檢查父類中是否有該方法，如果沒有，則編譯錯誤；如果有，再去調用子類的同名方法。如果子類沒有同名方法，會再次去調父類中的該方法。這種根據對象的實際類型而不是聲明類型來選擇并調用方法的過程也叫做 動態分派 (Dynamic Dispatch)但如果直接這樣去查找，會發生循環查找，效率較低，為了解決這個問題，虛方法表 就出現了，也就是動態綁定的底層原理。

虛方法表與虛方法

JVM 虛方法表 （Virtual Method Table）,也稱為vtable,是動態調度用來依次調用虛方法的一種表結構，是一種特殊的 索引表 。

面向對象編程，會頻繁地觸發 動態分派 ，如果每次動態分配的過程都要重新在類的方法 元數據中搜索合適的目標的方法，就可能影響到執行效率，所以JVM選擇了 用空間換取時間的策略來實現動態綁定， 為每個類生成一張虛方法表 ，然后直接通過虛方法表，使用索引來代替循環查找，快速定位目標方法。

在類加載器與雙親委派機制一網打盡一文中，我們知道 類的生命周期一般有如下圖有7個階段，其中階段1-5為類加載過程，驗證、準備、解析統稱為連接虛方法表會在類加載的連接階段被創建，JVM掃描類的方法信息，識別哪些是 虛方法 ，并在虛方法表中儲存其對應的 方法的相關信息以及這些 方法在虛擬機內存方法區中的入口地址 。這入口地址就是該方法的虛擬方法表的索引，JVM可以通過這個索引地址找到對應的方法。也就是說，每個類的對象都會擁有自己的虛方法表

那什么是虛方法和非虛方法？

非虛方法：如果方法在編譯期就確定了具體的調用版本，則這個版本在運行時是不可變的，這樣的方法稱為非虛方法靜態方法。比如私有方法，final 方法，實例構造器，父類方法都是非虛方法，除了這些以外都是虛方法

當Java中發生向上轉型，呈現重寫式多態時，如果子類沒有重寫父類方法，子類并不會復制一份父類的方法到自己的虛方法表中，就會去父類的虛方法表中查找 目標方法。

子類的重寫的方法和父類中的同名方法在字節碼層面方法索引通常來說是一樣的，如果在子類找到方法eat(),其索引是0，發現不是要調用的方法后，而是要調用父類的eat(),就會直接去父類方法索引為0的地方查找，這樣能進一步提高查找效率。

JVM方法調用的指令

從JVM底層來了解方法調用，我們還需知曉 在JVM中和方法調用有關的指令有5種：

1. invokeinterface :調用接口中的方法，實際上是在運行期決定的，決定到底調用實現該接口的哪個對象的特定方法。
2. invokestatic :調用靜態方法。
3. invokespecial : 調用 私有實例方法 、構造器方法；使用super關鍵詞調用父類的實例方法、構造器；調用所實現接口的default方法
4. invokevirtual :調用 非私有實例方法 ，也就是虛方法，運行期動態查找的過程。
5. invokedynamic : 調用動態方法，JDK7新加入的一個虛擬機指令，相比于之前的四條指令，他們的分派邏輯都是固化在JVM內部，而invokedynamic則用于處理新的方法分派：它允許應用級別的代碼來確定執行哪一個方法調用，只有在調用要執行的時候，才會進行這種判斷,從而達到動態語言的支持。(Invoke dynamic method)

我們javap來反編譯上文例子生成的class文件ClassTest.class:

public com.zj.ideaprojects.demo.test4.ClassTest();
    descriptor: ()V
    flags: ACC_PUBLIC
    Code:
      stack=1, locals=1, args_size=1
         0: aload_0
         1: invokespecial #1                  // Method java/lang/Object.":()V
         4: return
      LineNumberTable:
        line 3: 0

  public static void main(java.lang.String[]) throws java.lang.Exception;
    descriptor: ([Ljava/lang/String;)V
    flags: ACC_PUBLIC, ACC_STATIC
    Code:
      stack=2, locals=2, args_size=1
         0: new           #2                  // class com/zj/ideaprojects/demo/test4/ClassTest$Cat
         3: dup
         4: invokespecial #3                  // Method com/zj/ideaprojects/demo/test4/ClassTest$Cat.":()V
         7: astore_1
         8: aload_1
         9: invokevirtual #4                  // Method com/zj/ideaprojects/demo/test4/ClassTest$Animal.eat:()V
        12: aload_1
        13: invokevirtual #5                  // Method com/zj/ideaprojects/demo/test4/ClassTest$Animal.work:()V
        16: return
      LineNumberTable:
        line 30: 0
        line 31: 8
        line 32: 12
        line 34: 16
    Exceptions:
      throws java.lang.Exception

我們可以發現：Java 中所有非私有實例方法調用都會被編譯成 invokevirtual指令，而接口方法調用都會被編譯成 invokeinterface 指令。這兩種指令，均屬于Java 虛擬機中的 虛方法調用 ，會進行函數的動態綁定。

invokevirtual指令在執行時，首先在運行期確定方法接收者的實際類型，并不是把常量池中方法的符號引用（在這里相當于常量池里的方法信息）解析到直接引用上就結束了，而是接著根據方法接收者的實際類型來選擇方法版本，這個過程也就是Java多態的本質。

針對于invokeinterface指令來說，虛擬機會建立一個叫做接口方法表的數據結構(interface method table，簡稱itable)，和虛方法表類似。

另外，當我們了解invokespecial指令,invokestatic指令時，可以知曉，父類引用在調用靜態方法，私有方法或是接口default方法是不會發生多態，而是直接調用聲明類型的方法。

在Java 8中Lambda表達式和默認方法時，底層會生成和使用 invokedynamic ，很有意思的一個指令，本文就不詳細介紹該指令了，以后有機會再講講。

小結

小結一下，本文主要講解了方法調用在Java虛擬機的實現方式，以及虛方法表在 JVM 方法調用中充當了一個中介的角色，使得 JVM 能夠實現多態性和動態分派。最后帶大家了解一下JVM常見的方法調用的指令，Java可不僅僅只有CRUD哦

參考資料：

https://docs.oracle.com/javase/specs/jvms/se8/html/jvms-2.html#jvms-2.5.2

《Java虛擬機規范》