队列
1.队列的定义
队列是一种先进先出的线性表,简称FIFO。
允许插入的一端为队尾(rear),允许删除的一端称为队头(front)。
队列的插入操作,叫做入队,在队头进行入队操作。队列的删除操作,叫做**出队,**在队尾进行出队操作。
栈有三种实现方式,顺序队列和循环队列是用数组实现的,链式队列使用链表实现的。
2.队列的抽象数据类型
队列的常用操作如下:
- 出队:pop()
- 入队:push(elem)
- 获取队头元素:front()
- 获取队尾元素:back()
- 判断队列是否为空:empty()
- 返回队列的大小:size()
2.1顺序队列
**顺序队列是用数组来实现的,数组下标为0的元素作为队头,最后一个元素作为队尾。由于入队是在数组最后一个元素位置进行插入元素不需要移动元素,出队是删除第一个元素后,还需要把后面的所有元素向前移动,**因此,定义一个front指针指向队头元素,rear指针指向队尾元素的下一个位置,当front等于rear时,此队列不是还剩一个元素,而是空队列。
入队的时间复杂度为O(1),出队的时间复杂度为O(n)。
顺序队列的C++实现:
const int SIZE = 100; //默认构造队列创建的数组的大小
class SeqQueue {
public:
SeqQueue(); //默认构造
SeqQueue(int val); //有参构造
SeqQueue(const SeqQueue &s);
SeqQueue& operator=(const SeqQueue& s);
~SeqQueue(); //析构函数
void pop(); //出队
void push(int elem); //入队
int front(); //返回队头元素
int back(); //返回队尾元素
bool empty(); //判断队列是否为空
int size(); //返回队列的大小
private:
int* _arr; //数组地址
const int _front = 0; //队头下标,始终是数组下标为0的元素
int _rear; //队尾元素下一个位置
};
SeqQueue::SeqQueue() {
_arr = new int[SIZE];
_rear = 0;
}
SeqQueue::SeqQueue(int val) {
_arr = new int[val];
_rear = 0;
}
SeqQueue::SeqQueue(const SeqQueue& s) {
this->_arr = new int[s._rear];
for (int i = 0; i < s._rear; i++) {
this->_arr[i] = s._arr[i];
}
this->_rear = s._rear;
}
SeqQueue::~SeqQueue() {
if (_arr != nullptr) {
delete[]_arr;
_arr=nullptr;
}
}
SeqQueue& SeqQueue::operator=(const SeqQueue& s) {
delete[] this->_arr;
this->_arr = new int[s._rear];
this->_rear = s._rear;
for (int i = 0; i < s._rear; i++) {
this->_arr[i] = s._arr[i];
}
return *this;
}
void SeqQueue::pop() {
if (_front != _rear) {
for (int i = 0; i < _rear - 1; i++) {
_arr[i] = _arr[i + 1];
}
_arr[_rear--] = 0;
}
}
void SeqQueue::push(int elem) {
if (_front == _rear) {
_arr[0] = elem;
++_rear;
}
else {
_arr[++_rear - 1] = elem;
}
}
int SeqQueue::front() {
if (_front == _rear) {
return -1;
}
else {
return _arr[0];
}
}
int SeqQueue::back() {
if (_front == _rear) {
return -1;
}
else {
return _arr[_rear - 1];
}
}
bool SeqQueue::empty() {
return _front == _rear;
}
int SeqQueue::size() {
return (_front == _rear) ? 0 : (_rear);
}
2.2循环队列
队尾插满之后rear指针指向队头,队列这种头尾相接的顺序存储结构称为循环队列。
循环队列也是由数组来实现的。循环队列是在顺序队列基础上的改进,顺序队列出队复杂度为O(n),时间成本很高由于删除一个元素需要移动后面的很多元素,但我们可以不需要移动后面的元素,下面介绍循环队列的思路:
-
出队后,先判断队是否为空,再执行front原来指向的元素删除,最后front后移。入队,先判断队是否满,再执行插入元素,最后将rear后移。
//出队 _arr[_front] = 0; _front = (_front + 1) % _len; //入队 _arr[_rear] = elem; _rear = (_rear + 1) % _len;
-
数组末尾插满之后,rear再重头开始指向数组开头。因此,队的长度要分rear在front之前和之后两种情况讨论。
-
**front和rear指针相同可能是队列为空或者队列满。**为了区别这种情况,我们保留一个数组元素空间==(由于rear指向队尾后一个元素的下标,如果不留一个元素rear和front指针在队空和队满时都相同。至于为什么rear指向队尾后一个元素,如果不知想队尾后一个元素,当队空和队只有一个元素的时候,rear和front都指向数组第一个元素)==。
- 由于rear可能比front大也可能比front小,当rear比front大且队满时,队列没有元素出队,且rear指向数组最后一个元素,此时满足(rear+1)%5=front=0.
- 当rear比front小且队满时,此时队列有元素出队,rear指向数组开头,rear和front中间只隔着一个元素,即rear+1=front,此时,依旧满足(rear+1)%QueueSize=front.结合上面一种情况可得,队列满条件为==(rear+1)%QueueSize=front.==
循环队列的C++代码为:
const int SIZE = 100;
class Queue {
public:
Queue();
Queue(int val);
Queue(const Queue & s);
Queue& operator=(const Queue & s);
~Queue();
void pop(); //出队
void push(int elem); //入队
int front(); //返回队头元素
int back(); //返回队尾元素
bool empty(); //判断队列是否为空
bool full(); //判断队列是否满
int size(); //返回队列的大小
private:
int* _arr;
int _front;
int _rear;
int _len;
};
Queue::Queue() {
_len = SIZE;
_arr = new int[SIZE];
_rear = 0;
_front = 0;
}
Queue::Queue(int val) {
_len = val;
_arr = new int[SIZE];
_rear = 0;
_front = 0;
}
Queue::Queue(const Queue& s) {
_len = s._len;
_arr = new int[s._len];
for (int i = 0; i < s._len; i++) {
_arr[i] = s._arr[i];
}
_front = s._front;
_rear = s._rear;
}
Queue::~Queue() {
if (_arr != nullptr) {
delete[]_arr;
_arr = nullptr;
}
}
Queue& Queue:: operator=(const Queue& s) {
if (_arr != nullptr) {
delete[] _arr;
_arr = nullptr;
}
_len = s._len;
_arr = new int[s._len];
for (int i = 0; i < s._len; i++) {
_arr[i] = s._arr[i];
}
_front = s._front;
_rear = s._rear;
return *this;
}
bool Queue::empty() {
if (_arr == nullptr) {
return -1;
}
return (_front==_rear) ? true : false;
}
bool Queue::full() {
if (_arr == nullptr) {
return -1;
}
return ((_rear + 1) % _len == _front);
}
void Queue::pop() {
_arr[_front] = 0;
_front = (_front + 1) % _len;
}
void Queue::push(int elem) {
if (full()) {
return;
} else {
_arr[_rear] = elem;
_rear = (_rear + 1) % _len;
}
}
int Queue::front() {
if (!empty()) {
return _arr[_front];
} else {
return -1;
}
}
int Queue::back() {
if (this->empty()) {
return -1;
} else {
return _arr[(_rear+4)%5];
}
}
int Queue::size() {
if (_rear == _front) {
return 0;
} else if (_rear > _front) {
return _rear - _front;
} else {
return _len - _front + _rear;
}
}
2.3链式队列
队列的链式存储结构,就是线性表的单链表,只不过它只能尾进头出而已,我们把它简称为链队列。
空队时,front和rear都指向虚拟头节点,队头指针指向虚拟头节点,队尾指针指向终端结点。入队操作就是在链表尾部插入结点,出队操作就是删除头节点。
链式队列进队、出队的时间复杂度都为O(1).
下面为链式队列的C++代码实现:
class ListQueue{
public:
struct ListNode{
int val;
ListNode *next;
ListNode(int val):val(val),next(nullptr){}
};
ListQueue(); //默认构造
~ListQueue(); //析构函数
void pop(); //出队
void push(int elem); //入队
int front(); //返回队头元素
int back(); //返回队尾元素
bool empty(); //判断队列是否为空
int size(); //返回队列的大小
private:
ListNode *_front; //队头指针,队头指针指向虚拟头节点
ListNode *_rear; //队尾指针
int _size;
};
ListQueue::ListQueue(){
_front=new ListNode(0);//队头指针,元素为0
_rear=_front;
_size=0;
}
ListQueue::~ListQueue(){
ListNode *p=nullptr;
while(_front!=_rear){
p=_front;
_front=_front->next;
delete p;
}
}
bool ListQueue::empty(){
return _front==_rear;
}
void ListQueue::pop(){
if(_front==_rear){
return;
}else{
ListNode *p=_front->next;
_front->next=p->next;
delete p;
}
_size--;
}
void ListQueue::push(int elem){
ListNode *newNode=new ListNode(elem);
_rear->next=newNode;
_rear=newNode;
_size++;
}
int ListQueue::front(){
if(empty()){
return -1;
}else{
return _front->next->val;
}
}
int ListQueue::back(){
if(empty()){
return -1;
}else{
return _rear->val;
}
}
int ListQueue::size(){
return _size;
}
3.队列的选用
对于循环队列和链队列的比较,从时间上他们的基本操作时间复杂度都是O(1)。空间上来说,循环队列必须有一个固定的场地,可能有存储个数和空间上的浪费问题。链队不存在这个问题,但是它需要一个指针与会产生空间上的开销。
在确定队列长度最大值的情况下,建议使用循环队列。如果无法预测队列的长度,则用链队列。