一.ADT:抽象数据类型
1.除了编程语言所提供的基本数据类型和对象数据类型,程序员可定义自己的数据类型
2.抽象数据类型被其操作定义,操作和规约刻画其特征
3.抽象数据类型与表示独立性:能够分离数据结构和对其使用的方式
4.ADT特性:不变量、表示泄露、抽象函数AF、表示不变量RI
二.可变和不可变数据类型
1.可变类型的对象:提供了可改变其内部数据的值的操作
2.不可变数据类型:其操作不可改变内部值
3.抽象类型的操作:
构造器(从无到有),构造器可能需要一个对象参数,但这个参数类型不是要构造的类型
生产器(从有到新),
变值器:改变对象属性的方法,变值器通常返回void,也可能返回非空类型,如set.add() returns boolean
观察器:用一个ADT 对象,返回一个不同类型的对象
构造器:可能实现为构造函数或静态函数
4. 工厂方法:实现为静态方法的构造器
三、表示独立性
1.表示独立性:client使用ADT时无需考虑其内部如如何实现,ADT内部表示的变化不应该影响外部spec和客户端
2./**和*/之间的内容以及方法或类的签名是spec,类的域是rep,方法内部的代码时impl
四、不变量
1.ADT需要始终保持其不变量
2.不变量:程序中在任何时刻总是正确的属性
3.保持程序的不变量可以容易发现错误
4.表示泄露:不仅影响不变量,也影响表示独立性:无法在不影响客户端的情况下改变其内部表示
5.关键字:private: 域和方法只能在类中使用,
public:域和方法可以在类外使用
final:引用不可变
6.返回可变域的防御式拷贝,或者可变域的不可变view
五、RI和AF
1.R:表示值构成的空间:实现者看到和使用的值
A:抽象值构成的空间:client看到和使用的值
2.R和A之间的映射关系R->A:
满射:实现抽象类的目的就是为了支持对抽象值的操作,所以每个可能的抽象值都要被实现在R中
未必单射,A中一个东西未必只有一个R中表示
未必双射。
3.AF:R和A之间映射关系的函数,即如何将R中的每一个值解释为A中的每一个值(R中部分值非法,在A中无映射)
4.RI(Rep Invariant): 是一个从R到 boolean值的映射。
可以理解为一个条件,描述了什么是“合法”的表示值、
5.check RI:在实现中插入checkRep()。在所有可能改变rep的方法内部都要检查。observer方法不必,但建议也查查
六、有益的可变性 :
1.mutation只是改变了R值,并未改变A值
immutable的类中不可以随意出现mutator
七、documenting
1.ADT的规约:只能使用client可见的内容来撰写,包括参数,返回值,异常等,如果规约里需要提及值,只能使用A空间中的值。
2.代码中以注释的形式写出AF和RI而不能在javadoc文档中,防止被外部看到而破坏其表示独立性。
八、ADT invariant取代前置条件
1.用ADT不变量取代复杂的前置条件,相当于将复杂的前置条件封装到了ADT内部。