软件构造之ADT

ADT是数据的定义方式,它分离了数据表示和操作,只公开操作接口以隐藏实现细节,增强代码灵活性和可维护性。表示不变量(RI)确保ADT状态的正确性,抽象函数(AF)定义了数据的语义,防止内部表示的泄露,用户只能通过预定义的操作与ADT交互。
摘要由CSDN通过智能技术生成

软件构造之ADT

什么是ADT

  ADT(抽象数据结构)是一种数据的定义方式,它将数据类型的表示和操作分开,仅暴露操作的接口。这意味着ADT隐藏了数据的具体实现细节,从而使代码更加灵活、可维护、可复用。

ADT的重要不变量

  1. RI(表示不变量):描述ADT状态的不变量,在操作ADT之前这个不变量应该始终为真
  2. AF(抽象函数):描述了ADT状态和值的映射关系,是从表示到抽象的映射,定义了ADT的语义,使得ADT的细节被隐藏起来,使用者无需关心内部实现。
  3. 避免表示泄露:对于ADT使用者来说,内部表示是不可见的。使用者只能通过ADT所定义的操作来访问它
  • 0
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 1
    评论
评论 1
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值