Abstract data type
Abstraction and User-Defined Types
数据抽象:有一组操作所刻画的数据类型
抽象类型:强调作用在数据上的操作,程序员和client无需关心数据如何具体存储,只需设计使用操作即可
Classifying Types and Operations
可变和不可变数据类型
可变mutable:提供了可改变其内部数据的值的操作
不可变immutable:其操作不改变内部值,而是构造新的对象
构造器可能是构造函数或者是静态函数(工厂方法)
不可变类型没有变值器
Designing an abstract type
设计好的ADT,靠经验法则,提供一组操作,设计其行为规约spec
-
设计简洁,一致的操作
-
要足以支持client对数据所做的所有操作需要,且用操作满足client需要的难度要低
-
要么抽象,要么具体,不要混合(要么针对抽象设计,要么针对具体应用的设计)
Representation Independence(表示独立性)
表示独立性:client使用ADT时无需考虑其内部如何实现,ADT内部表示的变化不应影响外部spec和客户端。
spec规定了client和implementer之间的契约
要保证内部的改变对用户影响很小或基本没有
Testing an abstract data type
许多测试不可避免的相互影响
测试creator,producers,mutators:调用observers观察这些operations的结果是否满足spec
测试observers,调用creators,producers,mutators等方法产生或改变对象,看结果是否正确
风险:如果被依赖的方法有错误,可能导致被测试方法的测试结果错误
Invariants
保持不变量
不变量:在任何时候总是true,例如immutability
由ADT来负责不变量,与client段任何行为无关
目的:保持程序的正确性,容易发现错误
威胁1:用户可以直接访问不变类型的filed(public)
这是一种表示泄露(representation exposure)不仅影响不变形,也影响表示独立性:无法再去爱不影响用户端的情况下改变其内部表示
解决方法 private\final
威胁2:不可变数据类型中的可变数据类型被改变
解决方法 copy这个可变数据类型避免泄露
对于任何可变数据类型,你不应该直接返回他,而是他的拷贝
如果复制代价很高,不得不直接返回,讲责任推给client,但容易引发bug
最好使用immutable类型的彻底避免表示泄露
Rep Invariant和Abstraction function
R:表示空间(开发者关注)
A:抽象值构成的空间,client看到的和使用的值(用户关注)
抽象函数:R与A之间映射关系的函数,如何解释R 中的每一个值为A的每一个值
AF:A->F(满射,非单射,未必双射)
RI:R->boolean
RI告诉我们R中的r是否被AF映射到空间A中某一个值
RI是R的一个子集
表示不变性RI:某个具体的表示是不是合法的,一个描述什么是合法的表示值的条件,所有合法的表示值
选择某个特定的表示方式R,进而制定某个子集是合法的RI,并未该自己中每一个值做出解释(AF)——如何映射到抽象空间中的值
相同的R,RI也可能有不同的AF,解释不同
设计ADT:
-
选择R和A
-
RI——合法的表示值
-
如何解释合法的表示值——映射AF
随时检查RI是否满足
在所有可能改变rep的方法内部都要检查(Observer不用,但可以以防万一)checkRep()
Beneficent mutation
有意的可变性
对immutable的ADT,在A空间的abstract value是不变的,但在其内部表示的R空间中的取值是可以变化的
mutation改变了R值,但没有改变A值。
但这并不代表在immutable类中可以随意出现mutator
why beneficent mutation required:通过牺牲immutability的部分原则换取性能和效率
document the AF,RI,safety from Rep Exposure
在代码中用猪似的形势记录AF和RI
精确记录RI:rep中所有的fields何为有效
精确记录AF:如何解释每一个R值
safety from rep exposure :给出理由,证明代码并未对外泄露其内部表示——自证清白
ADT规约里只能使用client可见的内容来撰写,包括参数,返回值,异常等
规约中不应该谈到内部表示的细节,R空间的任何值,ADT的内部表示(私有属性)对外部应该严格不可见
在每个方法return之前,用checkRep检查不变量识别否得意保持
ADT invariants replace preconditions
用ADT不变量取代复杂的precondition,相当于将复杂的precondition封装到了ADT内部