Question

如果我们不把对这个数据类型的表示呈现给用户，则我们称这个数据类型为抽象数据类型。从理论的角度，要求我们通过包含可能性操作的数学表达式中指定数据类型的属性。例如，我们从队列中删除一个我们先前增加的元素，并且可以从队列中以相同的次序检索我们增加的元素。

抽象数据类型为程序员提供了很强的便利性。因为表达式不是定义的一部分。我们可以自由的选择更简单，更有效的方式去实现。如果我们能够正确的分离出必要的信息，那么对数据类型的使用和实现将完全的独立开来。

抽象数据类型满足了“信息隐藏”和“分而治之”的良好编程规则。例如数据项表达式 - 只给需要知道的人提供，给抽象数据类型的实现者，而不是用户。通过使用抽象数据类型，我们可以清晰的分离出实现者和使用者的不同任务。并且可很好的把一个大的系统分解成各个小的模块。