栈和队列

栈

栈是一种特殊的表，正常的表能在表的任意处进行插入和删除操作，但是栈只能在表的末尾进行插入删除操作，因此最先进去的元素会最后出来，对应表的操作就只有push_back和pop_back了，因为关于表的实现已经在文章中实现，这里就不详述了。下边重点介绍一下栈的应用。

栈的应用

1 平衡符号

在写代码时碰到一个问题就是括号匹配的问题，代码块的括号，如（），[]，{}如果不匹配的话编译器将会报错，要解决这个问题的话可以用栈，在书中介绍了这个方法：做一个空栈，读取文本至末尾，当碰到开放符号(如左括号)，把该开放符号压入栈中，当碰到封闭符号时（如右括号），把栈顶元素弹出，如果栈空或栈顶元素与封闭符号不匹配时，则报告错误。在文件读取完成时，如果栈非空，则报告错误。
这个方法精妙之处，除了能够判断文本结束时有没有漏掉括号外，还能够判断括号有没有错误嵌套，例如( ( ) { { } } )这种括号是正确的，但是( { ) }这种就会报错。

2 中缀表达式转换后缀表达式

中缀表达式就是人们日常表示算式所用的表达方式：如1+2*3-2，需要计算的数字分别放在运算符的前后，但是这种方式对于计算机并不友好，例如上式计算机需要先计算2*3，然后在+1，-2。如果加上括号(1+2)*3-2，运算顺序又不一样了，所以如果转换成后缀表达式的话就好算多了，后缀表达式中，需要计算的两个数字按顺序放在运算符的前面，如1+2*3-2转换成后缀表达式就是123*+2- 。这里先介绍中缀表达式如何使用栈转换成后缀表达式，然后介绍怎么用栈计算后缀表达式。
转换时，当读取到一个数字时，马上将其输出，如果碰到运算符时，如果栈空，则运算符放进栈，否则弹出栈中元素直至发现运算级比当前运算符低的，然后将当前运算符放进栈。当读取完表达式，将栈的元素全部抛出。一个特殊情况为，当碰到左括号时，也将其加入栈中，当碰到右括号时，将栈的元素逐个抛出，直至碰到右括号，但是右括号不用输出。

这里用例子来说明怎么用栈将中缀表达式转成后缀表达式。
需要转换的表达式为a+b*c+(d*e+f)*g，转换结果为abc*+de*f+g*+

• 读入a，输出 a， 栈：空
• 读入+，输出 a， 栈：+
• 读入b，输出ab，栈：+
• 读入*，输出ab，栈：+*
• 读入c，输出abc，栈：+*
• 读入+，输出abc*+，栈+ (将栈中的*和+抛出后，再将读入的+推进)
• 读入（，输出abc*+，栈：+（
• 读入d，输出abc*+d，栈：+（
• 读入*，输出abc*+d，栈：+（ *
• 读入e，输出abc*+de，栈：+（ *
• 读入+，输出abc*+de*，栈：+（ +
• 读入f，输出abc*+de*f，栈：+（ +
• 读入），输出abc*+de*f+，栈：+
• 读入*，输出abc*+de*f+，栈：+*
• 读入g，输出abc*+de*f+g，栈+*
• 已到文本末尾，将栈抛出，输出abc*+de*f+g*+

队列

队列也是一种表，但是它的元素插入是在一端进行，删除在另一端进行。因此用链表实现队列的话，只要留下push_back和pop_front函数实现即可。对于数组的话也类似，不过需要添加front和back指针指向队列的首尾元素，不过会碰到几个问题：

在一边出队一边入队的过程中，数组的末尾满了之后，很可能头部还有空的元素，这时数组已满，但是队列的元素并没有达到最大值，所以需要有一个操作让指针在数组末尾的时候能够返回到数组头部。

在刚开始创建空队列时，数组为空，这时队列的首尾指针相等，所以可以根据这个来判断队列是否为空。但是当队列满时，如果数组已经填满，这时首尾指针也会在一样的位置，因此不能单纯根据首尾指针是否相等来判断队列空或满。有另外一个方法可以判断：
队列初始化时，头尾指针指向数组第0个元素，在以后的任何队列非空的情形中，头指针指向第一个元素的前一个位置，尾指针指向最后一个元素的位置，当尾指针的下一个位置为头指针时，队列已满。此种设计下，队列的最大元素为数组长度-1。

当然还有其他方法来判断队列空还是满，比如可以创建多一个元素为队列的长度，入队时队列长度+1，出队时队列长度-1，这样判断队列空还是满就比较容易。

下边是队列的数组实现：

/* 
利用数组来储存队列
队列中有的元素为储存元素的数组指针，头尾指针(下标)，数组的大小
初始化时，队列头尾指针指向数组第一个元素(空)，每增加一个元素，尾指针向后移动一次，尾指针永远指向队列最后一个元素，头指针永远指向第一个元素的前一个位置。
当数组尾部已满，头部还有位置时，将尾指针指向数组头部。
队列中还应有的函数为：
创建一个确定长度的队列
队列添加元素
队列删除元素
判断队列是否为空，当头尾指针相等，队列为空
判断队列是否满，当尾指针的下一个位置为头指针，则队列已满，头指针位置不防止元素，所以队列中能放置的元素个数为数组大小-1
*/

#include<iostream>
using namespace std;

struct QNode{
  int MaxSize;
  int Front;
  int Rear;
  int *Data;
};
typedef QNode *Queue;

Queue CreateQueue(int Size){
  Queue Q = new QNode;
  Q->MaxSize = Size;
  Q->Front = Q->Rear = 0;
  Q->Data = new int(Size);
  return Q;
}

bool IsFull(Queue Q){
  if(Q->Front==(Q->Rear+1)%Q->MaxSize) return true;
  else return false;
}

bool IsEmpty(Queue Q){
  if(Q->Front==Q->Rear) return true;
  else return false;
}

void AddQ(Queue Q, int E){
  if(IsFull(Q)) {
    cout<<"Q is Full"<<endl;
    return ;
  }
  Q->Rear=(Q->Rear+1)%Q->MaxSize;
  Q->Data[Q->Rear] = E;
}

int DeleteQ(Queue Q){
  if(IsEmpty(Q)){
    cout<<"Q is Empty"<<endl;
    return -9999;
  }
  Q->Front=(Q->Front+1)%Q->MaxSize;
  return (Q->Data[Q->Front]);
}

int main(){
  Queue QTest = CreateQueue(6);
  AddQ(QTest,1);AddQ(QTest,2);AddQ(QTest,3);AddQ(QTest,4);AddQ(QTest,5);
  cout<<"delete Q:"<<DeleteQ(QTest)<<endl;
  cout<<"delete Q:"<<DeleteQ(QTest)<<endl;
  cout<<"delete Q:"<<DeleteQ(QTest)<<endl;
  AddQ(QTest,7);AddQ(QTest,8);
  cout<<"delete Q:"<<DeleteQ(QTest)<<endl;
  cout<<"delete Q:"<<DeleteQ(QTest)<<endl;
  cout<<"delete Q:"<<DeleteQ(QTest)<<endl;
  cout<<"delete Q:"<<DeleteQ(QTest)<<endl;
  return 0;
}