?类不变式

类不变式（class invariant）：类的每个实例的约束必须得到满足。这定义了状态必须满足对类的操作是依据当初对类的设计。

?类不变项

...：函数保证能做到的事情，函数完成式的状态，函数有这一事实表示它会结束，不会无休止的循环 三 类不变项（class invariant）：从调用者的角度来看，该条件总是为真，在函数的内部处理过程中，不变项可以为变，但在函数结束后，控制返回调用者时，不变项必...

?类不变性

当“客户”调用“供给商”之前，若是类不变性（class invariant ）和先验前提为真，那么办事完成后，类不变性和后验前提也为真。