Java断言(assert)介绍及使用

概述

在一个具有自我保护能力的程序中，如果要确保某个属性符合要求，并且代码执行依赖于这个属性。例如字符串操作int len = str.length();我们确信str是一个字符串的引用，原因是这是调用者传给该方法的一个参数，但是还是希望能够检查一下，避免调用了一个null引用的方法。当然，可以直接抛出一个异常。

if(str == null)
    throw new IllegalArgumentException("str不能为null");

但是这段代码会一直保留在程序中，即使测试完毕也不会自动删除。如果程序中含有大量这样子的检查代码，程序的性能就会下降。

而断言（assert）机制允许在测试期间向代码插入一些检查语句。当代码发布时，我们可以选择让这些代码是否有效。

语法形式

断言是通过assert这个关键词实现的，有下面两种形式

1. assert 条件;
2. assert 条件 : 表达式;

这两种形式都会对条件进行检测，如果结果为false，则抛出一个AssertionError。在第二种形式中，表达式的值将会被传入AssertionError的构造器中，并转换成一个消息字符串。

使用断言

现在就来使用一下断言，测试代码如下

public class AssertDemo {

    public static void main(String[] args) {
        int x = 23;
        assert x < 0;
    }
}

很明显x的值不是小于0的，按照上面的描述应该会抛出一个AssertionError，但是当你运行后会发现并没有这种情况发生。

启动断言

断言的使用需要指定启动一下，在命令行中输入java就可以看到它的启动参数为-ea和-enableassertions，所以如果是在eclipse下运行的话你需要在“Run Configurations”–>“Arguments”–>“VM Arguments”中添加-ea或-enableassertions，在命令行中运行的话只需要这样子java -ea AssertDemo
运行后的结果

Exception in thread "main" java.lang.AssertionError
    at AssertDemo.main(AssertDemo.java:6)

如果加上表达式，如下面这样子

public class AssertDemo {

    public static void main(String[] args) {
        int x = 23;
        assert x < 0 : "x的值不小于0";
    }
}

输出结果就会是这样子

Exception in thread "main" java.lang.AssertionError: x的值不小于0
    at AssertDemo.main(AssertDemo.java:6)

禁用断言

与启动断言一样的使用方法，只不过参数是-da和-disableassertions

反编译源码

反编译一下上面的程序，main方法就变成下面这样子

 public static void main(String args[])
    {
        int x = 23;
        if(!$assertionsDisabled && x >= 0)
            throw new AssertionError("x\u4E0D\u662F\u5C0F\u4E8E0");
        else
            return;
    }

很明显它加了一个判断，assertionsDisabled 应该就是是否启用断言的标志，条件后面的表达式的值被传入到AssertionError的构造方法中。