Java 多態核心：向上向下轉型、動態綁定與實戰應用模式

多態三要素

1. 存在繼承/實現關係
2. 方法重寫（同簽名、不同實現）
3. 父類引用指向子類對象（Animal a = new Dog()）

核心價值

• 分離「做什麼」與「怎麼做」，接口與實現解耦
• 消除類型間緊耦合
• 提升擴展性與維護性（開閉原則）

向上轉型：安全但可能丟失方法

Animal animal1 = new Dog("旺財");  // 隱式向上轉型
animal1.eat();  // 呼叫 Dog 重寫的 eat()
animal1.sleep();  // 編譯錯誤！Animal 無 sleep() 方法

• 子類→父類，繼承圖向上，永遠安全
• 父類引用只能調用父類定義的方法（含子類重寫者）
• 子類特有方法「被隱藏」，非刪除
• 體現 Liskov 替換原則：子類型必須能替換基類型

向下轉型：有風險，需 instanceof 守護

Animal a = new Dog("旺財");
// Dog d = (Dog) a;  // 編譯通過，運行安全（實際是 Dog）

Animal a2 = new Cat("招財");
// Dog d2 = (Dog) a2;  // 編譯通過，運行拋 ClassCastException！

安全模式：instanceof 守護

if (animal instanceof Cat) {
    Cat cat = (Cat) animal;  // 安全轉型
    cat.sleep();  // 可調用 Cat 特有方法
}

• obj instanceof Type：運行時檢查 obj 是否為 Type 或其子類實例
• 返回 boolean，obj 為 null 時返回 false
• 向下轉型前必須檢查，避免 ClassCastException

靜態綁定 vs 動態綁定

多態本質 = 動態綁定：運行時根據對象實際類型決定調用哪個重寫方法。

實戰對比：無多態 vs 有多態

場景：學校打印系統，支援多種打印機

❌ 違反開閉原則：每新增打印機類型都要修改 School 類

class School {
    private ColorPrinter cp;
    private BlackPrinter bp;
    private ZhenPrinter zp;

    public void setColorPrinter(ColorPrinter cp) { this.cp = cp; }
    public void setBlackPrinter(BlackPrinter bp) { this.bp = bp; }
    public void setZhenPrinter(ZhenPrinter zp) { this.zp = zp; }

    public void print(String content) {
        // 必須針對每種打印機寫判斷或多個方法
        bp.print(content);  // 寫死黑白打印機
    }
}

✅ 符合開閉原則：面向抽象編程，擴展不修改

abstract class Printer {
    protected String brand;
    public Printer(String brand) { this.brand = brand; }
    public abstract void print(String content);
}

class ColorPrinter extends Printer {
    public ColorPrinter(String b) { super(b); }
    @Override public void print(String c) { System.out.println(brand + " 彩色列印：" + c); }
}

class BlackPrinter extends Printer { /* ... */ }
class ZhenPrinter extends Printer { /* ... */ }

class School {
    private Printer printer;  // 依賴抽象，而非具體實現

    public void setPrinter(Printer p) { this.printer = p; }  // 統一注入口

    public void print(String content) {
        printer.print(content);  // 動態綁定，實際調用取決於注入的具體實現
    }
}

// 使用
School school = new School();
school.setPrinter(new ZhenPrinter("戴爾"));  // 可隨時切換 ColorPrinter/BlackPrinter
school.print("Hello Java");

設計原則總結

• 依賴倒置：高層模組不依賴低層模組，雙方依賴抽象
• 開閉原則：對擴展開放（新增 Printer 子類），對修改關閉（School 不變）
• 里氏替換：任何 Printer 子類都能替換父類變數
• 動態綁定：運行時自動分派到正確的 print() 實現

多態不是語法糖，而是物件導向設計應對變化的核心武器。掌握向上轉型的安全性、向下轉型的守護模式、動態綁定的分派機制，才能寫出真正可擴展的系統。