- 在研究抽象类型的时候,先思考一下两个值域之间的关系:
- 表示域(rep values)里面包含的是值具体的实现实体。一般情况下ADT的表示比较简单,有些时候需要复杂表示。
- 抽象域(A)里面包含的则是类型设计时支持使用的值。这些值是由表示域“抽象/想象”出来的,也是使用者关注的。
- ADT实现者关注表示空间R,用户关注抽象空间A 。
- R->A的映射特点:
- 每一个抽象值都是由表示值映射而来 ,即满射:每个抽象值被映射到一些rep值
- 一些抽象值是被多个表示值映射而来的,即未必单射:一些抽象值被映射到多个rep值
- 不是所有的表示值都能映射到抽象域中,即未必双射:并非所有的rep值都被映射。
- 抽象函数(AF):R和A之间映射关系的函数
AF : R → A - 表示不变量(RI):将rep值映射到布尔值
RI : R → boolean- 对于表示值r,当且仅当r被AF映射到了A,RI(r)为真。
- 表示不变性RI:某个具体的“表示”是否是“合法的”
- 也可将RI看作:所有表示值的一个子集,包含了所有合法的表示值
- 也可将RI看作:一个条件,描述了什么是“合法”的表示值
- 在下图中,绿色表示的就是RI(r)为真的部分,AF只在这个子集上有定义。
- AF与RI都不会展示给用户。