队列
队列和栈一样,都是一种特殊的线性表。队列是只允许在一端进行插入操作,在一端进行删除操作的线性表。在队列中,允许插入的一端称为队尾,允许删除的一端称为队头。队列和生活中的排队是一个道理,例如在游乐场中排队等待过山车,新来的人只能添加在队尾,而刚结束过山车体验的人从队头离开队伍。
故队列是一种先进先出的线性表,也就是“先进来的先出去”。
循环队列
在使用线性表实现队列的时候,这里以顺序表为例,也就是使用一维数组来当作队列的数据域。故对于该一维数组而言,队列的头指针和尾指针都是所必须的,因为涉及到插入位置和删除位置。故结构体定义如下所示。
#include <iostream>
#include <stdio.h>
using namespace std;
#define MAX_SIZE 10 // 最大容量
typedef int Element; // 统一数据类型
// 定义队列数据类型
typedef struct Queue
{
Element data[10]; // 数据域
int front; // 头指针
int rear; // 尾指针
// 构造函数初始化
Queue()
{
front = 0; // 初始化头指针
rear = 0; // 初始化尾指针
for (int i = 0; i < 10; i++) // 初始化数据域
data[i] = 0;
}
}Queue;
那么在规定了数据结构之后,对该队列的插入删除的实现方式就有很多种,首先最简单就能想到的是,固定队头,将其固定在数组的第一个位置,也就是下标为0的位置,然后队尾随着数据的添加而移动。这样规定了之后,对于该队列的插入,就成了线性表中在数组最后添加一个元素,时间复杂度为 O ( 1 ) O(1) O(1),但是删除时,相当于删除线性表中第一个元素,后续所有结点需要前移,故时间复杂度为 O ( n ) O(n) O(n)。
那么其实很容易想到,插入操作依旧保持原状,但是删除操作可以不固定队头指针,每次删除时直接将头指针后移一位即可,这样时间复杂度也只有
O
(
1
)
O(1)
O(1),如下图所示。
但是从上图也可以看出,这样删除有一个很明显的问题,那就是前面移动过的区域无法再次利用,这样一来就变相的压缩了整个队列的大小。
为了解决上述问题,这里提出了循环队列的概念,也就是当尾指针在移动到数组的最后一个元素之后,则会将尾指针移动到数组的第一个元素那里,使得整个数组形成了一个循环的趋势。
那么根据上述循环队列的定义,在插入和删除的时候,只需要简单移动一次尾指针和头指针即可,同时由于尾指针指向的是下一个空闲的区域,所以设队列最大容量为 M a x S i z e MaxSize MaxSize,则实际的最大容量是 M a x S i z e − 1 MaxSize-1 MaxSize−1,这也就是常用的空出一个位置判断是否队列满的方法,只需要判断在循环过程中,头指针和尾指针是否相差一个距离即可。判断队列空的方法也很简单,只要头指针和尾指针不重合即可。使用空闲一个位置的好处在于可以区分队满和队空。
压入push
在队列的压入操作的时候,需要操作的是尾指针,需要先判断此时队列是否是满的,如果不是满的,则可即可压入。压入时先将值赋给当前尾指针指向的区域,之后更新尾指针即可,采用取模的方法来进行更新。
// 插入
bool Push(Queue* q, Element element)
{
if ((q->rear + 1) % MAX_SIZE == q->front) // 判断队列是否满
return false; // 返回报错信息
q->data[q->rear] = element; // 插入到队尾
q->rear = (q->rear + 1) % MAX_SIZE; // 更新队尾的位置
return true;
}
弹出pop
在弹出队列中的元素时,需要先判断当前队列是否为空,即头指针和尾指针是否重合。之后移动头指针进行删除操作即可。
// 弹出
bool Pop(Queue* q)
{
if (q->front == q->rear) // 判断队列是否是空
return false; // 若是空则返回报错信息
q->front = (q->front + 1) % MAX_SIZE; // 更新头指针的位置
return true;
}
获取队列大小Size
在计算当前队列中元素个数时,采用简单的算数运算即可。
// 获取队列中元素个数
int Size(Queue* q)
{
return (q->rear - q->front + MAX_SIZE) % MAX_SIZE;
}