表示空间R由实际实现的实体的值（rep 值）构成，抽象空间 A 由设计的 ADT 支持的值组成。表示空间是 ADT 开发者看到和使用的值空间，抽象空间是客户端看到和使用的值空间。
两个空间之间的映射关系的函数即抽象函数 AF（Abstraction Function） ，它描述如何将 R 中的一个值映射到 A 中的一个值。两个空间 R → A 的映射关系：满射，每个抽象空间的值都有表示值映射到；未必单射，即有的抽象空间的值会被不止一个表示值映射到；未必双射，即有的表示值不能映射到抽象空间中的值。
表示不变性 RI （Rep Invariant）即表示那些可以映射到抽象空间中的rep，RI：R → boolean。对于可映射到的 rep 值 r，RI(r) 为真，否则为假。可以这样理解 RI：它表示某个具体的表示是否合法；或者说它是所有表示值的一个子集，包含了所有合法的表示值；也可将它看作一个条件，描述了什么是合法的表示值。
下图是 RI 和 AF 的一个例子，该例将表示空间中符合要求（y>0 且 x 和 y最大公约数为1）的值（x,y）映射到抽象空间的最简分数形式的值：
在 ADT 中，我们要在所有可能改变rep的方法中检查 RI 是否被满足，Observer方法中可以不用，但最好也检查一下。
另外，即使是同样的R、同样的RI，也可能有不同的AF，即“解释不同”。如对一个RI中的串“ac”可以解释为包含的字符，此时“ac”映射到“{a，c}”；也可解释为依字母表顺序从 a 到 c 的集合，此时“ac”映射到“{a，b，c}”。
标签：表示,函数,映射,rep,抽象,空间,不变性,RI 来源： https://www.cnblogs.com/diguawan/p/16361765.html
本站声明： 1. iCode9 技术分享网（下文简称本站）提供的所有内容，仅供技术学习、探讨和分享； 2. 关于本站的所有留言、评论、转载及引用，纯属内容发起人的个人观点，与本站观点和立场无关； 3. 关于本站的所有言论和文字，纯属内容发起人的个人观点，与本站观点和立场无关； 4. 本站文章均是网友提供，不完全保证技术分享内容的完整性、准确性、时效性、风险性和版权归属；如您发现该文章侵犯了您的权益，可联系我们第一时间进行删除； 5. 本站为非盈利性的个人网站，所有内容不会用来进行牟利，也不会利用任何形式的广告来间接获益，纯粹是为了广大技术爱好者提供技术内容和技术思想的分享性交流网站。