[理学]数据结构第1章.ppt

ADT 有两个重要特征: 数据抽象 用ADT描述程序处理的实体时，强调的是其本质的特征、其所能完成的功能以及它和外部用户的接口（即外界使用它的方法）。 数据封装 将实体的外部特性和其内部实现细节分离，并且对外部用户隐藏其内部实现细节。 抽象数据类型的描述方法 抽象数据类型可用（D，S，P）三元组表示。 其中：D 是数据对象； S 是 D 上的关系集； P 是对 D 的基本操作集。 ADT 抽象数据类型名 { 数据对象：〈数据对象的定义〉 数据关系：〈数据关系的定义〉 基本操作：〈基本操作的定义〉 } ADT 抽象数据类型名 其中基本操作的定义格式为: 基本操作名（参数表） 初始条件：〈初始条件描述〉 操作结果：〈操作结果描述〉 赋值参数 只为操作提供输入值。 引用参数 以打头，除可提供输入值外， 还将返回操作结果。 初始条件 描述了操作执行之前数据结构和参数应满足的条件，若不满足，则操作失败，并返回相应出错信息。 操作结果 说明了操作正常完成之后，数据结构的变化状况和应返回的结果。若初始条件为空，则省略之。 抽象数据类型的表示和实现 抽象数据类型需要通过固有数据类型(高级编程语言中已实现的数据类型)来实现。 例如，对以上定义的复数。 typedef struct { float realpart； float imagpart； }complex； // -----存储结构的定义 // -----基本操作的函数原型说明 void Assign( complex Z, float realval, float imagval )； // 构造复数 Z,其实部和虚部分别被赋以参数 // realval 和 imagval 的值 float GetReal( cpmplex Z )； // 返回复数 Z 的实部值 float Getimag( cpmplex Z )； // 返回复数 Z 的虚部值 void add( complex z1, complex z2, complex sum )； // 以 sum 返回两个复数 z1, z2 的和 // -----基本操作的实现 void add( complex z1, complex z2, complex sum ) { // 以 sum 返回两个复数 z1, z2 的和 sum.realpart = z1.realpart + z2.realpart; sum.imagpart = z1.imagpart + z2.imagpart; } { 其它省略 } 1.3 抽象数据类型的表示与实现 （1）预定义的常量和类型 #define TRUE 1 #define FALSE 0 #define OK 1 #define ERROR 0 #define INFEASIBLE -1 #define OVERFLOW -2 typedef int Status; 例6 抽象数据类型三元组的定义 ADT Triplet { 数据对象：D={e1,e2,e3} e1,e2,e3∈ ElemSet 数据关系：R1={e1,e2,e2,e3} 基本操作： InitTriplet(T,v1,v2,v3) 操作结果：构造T，e1,e2,e3被赋以v1,v2,v3的值 DestroyTriplet(T) 操作结果：T被删除 …… Min(T,e) 初始条件：T已存在 操作结果：用e返回T的三元素的最小值 } ADT Triplet （2）存储类型用typedef描述，数据 元素类型用ElemType表示 （3）基本操作算法用函数描述 函数类型 函数名（函数参数表） { // 算法说明 语句序列 } //函数名 （4）赋值语句 简单赋值:变量名=表达式； 串联赋值:变量名1=变量名2=…=表达式； 成组赋值: 结构名=结构名； 结构名=（值1，… ，值k) ； 变量名[ ]=表达式； （变量名1,…,变量名k)=(表达式1,…,表达式k) ； 变量名[下标1,…,下标n]=变量名[下标1