AF与RI

1. 在研究抽象类型的时候，先思考一下两个值域之间的关系：
   • 表示域（rep values）里面包含的是值具体的实现实体。一般情况下ADT的表示比较简单，有些时候需要复杂表示。
   • 抽象域（A）里面包含的则是类型设计时支持使用的值。这些值是由表示域“抽象/想象”出来的，也是使用者关注的。
2. ADT实现者关注表示空间R，用户关注抽象空间A 。
3. R->A的映射特点：
   • 每一个抽象值都是由表示值映射而来 ，即满射：每个抽象值被映射到一些rep值
   • 一些抽象值是被多个表示值映射而来的，即未必单射：一些抽象值被映射到多个rep值
   • 不是所有的表示值都能映射到抽象域中，即未必双射：并非所有的rep值都被映射。

1. 抽象函数（AF）：R和A之间映射关系的函数
     AF : R → A
2. 表示不变量（RI）：将rep值映射到布尔值
     RI : R → boolean　　
   • 对于表示值r，当且仅当r被AF映射到了A，RI(r)为真。
   • 表示不变性RI：某个具体的“表示”是否是“合法的”
   • 也可将RI看作：所有表示值的一个子集，包含了所有合法的表示值
   • 也可将RI看作：一个条件，描述了什么是“合法”的表示值
   • 在下图中，绿色表示的就是RI(r)为真的部分，AF只在这个子集上有定义。
   • AF与RI都不会展示给用户。