Java instanceof 關鍵字深度解析與多型替代方案

基本語法與語義

objectReference instanceof TypeName

• 二元運算子，回傳 boolean。
• 左運算元：物件參考（可為 null，結果為 false）。
• 右運算元：類別、介面、陣列型別。
• 判斷：左邊物件是否為右邊型別的實例（含繼承、實作關係）。

範例

String s = "Hello";
boolean b1 = s instanceof Object;     // true (String 繼承 Object)
boolean b2 = s instanceof CharSequence; // true (String 實作 CharSequence)
boolean b3 = s instanceof StringBuilder; // false
boolean b4 = null instanceof String;  // false (null 無型別)

典型使用場景（反模式）

public double calculate(Bill bill) {
    if (bill instanceof PhoneBill) {
        return calculatePhone((PhoneBill) bill);
    }
    if (bill instanceof GasBill) {
        return calculateGas((GasBill) bill);
    }
    throw new IllegalArgumentException("Unknown bill type");
}

為什麼不推薦？

1. 違反開放封閉原則：新增帳單型別需修改此方法。
2. 破壞多型：將「型別判斷+轉型」散落在業務邏輯中。
3. 維護困難：條件分支隨子類別增加而膨脹。

多型替代方案（正統做法）

方案一：方法多載

public double calculate(PhoneBill bill) { ... }
public double calculate(GasBill bill) { ... }
// 呼叫端：calculate(bill) 自動依靜態型別分派

缺點：靜態綁定，若參考型別為 Bill 則無法動態分派。

方案二：覆寫多型方法（推薦）

public abstract class Bill {
    public abstract double calculate();
}

public class PhoneBill extends Bill {
    @Override public double calculate() { ... }
}

public class GasBill extends Bill {
    @Override public double calculate() { ... }
}

// 使用端
double amount = bill.calculate(); // 動態分派，零 instanceof

方案三：Visitor 模式（雙重分派）

適用於「演算法穩定、資料結構易變」場景：

interface BillVisitor {
    void visit(PhoneBill b);
    void visit(GasBill b);
}

interface Bill {
    void accept(BillVisitor v);
}

class PhoneBill implements Bill {
    public void accept(BillVisitor v) { v.visit(this); }
}

instanceof 正當用途

• equals() 實作：if (!(obj instanceof MyClass)) return false;
• 序列化/反序列化：型別檢查後安全轉型。
• 框架底層：Spring、Hibernate 內部需判斷 Proxy 型別。
• 外部資料轉換：JSON 解析後依型別分派處理器。

模式匹配 instanceof (Java 16+)

if (obj instanceof String s) { // 直接宣告並轉型
    System.out.println(s.toUpperCase());
}
// 等同於
if (obj instanceof String) {
    String s = (String) obj;
    ...
}

結語

instanceof 是工具，非原罪。業務邏輯中大量使用 instanceof 通常意味著領域模型缺乏多型設計。優先採用「覆寫多型方法」或「Visitor 模式」，僅在邊界層（equals、序列化、框架整合）合理使用。Java 16+ 模式匹配語法讓合法用例更簡潔安全。