对于ADT中关于R空间A空间RIAF的一些细节讨论

    在我的上一篇博客中，从表层对ADT这个重要的抽象概念进行了一些浅层次的挖掘。今天我们博客主要是围绕ADT中一些细节进行展开的论述。

    首先是R空间和A空间的论述。对于R空间来说，也就是表示空间，它包括的是实际实现实体，这句话的意思就是说R空间其实就是我们客观世界中想要表示的东西的一个集合。而对于A空间这个抽象空间来说，他里面代表的是客户端可以看到和使用的值的集合。对于这两个空间，ADT的实现者关注点更多的会放在R空间，而用户则是更关注A空间。

    好了，在我们上一段的论述中发现，好像是：R空间中可以实际代表的值通过了某种实现方式，最终变成了展现给客户端的A空间中的表示。那么在这个过程之中，是谁来做这个空间和空间之中数值的映射呢？答案是 AF：抽象函数。抽象函数的作用，就是表示R空间和A空间之间的映射关系。

    那么RI（表示不变量）又是怎么一回事呢？其实啊，Ri也是一个映射函数，这个映射函数呢指的是一个表示空间也就是R空间中的元素向布尔值映射，如果R空间中的元素r通过AF映射到了A空间，那么我们就可以说RI(r) = true。你可以这么来想，把RI看作是某个表示值空间的一个子集，这里面包含了所有合法的表示值；换个角度说也可以把RI看作是某一个条件，这个条件描述了什么是“合法的”表示值。

    好了，通过以上几段的论述，相比大家也大概明白了这几个概念是什么也大概模模糊糊的明白了他们之间应当存在着一定的关系。那么接下来我们要论述的就是这几个概念之间的具体关系究竟是什么？

    那么我们来想，同一个抽象类型他是可以有多种表示形式的，比如说一个字母集合，它既可以被描述成一个字符串，也可以被描述成一个向量。那么这两种不同的字母集合的表示肯定是不同的抽象函数AF来进行表示的，针对于不同的内部表示，我们是需要设计不同AF和RI的。不同的内部表示是需要不同的AF和RI的。选择了某种特定的表达方式R进而指定了某个子集的RI并为子集中的每一个值都进行了映射解释，即如何映射到了抽象空间中的值。这就是我们在整个设计期间的主要逻辑关系。

    好了，那么我们在设计ADT的时候 Rep invariants 已经指定了ADT表示的合法值，那么我们应该在代码中体现出这份约束：利用checkRep()进行RI的检查。

    这是我在很重要ADT中的第二篇博客，最后一篇博客将会论述关于ADT中规约的问题。