【软构】ADT

目录

1.ADT概述

2.ADT操作

1.简单描述：

2.难点讲述：

3.设计ADT

---

1.ADT概述

        ADT(abstract data type)，即为抽象数据类型。强调作用于数据之上的操作，而并不关心数据是怎么存储的，程序员和cilent只需要设计/使用操作即可。

2.ADT操作

1.简单描述：

ADT可以有四种操作：

1. creator(构造器)：输入一些其他类型的对象，创建一个该ADT对象。
2. producer(生产器)：通过该ADT的旧对象，创建一个该ADT的新对象。
3. observer(观察器)：通过该ADT本身的数据以及传入参数，计算得到其他类型的值。
4. mutator(变值器)：做出“修改ADT”内部数据的行为。

2.难点讲述：

1. 对于creator和producer的区分：从功能上看二者都是创建一个新的ADT，但两者需要的“原材料”却不同。前者是使用现有的东西去创造现在不存在的东西（对于这个创造过程而言），后者是按照现有的东西去仿制这个东西（类似莆田鞋仿制外国大牌？）。前者是从“0”到“1”，后者是从“1”到“2”，这也是为什么一个叫“创造者”，一个叫“生产者”的原因。
2. 一个ADT并不需要同时具备四个操作，尤其是其中的变值器，它是区分可变对象和不可变对象的分野，如果具备变值器则是可变对象，不具备则不可变。同时其可能具备返回值。

3.设计ADT

         要足以支持cilent对数据所做的所有操作要求，且用操作满足cilent需要的难度要低。下面介绍一下ADT设计中很重要的三个部分：RI，AF，rep

1. rep:ADT中的属性
2. AF:对于ADT，客户端是无法看到其内部的属性(rep)的，客户端只会看到ADT在表面上展现出来的东西，即，ADT做了一个由表示空间（R）到抽象空间（A）的映射，这个映射即为AF，值得注意的是，由于部分rep可能是非法的，AF必定是满射，未必是单射，进而未必是双射。
3. RI:在AF的定义中提到一些rep可能是非法的，任何时刻ADT的rep都必须满足一定的规则，这个规则就是RI（表示不变量），一般要引入一个方法checkRep检查rep是否满足RI，理论上在creator和mutator中检查即可，但为了安全起见，建议在另外两个操作中也进行检查。