| 释义 |
类不变量 以上为机器翻译结果，快速获取精准的人工翻译结果，建议选择有道人工翻译 1 ?类不变量 前置条件和后置条件运用在各个方法上，有的契约描述需要运用在整个类层次上，这种契约(断言)叫做类不变量(Class Invariants)。例如DICTIONARY的例子中，不变量可能是下面这样： 2 ?类的不变式 ...实现细节文档应该与共有接口注释和继承接口注释分开, 最好不要放在头文件中,并包含一个简练,完整的class invariants(类的不变式)的列表
- 1
Other features include class invariants, non-nullable reference types, and enhanced static analysis capabilities. 其他的特性还包括类不变量、非空引用类型和加强的静态分析功能。 - 2
There are also loop invariants and a few others, but pre - and post-conditions and class invariants are really the basic fabric of contracts. 还有循环不变式等等，但前置、后置条件和类不变式是基本要素。 - 3
There are also loop invariants and a few others, but pre contract element condit- and post-conditions and class invariants are really the basic fabric of contracts. 还有循环契约要素条件不变式等等，但前置、后置条件和类不变式是基本要素。
|