Java 多態機制深度解析與經典面試題詳解

多態核心概念

多態是面向對象三大特性（封裝、繼承、多態）之一，分為兩類：

• 編譯時多態（靜態多態）：方法重載，同類中同名方法參數列表不同。
• 運行時多態（動態多態）：方法覆寫，子類重新定義父類方法，執行期根據實際物件型別動態分派。

日常所稱「多態」多指運行時多態。

運行時多態三大必要條件

1. 繼承關係：類繼承類、類實作介面。
2. 方法覆寫：子類重新定義父類非私有、非靜態、非 final 方法（同名、同參數、同返回型別或協變）。
3. 父類引用指向子類物件：Parent p = new Child();（向上轉型）。

多態五大優勢

方法分派優先級規則（關鍵！）

當調用 obj.method(arg) 時，JVM 依以下優先級尋找方法：

1. this.method(arg) — 當前類實例方法
2. super.method(arg) — 父類實例方法
3. this.method((Super)arg) — 當前類方法，參數向上轉型
4. super.method((Super)arg) — 父類方法，參數向上轉型

口訣：本類優於父類，實際型別優於轉型型別。

經典面試題：多態分派實戰推演

代碼定義

class A {
    public String show(D obj) { return "A and D"; }
    public String show(A obj) { return "A and A"; }
}
class B extends A {
    public String show(B obj) { return "B and B"; }
    public String show(A obj) { return "B and A"; }
}
class C extends B {}
class D extends B {}

測試代碼與輸出

A a1 = new A();
A a2 = new B();
B b  = new B();
C c  = new C();
D d  = new D();

System.out.println(a1.show(b)); // ① A and A
System.out.println(a1.show(c)); // ② A and A
System.out.println(a1.show(d)); // ③ A and D
System.out.println(a2.show(b)); // ④ B and A
System.out.println(a2.show(c)); // ⑤ B and A
System.out.println(a2.show(d)); // ⑥ A and D
System.out.println(b.show(b));  // ⑦ B and B
System.out.println(b.show(c));  // ⑧ B and B
System.out.println(b.show(d));  // ⑨ A and D

逐題深度剖析

1. ① a1.show(b)：a1 編譯型別 A，實際型別 A。尋找 A.show(B) → 無 → super.show(B) → A 無父類 → this.show((A)b) → 找到 A.show(A) → A and A。
2. ② a1.show(c)：同理，C 父類是 B，再父類是 A，最終匹配 A.show(A) → A and A。
3. ③ a1.show(d)：直接找到 A.show(D) → A and D。
4. ④ a2.show(b)：a2 編譯型別 A，實際型別 B。尋找 A.show(B) → 無 → super.show(B) → 無 → this.show((A)b) → 找到 A.show(A)。關鍵：實際型別 B 覆寫了 show(A)，動態分派到 B.show(A) → B and A。
5. ⑤ a2.show(c)：同 ④，經轉型匹配 A.show(A)，動態分派到 B.show(A) → B and A。
6. ⑥ a2.show(d)：直接找到 A.show(D)。實際型別 B 未覆寫 show(D)，繼承自 A → A and D。
7. ⑦ b.show(b)：b 編譯/實際型別皆 B。直接找到 B.show(B) → B and B。
8. ⑧ b.show(c)：尋找 B.show(C) → 無 → super.show(C)（A 中無）→ this.show((B)c) → 找到 B.show(B) → B and B。
9. ⑨ b.show(d)：尋找 B.show(D) → 無 → super.show(D) → 找到 A.show(D)。B 未覆寫 → A and D。

核心知識點總結

• 編譯期看引用型別，運行期看實際型別：重載由編譯期靜態綁定，覆寫由運行期動態分派。
• 重載 ≠ 多態：重載是編譯時多態，方法簽名不同；覆寫才是運行時多態核心。
• 私有、靜態、final、建構子不可覆寫：無動態分派，屬靜態綁定。
• 向上轉型安全，向下轉型需 instanceof 檢查：Child c = (Child) parent; 可能拋 ClassCastException。

實戰最佳實踐

1. 設計介面/抽象類定義契約，具體實現交給子類。
2. 優先使用組合/策略模式替代深層繼承樹。
3. 覆寫方法加 @Override 註解，編譯期防呆。
4. 避免在建構子中調用可覆寫方法（子類欄位未初始化）。

精通多態分派機制，不僅能破解面試難題，更能設計出高內聚、低耦合、易擴展的物件導向系統。