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能給你帶來多少好處，多少麻煩，這是我們選擇是否使用的的原則。

最新2020整理收集的一些高頻面試題（都整理成文件），有很多幹貨，包含mysql，netty，spring，執行緒，spring cloud、jvm、原始碼、演算法等詳細講解，也有詳細的學習規劃圖，面試題整理等，需要獲取這些內容的朋友請加Q君樣：909038429
/./*歡迎加入java交流Q君樣：909038429一起吹水聊天