编码原则：不变量/前置条件/后置条件

“显式的表达假设“，这句话布置适合编码，也适合和人交往。

不变量

类型会持有某些状态，不变量则是对这些状态合法性的一些断言，每次修改系统状态的时候都需要显式的调用这些断言，如果不满足不变量，则说明：业务逻辑有问题。

前置条件

类型承担某些职责的时候需要一定的资源，即：前置条件，如果不满足前置条件，则说明：调用代码有问题。

后置条件

客户遵守了条件，类型必须兑现其承诺，即：后置条件，如果不满足后置条件·：则说明·：业务逻辑有问提。

后置条件多数采用单元测试给予定义。

效率问题

可以通过条件编译在合适的时候去除各种断言。