关于抽象数据类型ADT的一些思考

ADT的定义:

        ADT是指数学模型以及定义在数学模型上的一组操作，抽象数据类型需要通过，固有的数据类型（高级编程中实现的数据类型）。对一个抽象数据类型进行定义时，必须给出他的名字及各运算的运算符名，即函数名。并且规定这些函数的参数性质。

ADT的性质：

        对于一个ADT来说，最重要的属性就是保有自己的不变量，不变量有一个最重要的属性就是：对于每种运行状态，不变量永远都是正确的。比如说对于一个不可变对象，那么他就是一个不变量。不变量是由ADT来负责的，如果一个变量是一个不变量，呢么他应当与client的任何行为无关。

为什么使用ADT:

        ADT有着属于自己的独立性，其内部的实现并不会影响外部的抽象类型，即抽象和内部类型是完全独立的。同时ADT还有这一个重要的属性就是保持自己的不变量，不变量有一个最重要的属性就是：对于每种运行状态，不变量永远都是正确的。比如说对于一个不可变对象，那么他就是一个不变量。不变量是由ADT来负责的，如果一个变量是一个不变量，呢么他应当与client的任何行为无关。另外,ADT的高度抽象的特性使其拥有良好的扩展性和继承性,对于相似性质的结构可直接继承对应的抽象类而不必全部从零开始。