1 說明

　　java斷言assert是jdk1.4引入的。

　　jvm斷言預設是關閉的。

　　斷言可以區域性開啟的，如：父類禁止斷言，而子類開啟斷言，所以一般說“斷言不具有繼承性”。

　　斷言只適用複雜的調式過程。

　　斷言一般用於程式執行結構的判斷，千萬不要讓斷言處理業務流程。

2 判斷eclipse是否開啟了斷言

　　程式碼如下：

    public static void main(String args[]) {
        boolean isOpen = false;

        // 如果開啟了斷言，會將isOpen的值改為true
        assert isOpen = true;

        // 列印是否開啟了斷言，如果為false，則沒有啟用斷言
        System.out.println(isOpen);
    }
 

3 eclipse 中開啟和關閉斷言

　　選擇選單：run --> run Configurations

　　開啟斷言:-ea

　　關閉斷言:-da,或者刪除-ea

3 斷言使用

3.1 第一種使用方法

    /**
     * 斷言的使用方法一
     */
    public static void useAssertExt1() {
        boolean isOk = 1 > 2;
        assert isOk;
        System.out.println("程式正常");
    }

執行的結果如下：

Exception in thread "main" java.lang.AssertionError
at com.rollercoaster.codecomplete.AboutAssertion.useAssertExt1(AboutAssertion.java:43)
at com.rollercoaster.codecomplete.AboutAssertion.main(AboutAssertion.java:16)

說明：

　　顯然isOk為false，所以丟擲AssertionError

3.2 第二種使用方法

    /**
     * 斷言的第一個例子
     */
    public static void useAssertExt2() {
        boolean isOk = 1 > 2;
        try {
            assert isOk : "程式錯誤";
            System.out.println("程式正常");
        } catch (AssertionError err) {
            System.out.println(err.getMessage());
        }
    }        
 

執行結果如下：

　　程式錯誤

說明

　　assert後面跟個冒號表示式。如果冒煙前為true，則冒號後面的被忽略，否則丟擲AssertionError,錯誤內容為冒號後面的內容。

　　按F3檢視原始碼，如下，可以看到AssertionError是繼承自Error，而不是Exception，所以catch部分用Exception是不能捕捉到AssertionError資訊的。

　　// (version 1.7 : 51.0, super bit)
　　public class java.lang.AssertionError extends java.lang.Error {...

5 有關斷言的更多引數（轉帖一下）：

-ea java -ea 開啟所有使用者類的assertion
-da java -da 關閉所有使用者類的assertion
-ea:<classname> java -ea:MyClass1 開啟MyClass1的assertion
-da:<classname> java -da: MyClass1 關閉MyClass1的assertion
-ea:<packagename> java -ea:pkg1 開啟pkg1包的assertion
-da:<packagename> java -da:pkg1 關閉pkg1包的assertion
-ea:... java -ea:... 開啟預設包(無名包)的assertion
-da:... java -da:... 關閉預設包(無名包)的assertion
-ea:<packagename>... java -ea:pkg1... 開啟pkg1包和其子包的assertion
-da:<packagename>... java -da:pkg1... 關閉pkg1包和其子包的assertion
-esa java -esa 開啟系統類的assertion
-dsa java -dsa 關閉系統類的assertion
綜合使用 java -dsa:MyClass1:pkg1 關閉MyClass1和pkg1包的assertion

作者：BestNow
出處：http://www.cnblogs.com/BestNow/