assertion斷言在軟件開發中是一種常用的調試方式,很多開發語言都支持這種機制。在實現中,assertion就是在程序中的一條語句,他對boolean表達式進行檢查,一個正確的程序必須保證這個bolean值是true,如果爲false,說明程序已經處於不正確的狀態下。這時assert會發出警告或退出。
例如:
public class AssertTest
{
public static void main(String[] args){
int i=0;
for(i=;i<5;i++){
System.out.println(i);
}
--i;
assert i==5;
}
}
這時程序就會報錯。