💡 实例
比如一个“银行账户”类，它的“余额不能为负数”就是一个类不变量。无论用户怎么操作，只要这个条件不被破坏，账户就是合法的。