前置条件和后置条件运用在各个方法上，有的契约描述需要运用在整个类层次上，这种契约(断言)叫做类不变量(Class Invariants)。例如DICTIONARY的例子中，不变量可能是下面这样：
基于28个网页-相关网页
·2,447,543篇论文数据，部分数据来源于NoteExpress
拐点特征是模式识别中经常用到的一类不变量。
Invariant corner features are often used in pattern recognition.
其他的特性还包括类不变量、非空引用类型和加强的静态分析功能。
Other features include class invariants, non-nullable reference types, and enhanced static analysis capabilities.
基于特征不变量的方法，实现速度比较快，但都只适用于某一类图像。
The Feature invariant approaches can detect the human faces fast, but only some kind of face can be detected.
应用推荐