软件构造（5）- ADT抽象数据类型

抽象数据型与表示独立性：设计良好的抽象数据结构，通过封装来避免客户端获取数据的内部表示（即“表示泄露”），避免潜在的bug——在client和implementer之间建立“防火墙”

ADT的特性：表示泄漏、抽象函数AF、表示不变量RI

一.用户定义类型与数据抽象

数据抽象：由一组操作所刻画的数据类型

传统的类型定义：关注数据的具体表示 eg：用int类型来分别表示Date域中的日月年
抽象类型：强调“作用于数据上的操作”，程序员和client无需关心数据如何具体存储的，只需设计/使用操作即可。eg：直接用Date类型来表示具体日期

抽象类型是由操作定义的，与其内部操作无关
eg：当使用List类型时，不需关注其由linked list还是数组或是其他的数据结构实现的，只需知道List提供的方法：get() size() …

二.类型和操作的分类

1. 数据类型：可变和不可变类型
   可变类型的对象：提供了可改变其内部数据的值的操作
   eg:Date可使用setMonth()方法改变其内部的值
   不变数据类型： 其操作不改变内部值，而是构造新的对象
   eg:String类型不可变
2. 操作类型：
   1. creators 构造器：可以是构造函数或静态函数 eg：