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

Question

关闭。这个问题需要更多focused .它目前不接受答案。












想改善这个问题吗？更新问题，使其仅关注一个问题 editing this post .

4年前关闭。




Improve this question




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

Answer 1

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

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