java断言的使用和理解

关于java断言的理解和使用

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

如果程序中含有大量这样子的检查代码，程序的性能就会下降，而断言（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

源码反编译

 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的构造方法中。