Java断言

1、断言的概念

断言机制允许在测试期间向代码中插入一些检查，而在生产代码中会自动删除这些检查。
Java语言中引入了关键字assert。这个关键字有两种形式:

assert condition;

和

assert condition : experssion;

这两个语句都会计算条件，如果结果为false，则抛出一个AssertionError异常。在第二个语句中，表达式将传入AssertionError对象的构造器，并转换成一个消息字符串。
要想断言x是一个非负数，只需要简单地使用下面这条语句

assert x >= 0;

或者将x的实际值传递给AssertionError对象，以便以后显示。

assert x >= 0 : x;

2、启用和禁用断言

在默认情况下，断言是禁用的。可以在运行程序时用-enableassertions或-ea选项启用断言:

java -enableassertions MyApp

需要注意的是，不必重新编译程序来启用或禁用断言。启用或禁用断言是类加载器(class loader)的功能。禁用断言时，类加载器会去除断言代码，因此，不会降低程序运行的速度。
也可以在某个类或整个包中启用断言，例如:

java -ea:MyClass -ea:com.mycompany.mylib MyApp

这条命令将为MyClass类以及com.mycompany.mylib包和它的子包中的所有类打开断言。选项-ea将打开无名包中所有类的断言。
也可以用选项-disableassertions或-da在某个特定类和包中禁用断言。

java -ea:... -da:MyClass MyApp

启用和禁用所有断言的-ea和-da开关不能应用到那些没有类加载器的"系统类"上。对于这些系统类，需要使用-enablesystemassertions/-esa开关启用断言。

3、何时启用断言

在Java语言中，给出了3种处理系统错误的机制:

• 抛出一个异常
• 日志
• 使用断言

什么时候应该选择使用断言呢？请记住下面几点:

• 断言失败是致命的、不可恢复的错误
• 断言检查只是在开发和测试阶段打开

因此，不应该使用断言向程序的其他部分通知发生了可恢复的错误，或者，不应该利用断言与程序用户沟通问题。断言只应当用于在测试阶段确定程序内部错误的位置。