软件构造之ADT
什么是ADT
ADT(抽象数据结构)是一种数据的定义方式,它将数据类型的表示和操作分开,仅暴露操作的接口。这意味着ADT隐藏了数据的具体实现细节,从而使代码更加灵活、可维护、可复用。
ADT的重要不变量
- RI(表示不变量):描述ADT状态的不变量,在操作ADT之前这个不变量应该始终为真
- AF(抽象函数):描述了ADT状态和值的映射关系,是从表示到抽象的映射,定义了ADT的语义,使得ADT的细节被隐藏起来,使用者无需关心内部实现。
- 避免表示泄露:对于ADT使用者来说,内部表示是不可见的。使用者只能通过ADT所定义的操作来访问它