断言是什么?
断言(Assertion)是一种调试程序的方式。在java中,使用assert关键字来实现断言。
案例说明(1)
// 举例
int x = -1;
System.out.println( x > 0 );
assert x > 0;
System.out.println( x ); // java.lang.AssertionError
返回示例
//返回结果
- false
- Exception in thread "main" java.lang.AssertionError
...
语句 assert x > 0 为断言
。条件成立为 true,输出正常结果;
条件不成立为 false,则断言失败,抛出异常AssertionError
。
使用assert语句时,可以添加可选的断言消息: assert x >0 : “x must >0”;
- 举例
int x = -1;
assert x > 0 : "x must > 0" ;
System.out.println( x );
- 返回结果
Exception in thread "main" java.lang.AssertionError : x must > 0
PS:
Java断言的特点是:
断言失败时会抛出AssertionError,导致程序结束退出。
因此,
断言不能用于可恢复的程序错误,只应该用于开发和测试阶段。
案例说明(2)
// 举例
int x = -1;
assert x > 0 : "x must > 0" ;
System.out.println( x );
返回示例
//返回结果
-1
断言 X 必须大于 0 ,实际上 X 为 -1 ,断言肯定失败。
执行上述代码,发现程序并未抛出AssertionError,而是正常打印出来了X的值。
这是什么原因呢?为什么语句 assert 不起作用?这也是使用断言时的前提条件:
前提条件
JVM模式关闭断言指令,遇到assert语句就自动忽略了,不执行。(会导致并未抛出AssertionError,而是正常打印x值)
要执行 assert 必须给java虚拟机传递 -enableassertions(可简写 -ea) 参数启用断言。
在实际开发中,对断言使用的也不多。更好的方法是编写单元测试,只能在开发和测试阶段启用断言。
对于可恢复的错误不能使用断言,而应该抛出异常。