ADT的定义:
ADT是指数学模型以及定义在数学模型上的一组操作,抽象数据类型需要通过,固有的数据类型(高级编程中实现的数据类型)。对一个抽象数据类型进行定义时,必须给出他的名字及各运算的运算符名,即函数名。并且规定这些函数的参数性质。
ADT的性质:
对于一个ADT来说,最重要的属性就是保有自己的不变量,不变量有一个最重要的属性就是:对于每种运行状态,不变量永远都是正确的。比如说对于一个不可变对象,那么他就是一个不变量。不变量是由ADT来负责的,如果一个变量是一个不变量,呢么他应当与client的任何行为无关。
为什么使用ADT:
ADT有着属于自己的独立性,其内部的实现并不会影响外部的抽象类型,即抽象和内部类型是完全独立的。同时ADT还有这一个重要的属性就是保持自己的不变量,不变量有一个最重要的属性就是:对于每种运行状态,不变量永远都是正确的。比如说对于一个不可变对象,那么他就是一个不变量。不变量是由ADT来负责的,如果一个变量是一个不变量,呢么他应当与client的任何行为无关。另外,ADT的高度抽象的特性使其拥有良好的扩展性和继承性,对于相似性质的结构可直接继承对应的抽象类而不必全部从零开始。