6.3断言与防御式编程
第2种技术——断言、防御式编程，侧重于correctness。
1设计adt回忆
First Defense: Make Bugs Impossible
Second Defense: Localize Bugs2断言
（1）断言是啥
断言：在开发阶段的代码中嵌入，检验某些“假设”是否成立。若成立，表明程序运行正常，否则表明存在错误（2）使用assert的时机
Java缺省关闭断言，要记得打开(-ea) 断言非常影响运行时的性能
在其他一些开发者眼里，不应该针对参数的合法性使用断言。
即使spec被违反，也不应通过assert直接fail，而是应抛出具体的runtime异常
可以使用断言来测试非公共方法的前置条件，当认为无论client对该类做什么，这些前置条件都正确时（正确性不由client决定）
在public和nonpublic方法中，都可以用断言来处理后置条件
3防御式编程
Murphy’s law:如果事情有变坏的可能，不管这种可能性有多小，它总会发生
4防御式编程的方法“隔离舱”外部的函数应使用异常处理，“隔离舱”内的函数应使用断言
其他都了解一下就可以了