Java 断言机制

用途

使用断言可以创建更稳定，品质更好且易于除错的代码
当需要在一个值为FALSE时中断当前操作的话，可以使用断言
单元测试必须使用断言（Junit/JunitX）
除了类型检查和单元测试外，断言还提供了一种确定各种特性是否在程序中得到维护的极好的方法
使用断言使我们向按契约式设计 更近了一步

使用方式

1. assert Expression1
2. assert Expression1:Expression2

其中Expression1应该总是一个布尔值，Expression2是断言失败时输出的失败消息的字符串。如果Expression1为假，则抛出一个 AssertionError，这是一个错误，而不是一个异常，也就是说是一个不可控制异常（unchecked Exception),AssertionError由于是错误，所以可以不捕获，但不推荐这样做，因为那样会使你的系统进入不稳定状态。

何时需要使用断言

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