綁定是指方法調用與方法實體關聯的過程。Java 採用 **靜態綁定 (編譯期)** 處理重載，**動態綁定 (運行期)** 處理覆寫。本文透過位元碼指令 (invokestatic/invokespecial/invokevirtual/invokeinterface) 實證兩者差異，剖析 JVM 內聯優化與 final/private/static 的綁定語意。
| 維度 | 靜態綁定 (早期綁定) | 動態綁定 (晚期綁定) |
|---|---|---|
| 發生時機 | 編譯期 | 運行期 |
| 依據資訊 | 類型資訊 (參數類型、聲明類型) | 對象實際類型 (實例類型) |
| 適用場景 | private、static、final、建構子、重載方法 | 非 private/non-final 實例方法 (覆寫) |
| JVM 指令 | invokestatic, invokespecial | invokevirtual, invokeinterface |
| 效能 | 極高 (可直接內聯) | 需查虛表，JIT 熱點後內聯 |
class Caller {
void call(Object o) { System.out.println("Object"); }
void call(String s) { System.out.println("String"); }
}
public class Test {
public static void main(String[] args) {
Caller c = new Caller();
String s = "hello";
c.call(s); // 編譯期確定呼叫 call(String)
}
}
// javap -c Test
18: invokevirtual #6 // Method Caller.call:(Ljava/lang/String;)V
// 參數描述符為 (Ljava/lang/String;)V，編譯期已鎖定具體重載版本
class Parent { void call(String s) { System.out.println("Parent"); } }
class Child extends Parent { @Override void call(String s) { System.out.println("Child"); } }
public class Test {
public static void main(String[] args) {
Parent p = new Child(); // 聲明類型 Parent，實際類型 Child
p.call("x"); // 運行期動態分派到 Child.call
}
}
// javap -c Test
18: invokevirtual #6 // Method Parent.call:(Ljava/lang/String;)V
// 指令仍指向 Parent.call，但 JVM 運行期依據對象頭 Klass Pointer 查虛表分派到 Child.call
class Base {
void handle(Object o) { System.out.println("Base-Object"); }
void handle(String s) { System.out.println("Base-String"); }
}
class Derived extends Base {
@Override void handle(Object o) { System.out.println("Derived-Object"); }
@Override void handle(String s) { System.out.println("Derived-String"); }
}
Base b = new Derived();
b.handle("test"); // 1. 靜態綁定：參數 String → 選 handle(String)
// 2. 動態綁定：實際對象 Derived → 執行 Derived.handle(String)
輸出：**Derived-String** — 編譯期鎖定簽名，運行期分派實現。
假設編譯期將 super.call() 靜態綁定到父類具體版本，若父類庫升級移除了該覆寫，子類編譯後的字節碼仍指向舊版本 → **二進制不兼容**。動態綁定保證「面向介面編程、運行期多態」的擴展性，犧牲微小分派開銷換取生態演進能力。
final/private/static 方法天然單態點，編譯期即可內聯，零守衛開銷| 場景 | 建議 | 理由 |
|---|---|---|
| 工具方法、純函數 | static final | 編譯期綁定 + 內聯，零開銷 |
| 不想被覆寫的業務方法 | final | 禁止動態分派，JIT 積極內聯 |
| 內部輔助方法 | private | invokespecial 靜態綁定，不可覆寫 |
| 介面預設方法 | 謹慎使用 | invokeinterface 開銷大於 invokevirtual |
| 熱點多態調用 | 引入 @PolymorphicSignature (Valhalla) 或手動類型檢查分派 | 減少虛表查找 |
invokespecial 靜態綁定 → **構造器中調用可覆寫方法極危險** (子類欄位未初始化)super.method() 也是 invokespecial 靜態綁定父類版本，不受多態影響靜態綁定解決「調用哪個簽名」，動態綁定解決「執行哪個實現」。理解 invokevirtual 背後的虛表分派、JIT 內聯守衛、二進制兼容性權衡，才能在架構層面做出「何時用 final、何時保留多態」的理性決策。
