Java 方法名稱隱藏機制：與 C++ 的關鍵差異與多載行為解析

從 C++ 轉向 Java 的開發者常對「名稱隱藏」行為感到驚訝。在 C++ 中，衍生類別定義同名方法會隱藏基底類別所有同名多載版本；但 Java 採取完全不同的規則：**衍生類別的方法定義不會隱藏基底類別的任何多載版本**。本文將透過程式碼示範這一核心差異，並說明 Java 多載解析的運作邏輯。

C++ vs Java：名稱隱藏的根本差異

實戰示範：Java 多載跨越繼承層級生效

class Homer {
    char doh(char c) { System.out.println("doh(char)"); return 'd'; }
    float doh(float f) { System.out.println("doh(float)"); return 1.0f; }
}

class Milhouse {}

class Bart extends Homer {
    void doh(Milhouse m) {}  // 新增多載，不影響繼承的 doh(char) 和 doh(float)
}

public class Hide {
    public static void main(String[] args) {
        Bart b = new Bart();
        b.doh(1);       // 呼叫 doh(int) → 類型提升匹配 doh(float)
        b.doh('x');     // 呼叫 doh(char)
        b.doh(1.0f);    // 呼叫 doh(float)
        b.doh(new Milhouse()); // 呼叫 Bart 自己的 doh(Milhouse)
    }
}

輸出：

doh(float)
doh(char)
doh(float)
doh(Milhouse)  // 假設有印出

觀察重點：

• b.doh(1)：int 提升為 float，匹配繼承自 Homer 的 doh(float)
• b.doh('x')：精確匹配繼承的 doh(char)
• Bart 新增的 doh(Milhouse) **完全不影響** 基底類別的兩個多載版本

為什麼 Java 選擇不隱藏？

1. 多載解析在編譯期靜態完成：根據參數靜態型別決定呼叫哪個版本，與繼承層級無關
2. 避免脆弱基底類別問題：基底類別新增多載不會意外改變衍生類別的行為
3. 符合「介面契約」直覺：子類別擴充功能不應破壞父類別已公開的多載介面

覆寫 vs 多載：別混淆

本文討論的是**多載**（同名、不同參數）。若衍生類別定義與基底類別**完全相同的簽名**（參數型別、順序、數量皆同）且回傳型別相容，則是**覆寫**，此時會發生動態繫結，而非多載解析。Java 允許覆寫，但建議：

• 覆寫時加上 @Override 註解，編譯器會驗證確實覆寫
• 避免「幾乎相同但參數型別不同」的偽覆寫，極易造成混淆

最佳實務建議

1. 善用多載：在同一類別（含繼承鏈）提供不同參數版本，Java 會正確解析
2. 文件化繼承多載：JavaDoc 會自動列出繼承的方法，呼叫端可見完整多載集合
3. 謹慎覆寫：僅在真正需要多型行為時覆寫，並確保契約一致（Liskov 替換原則）

理解 Java 「不隱藏多載」的設計決策，能讓你在設計類別階層時更自信地使用多載，避免 C++ 思維帶來的誤區。