...:函数保证能做到的事情,函数完成式的状态,函数有这一事实表示它会结束,不会无休止的循环 三 类不变项(class invariant):从调用者的角度来看,该条件总是为真,在函数的内部处理过程中,不变项可以为变,但在函数结束后,控制返回调用者时,不变项必...
基于24个网页-相关网页
以上来源于: WordNet
(The class invariant above was effectively a field-invariant specification!)
(上面的类不变条件实际上就是一个字段不变条件的规范!)
Maintain a certain property, assumed on entry and guaranteed on exit: the class invariant.
在进入时假定,并在退出时对峙一些特定的属性:不变式。
A class invariant must hold before and after all method calls (once the object is constructed).
类在方法调用之前和之后必须保持不变(一旦对象已经构建)。
应用推荐