Java 多態與方法重載解析：a2.show(b) 輸出 "b and a" 原理

程式碼結構

class A { String show(D obj) { return "a and d"; }
          String show(A obj) { return "a and a"; } }
class B extends A { String show(A obj) { return "b and a"; }
                    String show(B obj) { return "b and b"; } }
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();

關鍵概念：靜態綁定 vs 動態綁定

• 重載：編譯期根據參考型別與參數靜態型別決定調用哪個方法（靜態綁定）。
• 覆寫：執行期根據物件實際型別決定調用哪個方法（動態綁定）。

逐行分析

核心口訣

1. 看參考型別決定「有哪些重載候選」（編譯期）。
2. 看參數靜態型別選「最匹配的重載」（編譯期）。
3. 若該方法被覆寫，執行期看物件實際型別調用覆寫版（動態綁定）。

總結

a2 編譯型別為 A，故只能看到 A 的重載集合。參數 b 型別為 B，匹配 A.show(A)。執行期 a2 實為 B，B 覆寫了 show(A)，故輸出 b and a。理解「重載靜態、覆寫動態」是掌握 Java 多態的關鍵。