不变式保证，在执行完每个功能后，类的状态被都保持在一个规定的状态。

The class Invariant guarantees (for the local class) that the state of the class will be maintained within specified tolerances at the end of each feature execution.

youdao

不变式保证，在执行完每个功能后，类的状态被都保持在一个规定的状态。

The class Invariant guarantees (for the local class) that the state of the class will be maintained within specified tolerances at the end of each feature execution.

youdao