软件构造3.3 抽象数据类型（ADT）

数据抽象：一个类型的特征由可对其执行的操作刻画

一、类的类型和操作
操作
1、create 产生类型的新对象
2、produce 在已有对象基础上和产生新的对象
3、observers 输入抽象类型的对象，返回其他类型的对象
4、 mutators 改变对象

二、抽象数据类型例子
int:
create：0、1、2、3…
produce: +、-、*、/
observers：==，！=，<，>
mutators：none（不可变）

List:
create：ArrayList
produce: Collections.unmodifiableList
observers：size , get
mutators： add , remove , addAll , Collections.sort

三、设计抽象类型
原则
1、设计一组简单操作 ，通过简单操作的组合实现负责的操作 。
操作的行为应是内聚的(单一职责)，某个操作不要包罗万象的将所有特例都 考虑进去)
2、操作集应该是完备的，覆盖该类型所有应支持的行为。
3、 类型不应该混合领域无关的（通用的）和领域特定的特征

四、表示独立
好的ADT应该是独立的。抽象类型的使用独立于它的表示形式(用于实现它的实际数据结构或数据字段)，因此表示形式的更改对抽象类型本身之外的代码没有影响。
只有当我们通过前置条件和后置条 件充分明确了ADT的操作，使调用者知道可以依赖哪些内容，实现者 知道可以安全更改哪些内容，此时才可以修改内部表示。

即满足
1、调用时无需考虑内部的实现
2、ADT内部变化不影响外部spec和客户端的观察

五、测试ADT的方法
1、设计一组测试值
2、测试方法不可避免的会相互影响
3、测试creators、producers、mutators–>用observers

六、表示不变性和抽象函数
1、
R：是现实用到的值空间
A：需要支持的值空间（用户看到的）

2、抽象函数AF：R–>A（AF为满射，未必单射，未必双射）

简单的例子

3、Rep Invariant(表示不变量）
RI : R → boolean
RI告诉我们空间R中的r是否被AF映射到了空间A中的某个值 ，是否合法，是所有表示值的一个自己。

对于不可变的ADT在空间A的abstract value 应不变，内部R空间可变

七、检查不变量的标准
1、创建时确保由creators 或 producers 创建
2、改变由 mutators 和 observers
3、无表示泄露