对象不变式在面向对象程序的证明中具有重要作用。
Object invariant is important in the object-oriented program proof.
对象不变式描述了面向对象数据结构中元素间的关系，在对象创建后以及方法引用前后它总为真。
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.
应用推荐