【数据结构与算法】链队和环形队列的基本算本，以及为什么使用环形队列

一、什么是队列
队列 (Queue) 是限定只能在表的一端进行插入，在表的另一端进行删除的线性表。
**队列的特点：**先进先出(FIFO)

把进行插入的一端称做队尾（rear）。
进行删除的一端称做队首或队头（front）。
向队列中插入新元素称为进队或入队，新元素进队后就成为新的队尾元素。
从队列中删除元素称为出队或离队，元素出队后，其后继元素就成为队首元素。

队列的应用：
根据队列的“先进先出”的特征，可以使用队列解决如下问题：
记录访问或操作的顺序。
对“独占资源”的调度安排。如打印机，同一时间只能处理一个打印任务。因此可以设置一个打印队列，对所有打印任务进行排队。
电子商务网站的“秒杀”功能。
大型信息系统中的“消息队列”。

采用链表存储的队列称为链队，这里采用不带头结点的单链表实现，如下图：。

但是，通常将队头和队尾两个指针合起来：
链队组成:
（1）存储队列元素的单链表结点
（2） 指向队头和队尾指针的链队头结点

二、队列的数据类型

typedef struct Node {
  ElemType data;
  struct Node *next;
} QNode; //结点结构

typedef struct {
  QNode *front; //队头
  QNode *rear; //队尾
} LinkQueue; //队列结构

其中：
front指针指向头结点；
rear指针指向最后一个元素结点。

三、链队
链队的4要素：
队空条件：front=rear=NULL
队满条件：不考虑
进队e操作：将包含e的结点插入到单链表表尾
出队操作：删除单链表首数据结点

1、链队的基本操作
初始化
构造只有一个空头节点的链式队列，头、尾指针均指向头节点

入队
入队是使用单链表的尾插法
①生成新结点
②在尾结点后插入新结点
③更新尾指针

出队
操作步骤：
①判断队列是否为空，若空则产生下溢出错误，退出算法。否则执行第②步。
②删除队头元素结点。
③若被删结点是队列的尾结点，则更新队尾指针指向头结点。

销毁队列
释放队列占用的存储空间，包括链队头结点和所有数据结点的存储空间。

void DestroyQueue(LinkQuNode *&q)
{      
	DataNode *p=q->front，*r;  	//p指向队头数据结点
    if  (p!=NULL)		//释放数据结点占用空间
    {
    	r=p->next;
        while (r!=NULL)
	    {
	          free(p);
	          p=r;r=p->next;
	    }
     }
     free(p);
     free(q);		 //释放链队结点占用空间
}

判断队列是否为空
若链队结点的rear域值为NULL，表示队列为空，返回true；否则返回false。

bool QueueEmpty(LinkQuNode *q)
{
　　return(q->rear==NULL);
}

四、环形队列
为什么要用环形队列（循环队列）？
普通队列：
队列的各种状态：

顺序队的4要素（初始时front=rear=-1）：
队空条件：front = rear
队满条件：rear = MaxSize－1
元素e进队：rear++; data[rear]=e;
元素e出队：front++; e=data[front];

由于队满的条件是：rear = MaxSize－1，所以有出现还有位置，但是不能进队的情况。如下图：进队元素满后，又出队两个元素，空出两个位置，但是根据rear = MaxSize－1判断队是满的，所以不能添加元素（进队），这样就会造成假溢出的情况。

队列的上溢和下溢
队列的下溢是队列中没有元素，还进行出队的操作，就会造成下溢。
队列的上溢：
真上溢(rear-front=Max):队列真正满时入队
假上溢：rear已指向队尾，但队列前端仍有空位置
解决假上溢的方法：
方法一：非循环队列——每次删除队头一个元素后，把整个队列往前移一个位置（造成时间浪费）
方法二：循环队列

注：采用环形队列时，进队的元素可能被覆盖。
如果需要用队列中全部进队的元素进一步求解问题，应该采用非环形队列。如用队列求解迷宫路径！

循环队列
把数组的前端和后端连接起来，形成一个环形的顺序表，即把存储队列元素的表从逻辑上看成一个环，称为环形队列或循环队列。
例如：

实际上内存地址一定是连续的，不可能是环形的，这里是通过逻辑方式实现环形队列，也就是将rear++和front++改为：
rear = (rear+1)%MaxSize
front = (front+1)%MaxSize

五、循环队列的基本操作
循环队列的队空和队满的判断

如上图：队空和队满都是：rear == front
解决方案：
1.另外设一个标志以区别队空、队满
2.设置一个计数器
3.少用一个元素空间：（常用）
队空：front == rear
队满：(rear+1)%Max == front
队列长度：(rear–front+MaxSize) % MaxSize
一般选择第三个方案：
让rear == front为队空条件，并约定(rear+1)%MaxSize == front为队满条件。

进队一个元素时到达队头，就认为队满了。这样做会少放一个元素，牺牲一个元素没关系的。
环形队列的4要素：
队空条件：front == rear。
队满条件：(rear+1)%MaxSize == front。
进队e操作：rear=(rear+1)%MaxSize; 将e放在rear处。
出队操作：front=(front+1)%MaxSize; 取出front处元素e。

六、循环队列和链队列的比较
时间性能:
循环队列和链队列的基本操作都需要常数时间 O(1)。
空间性能:
循环队列：必须预先确定一个固定的长度，所以有存储元素个数的限制和空间浪费的问题。
链队列：没有队列满的问题，只有当内存没有可用空间时才会出现队列满，但是每个元素都需要一个指针域，从而产生了结构性开销。