抽象函数和代表不变量不取决于代表和抽象值空间的选择

问题描述

我正在阅读 MIT 6.005 reading 13: Rep Invariant and Abstraction Function。他们在阅读中说：

关于抽象函数和表示不变量的一个常见混淆是，它们是由表示和抽象值空间的选择决定的，甚至仅由抽象值空间决定。如果是这种情况，它们将毫无用处，因为它们会说一些其他地方已经可用的多余内容。

我不明白这个部分

抽象函数和表示不变量不是由 代表和抽象值空间的选择

谁能给我解释一下并举一些例子。

解决方法

暂无找到可以解决该程序问题的有效方法，小编努力寻找整理中！

如果你已经找到好的解决方法，欢迎将解决方案带上本链接一起发送给小编。

小编邮箱:dio#foxmail.com (将#修改为@）