您现在的位置：程式碼之家 >> 編程語言 > >> 更多程式語言 >> 程式設計綜合問答

Java 多態機制深度解析：父類引用指向子類物件時的方法調用規則

編輯：程式設計綜合問答

程式碼場景

public class Auto {
    public void engine() { System.out.println("a poor engine"); }
    public void fun() { System.out.println("Driving fun"); }
}

public class Car extends Auto {
    public void engine() { System.out.println("a nice engine"); }
    public void fun() { super.engine(); }
    public static void main(String[] args) {
        Auto auto = new Car();
        auto.fun();  // 輸出: a poor engine
        auto.engine(); // 輸出: a nice engine
    }
}

核心問題解答

1. 為什麼寫成 `Auto auto = new Car()`？

這是多態的體現：父類引用指向子類物件。好處是：

提高程式碼靈活性，統一介面處理不同子類。
便於擴展，新增子類無需修改使用端代碼。
符合「面向介面編程」原則。

當然也可以寫 `Car auto = new Car()`，但會失去多態優勢。

2. 為什麼 `auto.fun()` 輸出 "a poor engine"？

關鍵在於 Car.fun() 的實現：

public void fun() { super.engine(); } // 顯式呼叫父類方法

auto.fun() → 執行 Car.fun()（動態繫結）
Car.fun() 內部呼叫 super.engine() → 靜態繫結到 Auto.engine()
因此輸出父類的 "a poor engine"

3. 為什麼 `auto.engine()` 輸出 "a nice engine"？

auto.engine() → 動態繫結到 Car.engine()（方法覆寫）
輸出子類覆寫後的 "a nice engine"

多態調用鐵律

調用方式	繫結時機	執行版本
實例方法（非 private/static/final）	執行期（動態繫結）	子類覆寫版本
super.method()	編譯期（靜態繫結）	父類版本
private/static/final 方法	編譯期（靜態繫結）	宣告類版本