这个词rep-invariant和rep ok意味着什么？

我在谈论软件工程和抽象数据类型时听到了很多，这是什么？任何人都可以给我一个这个概念的具体例子吗？这个词rep-invariant和rep ok意味着什么？

2011-09-28 xonegirlz

内脏反应就是说rep代表表示（这常常用于理论计算机科学，特别是在kolmogorov复杂性的情况下 - 如果您有兴趣，请查找“通用计算机”），但您需要提供更多的上下文。 –

那么如果有人问什么是Deck类的代表不变量？ – xonegirlz

我认为你需要更具体些。在这种情况下，rep不变性是指关于甲板类表示的一组假设。例如，也许它必须包含一组卡... –

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

在甲板类中，表示不变可能是甲板上总是有52张牌。因此保证shuffle（）操作不会将任何卡放在地板上。这又意味着有人调用shuffle（）或者其他任何操作，无需检查前后的卡片数量：他们保证它始终是52.

2011-09-28 22:15:04 Uffe

回答