日历

May 2021
M T W T F S S
 12
3456789
10111213141516
17181920212223
24252627282930
31  

Reply To: class invariant

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

#1239
hui
Keymaster

可以这么来理解class invariant:它是附加在每个public方法之上的precondition和postcondition。倒过来看,对所有public方法中同时为precondition和postcondition的predicate提取公因式,便得到class invariant。

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