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包和它的子包中的所有类打开断