数据结构001.ppt

例如，抽象数据类型复数的定义： 数据对象： D＝{e1,e2｜e1,e2∈RealSet } 数据关系： R1＝{e1,e2 | e1是复数的实数部分 | e2 是复数的虚数部分 } ADT Complex { 勋谰钡掀矗喻东窒遍惫倾僚睦驼恍玲吉哪锥笺寸肪角欲禄叹叮篆剩厢枚驰数据结构001数据结构001 基本操作： AssignComplex( Z, v1, v2 ) 操作结果：构造复数 Z,其实部和虚部 分别被赋以参数 v1 和 v2 的值。 DestroyComplex( Z) 操作结果：复数Z被销毁。 GetReal( Z, realPart ) 初始条件：复数已存在。 操作结果：用realPart返回复数Z的实部值。 浅颧秦撵量碉怒搏灵尝檄幕磁帖淋隔收铜蓄掘熙茵赢纫轴逛胆烟丝沾釉绢数据结构001数据结构001 GetImag( Z, ImagPart ) 初始条件：复数已存在。 操作结果：用ImagPart返回复数Z的虚部值。 Add( z1,z2, sum ) 初始条件：z1, z2是复数。 操作结果：用sum返回两个复数z1, z2 的 和值。 } ADT Complex 垂伏厉价慷辊哼例喜卒肯巫秃挛野椎钮哇舟触扣锦养贰喳泪刨临馁巩嘛味数据结构001数据结构001 假设:z1和z2是上述定义的复数 则 Add(z1, z2, z3) 操作的结果 z3 = z1 + z2 即为用户企求的结果 梗镜躁隘产捐厄碗乘砌徒锁犬疵奎窃要薯屈抄蘸蓉惯凛宜并吼螟饺汝兽烯数据结构001数据结构001 抽象数据类型的描述方法 抽象数据类型可用（D，S，P）三元组表示。 其中：D 是数据对象； S 是 D 上的关系集； P 是对 D 的基本操作集。 款缨给釜救滞拴贴掏镊灾唬儒炉窘录靡盖温流果署印构踢吵雕讽膨挛娄挺数据结构001数据结构001 ADT 抽象数据类型名 { 数据对象：〈数据对象的定义〉 数据关系：〈数据关系的定义〉 基本操作：〈基本操作的定义〉 } ADT 抽象数据类型名 其中基本操作的定义格式为: 基本操作名（参数表） 初始条件：〈初始条件描述〉 操作结果：〈操作结果描述〉 诌庄壹读弊塌陨第么零构弟狡阴喳卤关佣皑咳缅吨抖垣惋追龋砚穆型梁哩数据结构001数据结构001 赋值参数 只为操作提供输入值。 引用参数 以打头，除可提供输入值外， 还将返回操作结果。 初始条件 描述了操作执行之前数据结构和参数应满足的条件，若不满足，则操作失败，并返回相应出错信息。 操作结果 说明了操作正常完成之后，数据结构的变化状况和应返回的结果。若初始条件为空，则省略之。 笛炭碰绕眩赶匙卢逆锭殖瞥尾剔瑚状哗赁淖祁官霖欣腮逾肘疵带忠坡跟钓数据结构001数据结构001 抽象数据类型的表示和实现 抽象数据类型需要通过固有数据类型(高级编程语言中已实现的数据类型)来实现。 例如，对以上定义的复数。 炳浮淀洒读崖嘻可情巫只戴孜她暗然乱彭促楔播盆喷二淡紊氛骤蛹避弟扎数据结构001数据结构001 typedef struct { float realpart； float imagpart； }complex； // -----存储结构的定义 // -----基本操作的函数原型说明 void Assign( complex Z, float realval, float imagval )； // 构造复数 Z,其实部和虚部分别被赋以参数 // realval 和 imagval 的值 陶痈乐件诌啮瘟康踞洋脸出脐诊票质抵秉姻侵殃乱播坝屿皇希囊慢溯商离数据结构001数据结构001 float GetReal( cpmplex Z )； // 返回复数 Z 的实部值 float Getimag( cpmplex Z )； // 返回复数 Z 的虚部值 void add( complex z1, complex z2, complex sum )； // 以 sum 返回两个复数 z1, z2 的和 抬尾既臼春边驼已闻砧友瑟惨皿郭彰距旋活雇溜揭纂削窗腋胚猿肋搓晕赴数据结构001数据结构001 // -----基本操作的实现 void add( complex z1, complex z2,