Reply To: class invariant

[Todd]

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