断言概述：
编写代码时,我们总是会做出一些假设,断言就是用于在代码中捕捉这些假设。
可以将断言看作是异常处理的一种高级形式。
断言表示为一些布尔表达式,程序员相信在程序中的某个特定点该表达式值为真。
可以在任何时候启用和禁用断言验证,因此可以在测试时启用断言而在部署时禁用断言。同样,程序投入运行后,最终用户在遇到问题时可以重新起用断言。
使用断言可以创建更稳定,品质更好且易于除错的代码。
当需要在一个值为FALSE时中断当前操作的话,可以使用断言。
单元测试必须使用断言(Junit/JunitX)。
除了类型检查和单元测试外,断言还提供了一种确定个种特性是否在程序中得到维护的极好的方法。
使用断言使我们向按契约式设计更近了一步。
常见的断言特性：
前置条件断言:代码执行之前必须具备的特性
后置条件断言:代码执行之后必须具备的特性
前后不变断言:代码执行前后不能变化的特性
断言使用格式：
断言可以有两种形式
1.assert 布尔表达式
2.assert 布尔表达式:消息
使用第一种格式，当布尔类型表达式为false时，抛出AssertionError异常；如果是第二种格式，则输出错误消息。
断言的启用：
在默认情况下，断言不起作用，在eclipse等工具中可以开启和关闭断言功能，
选择菜单--Run--Run Configuration--Java Application--选择对应的类--Arguments--VM argument--填入-ea/-da
关于-ea（开启断言）和-da（关闭断言）的说明如下
java -ea 类名
java -ea:包名 -da:类名
选项-ea、-da用于激活和禁用断言。
如果选项不带任何参数，则表示激活或禁用所有用户类；
如果带有包名或类名，则表示激活或禁用这些类或包；
如果包名称后面跟有三个“.”，则表示这个包及子包；
如果只有三个“.”，则代表无包名。
案例：
public class TestAssertion{
public static void main(String[] args){
assert(1==0):"1和0不相等！";
}
}
开启断言后，运行结果，会报main方法的异常：1和0不相等！
何时需要使用断言：
1.可以在预计正常情况下程序不会到达的地方放置断言 :assert false；
2.断言可以用于检查传递给私有方法的参数。(对于公有方法,因为是提供给外部的接口,所以必须在方法中有相应的参数检验才能保证代码的健壮性)；
3.使用断言测试方法执行的前置条件和后置条件；
4.使用断言检查类的不变状态,确保任何情况下,某个变量的状态必须满足。(如age属性应大于0小于某个合适值)。
什么地方不要使用断言：
断言语句不是永远会执行,可以屏蔽也可以启用
因此:
1.不要使用断言作为公共方法的参数检查,公共方法的参数永远都要执行；
2.断言语句不可以有任何边界效应,不要使用断言语句去修改变量和改变方法的返回值。