1. 動態(tài)分派

一個體現(xiàn)是重寫(override)。下面的代碼，運行結(jié)果很明顯。

public class App {
 
 public static void main(String[] args) {
  Super object = new Sub();
  object.f();
 }
}

 class Super {
 public void f() {
  System.out.println("super : f()");
 }
 
 public void f(int i) {
  System.out.println("super : f(int)");
 }
}

class Sub extends Super{
 
 @Override
 public void f() {
  System.out.println("sub : f()");
 }
 
 @Override
 public void f(int i) {
  System.out.println("sub : f(int)");
 }
 
 public void f(char c) {
  System.out.println("sub : f(char)");
 }
}

最終輸出sub : f();

那么虛擬機是怎么做到動態(tài)分派的呢？

不同的虛擬機有不同的實現(xiàn)，最常用的是使用虛方法表(Virtual Method Table)

2. 虛方法表

對于Super和Sub類，虛方法表大致如下：（靈魂畫師）

上面的靈魂畫作是什么意思呢？

虛方法表中存放著各個方法的實際入口地址。如果某個方法在子類中沒有被重寫，那子類的虛方法表里面的地址入口和父類相同簽名的方法的地址入口是一致的，都指向父類的實現(xiàn)入口。如果子類中重寫了這個方法，子類方法表中的地址將會替換為向子類實現(xiàn)版本的入口地址。

從上圖主要得出幾個信息：

a. 上圖的大部分方法，子類Super和Sub均沒有重寫，那么都指向父類Object的類型數(shù)據(jù)。f()和f(int)方法，父類子類都實現(xiàn)了，那么兩者就指向不同的實現(xiàn)地址。f(char)只在子類定義實現(xiàn)，自然指向子類的類型數(shù)據(jù)。

b. 為了程序?qū)崿F(xiàn)上的方便，具有相同簽名的方法，在父類，子類的虛方法表中都應(yīng)當具有一樣的索引序號，這樣當類型變換時，僅需要變更查找的方法表，就可以從不同的虛方法表中按索引轉(zhuǎn)換出所需要的入口地址。

3. 實例分析

以本文開頭的代碼進行分析。通過javap命令查看main方法的指令。

其中的invokevirtual指令詳細調(diào)用過程是這樣的：

1）指令中的#19指的是App類的常量池中第19個常量表的索引項。這個常量表(CONSTATN_Methodref_info)記錄的是方法f()信息的符號引用，JVM首先根據(jù)這個符號引用找到調(diào)用方法f()的類的全限定名com.khlin.Super，這是因為變量object被聲明為Super類型。

2) 在Super類型的方法表中查找方法f()，如果找到，則將方法f()在方法表中的索引項(具體值我不了解，這里將其記為index) 記錄到App類的常量池中第19個常量表中(常量池解析)。因此，如果Super類型方法表中沒有f()，那么即使Sub類型的方法表有該方法，也會報編譯失敗。

3）在調(diào)用invokevirtual指令前有一個aload_1指令，它會將開始創(chuàng)建中堆中的Sub對象的引用壓入操作數(shù)棧。然后invokevirtual指令會根據(jù)這個Sub對象的引用首先找到堆中的Sub對象，然后進一步找到Sub對象所屬類型的方法表。

4）這時，通過2）查找的index，可以定位到Sub類型方法表中的f()方法，然后通過直接地址找到該方法字節(jié)碼所在的內(nèi)存空間。這就是父類和子類相同簽名的方法索引序號一致的用處。

4. 綜合考慮：一個可能想錯的例子

將本文開頭的代碼里的main方法稍作修改，調(diào)用其他的方法。

public static void main(String[] args) {
   Super object = new Sub();
   char c = 'a';
   object.f(c);
  }

結(jié)果將輸出sub : f(int)

明明Sub方法里有完全一樣類型的f(char)方法，卻調(diào)用的是f(int).

相信通過前面的學(xué)習(xí)，已經(jīng)可以明白原因了。

在object.f(c)調(diào)用時，虛擬機先到Super類的方法表里，查找最為合適的方法。

Super類里沒有剛好參數(shù)為char的f(char)方法，按照前面靜態(tài)分派和參數(shù)類型自動轉(zhuǎn)換的學(xué)習(xí)，可以知道，編譯器使用了除了f(char)之外最為合適的方法f(int)。獲取到索引后，通過索引到實際對象的Sub方法表里找到f(int)方法，最終執(zhí)行的就是Sub類的f(int)方法。

該方法的字節(jié)碼指令證明了上述的論證。

以上這篇JVM 方法調(diào)用之動態(tài)分派(詳解)就是小編分享給大家的全部內(nèi)容了，希望能給大家一個參考，也希望大家多多支持腳本之家。

最新評論