斷言有兩種方法：
一種是 assert<<布爾表達式>> ；
另一種是 assert<<布爾表達式>> ：<<細節(jié)描述>>。
如果布爾表達式的值為false ，將拋出AssertionError 異常；細節(jié)描述是AssertionError異常的描述文本使用 javac –source 1.4 MyClass.java 的方式進行編譯示例如下：

public class AssertExample {
  public static void main(String[] args) {
    int x = 10;
    if (args.length > 0) {
      try {
        x = Integer.parseInt(args[0]);
      } catch (NumberFormatException nfe) {
        /* Ignore */
      }
    }
    System.out.println("Testing assertion that x == 10");
    assert x == 10 : "Our assertion failed";
    System.out.println("Test passed");
  }
}

由于引入了一個新的關鍵字，所以在編譯的時候就需要增加額外的參數(shù)，要編譯成功，必須使用 JDK1.4 的 javac 并加上參數(shù)'-source 1.4',例如可以使用以下的命令編譯上面的代碼：

 javac -source 1.4 AssertExample.java

以上程序運行使用斷言功能也需要使用額外的參數(shù)（并且需要一個數(shù)字的命令行參數(shù)），例如：

  java -ea AssertExample 1

程序的輸出為：

Testing assertion that x == 10
Exception in thread "main" java.lang.AssertionError:Our assertion failed
at AssertExample.main(AssertExample.java:20)

由于輸入的參數(shù)不等于 10，因此斷言功能使得程序運行時拋出斷言錯誤，注意是錯誤，這意味著程序發(fā)生嚴重錯誤并且將強制退出。斷言使用 boolean 值，如果其值不為 true 則拋出 AssertionError 并終止程序的運行。
斷言推薦使用方法

用于驗證方法中的內部邏輯，包括：

內在不變式
控制流程不變式
后置條件和類不變式

注意：不推薦用于公有方法內的前置條件的檢查。
運行時屏蔽斷言

運行時要屏蔽斷言，可以用如下方法：
java –disableassertions 或 java –da 類名
運行時要允許斷言，可以用如下方法：
java –enableassertions 或 java –ea類名

您可能感興趣的文章:

Java
斷言

欧美bbbwbbbw肥妇,免费乱码人妻系列日韩,一级黄片

軟件下載

源碼下載

軟件編程

網絡編程

在線工具

數(shù)據庫

CMS

常用工具

淺析Java異常處理中斷言的使用

相關文章

最新評論

大家感興趣的內容

最近更新的內容

常用在線小工具