软件构造—AF、RI

在复习过程中，重新整理一下AF、RI：
1、首先要理解两个空间：表示空间、抽象空间
①表示空间里面包含的是值具体的实现实体。一般情况下ADT的表示比较简单，有些时候需要复杂表示。
②抽象空间里面包含的则是类型设计时支持使用的值。这些值是由表示空间抽象出来的，也是使用者关注的。
③ADT实现者关注表示空间，而用户关注的是抽象空间。
④R->A(表示空间->抽象空间)映射特点
(1)每一个抽象值都是由表示值映射而来 ，即满射：每个抽象值被映射到一些rep值
(2)一些抽象值是被多个表示值映射而来的，即未必单射：一些抽象值被映射到多个rep值
(3)不是所有的表示值都能映射到抽象域中，即未必双射：并非所有的rep值都被映射。
我们用一个表示分数的ADT来举例，该ADT的rep为x(分子)，y(分母)：
例(1)抽象空间的所有分数都可以由表示空间的x/y来表示
例(2)对于两组不同的x,y其约分后可能表示为同一个分数
例(3)非法rep，例如y=0，则在抽象空间内没有对应的映射
2、抽象函数(AF):R和A之间映射关系的函数
AF : R → A
3、表示不变量（RI）：将rep值映射到布尔值
RI : R → boolean
①对于表示值r，当且仅当r被AF映射到了A，RI®为真。
②表示不变性RI：某个具体的“表示”是否是“合法的”
③也可将RI看作：一个条件，描述了什么是“合法”的表示值
④AF与RI都不会展示给用户