1.断言的概念
假设确信某个属性符合要求,并且代码的执行依赖这个属性。例如,需要计算
double y=Math.sqrt(x);
你确信这里的x是一个非负数。原因是:x是另外一个计算的结果,而这个结果不可能是负值:或者x是一个方法的参数,这个方法要求它的调用者只能提供一个正数输入。不过,你可能还是想再做一次检查,不希望计算中潜入让人困惑的“不是一个数”(NaN)浮点值。当然,也可以抛出一个异常:
if(x<0) throw new illegalArgumentException("x<0");
但是即使测试完毕后,这个代码还会一直保留在程序中。如果在程序中含有大量这种检查,程序运行起来慢很多。断言机制允许在测试期间向代码中插入一些检查,而在生产代码中会自动删除这些检查。Java语言引入关键字assert。这个关键字有两种形式:
assert condition;
和
assert condition:expression;
这两个语句都会计算条件,如果结果为false,则抛出一个AssertionError异常。在第二个语句中,表达式将传入AssertionError对象的构造器,并转换成一个消息字符串。这里举个栗子:
要想断言x是一个非负数,只需要简单地使用下面这条语句
assert x>=0;
或者将x的实际值传递给AssertionError对象,以便以后显示。
assert x>=0:x;
2.启用和禁用断言
在默认情况下,断言是禁用的。如果是在cmd命令行内运行Java程序,可以在运行程序时用 -enableassertions 或 -ea选项启用断言:
java -enableassertions MyApp(这是你的工程名称)
需要注意的是,不必重新编译程序来启用或禁用断言。启用或禁用断言是类加载器的功能。禁用断言是,类加载器会去除断言代码,因此,不会降低程序运行速度。
如果是在Idea编辑器中启用断言,你需要进行如下配置操作:
运行实例:
3.使用断言完成参数检查
什么时候应该选择使用断言呢?请注意下面几点:
- 断言失败是致命的、不可恢复符错误。
- 断言检查只是在开发和测试阶段打开(这种做法有时候被戏称为“在靠近海岸时穿上救生衣,但在海里就把救生衣抛掉”)。
因此,不应该使用断言向程序的其他部分通知发生了可恢复性的错误,或者,不应该利用断言与程序用户沟通问题。断言值应该用于在测试阶段确定程序内部错误的位置。