Home › Forums › 《冒号课堂》讨论区 › class invariant › Reply To: class invariant
2010年06月10日 at 6:21 am
#1235
Keymaster
无论是否为整体类特征,都应可以通过类内部的状态来检验的(你提到的stack和queue的invariant也不例外),否则又如何判定invariant是否被破坏呢?如果还依赖外部context的话,那便不是invariant了。当然,如果一个类的invariant在理论上非常复杂,难以用常规的statement来表示,那么只能退而求其次,采用弱化的invariant来简化,然后辅以单元测试。