之前我们学过了普通的线性表，接下来我们来了解一下两种特殊的线性表——栈和队列。
栈是只允许在一端进行插入或删除的线性表。
栈的顺序存储结构也叫作顺序栈，对于栈顶指针top，当栈为空栈时，top=-1；当栈为满栈时，top=MaxSize-1。顺序栈的定义为：
#define MaxSize 50 //定义栈中元素的最大个数
typedef struct{
Elemtype data[MaxSize]; //存放栈中元素
int top; //栈顶指针
}SqStack; //顺序栈的简写
顺序栈的入栈操作为：
bool Push(SqStack &S,ElemType x){
if(S.top==MaxSize-1) return false;
S.data[++S.top]=x; return true;
}
顺序栈的出栈操作为：
bool Pop(SqStack &S,ElemType &x){
if(S.top==-1) return false;
x=S.data[S.top--];
return true;
}
顺序栈读取栈顶元素为：
bool GetTop(SqStack S,ElemType &x){
if(S.top==-1) return false;
x=S.data[S.top];
return true;
}
顺序栈读取栈顶元素与出栈操作对比，注意读取栈顶元素时栈顶指针没有自减。
对于一个数组，如果只从数组头部开始入栈，并没有达到很高的空间利用率，因此我们引入共享栈的概念。共享栈是两个栈共用同一个数组，分别从数组头部和数组尾部开始开始入栈。其定义为：
#define MaxSize 100 //定义栈中元素的最大个数
typedef struct{
Elemtype data[MaxSize]; //存放栈中元素
int top1; //栈1顶指针
int top2; //栈2顶指针
}SqDoubleStack; //共享栈的简写
bool Push(SqStack &S,ElemType x,int stackNum){
if(S.top1+1==S.top2) return false;
if(stackNum==1) S.data[++S.top1]=x;
else if(stackNum==2) S.data[--S.top2]=x;
return true;
}
共享栈的满栈条件是top1+1=top2。
同时，栈也有链式存储结构，叫作链栈，它空栈时top=NULL，一般不会满栈。链栈的定义为：
typedef struct SNode{
ElemType data; //数据域
struct SNode *next; //指针域
}SNode,*SLink; //链式栈的结点
typedef struct LinkStack{
SLink top; //栈顶指针
int count; //链式栈结点数
}LinkStack;
栈有着丰富的应用场景，比较经典的题目有括号的匹配以及后缀表达式的求值。
①括号的匹配：给你一串杂乱的大，中，小括号的序列，让你判断这里的括号序列满不满足数学计算的规律(括号套括号)。主要思路是将所有的左括号依次入栈，碰到右括号出栈匹配，若是不同种的括号返回false，若是同一种括号则继续以上操作，直到空栈并且数组中的字符串遍历完成，返回true。
②后缀表达式的计算：后缀表达式是计算机最喜欢的一种表达式方式，例如(5+10+1*13)/14这个中缀表达式，它的后缀表达式为5 10 + 1 13 * + 14 /，其将每一步计算的运算符号置后。利用栈计算后缀表达式的主要思路是：①将数字5入栈，再将数字10入栈；②当指针碰到运算符+时，将栈中的前两个元素出栈进行计算(后出栈的数在前位)，结果入栈，如本例值15入栈；③同上一步，计算1*13得13入栈，此时栈底值15，栈顶值13；④同上一步，指针碰到运算符+，将15与13求和，得值28入栈；⑤再同上一步，计算28/14=2入栈；⑥此时字符串数组遍历完毕，栈中的唯一值2则为表达式的结果。
栈思想的最重要的一个应用便是递归，递归是指在一个函数、过程或数据结构中的定义中又应用了它自身的编程思想。理解递归的一个基础方法便是找到递归式和递归边界，我们来看两个例子：
①用递归求n的阶乘：
int F(int n){
if(n==0) return 1; //递归边界
else return n*F(n-1); //递归式
}
②求斐波那契数列的第n项：
int Fib(int n){
if(n==0) return 0; //递归边界
else if(n==1) return 1; //递归边界
else return Fib(n-1)+Fib(n-2); //递归式
}
递归式是每一次递归过程的计算核心，而递归边界就是每一次递归的结束标志。
另一种特殊的线性表是队列，队列的定义是只允许在一端进行插入，而在另一端进行删除的线性表。
队列的顺序存储结构是顺序队列，其定义为：
#define MaxSize 50 //定义队列中元素的最大个数
typedef struct{
Elemtype data[MaxSize]; //存放队列中元素
int front,rear; //队头指针和队尾指针
}SqQueue;
但对于一个数组队列来说，每一次入队和出队都会浪费一个数组位置，于是我们引入循环队列的概念，队尾指针rear在指到队尾后会回到下标为0的位置(利用取余来实现)，即每一次rear和front的更新基于以下操作：rear=(rear+1)%MaxSize,front=(front+1)%MaxSize。
但是这样又产生了新的问题，rear=front到底是队空还是队满无法判断。这样的问题有以下两种解决办法：①设一个frag，作为标志位，当队满时frag=1；②牺牲一个数组位置，保留一个空余单元，此时队满的判断标准变成了(rear+1)%MaxSize=front，队列中的元素数计算方法为：(rear-front+MaxSize)%MaxSize。
循环队列的入队操作为：
bool EnQueue(SqQueue &Q,ElemType x){
if((Q.rear+1)%MaxSize==Q.front) return false; //队满
Q.data[Q.rear]=x;
Q.rear=(Q.rear+1)%MaxSize;
return true;
}
循环队列的出队操作为：
bool DeQueue(SqQueue &Q,ElemType &x){
if(Q.rear==Q.front) return false; //队空
x=Q.data[Q.front];
Q.front=(Q.front+1)%MaxSize;
return true;
}
队列链式存储的定义为：
typedef struct{
ElemType data; //数据域
struct LinkNode *next; //指针域
}LinkNode; //链式队列的结点
typedef struct{
LinkNode *front,*rear; //队头和队尾指针
}LinkQueue;
链式队列的入队和出队类似于链表的相应操作。
标签：return,递归,队列,C语言,MaxSize,front,数据结构,rear
来源： https://www.cnblogs.com/jackliu-timecomplexity/p/10581043.html
