类不变量 Class invariant

对象完成构造及公开操作后，在每个可观察状态中都必须成立的规则。