診斷 Java 代碼：Impostor Type 偽裝類型錯誤模式

靜態類型系統是 Java 核心優勢，能在編譯期消除類型錯誤。但許多程式放棄此保護，改用欄位標記區分資料類型，導致 Impostor Type（偽裝類型） 錯誤：標記對資料誤貼標籤，引發邏輯錯誤。

反模式範例：幾何形狀類別

public class Form {
    String shape; // 偽裝類型標記
    double scale;
    Form(String _shape, double _scale) { shape=_shape; scale=_scale; }
    double getArea() {
        if (shape.equals("square")) return scale * scale;
        else if (shape.equals("circle")) return Math.PI * scale * scale;
        else return scale * (scale * Math.sqrt(3) / 4); // 三角形
    }
}

致命缺陷

1. 拼寫錯誤編譯器不檢查：new Form("sqaure", 2) 編譯通過，運行時當作三角形計算面積，無錯誤訊息，結果似合理實錯誤。
2. 擴充性差：新增形狀需修改 getArea() 來源代碼，違反開放封閉原則。
3. 標記可被竄改：String 欄位可意外/惡意修改，導致物件行為突變。
4. if-else 鏈遺漏分支：漏寫分支導致該類型物件被錯誤處理。

正解：利用類型系統

abstract class Form {
    double scale;
    Form(double _scale) { scale = _scale; }
    abstract double getArea();
}
class Square extends Form {
    Square(double s) { super(s); }
    double getArea() { return scale * scale; }
}
class Circle extends Form {
    Circle(double s) { super(s); }
    double getArea() { return Math.PI * scale * scale; }
}
class Triangle extends Form {
    Triangle(double s) { super(s); }
    double getArea() { return scale * (scale * Math.sqrt(3) / 4); }
}

優勢：

• 拼寫錯誤編譯期捕獲（new Sqaure() 找不到類別）
• 編譯器強制實作 getArea()
• 物件類型不可變，免受竄改
• 新增形僅需新增類別，零修改既有代碼

吸引人但有害的混合實現

abstract class Form {
    double scale;
    Form(double s) { scale=s; }
    double getArea() {
        if (this instanceof Square) return scale*scale;
        else if (this instanceof Circle) return Math.PI*scale*scale;
        else return scale*(scale*Math.sqrt(3)/4);
    }
}
class Square extends Form { ... }
class Circle extends Form { ... }
class Triangle extends Form { ... }

雖保留編譯期類型檢查與不可變性，但 instanceof 鏈重蹈 if-else 覆轍：新增子類需修改 getArea()，擴充性同樣差，且分散邏輯更難維護。

核心原則

語言提供避免此類錯誤的最佳資源——記得使用它們。將概念上不同的資料類型建模為獨立類別，讓編譯器成為你的第一道防線。