断言

断言

从JDK1.4版本开始，Java语言引入了断言（assert）机制。目的：程序调试

测试代码或者调试程序时，总会做出一些假设，断言就是用于在代码中捕捉这些假设

表现形式：断言就是程序中的一条语句，它对一个boolean表达式进行检查

一个正确程序必须保证这个boolean表达式的值为true；如果该值为false，说明程序已经处于不正确的状态，系统给出警告或退出

如果没有断言机制，Java程序通常使用if-else或switch语句进行变量状态检查。

缺点：

由于检查的数据类型不完全相同，这样的语句形式不会统一。

因为检查仅仅是应用在测试阶段，而if-else或switch语句在发布以后仍然将起作用，如果消除这些代码就意味着要注释或者删除这些代码，如果这些代码量很大就意味着工作很繁重并存在风险。

使用断言的优点：

Java程序员用统一的方式处理状态检查问题；

断言只需在发行的时候关闭该功能即可。

断言的开启和关闭

在默认情况下断言是关闭的，因此在使用断言以前，需要先开启断言功能，方法：
java –ea MyClass                          或者
java –enableassertions MyClass

关闭断言功能的方法：
java –da MyClass                           或者
java –disableassertions MyClass

注意：断言检查通常在开发和测试时开启。为了提高性能，在软件发布后，断言检查通常是关闭的

断言的使用

  Java中使用关键字assert标记断言，语法格式为：

assert Expression1

执行到assert语句时，如果Expression1的值为true，则程序正常执行，如果值为false，该语句创建一个Assertion Error对象，并抛出该对象。

assert Expression1:Expression2

断言失败时，系统会自动将Expression2的值传递给新建的AssertionError对象，进而将其转换为一个消息字符串保存起来，可以获得更多、更有针对性的检查失败细节信息。 

什么时候使用断言

通常来说，断言用于检查一些关键的值，并且这些值对整个程序，或者局部功能的完成有很大的影响。

断言表达式应该短小、易懂，如果需要评估复杂的表达式，应该使用函数计算。

使用断言的情况

检查控制流：在if-else和switch语句中，可以在不应该发生的控制支流上加上assert语句。如果这种情况发生了，assert能够检查出来。

在私有方法计算前，检查输入参数是否有效
对于一些private的方法，要求输入满足一些特定的条件，可以在方法开头使用assert进行参数检查；对于公共方法，通常不使用断言检查

在方法计算后，检查方法结果是否有效

检查程序不变量
private boolean isBalance() {
      ……
}
//
assert isBalance():"balance is destoried";