日历

November 2020
M T W T F S S
 1
2345678
9101112131415
16171819202122
23242526272829
30  

Reply To: class invariant

Home Forums 《冒号课堂》讨论区 class invariant Reply To: class invariant

#1235
hui
Keymaster

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

 请您评分1星(很差)2星(不行)3星(一般)4星(不错)5星(很棒)