“显式的表达假设“,这句话布置适合编码,也适合和人交往。
不变量
类型会持有某些状态,不变量则是对这些状态合法性的一些断言,每次修改系统状态的时候都需要显式的调用这些断言,如果不满足不变量,则说明:业务逻辑有问题。
前置条件
类型承担某些职责的时候需要一定的资源,即:前置条件,如果不满足前置条件,则说明:调用代码有问题。
后置条件
客户遵守了条件,类型必须兑现其承诺,即:后置条件,如果不满足后置条件·:则说明·:业务逻辑有问提。
后置条件多数采用单元测试给予定义。
效率问题
可以通过条件编译在合适的时候去除各种断言。