假设是长度为5的数组,初始状态,空队列如所示,front与 rear指针均指向下标为0的位置。然后入队a1、a2、a3、a4, front指针依然指向下标为0位置,而rear指针指向下标为4的位置。
出队a1、a2,则front指针指向下标为2的位置,rear不变,如下图所示,再入队a5,此时front指针不变,rear指针移动到数组之外 ,造成假溢出的现象。
为了解决这个问题,引入了循环队列的概念
为了方便起见,约定:初始化建空队时,令
front=rear=0,
当队空时:front=rear
当队满时:front=rear 亦成立
因此只凭等式front=rear无法判断队空还是队满。 有两种方法处理上述问题:
(1)增加一个标识flag ,初始的时置为false,每当有元素入队时让flag = true,每当有元素出队时,让flag = false,在触发rear = front 的上一个操作决定了是空还是满。这样在判断空的时候 ,要判断 front == rear 和 flag 为假要同时成立,即( front == rear ) && !front 整体为真时,队列空。( front == rear ) && front 时 队列满
(2)增加一个引用计数count;
(3)少用一个元素空间,约定以“队列头指针front在队尾指针rear的下一个位置上”作为队列“满”状态的标志。即:
队空时: front=rear
队满时: (rear+1)%maxsize=front
//circular Queue 循环队列实现
#include <stdlib.h>
#include <stdio.h>
#define MAXSIZE 100
typedef int ElemType ;
typedef struct
{
ElemType *base; //存储内存分配基地址
int front; //队列头索引
int rear; //队列尾索引
}circularQueue;
//初始化队列
InitQueue(circularQueue *q)
{
q->base = (ElemType *)malloc((MAXSIZE) * sizeof(ElemType));
if (!q->base) exit(0);
q->front = q->rear = 0;
}
//入队列操作
InsertQueue(circularQueue *q, ElemType e)
{
if ((q->rear + 1) % MAXSIZE == q->front) return; //队列已满时,不执行入队操作
q->base[q->rear] = e; //将元素放入队列尾部
q->rear = (q->rear + 1) % MAXSIZE; //尾部元素指向下一个空间位置,取模运算保证了索引不越界(余数一定小于除数)
}
//出队列操作
DeleteQueue(circularQueue *q, ElemType *e)
{
if (q->front == q->rear) return; //空队列,直接返回
*e = q->base[q->front]; //头部元素出队
q->front = (q->front + 1) % MAXSIZE;
}
参考链接:https://blog.csdn.net/huangkq1989/article/details/5719529
https://blog.csdn.net/shyjhyp11/article/details/71512455
https://blog.csdn.net/will130/article/details/49306523