软构复习6 Abstract Data Tyoe(ADT)抽象数据类型

6 Abstract Data Tyoe(ADT)抽象数据类型

ADT的特性：表示泄露、抽象函数AF、表示不变量RI

可变类型的对象：提供了可改变其内部数据的值的操作

不可变数据类型：其操作不改变内部值，而是构造新的对象。

不同的Operations：

1.Creators 构造器：可能实现为构造函数或静态函数（String.valueOf(xxx)就是一个静态函数)

误区：之前一直以为构造函数就是构造器，其实构造器也包括静态函数

2.Producers 生产器：例如String的concat()方法，让两个String拼接，并产生一个新的String。

3.Observers 观察器

4.Mutators 变值器，改变对象属性的方法

所以Immutable的没有变值器

Abstraction Function(AF抽象函数)

表示R-->A的映射，R为开发者关注的表示空间，A为client关注的抽象空间

AF是满射但未必是单射和双射。（比如R中部分值并非合法的，在A中没有映射值）

Rep Invariant（RI表示不变性)

可以将RI看做：表示值的一个子集，包含了所有合法的表示值 或者

   一个条件，描述了什么才是“合法”的表示值

我们应当随时检查RI是否满足：可以定义一个checkRep（）函数，在所有可能改变rep的方法内都要检查。

Safety from rep exposure

表示泄露的安全声明：给出理由，证明代码并未对外泄露其内部表示。