Java 靜態方法「覆寫」陷阱：為什麼多型失效？

現象重現：明明是子類物件，卻呼叫父類方法

class Dog {
    public static void bark() { System.out.print("woof "); }
}
class Basenji extends Dog {
    public static void bark() { /* 什麼都不做 */ }
}
public class Bark {
    public static void main(String[] args) {
        Dog woofer = new Dog();
        Dog nipper = new Basenji(); // 多型參考
        woofer.bark();  // woof
        nipper.bark();  // 預期無輸出，實際輸出 woof！
    }
}

輸出：woof woof。為什麼 nipper 明明是 Basenji 實例，卻執行了 Dog.bark()？

核心原因：靜態方法屬於類，不屬於實例

• 非靜態方法：執行期根據物件實際類型動態分派（Dynamic Dispatch），這就是多型。
• 靜態方法：編譯期根據參考變數宣告類型靜態綁定。nipper 宣告為 Dog，所以編譯器直接綁定 Dog.bark()，執行期完全不看實際物件類型。

JLS §15.12.4.4 明確規定：靜態方法呼叫不存在動態分派機制。

術語釐清：隱藏 ≠ 覆寫

子類定義相同簽名的靜態方法，只是在子類命名空間隱藏了父類方法，並未建立任何多型關係。

修正方案：移除 static，改為實例方法

class Dog {
    public void bark() { System.out.print("woof "); }
}
class Basenji extends Dog {
    @Override public void bark() { /* 不叫 */ }
}
// 輸出：woof （只有 woofer 叫）

現在 nipper.bark() 會動態分派到 Basenji.bark()，實現真正的多型。

最佳實踐建議

1. 慎用靜態方法表達領域行為：需要多型、可測試、可擴展的業務邏輯，請用實例方法 + 介面/抽象類。
2. 靜態方法適合：純工具函式（如 Math.max）、工廠方法、單例存取點、無狀態輔助函式。
3. 若必須在子類「覆寫」靜態邏輯：改用策略模式——將行為封裝為介面實現類，透過組合注入，而非繼承。
4. 開啟編譯器警告：-Xlint:static 會提示「靜態方法應以類名呼叫」，避免 instance.staticMethod() 的誤導性寫法。

結語

「靜態方法覆寫」是 Java 初學者最常踩的坑之一。記住：**靜態綁定看宣告類型，動態分派看實際類型**。只要方法加了 static，就切斷了多型鏈路。理解這一點，不僅能避免生產事故，更能在設計 API 時做出正確的靜態 vs 實例決策。