【软件构造】课件精译（十七） 断言与防御式编程

一、回忆：设计一个ADT

第一次防御：不要引入bug
最好的防御就是不要引入bug，可以采用静态检查、动态检查、不可变性、不可变值与不可变引用等方式
第二次防御：缩小bug的范围
如果无法避免，尝试着将bug限制在最小的范围内；限定在一个方法内部，不扩散；尽快失败，就容易发现、越早修复，例如采用断言。

二、断言

（1）什么是以及为什么要使用断言

断言：在开发阶段的代码中嵌入，检验某些“假设”是否成立。若成立，表明程序运行正常，否则表明存在错误。
断言即是对代码中程序员所做假设的文档化，也不会影响运行时性能(在实际使用时，assertion都会被disabled)。
//占个坑，待更新