AF与RI

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

>>阅读原文<<