什么是断言？

news2025/6/27 22:55:37

一、assert是个啥？

断言是为了方便调试程序，并不是发布程序的组成部分。理解这一点是很关键的。

在C和C++语言中都有assert关键字，表示断言。

java 也不例外，在Java SE 1.4版本以后也增加了断言的特性。

默认情况下，JVM 是关闭断言的。因此如果想使用断言调试程序，需要手动打开断言功能。

在命令行模式下运行Java程序时可增加参数-enableassertions或者-ea打开断言。

也可通过-disableassertions或者-da关闭断言(默认情况，可有可无)。

二、断言使用

断言是通过关键字assert来定义的，通常它有两种表达方式。

2.1、 assert <boolean表达式>

如果boolean表达式为true，则程序继续执行。如果为false，则程序抛出AssertionError，并终止执行。

例如：

public class AssertTest {
 
    public static void main(String[] args) {
        boolean isOk = false;
        assert isOk;
        System.out.println("断言通过!");
    }
}

直接运行，是直接通过的，因为JVM是关闭断言的！
但是，我们可以通过命令模式运行，带参数-ea！

java -ea AssertTest

比如Eclipse，可这样设置: Run as -> Run Configurations -> Arguments -> VM arguments：敲入-ea即可。

运行结果：

2.2、 assert <boolean表达式> : <错误信息表达式>

如果boolean表达式为true，则程序继续执行。如果为false，则程序抛出java.lang.AssertionError，并输入错误信息表达式。

例如：

public class AssertTest2 {
     
    public static void main(String[] args) {
        boolean isOk = false;
        assert isOk : "不通过！";
        System.out.println("断言通过!");
    }
}

同样，我们可以通过命令模式运行，带参数-ea！
在eclipse里面配置好参数，运行结果：

三、陷阱

有的同学，可能觉得assert类似if判断，所以呢，就可以在代码中使用！

比如考虑下面这个简单的例子：

public class AssertTest2 {
     
    public static void main(String[] args) {
        int[] is = {1};
        assert(is.length > 0);
        System.out.println(is[1]);
    }
}