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

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