快捷導(dǎo)航

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

更新時(shí)間：2015年09月28日 16:53:47 投稿：goldensun

這篇文章主要介紹了Java異常處理中斷言的使用,是Java入門學(xué)習(xí)中的基礎(chǔ)知識(shí),需要的朋友可以參考下

斷言的概念

斷言用于證明和測(cè)試程序的假設(shè)，比如“這里的值大于 5”。
斷言可以在運(yùn)行時(shí)從代碼中完全刪除，所以對(duì)代碼的運(yùn)行速度沒(méi)有影響。
斷言的使用

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

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");
  }
}

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

 javac -source 1.4 AssertExample.java

以上程序運(yùn)行使用斷言功能也需要使用額外的參數(shù)（并且需要一個(gè)數(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，因此斷言功能使得程序運(yùn)行時(shí)拋出斷言錯(cuò)誤，注意是錯(cuò)誤，這意味著程序發(fā)生嚴(yán)重錯(cuò)誤并且將強(qiáng)制退出。斷言使用 boolean 值，如果其值不為 true 則拋出 AssertionError 并終止程序的運(yùn)行。
斷言推薦使用方法

用于驗(yàn)證方法中的內(nèi)部邏輯，包括：