java的断言_java断言assert初步使用：断言开启、断言使用

1 说明

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

jvm断言默认是关闭的。

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

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

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

2 判断eclipse是否开启了断言

代码如下：

public static void main(String args[]) {

boolean isOpen = false;

// 如果开启了断言，会将isOpen的值改为true

assert isOpen = true;

// 打印是否开启了断言，如果为false，则没有启用断言

System.out.println(isOpen);

}

3 eclipse 中开启和关闭断言

选择菜单：run --> run Configurations

打开断言:-ea

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

3 断言使用

3.1 第一种使用方法

/**

* 断言的使用方法一

*/

public static void useAssertExt1() {

boolean isOk = 1 > 2;

assert isOk;

System.out.println("程序正常");

}

执行的结果如下：

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 第二种使用方法

/**

* 断言的第一个例子

*/

public static void useAssertExt2() {

boolean isOk = 1 > 2;

try {

assert isOk : "程序错误";

System.out.println("程序正常");

} catch (AssertionError err) {

System.out.println(err.getMessage());

}

}

运行结果如下：

程序错误

说明

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: java -ea:MyClass1 打开MyClass1的assertion

-da: java -da: MyClass1 关闭MyClass1的assertion

-ea: java -ea:pkg1 打开pkg1包的assertion

-da: java -da:pkg1 关闭pkg1包的assertion

-ea:... java -ea:... 打开缺省包(无名包)的assertion

-da:... java -da:... 关闭缺省包(无名包)的assertion

-ea:... java -ea:pkg1... 打开pkg1包和其子包的assertion

-da:... java -da:pkg1... 关闭pkg1包和其子包的assertion

-esa java -esa 打开系统类的assertion

-dsa java -dsa 关闭系统类的assertion

综合使用 java -dsa:MyClass1:pkg1 关闭MyClass1和pkg1包的assertion