Java 代碼診斷：Mixin、Jam 與單元測試——殺手級組合突破單繼承限制

單繼承的表達力缺口

現實領域對象常需組合多維特徵（如 ScrollPane = Pane + Scrollable + Border）。Java 單繼承迫使：代碼沿繼承鏈重複、或引入策略/命令模式增加間接層。Mixin（參數化父類的類）精準填補此gap：class ScrollPane = Scrollable extends Pane，同一 Mixin 可復用於 Dialog、Window 等任意父類。

Jam：Java 的 Mixin 擴展實現

Jam 向後兼容 Java 1.0，引入 mixin、inherited 關鍵字。核心規則：
• Mixin 聲明所需父類方法：inherited void setVisible(boolean);
• 實例化語法：class ScrollPane = Scrollable extends Pane { ... }
• 編譯器按「複製原則」生成獨立類，字段變為接口 getter/setter，靜態成員不共享。
• 五大約束：非法覆寫/隱藏、模糊重載、方法註釋、僅類實例化、禁止傳遞 this。

Mixin 賦能單元測試：隔離難測父類

GUI 組件、RMI Stub 等依賴複雜運行時環境，直接測試極難。Mixin 允許用輕量級「錄製器」父類實例化 Mixin，在隔離環境中驗證邏輯：

class WidgetRecorder { TestLog log; void setVisible(boolean v) { log.record("setVisible("+v+")"); } }
class ScrollableWidgetRecorder = Scrollable extends WidgetRecorder { ... }
// 測試
ScrollableWidgetRecorder r = new ScrollableWidgetRecorder();
r.initialize();
assertEquals("setVisible(true);", r.log.toString());

核心優勢：被測邏輯與難構造父類完全解耦，類似 Jiazzi 的包級隔離，但粒度更細、更輕量。

Mixin 與泛型（JSR 14 / NextGen）的關係

JSR 14 類型擦除導致運行時無法繼承類型變量，無法支持一級 Mixin。NextGen 保留運行時泛型信息，原生支持 Mixin 繼承類型參數。Mixin 是類屬類型的自然延伸，也是未來 Java 類型系統演進的關鍵拼圖。

結語

Mixin + Jam + 單元測試，構成突破單繼承表達力限制、實現難測組件隔離測試的「殺手組合」。Java 語言靈活性遠超表象，善用擴展工具，可構建更健壯、可測試的系統。