断言(assert)的使用

编写代码时，我们总是会做出一些假设，断言就是用于在 代码中捕捉这些假设。断言表示为一些 布尔表达式，程序员相信在程序中的某个特定点该表达式值为真，可以在任何时候启用和禁用断言验证，因此可以在测试时启用断言而在部署时禁用断言。同样，程序投入运行后，最终用户在遇到问题时可以重新启用断言。

使用断言可以创建更稳定、品质更好且 不易于出错的代码。当需要在一个值为FALSE时中断当前操作的话，可以使用断言。 单元测试必须使用断言（Junit/JunitX）。

除了类型检查和单元测试外，断言还提供了一种确定各种特性是否在程序中得到维护的极好的方法。

使用断言使我们向按 契约式设计更近了一步。

参考：http://www.cnblogs.com/tianxue/p/3925315.html

一、Assert简介

作用：是用于对程序进行调试的，对于执行结构的判断，而不是对于业务流程的判断。（相当于一个if ()语句，如果满足断言的执行程序，如果不满足则抛错误）

使用情形：断言只适用复杂的调式过程。（如果不复杂完全可以用log或者debug代替）

特性：首先assert需要自行开启（jvm断言默认是关闭的,如何开启等会讲解），然后assert不具有继承性（父类禁止断言，子类可以开启断言）

语法：assert 直接加语句，但结果一定要是boolean类型

二、使用assert

①、如何判断自己是否开启断言

原理：如果开启断言，则会调用断言语句。

[java] view plain copy

1. public static void main(String[] args) {  
2.     // TODO Auto-generated method stub  
3.     boolean isOk = false;  
4.           
5.     assert isOk = true;//如果开启则会调用assert，那么isOk就为true  
6.           
7.     System.out.println(isOk);//返回结果：false。一般结果都是返回false,表示assert未开启  
8. }  

②、如何开启断言

1、首先打开Run->Run Configurations

2、打开Argument并设置-ea(打开断言:-ea   关闭断言:-da,或者删除-ea)

3、再进行测试一下，如果返回true就表示成功了

③、作用：判断结果

[java] view plain copy

1. public static void main(String[] args) {  
2.     // TODO Auto-generated method stub  
3.     boolean isRight = 1 > 2;  
4.     assert isRight;//返回false则会报错，如果为true则继续执行程序<pre name="code" class="java">        System.out.println("程序正常");  

}

④、自定义抛出的错误

[java] view plain copy

1. public static void main(String[] args) {  
2.     // TODO Auto-generated method stub  
3.     boolean isRight = 1 > 2;  
4.     assert isRight:"程序错误";//在:后写自定义的异常  
5.     System.out.println("程序正常");  
6. }  

⑤、抛出的是error不是异常

[java] view plain copy

1. public static void main(String[] args) {  
2.     // TODO Auto-generated method stub  
3.     boolean isRight = 1 > 2;  
4.     try {  
5.         assert isRight:"程序错误";//在:后写自定义的异常  
6.         System.out.println("程序正常");  
7.     } catch (Exception e) {  
8.         // TODO: handle exception  
9.         e.printStackTrace(e);//该行编译错误：提示没有异常需要抛出  
10.     }  
11. }  

assert的错误是继承自error的，所以需要这样写：

[java] view plain copy

1. public static void main(String[] args) {  
2.     // TODO Auto-generated method stub  
3.     boolean isRight = 1 > 2;  
4.     try {  
5.         assert isRight:"程序错误";//在:后写自定义的异常  
6.         System.out.println("程序正常");  
7.     } catch (AssertionError e) {  
8.         // TODO: handle exception  
9.         System.out.println(e.getMessage());//返回值：程序错误。(没错，这就是我们自定义的异常)  
10.     }  
11. }  

⑥、设置断言的使用范围
-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