JDK 1.4 新特性：斷言機制完整指南

JDK 1.4 引入 assert 關鍵字，為開發階段的契約檢查、不變量驗證提供原生支持。斷言預設關閉，運行時零開銷；啟用後可作為「開發期守衛」，生產環境關閉不影響性能。本文詳解語法、編譯運行參數、最佳實踐與常見陷阱。

基本語法

assert Boolean表達式;                    // 簡單斷言
assert Boolean表達式 : "詳細錯誤信息";   // 帶診斷信息的斷言

• 表達式為 true → 繼續執行
• 表達式為 false → 拋出 AssertionError（Error，非 Exception），第二種形式以診斷信息構造異常對象

編譯與運行參數

代碼範例

public class AssertExample {
    public static void main(String[] args) {
        int x = 10;
        if (args.length > 0) {
            try { x = Integer.parseInt(args[0]); }
            catch (NumberFormatException ignored) {}
        }
        System.out.println("Testing assertion that x == 10");
        assert x == 10 : "Our assertion failed: x=" + x;
        System.out.println("Test passed");
    }
}

運行 java -ea AssertExample 5 輸出：

Testing assertion that x == 10
Exception in thread "main" java.lang.AssertionError: Our assertion failed: x=5
    at AssertExample.main(AssertExample.java:12)

⚠️ 致命陷阱：斷言副作用

boolean enabled = false;
// ... 
assert enabled = true; // 錯誤！斷言關閉時賦值不執行，邏輯崩塌

鐵律：斷言表達式絕不能修改程序狀態。只能做純布爾檢查。

進階技巧：檢測斷言是否啟用

public class AssertCheck {
    public static void main(String[] args) {
        boolean assertEnabled = false;
        assert assertEnabled = true; // 僅在啟用時執行
        if (!assertEnabled) {
            throw new RuntimeException("斷言未啟用，測試無效！");
        }
        System.out.println("斷言已啟用，繼續測試...");
    }
}

無 -ea 運行將拋出 RuntimeException，保證測試環境正確性。

最佳實踐清單

1. 前置條件檢查：public void setRate(int rate) { assert rate > 0 && rate <= 100; ... }
2. 後置條件驗證：assert result != null : "計算結果不應為空";
3. 類不變量：assert size() >= 0 : "size 不能為負";
4. switch default 分支：default: assert false : "未處理的枚舉值: " + enumVal;
5. 私有方法參數檢查：內部邏輯假設，斷言比 if-throw 更清晰
6. 公共 API 參數檢查禁用斷言：必須拋出具體異常（IllegalArgumentException），保證契約在生產環境也生效

斷言 vs 單元測試 vs 日誌

善用斷言，讓 Bug 在開發期「暴斃」，而非帶著偽裝潛伏到生產環境。