java斷言assert初步使用：斷言開啟、斷言使用

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