概述
顾名思义，队列其实就类似于我们现实生活中的排队。在计算机科学中，队列是一种特殊的抽象数据类型(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 技术。
