Java中的斷言assert的用法
Java陷阱之assert關鍵字
一、概述
在C和C++語言中都有assert關鍵,表示斷言。
在Java中,同樣也有assert關鍵字,表示斷言,用法和含義都差不多。
二、語法
在Java中,assert關鍵字是從JAVA SE 1.4 引入的,為了避免和老版本的Java程式碼中使用了assert關鍵字導致錯誤,Java在執行的時候預設是不啟動斷言檢查的(這個時候,所有的斷言語句都 將忽略!),如果要開啟斷言檢查,則需要用開關-enableassertions或-ea來開啟。
assert關鍵字語法很簡單,有兩種用法:
1、assert <boolean表示式>
如果<boolean表示式>為true,則程式繼續執行。
如果為false,則程式丟擲AssertionError,並終止執行。
2、assert <boolean表示式> : <錯誤資訊表示式>
如果<boolean表示式>為true,則程式繼續執行。
如果為false,則程式丟擲java.lang.AssertionError,並輸入<錯誤資訊表示式>。
三、應用例項
下面給出一個例子,通過例子說明其用法:
public class AssertFoo { public static void main(String args[]) { //斷言1結果為true,則繼續往下執行 assert true; System.out.println("斷言1沒有問題,Go!"); System.out.println("\n-----------------\n"); //斷言2結果為false,程式終止 assert false : "斷言失敗,此表示式的資訊將會在丟擲異常的時候輸出!"; System.out.println("斷言2沒有問題,Go!"); } }
儲存程式碼到C:\AssertFoo.java,然後按照下面的方式執行,檢視控制檯輸出結果:
1、編譯程式:
C:\>javac AssertFoo.java
2、預設執行程式,沒有開啟-ea開關:
C:\>java AssertFoo
斷言1沒有問題,Go!
-----------------
斷言2沒有問題,Go!
3、開啟-ea開關,執行程式:
C:\>java -ea AssertFoo
斷言1沒有問題,Go!
-----------------
Exception in thread "main" java.lang.AssertionError: 斷言失敗,此表示式的資訊將
會在丟擲異常的時候輸出!
at AssertFoo.main(AssertFoo.java:10)
四、陷阱
assert關鍵字用法簡單,但是使用assert往往會讓你陷入越來越深的陷阱中。應避免使用。筆者經過研究,總結了以下原因:
1、 assert關鍵字需要在執行時候顯式開啟才能生效,否則你的斷言就沒有任何意義。而現在主流的Java IDE工具預設都沒有開啟-ea斷言檢查功能。這就意味著你如果使用IDE工具編碼,除錯執行時候會有一定的麻煩。並且,對於Java Web應用,程式程式碼都是部署在容器裡面,你沒法直接去控制程式的執行,如果一定要開啟-ea的開關,則需要更改Web容器的執行配置引數。這對程式的移 植和部署都帶來很大的不便。
2、用assert代替if是陷阱之二。assert的判斷和if語句差不多,但兩者的作用有著本質的區別:assert關鍵字本意上是為測試 除錯程式時使用的,但如果不小心用assert來控制了程式的業務流程,那在測試除錯結束後去掉assert關鍵字就意味著修改了程式的正常的邏輯。
3、assert斷言失敗將面臨程式的退出。這在一個生產環境下的應用是絕不能容忍的。一般都是通過異常處理來解決程式中潛在的錯誤。但是使用斷言就很危險,一旦失敗系統就掛了。
五、對assert的思考
assert既然是為了除錯測試程式用,不在正式生產環境下用,那應該考慮更好的測試JUint來代替其做用,JUint相對assert關鍵的所提供的功能是有過之而無不及。當然完全可以通過IDE debug來進行除錯測試。在此看來,assert的前途一片昏暗。
因此,應當避免在Java中使用assert關鍵字,除非哪一天Java預設支援開啟-ea的開關,這時候可以考慮。對比一下,assert能給你帶來多少好處,多少麻煩,這是我們選擇是否使用的的原則。