Java 介面與型別安全：可插拔元件架構的基石

介面的雙重含義

1. Java 介面：語言層面結構，具備特定語法 (interface 關鍵字)
2. 邏輯介面：類別擁有的方法特徵集合 (方法名、參數類型/數量)，屬抽象概念

Java 介面僅宣告方法特徵，無實作；方法特徵不含回傳類型、參數名、拋出異常。編譯器依此判斷多載；覆寫時進一步檢查回傳類型與異常。

介面 vs 抽象類 vs 具體類

為什麼需要介面？解決單繼承下的可插拔性難題

問題場景

兩個類別提供相似功能，調用方需動態切換實作。若用抽象父類，受限於單繼承，若具體類已有父類，則需向上修改整個繼承樹 → 災難性耦合。

介面解決方案

• 任意層級類別可實作介面，不影響超類
• 子類別自動繼承實作，可選擇性覆寫
• 調用方依賴介面類型，而非具體類別 → 可插拔性
• 角色與演員分離：介面定義「角色」，實作類別為「演員」

型別系統中的介面應用

• 變數宣告、方法回傳、參數類型、轉型皆應使用介面類型
• 理想原則：具體類別僅實作介面/抽象類宣告的方法，避免多餘公共方法洩露實作細節

介面型別層級結構

• 介面/抽象類常作為型別層級根節點
• 類別已有主超類型時，實作介面獲得「次要超類型」 → 混合型別

常見介面模式

1. 單方法介面 (SAM) - 函數式介面基礎

public interface ActionListener {
    void actionPerformed(ActionEvent e);
}

• 實作即具備註冊資格，事件源自動回調唯一方法
• Java 8+ 可用 Lambda 簡化：e -> handle(e)

2. 標記介面

public interface Serializable { } // 無方法、無欄位
public interface Cloneable { }

• 僅標識型別屬於特定類別，無語義契約
• 不推薦濫用：優先考慮註解 (@Annotation) 替代

3. 常數介面 (反模式)

public interface Constants { int MAX = 100; } // 不推薦
class MyClass implements Constants { ... } // 濫用實作關係

• 洩露實作細節至公共 API，破壞封裝
• 建議：public final class Constants { private Constants(){} public static final int MAX=100; } 或 enum

Java 型別安全三大支柱

1. 編譯期型別檢查：每個變數/方法有宣告型別，編譯器推導運算式型別並檢查相容性
2. 自動儲存體管理：GC 避免懸空指標、雙重釋放等記憶體型別錯誤
3. 陣列邊界檢查：運行時驗證索引，防止緩衝區溢位導致型別混淆

型別安全定義：合法 Java 程式運行期不會發生型別錯誤，變數永不被誤視為其他型別處理。

實務設計原則

1. 面向介面程式設計：API 邊界、模組間依賴、DI 容器註冊皆用介面
2. 介面隔離原則 (ISP)：介面應盡量小、單一職責，避免「胖介面」強迫實作不需方法
3. 依賴倒置原則 (DIP)：高層模組依賴抽象 (介面)，低層模組實作抽象
4. 演進策略：Java 8+ 使用 default 方法兼容擴展介面，謹慎使用