Java断言：assert

编写代码时，我们总是会做出一些假设，断言就是用于在代码中捕捉这些假设
可以将断言看作是异常处理的一种高级形式
断言表示为一些布尔表达式，程序员相信在程序中的某个特定点该表达式值为真
可以在任何时候启用和禁用断言验证，因此可以在测试时启用断言而在部署时禁用断言。同样，程序投入运行后，最终用户在遇到问题时可以重新起用断言。
使用断言可以创建更稳定，品质更好且易于除错的代码
当需要在一个值为FALSE时中断当前操作的话，可以使用断言
单元测试必须使用断言（Junit/JunitX）
除了类型检查和单元测试外，断言还提供了一种确定个种特性是否在程序中得到维护的极好的方法
使用断言使我们向按契约式设计更近了一部
（一）首先明确：
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 表示禁止断言。
(如果找不到以上路径，请依次开启断言：Windows -> Preferences ->Java ->Installed JREs ->点击正使用的JDK ->Edit ->Default VM Arguments文本框中输入:-ea)
然后关闭该窗口，提示保存，然后保存就开启了断言。如下图：
再次执行第二步操作，如果打印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 ，错误信息内容为冒号后面的内容，上面程序执行结果就是打印：”程序错误”

何时需要使用断言

1.可以在预计正常情况下程序不会到达的地方放置断言 ：assert false
2.断言可以用于检查传递给私有方法的参数。（对于公有方法，因为是提供给外部的接口，所以必须在方法中有相应的参数检验才能保证代码的健壮性）
3.使用断言测试方法执行的前置条件和后置条件
4.使用断言检查类的不变状态，确保任何情况下，某个变量的状态必须满足。（如age属性应大于0小于某个合适值）

什么地方不要使用断言

断言语句不是永远会执行，可以屏蔽也可以启用
因此：
1.不要使用断言作为公共方法的参数检查，公共方法的参数永远都要执行
2.断言语句不可以有任何边界效应，不要使用断言语句去修改变量和改变方法的返回值