...:函数保证能做到的事情,函数完成式的状态,函数有这一事实表示它会结束,不会无休止的循环 三 类不变项(class invariant):从调用者的角度来看,该条件总是为真,在函数的内部处理过程中,不变项可以为变,但在函数结束后,控制返回调用者时,不变项必...
基于24个网页-相关网页
invariant homotopy class 不变同伦类
以上来源于: WordNet
(The class invariant above was effectively a field-invariant specification!)
(上面的类不变条件实际上就是一个字段不变条件的规范!)
A class invariant must hold before and after all method calls (once the object is constructed).
类在方法调用之前和之后必须保持不变(一旦对象已经构建)。
But more fundamentally, a class invariant is a way to characterize the fundamental consistency and integrity properties of the class and its instances.
但从根本上讲,类不变式是一种刻画类和类实例的基本的一致性和完整性的方法。
应用推荐