Reply To: class invariant

[hui]

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