软件构造之抽象数据类型

什么是抽象

抽象数据类型是软件工程中一般原理的一个实例，它有许多名称，其意义略有不同：

抽象。用更简单，更高层次的概念来省略或隐藏底层细节。

模块化。将系统划分为组件或模块，每个组件可以与系统的其他部分分开设计，实施，测试，推理和重复使用。

封装。围绕模块构建墙壁（硬壳或胶囊），使模块对其自身的内部行为负责，并且系统其他部分的错误不会损害其完整性。

信息隐藏。从系统的其他部分隐藏模块实现的细节，以便稍后可以更改这些细节，而无需更改系统的其余部分。

用户定义类型

在软件开发方面一个重大的进展就是抽象数据类型的提出。数据抽象的关键思想是：一个类型被可以对其进行的操作特征化。比如说，一个数字是你可以进行加法或者乘法运算的类型，一个字符串是你可以连接或者获得其子字符串的类型等等。从某种意义上说，用户可以在早期的编程语言中定义自己的类型，但是抽象类型的新颖性和不同之处在于它对操作的关注，用户不需要担心它的值是如何存储，只需要知道如何对这些值进行操作。

类型分类与操作

无论是用户自己定义的还是内置的类型，都可以被分为可变的和不可变的。可变类型的对象可以被改变，也就是说，他们提供的操作在执行时会导致在同一个对象上的其他操作给出不同的结果。如Date是可变的，我们可以调用setMonth改变一个对象，并使用getMonth观察变化。String是不可变的，因为他的操作创建了一个新的String对象而不是对现有的String对象进行改变。有时一种类型将以两种形式提供，一种是可变的一种是不可变的。如StringBuild就是String的一个可变版本。

一个抽象的类型的操作分类如下：

Creator   创建该类型的新对象。一个创造器可以将对象作为参数，但不是正在创建的类型的对象。

Producer  从该类型的旧对象产生一个新对象。例如String的concat方法就是一个生产者，他连接两个字符串，产生一个新的字符串。

Observer  获取抽象类型的对象并