轉：JAVA斷言使用

from:http://www.blogjava.net/liulu/archive/2006/10/24/77005.html

相信學過c,c++的朋友一定不會對斷言感到陌生。下面介紹一下斷言在JAVA中的使用，JAVA是從JDK1.4才開始支援斷言的（添加了關鍵字assert）,請注意老版的JRE不支援。

斷言概述

  編寫代碼時，我們總是會做出一些假設，斷言就是用於在代碼中捕捉這些假設
  可以將斷言看作是異常處理的一種進階形式
  斷言表示為一些布林運算式，程式員相信在程式中的某個特定點該運算式值為真
  可以在任何時候啟用和禁用斷言驗證，因此可以在測試時啟用斷言而在部署時禁用斷言。同樣，程式投入運行後，終端使用者在遇到問題時可以重新起用斷言。
  使用斷言可以建立更穩定，品質更好且易於除錯的代碼
  當需要在一個值為FALSE時中斷當前操作的話，可以使用斷言
  單元測試必須使用斷言（Junit/JunitX）
  除了類型檢查和單元測試外，斷言還提供了一種確定個種特性是否在程式中得到維護的極好的方法
  使用斷言使我們向按契約式設計更近了一部
常見的斷言特性

  前置條件斷言：代碼執行之前必須具備的特性
  後置條件斷言：代碼執行之後必須具備的特性
  前後不變斷言：代碼執行前後不能變化的特性
斷言使用方式

  斷言可以有兩種形式
  1.assert Expression1
  2.assert Expression1:Expression2
  其中Expression1應該總是一個布爾值，Expression2是宣告失敗時輸出的失敗訊息的字串。如果Expression1為假，則拋出一個 AssertionError，這是一個錯誤，而不是一個異常，也就是說是一個不可控制異常（unchecked Exception),AssertionError由於是錯誤，所以可以不捕獲，但不推薦這樣做，因為那樣會使你的系統進入不穩定點。
起用斷言

  斷言在預設情況下是關閉的，要在編譯時間啟用斷言，需要使用source1.4標記 既javac source1.4 Test.java ,在運行時啟用斷言需要使用 -ea參數 。要在系統類別中啟用和禁用斷言可以使用 -esa 和 -dsa參數。
例如：
public class AssertExampleOne{
   public AssertExampleOne(){}
   public static void main(String args[]){
      int x=10;
      System.out.println("Testing Assertion that x==100");
      assert x==100:"Out assertion failed!";
      System.out.println("Test passed!");
   }
}
如果編譯時間未加 -source1.4,則編譯通不過
在執行時未加 -ea 時輸出為
Testing Assertion that x==100
Test passed
jre忽略了斷言的就代碼，而使用了該參數就會輸出為
Testing Assertion that x==100
Exception in thread "main" java.lang.AssertionError: Out assertion failed!
        at AssertExampleOne.main(AssertExampleOne.java:6)
斷言的副作用

  由於程式員的問題，斷言的使用可能會帶來副作用 ，例如：
  boolean isEnable=false;
  //...
  assert isEnable=true;
  這個斷言的副作用是因為它修改了程式中變數的值並且未拋出錯誤，這樣的錯誤如果不細心的檢查是很難發現的。但是同時我們可以根據以上的副作用得到一個有用的特性，根據它來測試斷言是否開啟。
public class AssertExampleTwo{
   public static void main(String args[]){
     boolean isEnable=false;
     //...
     assert isEnable=true;
     if(isEnable==false){
       throw new RuntimeException("Assertion shoule be enable!");
     }
   }
}
何時需要使用斷言

  1.可以在預計正常情況下程式不會到達的地方放置斷言 ：assert false
  2.斷言可以用於檢查傳遞給私人方法的參數。（對於公有方法，因為是提供給外部的介面，所以必須在方法中有相應的參數檢驗才能保證代碼的健壯性）
  3.使用斷言測試方法執行的前置條件和後置條件
  4.使用斷言檢查類的不變狀態，確保任何情況下，某個變數的狀態必須滿足。（如age屬性應大於0小於某個合適值）
什麼地方不要使用斷言

  Assert 陳述式不是永遠會執行，可以屏蔽也可以啟用
因此：
  1.不要使用斷言作為公用方法的參數檢查，公用方法的參數永遠都要執行
  2.Assert 陳述式不可以有任何邊界效應，不要使用Assert 陳述式去修改變數和改變方法的傳回值
參考：
http://jcp.org/en/jsr/detail?id=41
http://java.sun.com/j2se/1.4.2/docs/guide/lang/assert.html
http://www-128.ibm.com/developworkers/cn/java/jdiag0723/
http://www-128.ibm.com/developworkers/cn/java/jmerlin/part9/

Technorati 標籤: Java,斷言