一、概述
在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能給你帶來多少好處，多少麻煩，這是我們選擇是否使用的的原則。
============================================================
comment：
反過來說，在某些開源組件中，比如validator、junit中，判斷過程仿佛使用了斷言風格，很有可能使用了大量的斷言，但筆者在沒看源碼之前不能確定。
如果是開發階段的簡單測試，junit就是一個便捷強悍的工具，沒有理由自己寫斷言而不去用它。
============================================================
comment：
首先可以用在單元測試代碼中。junit侵入性是很強的，如果整個工程大量的代碼都使用了junit，就難以去掉或者是選擇另外一個框架。如果單元測試代碼 很多，并且想復用這些單元測試案例，應該選擇assert而不是junit，便于使用別的單元測試框架，比如TestNG。同理正式的功能代碼根本就不應 該出現Junit，應該使用assert.
assert主要適合在基類，框架類，接口類，核心代碼類，工具類中。換言之，當你的代碼的調用者是另外一個程序員寫得業務代碼，或者是另外一個子系統時，就很有必要使用它。比如你做了一個快速排序的算法
public static List<int> quickSort(List<int> list){
assert list != null;
// 申請臨時空間
//開始排序
for(int i : list){
//
}
}
這種情況下，如果不檢查傳入參數的正確性，會拋出一個莫名其妙的空指針錯誤。你的調用者可能并不清楚你代碼的細節，在一個系統的深處調試一個空指針錯誤是很浪費時間的。就應該直接明確的告訴你的調用者是傳入的參數有問題。否則他會懷疑你的代碼有BUG。使用assert可以避免兩個程序員之間互相指責對方寫的代碼有問題。
assert適用那些你知道具體是什么錯誤，你和你的調用者已經約定應該由你的調用者去排除或檢查的錯誤。你通過一個斷言告訴你的調用者。assert不適用那些外部系統造成的錯誤，比如用戶輸入數據的錯誤，某個外部文件格式錯誤。這些錯誤不是你的調用者而是用戶造成的，甚至于不屬于異常，因為出現輸入錯誤和文件格式錯誤是經常的，這些錯誤應該由業務代碼去檢查。
assert比較適合于被頻繁調用的 基類，框架代碼，工具類，核心代碼，接口代碼中，這正是它在運行時被去掉的原因。測試代碼應該在測試階段開啟-ea參數，便于對系統深處的核心代碼做仔細的測試。
Java較少使用assert的原因是Java有很完整的OO體系，強制類型轉換出現得較少，所以不需要類似c那樣需要頻繁的檢查指針的類型是否正確，指針是否為空。同時Java也很少直接管理內存或緩沖區，所以不需要頻繁的檢查傳入的緩沖區是否為空或者是已經越界。
但使用好assert有助于提高框架代碼的正確性和減少框架代碼的使用者的調試時間。
===============================================================
comment：
assert要達到的目的是讓程序員方便的發現自己的邏輯錯誤，并且不影響程序的效率。assert所發現的錯誤，是完全不應該出現的，是不能用異常代替的。異常，那是系統所允許的，或者是系統不可控的“錯誤”，它不是程序員的邏輯問題。
assert應該是開發階段打開，而在發布后關閉。
