软件构造第六讲提纲

第六讲 抽象数据类型ADT

0.目标

抽象数据类型和表示独立性：能够分离程序中数据结构的形式和对其使用的方式

ADT的特性：不变量、表示泄露、抽象函数AF、表示不变量RI

1.抽象、用户定义数据类型

（1）数据抽象：由一组操作刻画的数据类型

（2）可变和不可变数据类型

可变类型的对象：提供了可改变其内部数据的值的操作 如Date的setMonth（）

不可变数据类型：其操作不可改变内部值，而是构造新的对象

（3）抽象类型的操作类型

构造器 从无到有

生产器 从有到新
观察器

变值器，改变对象属性的方法

2.设计抽象数据类型

（1）设计一组简单的操作，通过简单的操作实现浮躁的操作，内聚

（2）要足以支持client对数据所做的所有操作需要，且用操作满足client需要的难度要低

判断方法：对象每个需要被访问到的属性是否都能够被访问到

基本信息需要简单得到 如数组size，用遍历复杂

（3）要么抽象，要么具体

3.表示独立性：client使用ADT时无需考虑内部如何实现，ADT内部表示的变化不应影响外部spec和客户端

4.测试ADT

利用观察器来测试其他三种操作（依赖其他方法的正确性）

5.ADT的不变量

ADT需始终保持其不变量，保持程序的正确性，容易发现相关错误

表示泄露：不仅影响不变量，也影响了表示独立性；

防外部private 避免内部改变final

防御拷贝 代价很大->去要求clienr

保持不变性和避免表示泄露

6.RI、AF

（1）表示空间R：表示值构成的空间，实现者看到和使用的值

（2）抽象空间A：抽象值构成的空间，client看到和使用的值

（3）R到A 满射 未必单射 未必双射

（4）抽象函数：R和A之间的映射关系的函数，即如何将R中的每一个值解释为A中的每一个值。

（5）表示不变性RI：某个具体的表示是否是合法的、所有表示值的一个子集，包含了所有合法的表示值、一个条件，描述了什么是合法的表示值

（6）同一个ADT，可以有多种表示，不同的内部表示要设计不同的AF和RI

（7）设计ADT

（a）选择R和A

（b）RI 合法的表示值

（c）如何解释合法的表示值 映射AF

（8）checkRep（）在所有可能改变rep的方法内部都要检查

7.注释AF和RI

（1）在代码中用注释形式记录AF和RI

（2）要精确的记录RI：rep中的所有fields何为有效

（3）要精确记录AF：如何解释每一个R值

（4）表示泄露的安全声明：给出理由，证明代码并未对外泄露其内部表示

（5）ADT的规约里只能使用client可见的内容来撰写，不应该谈及内部表示的细节，内部表示对外部严格不可见

（6）写AF和RI时用注释的形式，防止被外部看到而破坏独立性

8.保持不变量

（1）构造器生产器在创建对象时确保不变量为true

（2）变值器和观察器在执行时保持不变性

（3）避免表示泄露