概述
顾名思义,队列其实就类似于我们现实生活中的排队。在计算机科学中,队列是一种特殊的抽象数据类型(ADT)或集合,保存在这个集合中的实体按线性的逻辑次序排列。对队列中元素的操作,仅限于在队尾和队首进行,其中包括在队尾添加元素(入队,enqueue)以及移除队首的元素(出队,dequeue),这就使队列成为一种先进先出(FIFO,First-In-First-Out)的数据结构。
就像大家都知道的前两天刚发生的 ofo 总部排队退押金时间,也可以看作是一个队列。
在这里插句题外话,最近太多关于该不该向小黄车要押金的争论了,不管谁对谁错,毕竟小黄车也是曾经给我们带来过便利的,希望小黄车这次能够挺过去!
言归正传,在先进先出的数据结构中,第一个被添加到队列中的元素也会被第一个移除,这相当于在添加新元素之后,必须在删除新元素之前删除之前添加的所有元素。队列是线性数据结构的一个例子,或者更抽象地说是顺序集合。
队列提供计算机科学、传输和运筹学方面的服务,在这些服务中,各种实体(如数据、对象、人员或事件)被保存在队列中以供稍后处理,此时,队列实际上是作为缓冲区来使用。
ADT 接口
作为一种抽象数据类型,与栈类似,队列结构也有自己的操作接口。如下表所示。
操作 | 功能 |
---|---|
size() | 报告队列的规模(元素总数) |
empty() | 判断队列是否为空 |
enqueue(e) | 将 e 插入队尾 |
dequeue() | 删除队首对象 |
front() | 引用队首对象 |
实现
队列常见的实现方式有两种,一种是基于链表的普通队列,另一种是基于数组的循环队列。
基于链表的普通队列
在此前的一篇文章中,我介绍了链表的实现方式,没有读过的朋友可以看看,手把手教你实现一个链表。在这一节中,我们将在这篇文章的基础上来实现队列。按照上文中描述的队列的操作接口,可实现 Queue 模板类如下:
#pragma once
#include "LinkedList.h"
template <typename T> class Queue {
private:
LinkedList<T> list;
public:
int size() {
return list.size();
}
bool empty() {
return list.empty();
}
void enqueue(T const& e) { //入队,从尾部插入
list.insertAsLast(e);
}
T dequeue() { //出队,从首部删除
return list.remove(list.first());
}
T& front() { //队首
return list.first()->data;
}
};
这种基于链表的实现方式比较简单,也容易理解。而且它还继承了链表的最大的优点,那就是在内存允许的情况下,可以无限地往里面添加元素,也就是进行入队操作。
基于数组的循环队列
大家都知道,数组是一种顺序存储结构。如果单纯地用数组模拟队列,那么随着出队入队的操作,很容易导致「假溢出」。
系统作为队列用的存储区还没有满,但队列却发生了溢出,我们把这种现象称为「假溢出」。
但是如果在逻辑上,我们将其想象成一个环,那么除非数组空间被占满,否则可以一直往里添加元素,这样就不会造成空间的浪费,有效地避免了「假溢出」。
下面是 C++ 代码实现:
#pragma once
#define MAX_SIZE 10 //最大容量
template <typename T> class CircularQueue {
private:
int _size = 0; //队列当前规模
int _front = 0; //队首指针
int _rear = 0; //队尾指针
T* _elem; //数据区
public:
CircularQueue() {
_elem = new T[MAX_SIZE];
}
int size() {
return _size;
}
bool empty() {
/*队空或队满时,队首指针和队尾指针都会相遇,此时应该根据队列的规模 size 来判断
若 size=0,则队空,若 size=max_size,则队满*/
return _front == _rear && _size == 0;
}
bool enqueue(T const& e) { //入队
if (_size == MAX_SIZE) return false; //若队已满,则返回false
_elem[_rear] = e;
_rear = (_rear + 1) % MAX_SIZE;
_size++;
return true;
}
T dequeue() { //出队
if (empty()) return 0;
T e = _elem[_front];
_front = (_front + 1) % MAX_SIZE;
_size--;
return e;
}
T& front() {
return _elem[_front];
}
};
当队首指针 _front=MAX_SIZE-1 后,再前进一个位置就自动到 0,所以在元素出队之后,我们利用了求余操作来更新队首指针。同理,更新队尾指针时也是这样。使用循环队列时,用户必须提前预知队列的最大容量,且一旦最大容量固定下来,就不可更改。
以上就是向大家介绍的队列的全部内容了。本篇文章中的代码已上传至 GitHub,点击这里即可获得。这是 2018 年的最后一篇推送了,祝大家新年快乐!2019 年再见哦!
欢迎关注我的微信公众号,扫描下方二维码或微信搜索:AProgrammer,就可以找到我,我会持续为你分享 IT 技术。