首页 > 编程笔记 > Java笔记

Java断言及使用

在 JDK 1.4 之后,Java 中增加了断言的功能。断言(Assertion)是一种调试程序的方式。在 Java 中,使用 assert 关键字来实现断言。断言的定义格式如下:

assert boolean 表达式 : 详细信息

以上代码中,boolean 表达式的结果为 true,则会忽略后面的详细信息;如果为 false,则提示的错误内容为详细信息;如果没有声明详细信息的描述,则系统会使用默认的错误信息提示方式。

以下程序使用了断言。
public static void main(String[] args) {
    // 定义一个数组,长度为3
    int x[] = { 1, 2, 3 };
    // 此处断言数组长度为0,肯定是错误的
    assert x.length == 0;
}
以上程序中,语句assert x.length == 0;即为断言,断言条件x.length == 0预期为 true。如果计算结果为 false,则断言失败,抛出 AssertionError。由于数组 x 的长度是不可能为 0 的,所以,此处的断言结果是错误的。

但此时运行程序并不会得到任何的结果,这是因为 Java 在设计此关键字时,考虑到了系统的应用,为了防止某些用户使用 assert 作为关键字,所以在程序正常运行时断言并不会起任何的作用,如果要想让断言起作用,则在使用 Java 运行时应该加入-enableassertions参数,可以简写为-ea

下面使用”-ea“运行程序,运行程序格式如下:

编译程序:javac Test.java
验证程序:java -ea Test

程序运行时出现以下错误:
Exception in thread "main" java.lang.AssertionError
        at Test.main(Test.java:6)

以上是断言错误,因为数组 x 的长度不可能是 0,但是,此时的信息是系统默认的错误信息,如果要想显示自己的错误信息,则可以使用另外一种断言声明格式。

Test 类代码修改如下:
public static void main(String[] args) {
    // 定义一个数组,长度为3
    int x[] = { 1, 2, 3 };
    // 此处断言数组长度为0,肯定是错误的
    assert x.length == 0 : "数组长度不为0";
}
再次验证断言,出现以下信息:

Exception in thread "main" java.lang.AssertionError:数组长度不为0
        at Test.main(Test.java:6)

以上就是将自定义的错误信息进行输出,当然,如果此时断言的结果是正确的,则验证肯定不会有任何的问题。

使用断言需要注意以下几点:
  1. 断言失败时会抛出 AssertionError,导致程序结束退出。因此,断言不能用于可恢复的程序错误,只应该用于开发和测试阶段。
  2. 虽然断言返回的是 boolean 值,但是并不能将其作为条件判断语句。
  3. 断言虽然有检查运行结果的功能,但是一般在开发中并不提倡使用断言,更好的方法是编写单元测试。

所有教程

优秀文章