Abstract Data Type（ADT）

ADT的特性

• representation exposure：表示泄露
• AF：抽象函数
• RI：表示不变量

数据抽象

由一组操作所刻画的数据类型

强调作用于数据上的操作，client无需关心数据如何具体存储的，只需使用操作即可

对类型和操作的分类

数据类型分为

• mutable type：可变数据类型
• immutable type：不可变数据类型

操作分为

• creator：构造器
• producer：生产器
• observer：观察者
• mutator：变值器

RI

RI（rep invariant）：表示不变量

某个具体的“表示”是否是“合法的”

即对fileds的要求，合法的fileds应满足的条件

可将RI看作

• 所有表示值的一个子集，包含了所有合法的表示值
• 一个条件，描述了什么是“合法”的表示值

AF

AF（abstract function）：抽象函数

R和A之间映射关系的函数，即如何去解释R中的每一个值为A中的每一个值。

R：即表示空间
A：即抽象空间（client看到和使用的值构成的空间）

ADT开发者关注表示空间R，client关注抽象空间A

Safety from Rep Exposure

防止表示泄露

给出理由，证明代码并未对外泄露其内部表示——自证清白

表示泄漏的风险：

• 一旦泄露，ADT内部表示可能会在程序的任何位置发生改变（而不是限制在ADT内部），从而无法确保ADT的不变量是否能够始终保持为true。

防止表示泄露的方法：

• fileds被private修饰
• 防御式拷贝