第七章软件结构的健壮性——断言与防御式编程1.断言（Assertions）2. 防御式编程
上一节提到了错误和异常的处理，其主要面对的是健壮性（robustness），而这一节我们会提一些技术，侧重于正确性（correctness）1.断言（Assertions）断言：在开发阶段的代码中嵌入，检验某些假设是否成立，若成立，表明程序运行正常，否则表明存在错误。（assert）如果出现了AssertionError，也就意味着内部的某些假设被违反了。这时就应该找bug了兄弟们！断言可以增强程...
