软件构造——ADT学习心得

ADT设计是软件构造中十分重要的一环，ADT设计的核心，在我看来是一种封装与信息隐藏的思想。

在进行ADT设计时，首要的目标便是对不可变的满足，相较于可变类型，虽然不可变类型在程序运行的过程中会产生大量的临时拷贝，但其优势也是十分明显的，即安全，不可变类型，不能对内部的该对象进行更改，在以该类型变量作为全局变量的大型程序中，可以避免不同地方对该变量的篡改，保证安全性，同时不可变类型也保证了线程安全，具有优良的性质。

ADT具有三个特性，即表示泄漏、抽象函数AF以及表示不变量RI，在我看来，这三个特性都是为不变性所服务的。其中，表示泄漏保证了ADT的内部表示不会被客户端其它代码所篡改，影响不变性，其次，表示不变量RI，对ADT的内部表示进行限制，获取到希望的表示信息，即程序面对的表示，通过抽象函数AF得到客户端所见到的表示。

为了更好地保证不变性，规约也是十分重要的一环，通过规约，明确了客户端与程序员之间的责任，确立了表示不变性，根据规约，程序员可以自由进行实现，而不影响客户端的使用。