assertion(断言)在软件开发中是一种常用的调试方式,很多开发语言中都支持这种机制。在实现中,assertion 就是在程序中的一条语句,它对一个 boolean 表达式进行检查,一个正确程序必须保证这个 boolean 表达式的值为 true;如果该值为 false,说明程序已经处于不正确的状态下,assert 将给出警告或退出。一般来说,assertion 用于保证程序最基本、关键的正确性。assertion 检查通常在开发和测试时开启。为了提高性能,在软件发布后,
assertion 检查通常是关闭的。
publicclass AssertTest {
public static voidmain(String[] args) {
int i = 0;
for(i=0;i<5;i++){
System.out.println(i);
}
//假设程序不小心多了一句--i;
--i;
assert i==5;
}
}
|