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

@转自天地悠悠的个人博客

主要总结一下在eclipse中如何使用断言。

（一）首先明确：

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

jvm 断言默认是关闭的。

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

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

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

（二）判断eclipse是否开启了断言，代码如下：

public class AssertTest {

public static void main(String[] args) {
   boolean isOpen = false;  
   assert isOpen=true; //如果开启了断言，会将isOpen的值改为true
   System.out.println(isOpen);//打印是否开启了断言   
}

}

 

执行上面代码，如果打印 true说明已经启用了断言，如果为 false 则没有启用断言。

如果没有启用断言，则按按照下面方法开启断言。

（三）eclipse中开启断言

选择菜单：Run ---> Run... ---> 选择 Arguments 选项卡

在 VM arguments 文本框中输入： -ea   注意 中间没有空格，如果输入 -da 表示禁止断言。

然后关闭该窗口，提示保存，然后保存就开启了断言。如下图：

 

再次执行第二步操作，如果打印true，说明开启断言成功。

如果禁止断言，则按第二步操作中，删除 -ea 或者将 -ea 改为 -da 即可。

（四）断言使用

第 1 种使用方法：

public static void main(String[] args) {
   boolean isOk = 1>2;
   assert isOk;
   System.out.println("程序正常");
   
}

 

因为 1>2 显然是错误的，所以执行结果抛出异常：Exception in thread "main" java.lang.AssertionError

如果把 1>2 改为 1<2 则程序能顺利执行，打印 “程序正常”

 

第 2 种使用方法：

public static void main(String[] args) {
     boolean isOk = 1>2;
     try{
           assert isOk : "程序错误";
           System.out.println("程序正常");
        }catch(AssertionError err){
          System.out.println(err.getMessage());
     }
   
}

 

assert 后面跟个冒号表达式。如果冒号前为 true，则冒号后面的被忽略。

如果冒号前为false，则抛出AssertionError ， 错误信息内容为冒号后面的内容，上面程序执行结果就是打印："程序错误"

（五）有关断言的更多参数（转帖一下）：

-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