java 中的斷言assert的使用

1、assertion的意義和用法 

J2SE 1.4在語言上提供了一個新特性，就是assertion功能，它是該版本在Java語言方面最大的革新。 

從理論上來講，經過 assertion方式能夠證實程序的正確性，可是這是一項至關複雜的工做，目前尚未太多的實踐意義。 

在實現中，assertion就是在程序中的一條語句，它對一個boolean表達式進行檢查，一個正確程序必須保證這個boolean表達式的值爲true；若是該值爲false，說明程序已經處於不正確的狀態下，系統將給出警告或退出。
 
通常來講，assertion用於保證程序最基本、關鍵的正確性。assertion檢查一般在開發和測試時開啓。爲了提升性能，在軟件發佈後，assertion檢查一般是關閉的。
 
一、語法表示 

在語法上，爲了支持assertion，Java增長了一個關鍵字assert。它包括兩種表達式，分別以下：
        assert  expression1;
        assert  expression1:expression2;

在兩種表達式中，expression1表示一個boolean表達式， expression2表示一個基本類型或者是一個對象(Object)，基本類型包括boolean,char,double,float,int和 long。因爲全部類都爲Object的子類，所以這個參數能夠用於全部對象。 

二、含義 

在運行時，若是關閉了assertion功能，這些語句將不起任何做用。若是打開了assertion功能，那麼expression1的值將被計算，若是它的值爲false，該語句強拋出一個AssertionError對象。
 
若是assertion語句包括expression2參數，程序將計算出 expression2的結果，而後將這個結果做爲AssertionError的構造函數的參數，來建立AssertionError對象，並拋出該對 象；若是expression1值爲true，expression2將不被計算。 

一種特殊狀況是，若是在計算表達式時，表達式自己拋出Exception，那麼assert將中止運行，而拋出這個Exception。 

三、編譯 

因爲assert是一個新關鍵字，使用老版本的JDK是沒法編譯帶有assert的 源程序。所以，咱們必須使用JDK1.4(或者更新)的Java編譯器，在使用Javac命令時，咱們必須加上-source 1.4做爲參數。-source 1.4表示使用JDK 1.4版本的方式來編譯源代碼，不然編譯就不能經過，由於缺省的Javac編譯器使用JDK1.3的語法規則。 

你們在使用eclipse,jbuilder等IDE工具的時候,要注意編譯器的版本,使用的jre,不等因而javac 的版本 

方法入參檢測工具類

Web 應用在接受表單提交的數據後都須要對其進行合法性檢查，若是表單數據不合法，請求將被駁回。相似的，當咱們在編寫類的方法時，也經常須要對方法入參進行合法性檢查，若是入參不符合要求，方法將經過拋出異常的方式拒絕後續處理。舉一個例子：有一個根據文件名獲取輸入流的方法：InputStream getData(String file)，爲了使方法可以成功執行，必須保證 file 入參不能爲 null 或空白字符，不然根本無須進行後繼的處理。這時方法的編寫者一般會在方法體的最前面編寫一段對入參進行檢測的代碼，以下所示：

public InputStream getData(String file) {
if (file == null || file.length() == 0|| file.replaceAll("\\s", "").length() == 0) {
throw new IllegalArgumentException("file入參不是有效的文件地址");
}
…
}

相似以上檢測方法入參的代碼是很是常見，可是在每一個方法中都使用手工編寫檢測邏輯的方式並非一個好主意。閱讀 Spring 源碼，您會發現 Spring 採用一個 org.springframework.util.Assert 通用類完成這一任務。

Assert 翻譯爲中文爲「斷言」，使用過 JUnit 的讀者都熟知這個概念，它判定某一個實際的運行值和預期想同樣，不然就拋出異常。Spring 對方法入參的檢測借用了這個概念，其提供的 Assert 類擁有衆多按規則對方法入參進行斷言的方法，能夠知足大部分方法入參檢測的要求。這些斷言方法在入參不知足要求時就會拋出 IllegalArgumentException。下面，咱們來認識一下 Assert 類中的經常使用斷言方法：

斷言方法
說明

notNull(Object object)
當 object 不爲 null 時拋出異常，notNull(Object object, String message) 方法容許您經過 message 定製異常信息。和 notNull() 方法斷言規則相反的方法是 isNull(Object object)/isNull(Object object, String message)，它要求入參必定是 null；

isTrue(boolean expression) / isTrue(boolean expression, String message)
當 expression 不爲 true 拋出異常；

notEmpty(Collection collection) / notEmpty(Collection collection, String message)
當集合未包含元素時拋出異常。notEmpty(Map map) / notEmpty(Map map, String message) 和 notEmpty(Object[] array, String message) / notEmpty(Object[] array, String message) 分別對 Map 和 Object[] 類型的入參進行判斷；

hasLength(String text) / hasLength(String text, String message)
當 text 爲 null 或長度爲 0 時拋出異常；

hasText(String text) / hasText(String text, String message)
text 不能爲 null 且必須至少包含一個非空格的字符，不然拋出異常；

isInstanceOf(Class clazz, Object obj) / isInstanceOf(Class type, Object obj, String message)
若是 obj 不能被正確造型爲 clazz 指定的類將拋出異常；

isAssignable(Class superType, Class subType) / isAssignable(Class superType, Class subType, String message)
subType 必須能夠按類型匹配於 superType，不然將拋出異常；

使用 Assert 斷言類能夠簡化方法入參檢測的代碼，如 InputStream getData(String file) 在應用 Assert 斷言類後，其代碼能夠簡化爲如下的形式：

public InputStream getData(String file){ Assert.hasText(file,"file入參不是有效的文件地址"); 使用 Spring 斷言類進行方法入參檢測 … }

可見使用 Spring 的 Assert 替代自編碼實現的入參檢測邏輯後，方法的簡潔性獲得了很多的提升。Assert 不依賴於 Spring 容器，您能夠大膽地在本身的應用中使用這個工具類。