数据结构笔记 第三章

栈的抽象数据类型定义
ADT Stack
Data
栈中元素具有相同类型及后进先出特性，
相邻元素具有前驱和后继关系
Operation
InitStack
前置条件：栈不存在
输入：无
功能：栈的初始化
输出：无
后置条件：构造一个空栈

DestroyStack
前置条件：栈已存在
输入：无
功能：销毁栈
输出：无
后置条件：释放栈所占用的存储空间
Push
前置条件：栈已存在
输入：元素值x
功能：在栈顶插入一个元素x
输出：如果插入不成功，抛出异常
后置条件：如果插入成功，栈顶增加了一个元素

Pop
前置条件：栈已存在
输入：无
功能：删除栈顶元素
输出：如果删除成功，返回被删元素值，否则，抛出异常
后置条件：如果删除成功，栈减少了一个元素
GetTop
前置条件：栈已存在
输入：无
功能：读取当前的栈顶元素
输出：若栈不空，返回当前的栈顶元素值
后置条件：栈不变

Empty
前置条件：栈已存在
输入：无
功能：判断栈是否为空
输出：如果栈为空，返回1，否则，返回0
后置条件：栈不变
endADT

顺序栈类的声明
const int MAX_SIZE=100;
template
class seqStack
{
public:
seqStack ( ) ;
~seqStack ( );
void Push ( T x );
T Pop ( );
T GetTop ( );
bool Empty ( );
private:
T data[MAX_SIZE];
int top;
}

入栈
template
void seqStack::Push ( T x)
{
if (top==MAX_SIZE-1) throw “溢出”;
top++;
data[top]=x;
}

判断是否空栈
template
bool seqStack::Empty ()
{
if (top==-1)
return true;
return false;
}

取栈顶
template
T seqStack::GetTop ( )
{
if (Empty()) throw ”空栈” ；
return data[top];
}

出栈
template
T seqStack:: Pop ( )
{
if (top==-1) throw “溢出”;
x=data[top];
top–;
return x;
}

队列
队列：只允许在一端进行插入操作，而另一端进行删除操作的线性表。
允许插入（也称入队、进队）的一端称为队尾，允许删除（也称出队）的一端称为队头。

ADT Queue
Data
队列中元素具有相同类型及先进先出特性，
相邻元素具有前驱和后继关系
Operation
InitQueue
前置条件：队列不存在
输入：无
功能：初始化队列
输出：无
后置条件：创建一个空队列

DestroyQueue
前置条件：队列已存在
输入：无
功能：销毁队列
输出：无
后置条件：释放队列所占用的存储空间
EnQueue
前置条件：队列已存在
输入：元素值x
功能：在队尾插入一个元素
输出：如果插入不成功，抛出异常
后置条件：如果插入成功，队尾增加了一个元素