今天我們來填坑,在之前的一篇文章深挖⾯向對象程式設計三⼤特性 --封裝、繼承、多态中 我們遺留了一個問題:當父類引用指向子類對象時,JVM是如何知曉調用的是哪個子類的方法?
動态綁定和靜态綁定
我們下文還是用之前文章的例子,簡單修改一下:
csharp複制代碼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種:
- invokeinterface:調用接口中的方法,實際上是在運作期決定的,決定到底調用實作該接口的哪個對象的特定方法。
- invokestatic:調用靜态方法。
- invokespecial: 調用私有執行個體方法、構造器方法;使用super關鍵詞調用父類的執行個體方法、構造器;調用所實作接口的default方法
- invokevirtual:調用非私有執行個體方法,也就是虛方法,運作期動态查找的過程。
- invokedynamic: 調用動态方法,JDK7新加入的一個虛拟機指令,相比于之前的四條指令,他們的分派邏輯都是固化在JVM内部,而invokedynamic則用于處理新的方法分派:它允許應用級别的代碼來确定執行哪一個方法調用,隻有在調用要執行的時候,才會進行這種判斷,進而達到動态語言的支援。(Invoke dynamic method)
我們javap來反編譯上文例子生成的class檔案ClassTest.class:
yaml複制代碼 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."<init>":()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."<init>":()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哦