队列预习

1.队列定义

队列是一种特殊的线性表，特殊之处在于它只允许在表的前端（front）进行删除操作，而在表的后端（rear）进行插入操作，和栈一样，队列是一种操作受限制的线性表。进行插入操作的端称为队尾，进行删除操作的端称为队头。队列中没有元素时，称为空队列。

队列的数据元素又称为队列元素。在队列中插入一个队列元素称为入队，从队列中删除一个队列元素称为出队。因为队列只允许在一端插入，在另一端删除，所以只有最早进入队列的元素才能最先从队列中删除，故队列又称为先进先出线性表。

 

2.顺序队列

建立顺序队列结构必须为其静态分配或动态申请一片连续的存储空间，并设置两个指针进行管理。一个是队头指针front，它指向队头元素；另一个是队尾指针rear，它指向下一个入队元素的存储位置。

每次在队尾插入一个元素是，rear增1；每次在队头删除一个元素时，front增1。随着插入和删除操作的进行，队列元素的个数不断变化，队列所占的存储空间也在为队列结构所分配的连续空间中移动。当front=rear时，队列中没有任何元素，称为空队列。当rear增加到指向分配的连续空间之外时，队列无法再插入新元素，但这时往往还有大量可用空间未被占用，这些空间是已经出队的队列元素曾经占用过得存储单元。

 

3.顺序队列中的溢出现象：

（1） "下溢"现象：当队列为空时，做出队运算产生的溢出现象。“下溢”是正常现象，常用作程序控制转移的条件。

（2）"真上溢"现象：当队列满时，做进栈运算产生空间溢出的现象。“真上溢”是一种出错状态，应设法避免。

（3）"假上溢"现象：由于入队和出队操作中，头尾指针只增加不减小，致使被删元素的空间永远无法重新利用。当队列中实际的元素个数远远小于向量空间的规模时，也可能由于尾指针已超越向量空间的上界而不能做入队操作。该现象称为"假上溢"现象。

 

4.循环队列

在实际使用队列时，为了使队列空间能重复使用，往往对队列的使用方法稍加改进：无论插入或删除，一旦rear指针增1或front指针增1 时超出了所分配的队列空间，就让它指向这片连续空间的起始位置。自己真从MaxSize-1增1变到0，可用取余运算rear%MaxSize和front%MaxSize来实现。这实际上是把队列空间想象成一个环形空间，环形空间中的存储单元循环使用，用这种方法管理的队列也就称为循环队列。除了一些简单应用之外，真正实用的队列是循环队列。

在循环队列中，当队列为空时，有front=rear，而当所有队列空间全占满时，也有front=rear。为了区别这两种情况，规定循环队列最多只能有MaxSize-1个队列元素，当循环队列中只剩下一个空存储单元时，队列就已经满了。因此，队列判空的条件时front=rear，而队列判满的条件时front=（rear+1）%MaxSize。

  

5.队列的基本运算

（1）初始化队列：Init_Queue(q) ，初始条件：队q 不存在。操作结果：构造了一个空队；

（2）入队操作： In_Queue(q,x),初始条件： 队q 存在。操作结果： 对已存在的队列q，插入一个元素x 到队尾，队发生变化；

（3）出队操作： Out_Queue(q,x)，初始条件: 队q 存在且非空，操作结果： 删除队首元素，并返回其值，队发生变化；

（4）读队头元素：Front_Queue(q,x)，初始条件: 队q 存在且非空，操作结果： 读队头元素，并返回其值，队不变；

（5）判队空操作：Empty_Queue(q)，初始条件： 队q 存在，操作结果： 若q 为空队则返回为1，否则返回为0。

 

6.队列的链表实现

在队列的形成过程中，可以利用线性链表的原理，来生成一个队列。

基于链表的队列，要动态创建和删除节点，效率较低，但是可以动态增长。

队列采用的FIFO(first in first out)，新元素（等待进入队列的元素）总是被插入到链表的尾部，而读取的时候总是从链表的头部开始读取。每次读取一个元素，释放一个元素。所谓的动态创建，动态释放。因而也不存在溢出等问题。由于链表由结构体间接而成，遍历也方便。

 

7.循环队列的初始化代码

Status InitQueue(SqQueue *Q)

{

Q -> front = 0;

Q -> rear = 0;

return OK;

}

循环队列求长度代码

int QueueLength(SqQueue Q)

{

return ( Q.rear - Q.front + MAXSIZE) % MAXSIZE;

}

 

8.循环队列的入队操作代码

Status EnQueue (SqQueue * Q, QElemType e)

{

if ( ( Q -> rear + 1) % MAXSIZE == Q -> front) //队列满的判断

return ERROR；

Q -> data[Q -> rear] = e;

Q -> rear = (Q -> rear +1) %MAXSIZE;  //rear指针向后移一位

return OK;

}

 

9.循环队列出队操作代码：

Status DeQueue( SqQueue *Q, QElemType *e)

{

if( Q -> front == Q -> rear) //队列空的判断

return ERROR; 

*e = Q -> data[Q -> front];

Q -> front = (Q -> front + 1) % MAXSIZE;

return OK;

}

 

10.队列的链式存储结构 ---- 入队操作

入队操作时，其实就是在链表尾部插入结点，代码：

Status EnQueue (LinkQueue *Q, QElemType e)

{

QueuePtr s = (QueuePtr) malloc(sizeof(QNode));

if(!s) //存储分配失败

exit (OVERFLOW)

s -> data = e;

s -> next = NULL;

Q -> rear -> next = s; //把s 中的e赋值给原队尾结点的后继

Q -> rear = s;  // 当前的s设置为队尾结点，rear指向s

return OK;

}

 

队列的链式存储结构 ---- 出队操作

出队操作时，就是头结点的后继结点出队，将头结点的后继改成它后面的结点，若链表除头结点外只剩一个元素时，则需将rear指向头结点，代码：、

Status DeQueue(LinkQueue *Q, QElemType *e)

{

QueuePtr p;

if(Q -> front == Q -> rear)

return ERROR;

p = Q -> front -> next; //将欲删除的队头结点暂存给p

* e = p -> data;   // 将与删除的队头结点的值赋给e

Q -> front -> next = p -> next; //将原队头结点后继p -> next 赋值给头结点后继

if( Q -> rear == p) //若队头是队尾，则删除后将rear指向头结点

Q -> rear = Q -> front;

free(p);

return OK;

}