对象不变式在面向对象程序的证明中具有重要作用。

Object invariant is important in the object-oriented program proof.

youdao

对象不变式描述了面向对象数据结构中元素间的关系，在对象创建后以及方法引用前后它总为真。

Object invariant describes the relationship of the object-oriented data structure, it always holds true after the object creation and on the entrance and exit of the method invocation.

youdao

对象不变式描述了面向对象数据结构中元素间的关系，在对象创建后以及方法引用前后它总为真。

Object invariant describes the relationship of the object-oriented data structure, it always holds true after the object creation and on the entrance and exit of the method invocation.

youdao