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

一、语法形式：

Java2在1.4中新增了一个关键字：assert。在程序开发过程中使用它创建一个断言(assertion)，它的
语法形式有如下所示的两种形式：

(1）assert [boolean 表达式]

如果[boolean表达式]为true，则程序继续执行。

如果为false，则程序抛出AssertionError，并终止执行。

(2）assert[boolean 表达式 : 错误表达式 （日志）]

如果[boolean表达式]为true，则程序继续执行。

如果为false，则程序抛出java.lang.AssertionError，输出[错误信息]。

二. 断言使用

在Eclipse(3.0M9)开发环境中，必须在window->preferences 中，左边选中 “Java->Compiler” ，右边选择 “Compliance and ClassFiles” 页面下的将 “Compiler Compliance Level” 选择为1.4；同时，将 “Use Default Compiler Settings” 前的勾去掉。并将下面的 “Generated .class file compatibility"和"Source compatibility” 均选择为1.4，才能正确编译。

同时，要想让断言起效用，即让断言语句在运行时确实检查，在运行含有assert的程序时，必须指定-ea选项
如：为了能够让上面的程序运行，我们执行下面代码：

java -ea TestAssert

在在Eclipse(3.0M9)开发环境中，运行时，我们必须配置运行时的选项"Run"，在Arguments页面中的 “VM Arguments” 中填入-ea选项。才能让断言在运行时起作用。
注意事项：
理解断言最重要的一点是必须不依赖它们完成任何程序实际所需的行为。理由是正常发布的代码都是断言无效的，即正常发布的代码中断言语句都不不执行的（或不起作用的），如果一不小心，我们可以错误地使用断言，如：

public class TestPerson{

    private String name = null;
    public 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;
        assert (personName=personObj.getName())!=null;
        System.out.println(personName.length());
    }
}

这个程序中，对personName的赋值被转移到assert6语句中，尽管断言有效时它可以很好地运行（即使用-ea运行时可以有效地运行）但如果断言失效，则它会运行时报空指针错误。因为断言无效时，
personName=personObj.getName()一句永远不会执行！
断言对Java来说是一个好的条件，因为它们使开发过程中错误类型检查流线化，例如，在没有assert之前，上面的程序要想确认personName 不空，则必须：

if(personName!=null){
    System.out.println(personName.length());
}

才行。有了assert后，使用assert，只需一行代码，并且不必从发布的代码中删除assert语句。
于是，上面的那个程序，经改正后，我们可以这么样来正确的使用assert，如下：

public class TestPerson{
    private String name = null;
    public 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!=null;
        System.out.println(personName.length());
    }
}

其它选项

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

同样，也可以通过在-ea或-da后面指定包名来使一个包的断言有效或无效。例如，要使一个com.test包中的断言
无效，可以使用：
-da:com.test
要使一个包中的所有子包中的断言能够有效或无效，在包名后加上三个点。例如：
-ea:com.test…
即可使com.test包及其子包中的断言无效。

使用注意事项

在阿里巴巴Java开发手册中，有这么一段话：单元测试应该是全自动执行的，并且非交互式的。测试用例通常是被定期执行的，执 行过程必须完全自动化才有意义。输出结果需要人工检查的测试不是一个好的单元测试。单元 测试中不准使用 System.out 来进行人肉验证，必须使用 assert 来验证。

在IDEA中使用 assert