契约的要素不光有前 置 、后 置 条件和类不变式.Pre - and post - conditions and class invariants are not the only elements of contracts....

“不变式”的英语可以翻译为：[计] invariance ...