ADT（Abstract Data Type）
类型由什么组成？
一个类型（type）指定两类信息，一个属性集和一个操作集。
假设要定义一个新的数据类型。首先，要提供存储数据的方式，可能是通过设计一个结构。第二，需要提供操作数据的方式。
计算机科学已经研究出一种定义新类型的成功方法。这种方法使用3个步骤来完成从抽象到具体的过程。
1）为类型的属性和可对类型执行的操作提供一个抽象的描述。这个描述不应受任何特定实现的约束，甚至受到任何特定编程语言的约束。这样一种正式的抽象描述被定义为抽象数据类型。
2）开发一个实现该ADT的编程接口。即说明如何存储数据并描述用于执行所需操作的函数集合。想要使用这种新类型的人可以使用这个接口来编程。
3）编写代码实现这个接口。使用这个接口的程序员无需知道实现的细节。