您现在的位置：程式碼之家 >> 編程語言 > >> 更多程式語言 >> 程式設計疑難解答

Java 多型機制解析：為什麼父類引用指向子類物件無法呼叫子類特有的多載方法？

編輯：程式設計疑難解答

問題場景

class Animal {
    public void eat() { System.out.println("動物進食"); }
}

class Dog extends Animal {
    public void eat() { System.out.println("狗吃狗糧"); }        // 覆寫
    public void eat(String food) { System.out.println("狗吃" + food); }  // 多載
}

Animal a = new Dog();
a.eat();           // 正常輸出：狗吃狗糧
a.eat("骨頭");     // 編譯錯誤：找不到符號

核心原理：編譯期靜態綁定 vs 執行期動態綁定

1. 參考型別決定編譯期可見性

變數 a 的宣告型別為 Animal，編譯器只認得 Animal 類別定義的方法簽名。Animal 類別只有 eat()，沒有 eat(String)，因此編譯期直接報錯。

2. 實際物件型別決定執行期行為（僅限覆寫方法）

執行時 a 指向 Dog 實例，JVM 會依據實際物件型別尋找方法。但這僅適用於覆寫方法。多載方法屬於不同簽名的獨立方法，不屬於多型機制範疇。

記憶體模型圖解


Animal a = new Dog();
     ┌─────────────┐
a ───►│ Dog 物件    │
     │ ├─ eat()    │ ◄── 動態綁定：執行 Dog.eat()
     │ ├─ eat(String)│   靜態不可見：Animal 無此簽名
     │ └─ Animal 部分│
     └─────────────┘

關鍵概念釐清

概念	定義	多型支援
覆寫	子類重新定義父類相同簽名方法	✅ 動態綁定
多載	同類中同名不同參數列表方法	❌ 靜態綁定
向上轉型	子類物件賦值給父類引用	隱藏子類特有成員

解決方案與最佳實踐

方案一：向下轉型（需謹慎使用）

if (a instanceof Dog) {
    Dog d = (Dog) a;
    d.eat("骨頭");  // 可呼叫子類特有方法
}

方案二：介面導向程式設計


interface Eater {
    void eat();
    void eat(String food);
}

class Dog implements Eater { ... }

Eater e = new Dog();
e.eat("骨頭");  // 介面定義完整契約，編譯通過