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

Reply To: class invariant

无论是否为整体类特征,都应可以通过类内部的状态来检验的(你提到的stack和queue的invariant也不例外),否则又如何判定invariant是否被破坏呢?如果还依赖外部context的话,那便不是invariant了。当然,如果一个类的invariant在理论上非常复杂,难以用常规的statement来表示,那么只能退而求其次,采用弱化的invariant来简化,然后辅以单元测试。


Share