Java 早期綁定與晚期綁定深度解析：靜態 vs 動態分派

概念釐清

驗證代碼：字段與靜態方法屬於早期綁定

class Base {
    public String test = "Base Field";
    public static void staticMethod() { System.out.println("Base staticMethod()"); }
    public void notStaticMethod() { System.out.println("Base notStaticMethod()"); }
}

public class Derive extends Base {
    public String test = "Derive Field";
    public static void staticMethod() { System.out.println("Derive staticMethod()"); }
    @Override public void notStaticMethod() { System.out.println("Derive notStaticMethod()"); }

    public static void testFieldBind(Base b) { System.out.println(b.test); }
    public static void testStaticBind(Base b) { b.staticMethod(); }
    public static void testDynamicBind(Base b) { b.notStaticMethod(); }

    public static void main(String[] args) {
        Derive d = new Derive();
        testFieldBind(d);    // 輸出: Base Field      ← 字段早期綁定
        testStaticBind(d);   // 輸出: Base staticMethod() ← 靜態方法早期綁定
        testDynamicBind(d);  // 輸出: Derive notStaticMethod() ← 實例方法晚期綁定
    }
}

JVM 指令層面的差異

• invokestatic：靜態方法，編譯期確定符號引用，直接解析為直接引用；
• getfield/putfield：字段訪問，編譯期確定偏移量；
• invokevirtual：實例方法，運行期根據對象實際類型在方法表中查找，實現多態。

工程啟示

1. 字段遮蔽非覆蓋：子類同名字段不構成覆蓋，父類引用永遠訪問父類字段；
2. 靜態方法不可多態：Base b = new Derive(); b.staticMethod() 永遠調用 Base 版本；
3. final/private 隱含 final：編譯器可直接內聯優化，性能微優於動態分派；
4. 預設動態分派：Java 實例方法默認虛方法，這是多態基石，勿因微小性能捨棄擴展性。

理解綁定機制，能避免「以為覆蓋了父類字段/靜態方法」這類隱蔽 Bug，也是掌握 JVM 執行引擎的入門鑰匙。