Java断言——assert(转自http://cnet…

Java断言——assert

 

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

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

 

断言检查通常在开发和测试阶段开启。而在软件发布后 为提高 运行 性能，断言检查会被关闭。因此能够随时自由地选择开启或关闭断言检查显得非常重要，而这正是Java断言特性的重要功能之一。。

默认状态下断言检查是关闭的，可以在运行时通过 参数 -ea（enableassertions） 开启断言检查，与之对应的是-da（disenableableassertions） 用于关闭断言检查，例如：

Java代码  

1. java -ea myPackage.myProgram  
2. //或者  
3. java -enableassertions myPackage.myProgram  

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

 

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

Java代码  

1. assert expression1;  
2. 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)不带任何参数时：表示打开 (或关闭) 所有用户类的断言检查；如果带有包名称或者类名称则表示打开 (或关闭) 这些类或包的断言检查；如果包名称后面跟有三个点 表示这个包及其子包都 打开 (或关闭) 断言检查 ；如果只有三个点则代表无名包；

 

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

参数例子说明-eajava -ea打开所有用户类的assertion-dajava -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-esajava -esa打开系统类的assertion-dsajava -dsa关闭系统类的assertion综合使用java -dsa:MyClass1:pkg1关闭MyClass1和pkg1包的assertion

 

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

 

另外，你还可以使用JavaAPI来调整断言开启状态，

• ClassLoader.setDefaultAssertionStatus()：用于开启/关闭断言；
• ClassLoader.setPackageAssertionStatus()：用于开启/关闭某些包的断言；
• ClassLoader.setClassAssertionStatus()：用于开启/关闭某些类的断言；
• ClassLoader.clearAssertionStatus：用于关闭断言；

在Eclipse中启用断言的方法：

• 方法1、Window-->Preferences-->Java-->InstalledJREs
  选择当前正在使用的JDK条目，点击Edit... 按钮，进入JRE Definition界面： 在 Default VM Arguments 栏输入 -ea (或-enableassertions) 参数。
• 方法2、Run-->RunConfigurations，选择当前程序，并点击进入Arguments标签页，在VMarguments 栏输入 -ea(-enableassertions)参数。
  

以上两个方法，前者针对全局设置、后者仅 仅 对当前运行的程序有效。

 

在Android中启用断言的方法：

设置系统属性debug.assert，在命令行环境中执行：

Java代码  

1. adb shell setprop debug.assert 1   

 即可。