什么是rep-invariant和rep ok这个词是什么意思？

Question

在谈论软件工程和抽象数据类型时，我听到了很多，这有什么作用？谁能给我一个这个概念的具体例子呢？

Answer 1

表示不变量是关于对象状态的条件。对于给定对象，始终可以假定条件为真，并且要求操作不要违反它。

在Deck类中，表示不变量可能是牌组中总有52张牌。因此，保证shuffle（）操作不会丢弃任何卡在地板上。这反过来意味着有人呼叫shuffle（），或者实际上任何其他操作，不需要检查前后卡的数量：保证它总是52。