java断言的使用和契约式设计编程模型简介

编写代码时，我们总是会做出一些假设，断言就是用于在代码中捕捉这些假设
可以将断言看作是异常处理的一种高级形式
断言表示为一些布尔表达式，程序员相信在程序中的某个特定点该表达式值为真
可以在任何时候启用和禁用断言验证，因此可以在测试时启用断言而在部署时禁用断言。同样，程序投入运行后，最终用户在遇到问题时可以重新起用断言。
使用断言可以创建更稳定，品质更好且易于除错的代码
当需要在一个值为FALSE时中断当前操作的话，可以使用断言
单元测试必须使用断言（Junit/JunitX）
除了类型检查和单元测试外，断言还提供了一种确定个种特性是否在程序中得到维护的极好的方法
使用断言使我们向按契约式设计更近了一部

/**     * 在debug模式 vm 参数 -ea 打开断言  -da 关闭断言     * @param args     */    public static void main(String[] args) {        int i = 1;        //如果i小于 0 就会 报 java.lang.AssertionError: aaaa 这个错误        assert i < 0 : "aaaa";    }

如果表达式为false，程序会终止并且报告一条错误信息，

契约式设计编程模型：
数据类型的设计者需要说明前提条件（用例在调用某个方法前必须满足的条件）、后置条件（实现在方法返回时必须达到的要求）和副作用（方法可能对对象状态产生的任何其他变更）。

引入博主的第一段话：http://www.blogjava.net/liulu/archive/2006/10/24/77005.html