Java断言——assert

Java从1.4 版本 开始提供了一个新特性—— 断言 ( assertion )。在软件开发中，断言是一种经典的调试与测试方式。

简单来看 断言其实就是在程序中的一条语句(assert)，它对一个boolean表达式进行测试，一个正确程序必须保证该表达式的值为true，如果该值为false，则说明程序已处于不正确的状态，运行将被终止并退出——即 断言用于保证程序最基本、 最 关键的正确性。

断言检查通常在开发和测试阶段开启。而在软件发布后 为提高 运行 性能，断言检查会被关闭。因此能够随时自由地选择开启或关闭断言检查显得非常重要，而这正是Java断言特性的重要功能之一。。
默认状态下断言检查是关闭的，可以在运行时通过 参数 -ea（e nablea ssertions） 开启断言检查，与之对应的是-da （d isenableablea ssertions） 用于关闭断言检查，例如：

java -ea myPackage.myProgram
//或者
java -enableassertions myPackage.myProgram

下文再进一步讲解-ea/-da参数的用法，让我们先来看看assert语句的语法吧。

assert的语法格式有以下两种：

assert expression1;
assert expression1 : expression2;

expression1是布尔表达式，必须保证在程序运行是其值为真，否则将抛出AssertionError异常并终止运行。
expression2是可选的。它用于当expression1为假时，作为构造器参数传递给AssertionError异常类，因此expression2的类型必须是合法的AssertionError构造器的参数类型。AssertionError共支持7中类型的构造器参数，分别是：boolean、char、double、float、int、long和Object，它们将会根据相关规范转换成错误提示信息字符串。


参数-ea & -da详解
-ea和-da的全名为-enableassertions和-disenableassertions，全名和缩写名有同样的功能。它们的含义为开启(-ea)或关闭(-da)断言功能。
通过-ea (或-da) 参数，可以打开 (或关闭) 某些类或者某些包的断言功能，
如果-ea(或-da)不带任何参数时：表示打开 (或关闭) 所有用户类的断言检查；如果带有包名称或者类名称 则表示打开 (或关闭) 这些类或包的断言检查；如果包名称后面跟有三个点 表示这个包及其子包都 打开 (或关闭) 断言检查 ；如果只有三个点则代表无名包；

下面表格罗列了参数含义 及其 例子：

参数	例子	说明
-ea	java -ea	打开所有用户类的assertion
-da	java -da	关闭所有用户类的assertion
-ea:<classname>	java -ea:MyClass1	打开MyClass1的assertion
-da:<classname>	java -da: MyClass1	关闭MyClass1的assertion
-ea:<packagename>	java -ea:pkg1	打开pkg1包的assertion
-da:<packagename>	java -da:pkg1	关闭pkg1包的assertion
-ea:...	java -ea:...	打开缺省包(无名包)的assertion
-da:...	java -da:...	关闭缺省包(无名包)的assertion
-ea:<packagename>...	java -ea:pkg1...	打开pkg1包和其子包的assertion
-da:<packagename>...	java -da:pkg1...	关闭pkg1包和其子包的assertion
-esa	java -esa	打开系统类的assertion
-dsa	java -dsa	关闭系统类的assertion
综合使用	java -dsa:MyClass1:pkg1	关闭MyClass1和pkg1包的assertion

请注意上表中的-esa 和 -dsa参数，他们与-ea、-da的唯一区别是，前者用于打开（或关闭）系统类的断言检查功能。所谓系统类 是指像java.lang.Object这样的Java系统类库中的类。

另外，你还可以使用Java API来调整断言开启状态，
ClassLoader.setDefaultAssertionStatus()：用于开启/关闭断言；
ClassLoader.setPackageAssertionStatus()：用于开启/关闭某些包的断言；
ClassLoader.setClassAssertionStatus()：用于开启/关闭某些类的断言；
ClassLoader.clearAssertionStatus：用于关闭断言；
在Eclipse中启用断言的方法：
方法1、Window-->Preferences-->Java-->Installed JREs
选择当前正在使用的JDK条目，点击 Edit... 按钮，进入JRE Definition界面： 在 Default VM Arguments 栏输入 -ea (或 -enableassertions) 参数。
方法2、Run-->RunConfigurations，选择当前程序，并点击进入Arguments标签页，在VM arguments 栏输入 -ea(-enableassertions)参数。
以上两个方法，前者针对全局设置、后者仅 仅 对当前运行的程序有效。

在Android中启用断言的方法：
设置系统属性debug.assert ，在命令行环境中执行：

adb shell setprop debug.assert 1 

即可。