一、概述
在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能給你帶來多少好處，多少麻煩，這是我們選擇是否使用的的原則。
以上僅僅代表我個人觀點，歡迎大家留言討論。
-----------------------------------------------------------------------------------
下面是一些Assert的例子:
assert 0 < value;
assert 0 < value:"value="+value;
assert ref != null:"ref doesn''t equal null";
assert isBalanced();
-----------------------------------------------------------------------------------
AssertinError類是Error的直接子類，因此代表程序出現了嚴重的錯誤，這種異常通常是不需要程序員使用catch語句捕捉的。
使用assert的準則：assert語句的作用是保證程序內部的一致性，而不是用戶與程序之間的一致性，所以不應用在保證命令行參數的正確性。可以用來保證傳遞給private方法參數的正確性。因爲私有方法只是在類的內部被調用，因而是程序員可以控制的，我們可以預期它的狀態是正確和一致的。公有方法則不適用。此外，assert語句可用於檢查任何方法結束時狀態的正確性，及在方法的開始檢查相關的初始狀態 等等。
assert語句並不構成程序正常運行邏輯的一部分，時刻記住在運行時它們可能不會被執行。
-----------------------------------------------------------------------------------
兩類參數：
參數 -esa和 -dsa：
它們含義爲開啓(關閉)系統類的assertion功能。由於新版本的Java的系統類中，也使了 assertion語句，因此如果用戶需要觀察它們的運行情況，就需要打開系統類的assertion功能 ，我們可使用-esa參數打開，使用 -dsa參數關閉。 -esa和-dsa的全名爲-enablesystemassertions和-disenablesystemassertions，全名和縮寫名有同樣的功能。
參數 -ea和 -ea：
它們含義爲開啓(關閉)用戶類的assertion功能：通過這個參數，用戶可以打開某些類或包的assertion功能，同樣用戶也可以關閉某些類和包的assertion功能。打開assertion功能參數爲-ea；如果不帶任何參數，表示打開所有用戶類；如果帶有包名稱或者類名稱，表示打開這些類或包；如果包名稱後面跟有三個點，代表這個包及其子包；如果只有三個點，代表無名包。關閉 assertion功能參數爲-da，使用方法與-ea類似。
-ea和-da的全名爲-enableassertions和-disenableassertions，全名和縮寫名有同樣的功能。
下面表格表示了參數及其含義，並有例子說明如何使用。
參數 例子 說明
-ea java -ea 打開所有用戶類的assertion
-da java -da 關閉所有用戶類的assertion
-ea: java -ea:MyClass1 打開MyClass1的assertion
-da: java -da: MyClass1 關閉MyClass1的assertion
-ea: java -ea:pkg1 打開pkg1包的assertion
-da: java -da:pkg1 關閉pkg1包的assertion
-ea:... java -ea:... 打開缺省包(無名包)的assertion
-da:... java -da:... 關閉缺省包(無名包)的assertion
-ea:... java -ea:pkg1... 打開pkg1包和其子包的assertion
-da:... java -da:pkg1... 關閉pkg1包和其子包的assertion
-esa java -esa 打開系統類的assertion
-dsa java -dsa 關閉系統類的assertion
-----------------------------------------------------------------------------------
不要再public的方法裏面檢查參數是不是爲null之類的操作，例如：
public int get(String s){
assert s != null;
}
如果需要檢查也最好通過 if s = null 拋出 NullPointerException來檢查。
不要用assert來檢查方法操作的返回值來判斷方法操作的結果，例如：
assert list.removeAll();這樣看起來好像沒有問題 但是想想如果assert 被disable呢，那樣他就不會被執行了，所以removeAll()操作就沒有被執行，可以這樣代替
boolean boo = list.removeAl();
assert boo;
-----------------------------------------------------------------------------------
另外，Java爲了讓程序也能夠動態開啓和關閉某些類和包的assertion功能，Java修該了Class和ClassLoader的實現，增加了幾個用於操作assert的API。下面簡單說明一下幾個API的作用。
ClassLoader類中的幾個相關的API:
setDefaultAssertionStatus:用於開啓/關閉assertion功能
setPackageAssertionStatus:用於開啓/關閉某些包的assertion功能
setClassAssertionStatus: 用於開啓/關閉某些類的assertion功能
clearAssertionStatus：用於關閉assertion功能