Reply To: class invariant

[Todd]

>>class invariant强调的是一个类的任何对象都应时时处于一个正常/合法的状态中

是的，wikipedia也是这个意思。用class invariant这个术语表达对象状态的正常/合法有点儿可惜，我更喜欢：

对象状态正常/合法-> class validation

类级别规范-> class invariant