java断言assert初步使用:断言开启、断言使用

时间:2022-06-16 15:16:19

1 说明

  java断言assert是jdk1.4引入的。

  jvm断言默认是关闭的。

  断言可以局部开启的,如:父类禁止断言,而子类开启断言,所以一般说“断言不具有继承性”。

  断言只适用复杂的调式过程。

  断言一般用于程序执行结构的判断,千万不要让断言处理业务流程。

2 判断eclipse是否开启了断言

  代码如下:

java断言assert初步使用:断言开启、断言使用
    public static void main(String args[]) {
boolean isOpen = false; // 如果开启了断言,会将isOpen的值改为true
assert isOpen = true; // 打印是否开启了断言,如果为false,则没有启用断言
System.out.println(isOpen);
}
java断言assert初步使用:断言开启、断言使用

3 eclipse 中开启和关闭断言

  选择菜单:run --> run Configurations

  打开断言:-ea

  关闭断言:-da,或者删除-ea

java断言assert初步使用:断言开启、断言使用

3 断言使用

3.1 第一种使用方法

java断言assert初步使用:断言开启、断言使用
    /**
* 断言的使用方法一
*/
public static void useAssertExt1() {
boolean isOk = 1 > 2;
assert isOk;
System.out.println("程序正常");
}
java断言assert初步使用:断言开启、断言使用

执行的结果如下:

Exception in thread "main" java.lang.AssertionError
at com.rollercoaster.codecomplete.AboutAssertion.useAssertExt1(AboutAssertion.java:43)
at com.rollercoaster.codecomplete.AboutAssertion.main(AboutAssertion.java:16)

说明:

  显然isOk为false,所以抛出AssertionError

3.2 第二种使用方法

java断言assert初步使用:断言开启、断言使用
    /**
* 断言的第一个例子
*/
public static void useAssertExt2() {
boolean isOk = 1 > 2;
try {
assert isOk : "程序错误";
System.out.println("程序正常");
} catch (AssertionError err) {
System.out.println(err.getMessage());
}
}
java断言assert初步使用:断言开启、断言使用

运行结果如下:

  程序错误

说明

  assert后面跟个冒号表达式。如果冒烟前为true,则冒号后面的被忽略,否则抛出AssertionError,错误内容为冒号后面的内容。

  按F3查看源代码,如下,可以看到AssertionError是继承自Error,而不是Exception,所以catch部分用Exception是不能捕捉到AssertionError信息的。

  // (version 1.7 : 51.0, super bit)
  public class java.lang.AssertionError extends java.lang.Error {...

5 有关断言的更多参数(转帖一下):

-ea java -ea 打开所有用户类的assertion
-da java -da 关闭所有用户类的assertion
-ea:<classname> java -ea:MyClass1 打开MyClass1的assertion
-da:<classname> java -da: MyClass1 关闭MyClass1的assertion
-ea:<packagename> java -ea:pkg1 打开pkg1包的assertion
-da:<packagename> java -da:pkg1 关闭pkg1包的assertion
-ea:... java -ea:... 打开缺省包(无名包)的assertion
-da:... java -da:... 关闭缺省包(无名包)的assertion
-ea:<packagename>... java -ea:pkg1... 打开pkg1包和其子包的assertion
-da:<packagename>... java -da:pkg1... 关闭pkg1包和其子包的assertion
-esa java -esa 打开系统类的assertion
-dsa java -dsa 关闭系统类的assertion
综合使用 java -dsa:MyClass1:pkg1 关闭MyClass1和pkg1包的assertion