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

抽象数据类型与表示独立性： 设计良好的抽象数据结构，通过封装来避免客户端获取数据的内部表示（即“表示暴露”），避免潜在 的bug，即 在client和implementer之间建立“防火墙”。

抽象数据型解决了一个非常危险的问题，就是用户假设数据类型的内部表示。

在这里我们要引入三个非常重要的概念，它们分别是表示暴露、表示不变量（RI）和抽象函数（AF）。这几个概念在软件的设计中十分实用。抽象函数提供了一种清晰地定义抽象数据型等价性的方法。

抽象数据类型引入：除了编程语言所提供的基本数据类型和对象数据类型，程序员还可以定义

自己的数据类型。早期的程序员在定义他们自己的数据类型的时候，关注的是数据的具体表示,例如:创建一个记录类型date，使用整数字段表示日、月和年。而抽象数据关注的是操作--用户不需要担心它的值实际是如何存储的。

举个例子，抽象数据类型布尔有以下操作：

 当我们在谈到抽象数据型List的时候，我们没有具体说它是Linkedlistist还是Arraylist，而是一切可能是List类型的对象：他们都有get（）,size（）等一系列相同的操作。

抽象数据类型的操作集和规格说明描述了这个抽象数据型。换句话说，抽象数据型是由操作定义的，而和它的内部具体实现无关！

抽象数据型的操作可以分为四个类型：Creators，Producers，Observers，Mutators。

Creators产生此类型的新对象，但是注意不能把此类型的对象作为参数。

Producers从该类型的旧对象创建新对象，例如String类的concat（）操作。

Observers获取该类型的对象，并返回一个不同类型的对象/值，例如List的size（），File的isfile（）。

Mutators改变对象的属性，例如List的add（），Mutators通常返回void。注：immutable类型没有mutator。

 表示独立性：抽象类型的使用独立于其表示形式(用于实现它的实际数据结构或数据字段)，因此表示形式的更改对外部代码没有影响。例如，List提供的操作是独立于列表表示为链表还是数组。

下面给出一个违反表示独立性的例子：

client1违反了表示独立性，因为用户假设了list的具体实现，而如果list是集合的话，就没有get（）操作。以下是改进版：

实现者将return people改为 return new ArrayList<>(people)即可，用户端就可以肆无忌惮地使用get（）操作了。