跳轉到內容

Java 程式設計/關鍵字/assert

來自華夏公益教科書,開放的書籍,開放的世界

assert 是一個 Java 關鍵字,用於定義一個 斷言語句。斷言語句用於宣告程式中預期的布林條件。如果程式在啟用斷言的情況下執行,則在執行時檢查該條件。如果條件為假,Java 執行時系統將 丟擲 一個 AssertionError。斷言可以使用以下語法宣告

Computer code
assert expression1 [: expression2];

expression1 是一個布林值,如果它為假,則會丟擲斷言。當它被丟擲時,斷言錯誤異常會使用引數 expression2 建立(如果適用)。

一個例子

Computer code
assert list != null && list.size() > 0 : "list variable is null or empty";
Object value = list.get(0);

斷言通常用作除錯輔助工具。它們不應代替對公共方法進行引數驗證,也不應代替更精確的執行時錯誤異常。

斷言透過 Java 的 -ea-enableassertions 執行時選項啟用。有關控制斷言的其他選項,請參見您的 Java 環境文件。

華夏公益教科書