数据结构笔记——栈和队列

3.1 特殊线性表——栈

3.1.1 栈的逻辑结构

栈：限定仅在表尾进行插入和删除操作的线性表。
空栈：不含任何数据元素的栈。
允许插入和删除的一端称为栈顶，另一端称为栈底。
栈的操作特性：后进先出
注意：栈只是对表插入和删除操作的位置进行了限制，并没有限定插入和删除操作进行的时间

栈的抽象数据类型定义
ADT Stack
Data
栈中元素具有相同类型及后进先出特性，
相邻元素具有前驱和后继关系

Operation
InitStack
前置条件：栈不存在
输入：无
功能：栈的初始化
输出：无
后置条件：构造一个空栈

DestroyStack
前置条件：栈已存在
输入：无
功能：销毁栈
输出：无
后置条件：释放栈所占用的存储空间

Push
前置条件：栈已存在
输入：元素值x
功能：在栈顶插入一个元素x
输出：如果插入不成功，抛出异常
后置条件：如果插入成功，栈顶增加了一个元素
Pop
前置条件：栈已存在
输入：无
功能：删除栈顶元素
输出：如果删除成功，返回被删元素值，否则，抛出异常
后置条件：如果删除成功，栈减少了一个元素

GetTop
前置条件：栈已存在
输入：无
功能：读取当前的栈顶元素
输出：若栈不空，返回当前的栈顶元素值
后置条件：栈不变
Empty
前置条件：栈已存在
输入：无
功能：判断栈是否为空
输出：如果栈为空，返回1，否则，返回0
后置条件：栈不变
endADT

3.1.2 栈的顺序存储结构及实现

顺序栈——栈的顺序存储结构
顺序栈类的声明

const  int  MAX_SIZE=100;
template  <class T>
class  seqStack
{
   public:
       seqStack ( ) ;
       ~seqStack ( );
       void  Push ( T  x );
       T   Pop ( );
       T   GetTop ( );
       bool  Empty ( );
   private:
       T  data[MAX_SIZE];
       int  top;
}

顺序栈的实现——入栈

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

顺序栈的实现—判断是否是空栈

template <class T>
bool  seqStack<T>::Empty ()
{
     if (top==-1)  
         return true;
     return false;
 } 

顺序栈的实现——取栈顶

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

顺序栈的实现——出栈

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

两栈共享空间(双端栈)

在一个程序中需要同时使用具有相同数据类型的两个栈，如何顺序存储这两个栈？

两栈共享空间：
使用一个数组来存储两个栈，让一个栈的栈底为该数组的始端，另一个栈的栈底为该数组的末端，两个栈从各自的端点向中间延伸。

两栈共享空间类的声明

const int Stack_Size=100;  
template <class T>
class BothStack 
{
  public:
       BothStack( );
       ~BothStack( ); 
       void Push(int i, T x);   
       T Pop(int i);          
       T GetTop(int i);       
       bool Empty(int i);     
  private:
       T data[Stack_Size];     
       int top1, top2;        
};

栈1为空：top=-1
栈2为空：top=Stack_Size
两栈共享空间的实现——插入
1. 如果栈满，则抛出上溢异常；
2. 判断是插在栈1还是栈2；
2.1 若在栈1插入，则
2.1.1 top1加1;
2.1.2 在top1处填入x；
2.2 若在栈2插入，则
2.2.1 top2减1;
2.2.2 在top2处填入x；

 template <class T> 
void BothStack<T>::Push(int i, T x )
{
    if (top1==top2-1) 
		throw "上溢";
    if (i==1) 
		data[++top1]=x;
    if (i==2) 
		data[--top2]=x;
}`

两栈共享空间的实现——删除
1.若是在栈1删除，则
1.1 若栈1为空栈，抛出下溢异常；
1.2 删除并返回栈1的栈顶元素；
若是在栈2删除，则
2.1 若栈2为空栈，抛出下溢异常；
2.2 删除并返回栈2的栈顶元素；

3.1.3 栈的链接存储结构及实现

链栈：栈的链接存储结构