Java断言---巩固强化

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.使用断言完成参数检查

什么时候应该选择使用断言呢？请注意下面几点：

• 断言失败是致命的、不可恢复符错误。
• 断言检查只是在开发和测试阶段打开（这种做法有时候被戏称为“在靠近海岸时穿上救生衣，但在海里就把救生衣抛掉”）。
  因此，不应该使用断言向程序的其他部分通知发生了可恢复性的错误，或者，不应该利用断言与程序用户沟通问题。断言值应该用于在测试阶段确定程序内部错误的位置。