您现在的位置：程式碼之家 >> 編程語言 > >> Java 程式設計 >> Java 相關知識

Java assert 斷言關鍵字完整指南：語法、用法與最佳實踐

編輯：Java 相關知識

前言：斷言在軟體開發中的角色

J2SE 1.4 引入了 assert 關鍵字，這是 Java 語言層面最大的革新之一。斷言在軟體開發中是一種經典的除錯與測試手段，C、C++、Eiffel 等語言早已支援類似機制。雖然理論上斷言可用於證明程式正確性，但實務上複雜度極高，鮮少見到大規模應用。Java 的斷言設計目標明確：在開發與測試階段啟用，保障核心邏輯正確性；正式釋出時關閉，避免效能損耗。

核心語法與兩種表達形式

Java 新增 assert 關鍵字，提供兩種寫法：

assert expression1;
assert expression1 : expression2;

expression1：布林表達式，若為 true 程式繼續執行；若為 false 拋出 AssertionError 並終止。
expression2：可選的錯誤訊息表達式（基本型別或物件），會作為 AssertionError 建構子的參數，方便除錯定位。

行為差異對照

形式	expression1 為 true	expression1 為 false
`assert expr1;`	繼續執行	拋出 `AssertionError`（無訊息）
`assert expr1 : expr2;`	繼續執行（expr2 不會被求值）	拋出 `AssertionError`，攜帶 expr2 結果

語義細節與特殊情況

**預設關閉**：執行期若未啟用斷言，所有 assert 語句等同空操作。
**啟用後**：計算 expression1，若為 false 則拋出 AssertionError；若包含 expression2，先計算其值再建構錯誤物件。
**表達式本身拋出例外**：若計算 expression1 或 expression2 時拋出例外，assert 直接傳播該例外，不再產生 AssertionError。

實用範例速查

assert 0 < value;
assert 0 < value : "value=" + value;
assert ref != null : "ref doesn't equal null";
assert isBalanced();

編譯與執行環境設定

編譯

因 assert 為新關鍵字，舊版 JDK 無法編譯。必須使用 JDK 1.4+ 並加上 -source 1.4 參數：

javac -source 1.4 Test.java

執行參數完整說明

啟用/停用斷言的參數分為「系統類」與「使用者類」兩層，支援類名、套件名、子套件遞迴、無名套件等精細控制：

參數	範例	說明
`-ea` / `-enableassertions`	`java -ea`	啟用所有使用者類斷言
`-da` / `-disableassertions`	`java -da`	停用所有使用者類斷言
`-ea:<class>`	`java -ea:MyClass`	啟用指定類斷言
`-da:<class>`	`java -da:MyClass`	停用指定類斷言
`-ea:<package>`	`java -ea:com.example`	啟用指定套件斷言
`-ea:<package>...`	`java -ea:com.example...`	啟用套件及所有子套件斷言
`-ea:...`	`java -ea:...`	啟用無名套件斷言
`-esa` / `-enablesystemassertions`	`java -esa`	啟用系統類斷言
`-dsa` / `-disablesystemassertions`	`java -dsa`	停用系統類斷言