术语rep-invariant和rep ok是什么意思？

Question

当我谈到软件工程和抽象数据类型时，我经常听到这样的话，这是做什么的？谁能给我举一个具体的例子来说明这个概念？

Answer 1

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

在一个deck类中，一个表示不变量可能是该卡片组中始终有52张卡片。因此，shuffle()操作可以保证不会在地板上掉任何牌。这反过来意味着调用shuffle()或任何其他操作的人不需要检查前后的牌的数量:它们被保证始终是52。