ADT的设计

ADT是什么

    抽象数据类型（Abstract Data Type，ADT）是计算机科学中具有类似行为的特定类别的数据结构的数学模型；或者具有类似语义的一种或多种程序设计语言的数据类型。抽象数据类型是描述数据结构的一种理论工具，其目的是使人们能够独立于程序的实现细节来理解数据结构的特性。抽象数据类型的定义取决于它的一组逻辑特性，而与计算机内部如何表示无关。

ADT的分类和操作

    依据数据类型可变性，ADT可分为可变数据类型和不可变数据类型，详情可见：数据类型与类型检验

ADT存在四种基本操作：

• 构造器（Creators）：构建一个新对象
• 生产器（Producers）：由已有对象产生新对象
• 观察器（Observers）：观察对象的属性值
• 变值器（Mutators）：改变对象属性值的方法，仅在可变数据类型中存在。

ADT的三个特性

表示独立性RI（ Representation Independenc）

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

    除非ADT的操作指明了具体的pre-和post-condition，否则不能改变ADT的内部表示——spec规定了client和implementer之间的契约。

    在实际设计中，RI可看作对ADT正确性的一种约束条件，可以是西安一个checkRep()方法，在ADT内部各种操作发生后检查ADT的正确性。

抽象函数AF

    抽象值构成的空间：client看到和使用的值
    抽象函数（AF）：R和A之间映射关系的函数，即如何去解释R中的每一个值为A中的每一个值。
    可以认为，AF就是描述ADT内部的值在外部如何理解。

表示泄漏

    客户端获取数据的内部表示称为表示泄露，ADT有责任尽可能避免表示泄露。
    为避免表示泄露，常用的手段有：

• 成员变量使用privite修饰
• 使用不可变数据类型
• 可变数据类型使用防御式拷贝