前置条件断言
1、什么是断言
断言(assert),是编程术语,表示为一些布尔表达式, 程序员相信在程序中的某个特定点该表达式值为真,可以在任何时候启用和禁用断言验证,因此可以在测试时启用断言而在部署时禁用断言。
断言的使用通常在单元测试中,使用断言可以创建更稳定,品质更好且不易于出错的代码。
2、断言特性:
前置条件断言:代码执行之前必须具备的特性
后置条件断言:代码执行之后必须具备的特性
前后不变断言:代码执行前后不能变化的特性
3、前置条件断言
程序的业务逻辑处理,一般是有必须满足的条件,才能进行对应的...