Maintain a certain property, assumed on entry and guaranteed on exit: the class invariant.

在进入时假定，并在退出时对峙一些特定的属性：不变式。

youdao

Maintain a certain property, assumed on entry and guaranteed on exit: the class invariant.

在进入时假定，并在退出时对峙一些特定的属性：不变式。

youdao