日历

September 2020
M T W T F S S
 123456
78910111213
14151617181920
21222324252627
282930  

Reply To: class invariant

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

#1234
Todd
Member

上面例子中的Pair(x, y).Left() == x, Pair(x, y).Right() == y的确可以作为构造函数的postcondition。不过,我这里主要想表达的意思是class invariant这个术语更适合用于表达一种整体上的类特征,除了上面pair的例子,stack的invariant是LIFO,queue的invariant是FIFO。

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