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