理解和正确使用Java中的断言(assert)

理解和正确使用Java中的断言(assert)

一、语法形式：

Java2在1.4中新增了一个关键字：assert。在程序开发过程中使用它创建一个断言(assertion)，它的

语法形式有如下所示的两种形式：

1、assert condition;

这里condition是一个必须为真(true)的表达式。如果表达式的结果为true，那么断言为真，并且无任何行动

如果表达式为false，则断言失败，则会抛出一个AssertionError对象。这个AssertionError继承于Error对象，

而Error继承于Throwable，Error是和Exception并列的一个错误对象，通常用于表达系统级运行错误。

2、asser condition:expr;

这里condition是和上面一样的，这个冒号后跟的是一个表达式，通常用于断言失败后的提示信息，说白了，它是一个传到AssertionError构造函数的值，如果断言失败，该值被转化为它对应的字符串，并显示出来。

二、使用示例：

public class TestPerson{

private String name ;

private TestPerson(String name){

this.name = name;

}

public void setName(String nameStr){

this.name = nameStr;

}

public String getName(){

return this.name;

}

public static void main(String[] args){

TestPerson personObj = new TestPerson("Abner Chai");

String personName = null;

// personName=personObj.getName();

assert (personName=personObj.getName())!=null;

System.out.println(personName.length());

}

}

• 1
• 2
• 3
• 4
• 5
• 6
• 7
• 8
• 9
• 10
• 11
• 12
• 13
• 14
• 15
• 16
• 17
• 18
• 19
• 20
• 21

这个程序中，对personName的赋值被转移到assert语句中，尽管断言有效时它可以很好地运行（<在Eclipse(3.0M9)开发环境中，运行时，我们必须配置运行时的选项”Run Configuration “，在Arguments页面中的”VM Arguments” 中填入-ea选项。才能让断言在运行时起作用。>即使用-ea运行时可以有效地运行）但如果断言失效，则它会运行时报空指针错误。因为断言无效时，personName=personObj.getName()一句永远不会执行！

三.其它选项：

当执行代码时，使用-ea选项使断言有效，也可以使用-da选项使断言无效（默认为无效）

同样，也可以通过在-ea或-da后面指定包名来使一个包的断言有效或无效。例如，要使一个com.test包中的断言

无效，可以使用：

-da:com.test

要使一个包中的所有子包中的断言能够有效或无效，在包名后加上三个点。例如：

-ea:com.test…

即可使com.test包及其子包中的断言无效。