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