多態(tài)

面向?qū)ο蟮木幊陶Z言里，「多態(tài)」是一個至關(guān)重要的概念。我們常說，面向?qū)ο蟮谋举|(zhì)，是方法與數(shù)據(jù)的綁定。那對于一個擁有繼承關(guān)系的類之間，方法的綁定，是終是子類「重寫」父類的方法，通過父類的引用指向子類的對象，實現(xiàn)運行時的多態(tài)。

[[327572]]

說起來比較繞，我們先以僅次于Hello World 著名的 「動物 - 狗」代碼來說明多態(tài)，然后再來分析在 JVM 層面，多態(tài)是怎樣實現(xiàn)的。

package com.example.demo; 
public class Demo { 
    public static void main(String[] args) { 
        Animal a = new Animal(); 
        a.say(); 
        Dog d = new Dog(); 
        d.say(); 
        Animal ad = new Dog(); 
        ad.say(); 
    } 
} 
class Animal { 
    public void say() { 
        System.out.println("Animal say"); 
    } 
    public void play() { 
        System.out.println("play..."); 
    } 
} 
class Dog extends Animal { 
    public void say() { 
        System.out.println("Dog say"); 
    } 
} 

輸出的內(nèi)容對于習(xí)慣了面向?qū)ο蟮?Java 開發(fā)者來說都比較熟悉

Animal say 
Dog say 
Dog say 

那虛擬機是怎樣知道到底要調(diào)用 Animal 的 say 還是 Dog 的say呢?

咱們從字節(jié)碼的層面來看一下。

0 new #2 <com/example/demo/Animal> 
 3 dup 
 4 invokespecial #3 <com/example/demo/Animal.<init>> 
 7 astore_1 
 8 aload_1 
 9 invokevirtual #4 <com/example/demo/Animal.say> 
12 new #5 <com/example/demo/Dog> 
15 dup 
16 invokespecial #6 <com/example/demo/Dog.<init>> 
19 astore_2 
20 aload_2 
21 invokevirtual #7 <com/example/demo/Dog.say> 
24 new #5 <com/example/demo/Dog> 
27 dup 
28 invokespecial #6 <com/example/demo/Dog.<init>> 
31 astore_3 
32 aload_3 
33 invokevirtual #4 <com/example/demo/Animal.say> 
36 return 

你發(fā)現(xiàn)沒有，在字節(jié)碼的第9行，和第33行，分別對應(yīng)到 d.say() 和 ad.say() ,但指令內(nèi)容其實是一樣的。這就神奇了。

在這兩個方法執(zhí)行前，第8行和第32行，會有一個aload的操作，是把這兩個對象的引用 壓到棧頂，給后面的操作用。這兩個對象，一般也被稱為方法的接收者(Receiver)，如果熟悉 Golang等語言的朋友，對這個概念也不陌生。

從9行和第33行看，無論是方法調(diào)用的字節(jié)碼指令還是參數(shù)，都指向了常量池的第4項。都是一樣的，但最終結(jié)果并不相同。這里的重點在于 invokevirtual 這個指令的多態(tài)指行查找過程，即根據(jù)對象的 vtable 在運行時定位方法。

啥是 vtable?

前面的內(nèi)容提到指令執(zhí)行時從棧頂獲取當前方法的「接收者」，通過invokerirtual 來執(zhí)行這個接者者對應(yīng)的方法。 注意這里的 virtual，和C++的虛方法類似。這個咱們不提，只說Java 的。

對象都有一個自己的「方法表」，這個表里除了自己的方法，還有從父類繼承來的方法，甚至重寫的父類的方法。所以，對應(yīng)于重寫與重載，體現(xiàn)在方法表里也有所區(qū)別。每個子類繼承父類的時候，都將直接復(fù)制一份父類的方法表，而對于父類方法的重寫，會直接更新方法表里相同順序的這個方法。

而重載，本質(zhì)上由于簽名及參數(shù)的區(qū)別，是一個新的方法，在方法表里會是新增一個元素。

這里的這個方法表，就是咱們說的 vtable(Virtual Method Table)，表里的每個方法，對應(yīng)的是它的實際執(zhí)行入口地址。如果沒有重寫，那父類和子類的地址是一樣的，都指向父類的實現(xiàn)。

如果子類重寫之后，子類方法表里的這個方法的地址就指向了自己實現(xiàn)的版本。

而我們上面字節(jié)碼處觀察到的，兩個 invokevirtual 對應(yīng)的常量池索引序號是一樣的，這樣實現(xiàn)對于變換實現(xiàn)類型時，查找方法表只需要換個對象，索引依舊相同。

觀察

為了便于 Attach 到 Java 進程，可以在代碼里加下 latch 進行 awiat 阻塞，啟動 SA 就能觀察了。

選擇 ClassBrowser

在 Class列表里就能找到咱們上面創(chuàng)建的對象。@ 符號后面是這個對象對應(yīng)的內(nèi)存地址。復(fù)制上Dog的地址，再從菜單里選擇Inspector，

你看 _vtable_len: 7

這是告訴我們 vtable 長度是7，里面有7個方法。

實際上咱們在這個類里只重寫了父類 Animal 的 say方法，其它的是從 Animal 繼承來的 play方法，以及超類 Object 里的 5個方法，大概這個樣子

JVM 在首次加載類的時候，會解析類內(nèi)包含的方法，方法解析之后就會計算當前類 vtable的大小。

可能你會問，Object 類內(nèi)不止5個方法，為什么只算5個呢?而且我們新增其它static、 final 這一類的方法呢?

這里 vtable 只計算非static final 的，全部計算完就得出了vtable_len這個值。

每個 Java 的 Class 在 JVM 內(nèi)部都會有一個自己的instanceKlass， vtable就分配在這個的最后。

整個instanceKlass的大小，在64位系統(tǒng)里大小是 0x1b8，記住它，后面用的著。 所以咱們上面看到了Dog 類的內(nèi)存地址，繼續(xù)找就能看到他其它方法對應(yīng)的內(nèi)存地址。

在Windows -> console 里執(zhí)行這個：

mem 0x7C0060DD0 7 

這個值怎么來的呢?是從對象的內(nèi)存地址開始，加上 instanceKlass的大小。

0x7C0060DD0   =  0x00000007c0060c18 + 0x1b8 

由于我們有7個方法，所以順序查找7個地址。

所以你應(yīng)該也發(fā)現(xiàn)了，Java 里對應(yīng)這種重寫的方法，是在類加載的時候，才能知道具體對應(yīng)的是哪個方法，因此也被稱為動態(tài)綁定或者遲綁定。

總結(jié)起來，這里的 vtable，相當于你的工具清單，有什么能力都做了羅列，像鋼鐵俠的各項技能，每個功能指向具體的超能力，在我們代碼里可以把它理解成一個數(shù)組，數(shù)組的每個元素指向一個方法地址。

感興趣的話，你加個static 的方法自己找找，看看在不在這里面呢?畢竟static方法執(zhí)行不是有 invokestatic 指令嘛。

本文轉(zhuǎn)載自微信公眾號「 Tomcat那些事兒」，可以通過以下二維碼關(guān)注。轉(zhuǎn)載本文請聯(lián)系 Tomcat那些事兒公眾號。