使用java斷言調測程式

斷言是J2SE 1.4開始引入的，其文法如下

assert <邏輯運算式>

assert <邏輯運算式> : <資訊運算式>

第一種文法，如果邏輯運算式判斷false時將拋出AssertionError異常，第二種文法在拋出異常的同時還會列印資訊運算式的值。

 

斷言的編譯

如果使用的是 J2SE 1.4，則必須告訴編譯器需要使用斷言，文法如下

javac -source 1.4 <源檔案>

如果使用的是 JavaSE 5.0及其後續版本，則不需要任何特殊說明。而如果需要關閉斷言，需要增加一項說明如下

javac -source 1.3 <源檔案>

 

運行時啟動斷言

運行命令如下

java -ea <類名>

 

何時使用斷言

斷言的目的是為了檢查程式邏輯的正確性，而不是為了實現邏輯，在運行時關閉斷言如果影響到程式功能，則屬於濫用斷言。使用斷言應該注意

1，斷言運算式使用前後程式的狀態不變。例如，不能在斷言運算式中使用諸如“++”，“--”等影響程式運行狀態的運算；

2，宣告失敗是程式邏輯錯誤引起的，應該對程式進行修改，而不應該對宣告失敗進行捕獲處理；

3，斷言檢查只應在開發測試階段使用，不應在正式運行環境使用斷言。