1、基本概念

• 队列是只允许在一端进行插入，而在另一段进行删除的线性表
• 队头：允许删除的一端
• 队尾：允许插入的一端
• 空队列：没有任何元素的空表
  

队列是操作受限的线性表，因此不是任何对线性表的操作都可以作为队列的操作，比如，不可以随便读取队列中间某个数据

2、顺序队列

队列的顺序实现是指分配一块连续存储单元存放队列中的元素，并设两个指针front和rear分别指向队头和队尾元素的元素。队尾rear指针指向队尾元素的下一个位置（也可以让rear指向队尾元素，front指向队头元素的前一个位置），为什么要这样处理呢？当队列中只有一个元素是，rear和front将会相等，处理起来很麻烦。

• 初始状态（队空条件）：front==rear==0
• 进队：不满时，送值到队尾，队尾rear加1
• 出队：不空时，取队头元素，队头front加1

/*
顺序队列
*/
typedef struct {ElemType data[MaxSize];int front, rear;
}SqQueue;

当此时队列的状态为上图的d时，在入队，现任此时rear再加一会出现溢出，但这种溢出并不是真正的溢出，在data数组里依然有位置存放数据，所以这是一种假溢出

2、循环队列

把存储队列元素的表从逻辑上看作是一个环，称为循环队列。当用循环队列时，上面顺序队列出现假溢出的问题就能解决

• 初始时，Q.front=Q.rear=0
• （出队） front指针加1：Q.front=(Q.front+1)%MaxSize
• （入队）rear指针加1：Q.rear=(Q.rear+1)%MaxSize
• 队列长度：(Q.rear-Q.front+MaxSize)%MaxSize
• 出队入队指针按顺时针方向进1

如何判断队列空和队满呢？

法1：牺牲一个单元来区分队空和队满，入队时少用一个队列单元，这是个普遍的做法，约定以：队头指针在队尾指针的下一个位置作为队满的标志

• 队满：（Q.rear+1）%MaxSize==Q.front
• 队空条件：Q.front==Q.rear(注意和顺序队列区分开，Q.front==Q.rear==0）
• 队中元素个数：（Q.rear-Q.front+MaxSize）%MaxSize

法2：类型中增设表示元素个数的数据成员。这样，

• 队空的条件为Q.size==0
• 队满：Q.size==MaxSize

法3：类型增设tag数据成员，以区分队满还是队空。tag等于0时，若因删除导致QQ.front==Q.rear,则为对空；tag等于1时，若因插入导致Q.front==Q.rear，则为队满

3、链式队列

队列的链式存储结构，其实就是线性表的单链表，只不过需要加点限制，只能在表尾插入，表头删除。

typedef struct {ElemType data;struct LinkNode* next;
}LinkNode;
typedef struct {LinkNode* front, * rear;
}LinkQueue;

• 当 Q.front ==NULL && Q.rear==NULL时，链式队列为空

4、双端队列

双端队列是指允许两端都可以进行入队和出队操作的队列，将队列的两端分别称为前端和后端，不再是队头和队尾，其逻辑结构依然是线性结构。

输出受限的双端队列：允许在一端进行插入和删除，但在另一端只允许插入的双端队列被称为输出受限的双端队列

输入受限的双端队列：允许在一端进行插入和删除，但另一端只允许删除的双端队列称为输入受限的双端队列