深入理解 Java 多態原理：動態綁定、方法表與 JVM 解析流程

深入理解 Java 多態原理

多態：父類引用指向子類物件，同一操作作用於不同物件產生不同行為。核心在於動態綁定。

一、靜態綁定 vs 動態綁定

二、動態綁定核心機制：方法表

1. 每個類在方法區有一張方法表（陣列結構）
2. 記錄該類及其父類所有可見實例方法的 bytecode 直接記憶體位址
3. 子類繼承父類方法表，覆寫方法會替換對應槽位的位址

三、方法呼叫解析流程

Dance dance = new Latin();
dance.play(); // 實際呼叫 Latin.play()

1. 編譯期：在 Dance 類常量池記錄 play() 方法符號引用
2. 執行期第一次呼叫：常量池解析 → 在 Dance 方法表找到 play 索引 → 記錄到常量池
3. 實際執行：根據物件真實類型 Latin，去 Latin 方法表同索引位置取得直接位址 → 執行 Latin.play()

四、程式碼驗證

class Dance {
    public void play() { System.out.println("Dance.play"); }
    public void play(int i) { System.out.println("Dance.play" + i); }
}
class Latin extends Dance {
    @Override public void play() { System.out.println("Latin.play"); }
    public void play(char c) { System.out.println("Latin.play" + c); }
}
class Jazz extends Dance {
    @Override public void play() { System.out.println("Jazz.play"); }
    public void play(double d) { System.out.println("Jazz.play" + d); }
}

public class Test {
    public void perform(Dance dance) { dance.play(); }
    public static void main(String[] args) {
        new Test().perform(new Latin()); // 輸出：Latin.play
    }
}

五、關鍵結論

• 欄位無多態：欄位存取編譯期解析，非動態綁定
• static 方法無多態：屬於類，非物件；編譯期綁定
• private/final 方法無多態：不可覆寫，靜態綁定
• 多態消除類型耦合，提升擴展性與可讀性

六、參考資源

深度解析：Java 多態與動態綁定底層原理