- 冒号空间 - https://blog.zhenghui.org -

Reply To: class invariant

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

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

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

类级别规范-> class invariant


Share