在以后各章中均以如上相同形式描述抽象数据类型。其形式定义为：
ADT 抽象数据类型名 {
数据对象： 数据对象的定义
数据关系： 数据关系的定义
基本操作： 基本操作的定义
} ADT 抽象数据类型名
其中，数据对象和数据关系的定义用伪码描述，基本操作的定义格式为
基本操作名 （参数表）
初始条件：〈初始条件描述〉
操作结果：〈操作结果描述〉
基本操作有两种参数：赋值参数只为操作提供输入值；引用参数以&打头， 除可提供输入值外，还将返回操作结果。
"初始条件"描述了操作执行之前数据结构和参数应满足的条件，若不满足，则操作失败，并返回相应出错信息。
"操作结果"说明了操作正常完成之后，数据结构的变化状况和应返回的结果。
若初始条件为空，则可省略之。
由于数据结构是和它的操作集分不开的，因此以后我们对数据结构的定义均包括它们操作的定义，也就是说直接将它们定义为抽象数据类型。
|
|||
|
你以前是否了解"引用参数"这个概念？