栈(数组)

本文参考自《大话数据结构》

栈与队列

• 栈是限定只能在表尾进行插入和删除操作的线性表；
• 队列是只允许在一端进行插入操作，而在另一端进行删除操作的线性表；

1.栈的定义

​ 我们把允许插入和删除的一端称为栈顶，另一端称为栈底，不包含任何数据元素的栈称为空栈。栈又称为后进先出的线性表，简称LIFO（Last In First Out）结构。

• 栈的插入操作，叫做进栈，也称压栈，入栈；
• 栈的删除操作，叫做出栈，也有的叫做弹栈；

2.栈的抽象数据类型

把插入和删除操作改名为push和pop；

ADT 栈(stack)
Data
	同线性表。元素具有相同的类型，相邻元素具有前驱和后继关系。
Operation
	InitStack(*S)：初始条件，建立一个空栈S；
	DestroyStack(*S)：若栈存在，则销毁它；
	ClearStack(*S)：将栈清空；
	StackEmpty(S)：若栈为空，返回true，否则返回false；
	GetTop(S,*e)：若栈存在且非空，用e返回S的栈顶元素；
	Push(*S,e)：若栈S存在，插入新元素e到栈S中并成为栈顶元素；
	Pop(*S,*e)：删除栈S中栈顶元素，并用e返回其值；
	StackLength(S)：返回栈S的元素个数
endADT

3.栈的顺序存储结构及实现

定义一个top变量来指示栈顶元素在数组中的位置，top可以上下移动，但无论如何都不能超出存储栈的长度（StackSize），即top必须小于StackSize。当栈存在一个元素时，top等于0，因此通常把空栈的判定条件定为top等于-1。

栈的结构定义

typedef int SElemType;	//SElemType类型根据实际情况而定，这里假设为int */
typedef struct
{
   
    SElemType data[MAXSIZE];
    int top;	//用于栈顶指针
}SqStack;

进栈操作push

/* 插入元素e为新的栈顶元素 */
Status Push(SqStack *S, SElemType e)
{
   
    if(S->top == MAXSIZE-1)	//栈满
        return ERROR;
    S->top++;	//栈顶指针+1
    S->data[S->top] = e;
    return OK;
}

出栈操作pop

/* 若栈不空，则删除S的栈顶元素，用e返回其值，并返回OK，否则返回ERROR */
Status Pop(SqStack *S, SElemType *e)
{
   
    if(S->top