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