JVM動態分派原理：方法表與invokevirtual/invokeinterface深度解析

JVM動態分派原理：方法表與invokevirtual/invokeinterface深度解析

承接前兩篇關於重載、重寫、靜態/動態分派的討論，本文聚焦多態（override）的底層實現——方法表，並對比 invokevirtual（類引用調用）與 invokeinterface（接口引用調用）的性能差異。

核心結論

基於基類的調用（invokevirtual）性能高於基於接口的調用（invokeinterface）。
前者基於偏移量直接定位，後者需掃描整個方法表搜索。

JVM 運行時結構與方法表

類加載後，JVM 在方法區建立類型信息，包含方法代碼、變量、方法表。方法表是實現動態綁定的關鍵數據結構。

類引用調用：invokevirtual

代碼示例

Person boy = new Boy();
Person girl = new Girl();
boy.speak(); // 動態綁定到 Boy.speak()
girl.speak(); // 動態綁定到 Girl.speak()

字節碼與調用流程

1. 常量池找到符號引用 #9 // Method Person.speak:()V
2. 查 Person 方法表，得到 speak 的偏移量（假設 15）
3. 根據 this 指針確定實際類型（Boy 或 Girl）
4. 用實際類型的方法表，同偏移量 15 定位：
   　　- 若子類重寫 → 直接調用
   　　- 未重寫 → 沿繼承鏈向上查找

關鍵點：父子類方法表中相同簽名方法擁有相同索引，故只需一次偏移量定位，極快。

接口引用調用：invokeinterface

代碼示例

IDance dancer = new Dancer();
IDance snake = new Snake();
dancer.dance(); // invokeinterface
snake.dance();  // invokeinterface

為何較慢？

• 一個類可實現多接口，接口方法在不同實現類的方法表中索引不固定；
• 無法像類繼承那樣用固定偏移量，必須掃描整個方法表搜索匹配的方法；
• 字節碼指令 invokeinterface #6, 1 多一個參數（方法數提示），也是為了優化搜索。

補充實驗：未重寫 toString() 時的行為

若 Dancer 不重寫 toString()，調用 System.out.println(dancer) 會輸出父類 Person 的實現，驗證了「沿繼承鏈向上搜索」的機制同樣適用於接口引用調用非接口方法的情況。

總結

• invokevirtual：偏移量定位 → O(1)，適合高頻調用；
• invokeinterface：方法表掃描 → O(n)，有性能開銷；
• 設計時權衡：介面利於解耦，熱點路徑可考慮抽象類或具體類引用。