类变体

类不变式是一组在任何时间点都必须为类任何对象为真的条件。在面向对象编程（OOP）中，类不变式用于定义对象的合法状态，并确保对象始终处于合法状态。

类不变式通常在类的构造函数中定义，并通过使用用于验证对象状态的私有方法和数据成员来强制执行。它们还在类的任何可能改变对象状态的操作前后进行检查。