ADT设计-AF、RI、checkRep

ADT介绍

抽象数据类型（Abstract Data Type，ADT）是计算机科学中具有类似行为的特定类别的数据结构的数学模型；或者具有类似语义的一种或多种程序设计语言的数据类型。抽象数据类型是间接定义的，通过其上的可执行的操作以及这些操作的效果的数学约束（与可能的代价）。

ADT具有三个特性，即表示泄漏、抽象函数AF以及表示不变量RI，在我看来，这三个特性都是为不变性所服务的。其中，表示泄漏保证了ADT的内部表示不会被客户端其它代码所篡改，影响不变性，其次，表示不变量RI，对ADT的内部表示进行限制，获取到希望的表示信息，即程序面对的表示，通过抽象函数AF得到客户端所见到的表示。

AF

AF指的是抽象函数，抽象函数为表示值空间到抽象值空间的一个映射
R:面向实现的表示值空间
A:面向规格说明的抽象值空间
R ==>A 一定是满射,但不一定是单射.
抽象函数即一个R到A的映射: AF : R → A

RI

RI指的是表示不变性。"表示"即ADT中的各个属性;
而表示不变性即这些属性必须保持的性质,如年龄不能为负数, 概率不能大于1.

checkRep

RI指的是检查不变性，检查不变性就是确定RI是否还成立.
在实现中采用断言技术assert来检查不变性是否保持，可以更早地捕获bug

避免表示泄露的方法

表示泄露: 指的是外部代码能直接改变(不借用类中的mutator方法)类中的属性.

我们需要注意三个关键词：private、final、immutable，所有的操作均为了赋予field这三个属性。

1.所有观察ADT属性的操作全都用observor来实现，这没什么好说的。

2.由于现在写的ADT都较为简单，private和final这两个前缀能加就加上。

3.immutabl的field由于是被数据类型本身决定，所以需要会使用防御式拷贝来保护。