方法調用並不等同於方法中的代碼被執行,方法調用階段唯一的任務就是確定被調用方法的版本(即調用哪一個方法),暫時還未涉及方法內部的具體運行過程。一切方法調用在Class文件裏面存儲的都只是符號引用,而不是方法在實際運行時內存佈局中的入口地址(也就是之前說的直接引用)。
解析
所有方法調用的目標方法在Class文件裏面都是一個常量池中的符號引用,在類加載的解析階段,會將其中的一部分符號引用轉化爲直接引用,這種解析能夠成立的前提是:方法在程序真正運行之前就有一個可確定的調用版本,並且這個方法的調用版本在運行期是不可改變的。換句話說,調用目標在程序代碼寫好、編譯器進行編譯那一刻就已經確定下來。這類方法的調用被稱爲解析(Resolution),在Java語言中符合這種要求的主要有靜態方法和私有方法。
方法調用指令
invokestatic
:用於調用靜態方法。invokespecial
:用於調用實例構造器<init>()方法、私有方法和父類中的方法。invokevirtual
:用於調用所有的虛方法。invokeinterface
:用於調用接口方法,會在運行時再確定一個實現該接口的對象。invokedynamic
:先在運行時動態解析出調用點限定符所引用的方法,然後再執行該方法。
前面4條調用指令,分派邏輯都固化在Java虛擬機內部,而
invokedynamic
指令的分派邏輯是由用戶設定的引導方法來決定的。
方法分類
在java語言中方法主要分爲“虛方法”和“非虛方法”。
- 非虛方法:在類加載的時候就可以把符號引用解析爲該方法的直接引用。比如:靜態方法、私有方法、實例構造器、父類方法和被final修飾的方法。
- 虛方法:需要在運行時才能將符號引用轉換成直接引用,如,分派。
分派
分派(Dispatch)它可能是靜態的也可能是動態的,按照分派依據的宗量數可分爲單分派和多分派。這兩類分派方式兩兩組合就構成了靜態單分派、靜態多分派、動態單分派、動態多分派4種分派組合情況。
靜態分派
依賴靜態類型來決定方法執行版本的分派動作,都稱爲靜態分派。靜態分派的最典型應用表現就是方法重載,虛擬機(或者準確地說是編譯器)在重載時是通過參數的靜態類型來作爲判定依據的。
public class StaticDispatch {
static abstract class Human {
}
static class Man extends Human {
}
static class Woman extends Human {
}
public void sayHello(Human guy) {
System.out.println("hello,guy!");
}
public void sayHello(Man guy) {
System.out.println("hello,gentleman!");
}
public void sayHello(Woman guy) {
System.out.println("hello,lady!");
}
public static void main(String[] args) {
Human man = new Man();
Human woman = new Woman();
StaticDispatch sr = new StaticDispatch();
sr.sayHello(man);
sr.sayHello(woman);
}
}
運行結果:
hello,guy!
hello,guy!
Human man = new Man();
這裏的Human
就是變量的“靜態類型”(Static Type),或者叫“外觀類型”(Apparent Type);Man
就是變量的“實際類型”(Actual Type)或者叫“運行時類型”(Runtime Type)。
動態分派
我們把在運行期根據實際類型確定方法執行版本的分派過程稱爲動態分派。最典型的表現就是重寫。
public class DynamicDispatch {
static abstract class Human {
abstract void sayHello();
}
static class Man extends Human {
public void sayHello() {
System.out.println("hello,Man!");
}
}
static class Woman extends Human {
public void sayHello() {
System.out.println("hello,Woman!");
}
}
public static void main(String[] args) {
Human man = new Man();
Human woman = new Woman();
man.sayHello();
woman.sayHello();
}
}
運行結果:
hello,Man!
hello,Woman!
我們通過javap命令看下main方法的字節碼:
...
public static void main(java.lang.String[]);
descriptor: ([Ljava/lang/String;)V
flags: ACC_PUBLIC, ACC_STATIC
Code:
stack=2, locals=3, args_size=1
0: new #2 // class com/xiaolyuh/DynamicDispatch$Man
3: dup
4: invokespecial #3 // Method com/xiaolyuh/DynamicDispatch$Man."<init>":()V
7: astore_1
8: new #4 // class com/xiaolyuh/DynamicDispatch$Woman
11: dup
12: invokespecial #5 // Method com/xiaolyuh/DynamicDispatch$Woman."<init>":()V
15: astore_2
16: aload_1
17: invokevirtual #6 // Method com/xiaolyuh/DynamicDispatch$Human.sayHello:()V
20: aload_2
21: invokevirtual #6 // Method com/xiaolyuh/DynamicDispatch$Human.sayHello:()V
24: return
LineNumberTable:
line 27: 0
line 28: 8
line 29: 16
line 30: 20
line 31: 24
LocalVariableTable:
Start Length Slot Name Signature
0 25 0 args [Ljava/lang/String;
8 17 1 man Lcom/xiaolyuh/DynamicDispatch$Human;
16 9 2 woman Lcom/xiaolyuh/DynamicDispatch$Human;
}
...
通過字節碼我們發現:在main方法中,sayHello()
方法的調用對應的符號引用是一樣的,com/xiaolyuh/DynamicDispatch$Human.sayHello:()V
。在這裏我們可以得出一個結論:在動態分派的情況下,在編譯時期我們是無法確定方法的直接引用的,那麼它是怎麼實現重載方法的調用的呢?問題關鍵是在invokevirtual
指令上,在執行invokevirtual
指令時,invokevirtual
指令會去確定方法的調用版本。
invokevirtual指令的運行過程
- 找到操作數棧頂的第一個元素所指向的對象的實際類型,記作C。
- 如果在類型C中找到與常量中的描述符和簡單名稱都相符的方法,則進行訪問權限校驗,如果通過則返回這個方法的直接引用,查找過程結束;不通過則返回java.lang.IllegalAccessError異常。
- 否則,按照繼承關係從下往上依次對C的各個父類進行第二步的搜索和驗證過程。4. 如果始終沒有找到合適的方法,則拋出java.lang.AbstractMethodError異常。
正是因爲invokevirtual指令執行的第一步就是在運行期確定接收者的實際類型,所以兩次調用中的invokevirtual指令並不是把常量池中方法的符號引用解析到直接引用上就結束了,還會根據方法接收者的實際類型來選擇方法版本,這個過程就是Java語言中方法重寫的本質。
當子類聲明瞭與父類同名的字段時,雖然在子類的內存中兩個字段都會存在,但是子類的字段會遮蔽父類的同名字段
動態分派的實現
因爲動態方法執行非常頻繁,並且動態分派的方法版本選擇需要在運行時,在實際接受者類型的方法元數據中搜索合適的目標方法,因此,Java虛擬機實現基於執行性能的考慮,虛擬機會爲類型在方法區中建立一個虛方法表(Virtual Method Table,也稱爲vtable,與此對應的,在invokeinterface執行時也會用到接口方法表——Interface Method Table,簡稱itable),使用虛方法表索引來代替元數據查找以提高性能。
虛方法表中存放着各個方法的實際入口地址。如果某個方法在子類中沒有被重寫,那子類的虛方法表中的地址入口和父類相同方法的地址入口是一致的,都指向父類的實現入口。如果子類中重寫了這個方法,子類虛方法表中的地址也會被替換爲指向子類實現版本的入口地址。在圖中,Son重寫了來自Father的全部方法,因此Son的方法表沒有指向Father類型數據的箭頭。但是Son和Father都沒有重寫來自Object的方法,所以它們的方法表中所有從Object繼承來的方法都指向了Object的數據類型。
虛方法表一般在類加載的連接階段進行初始化,準備了類的變量初始值後,虛擬機會把該類的虛方法表也一同初始化完畢。
單分派與多分派
方法的接收者與方法的參數統稱爲方法的宗量。分派基於多少種宗量,可以將分派劃分爲單分派和多分派兩種。單分派是根據一個宗量對目標方法進行選擇,多分派則是根據兩個及以上的宗量對目標方法進行選擇。
- 靜態分派需要根據靜態類型和方法參數兩個宗量來確定方法調用,所以屬於多分派。
- 動態分派只需要根據實際類型一個宗量來確定方法的調用,所以屬於單分派。
在動態分派的過程中,方法簽名是確定的,所以方法參數就不會變,方法調用就取決於參數的實際類型。
總結
解析調用一定是個靜態的過程,在編譯期間就完全確定,在類加載的解析階段就會把涉及的符號引用全部轉變爲明確的直接引用,不必延遲到運行期再去完成。分派(Dispatch)調用則要複雜許多,它可能是靜態的也可能是動態的,按照分派依據的宗量數可分爲單分派和多分派。這兩類分派方式兩兩組合就構成了靜態單分派、靜態多分派、動態單分派、動態多分派4種分派組合情況。