数据结构实现 1.4:循环队列(C++版)
1. 概念及基本框架
通过第三节我们知道,数组队列 在出队操作中需要花费 O(n) 的时间复杂度,原因在于出队时需要移动大量元素。如果我们可以循环利用空间,那么问题就迎刃而解。所以,循环队列 应运而生。循环队列结构如下:
(这里为了直观,将队列绘制成环形,实际内存依旧是连续的内存块。)
首先循环队列作为队列的一种,基本特性和数组队列相同:
1.队列 有 队头 和 队尾 两端。
2.入队 操作只能从 队尾 进行,出队 操作只能从 队头 进行。
3.先 入队 的先 出队 ,即 先进先出(First In First Out),FIFO 。
还有一个隐含特性,队列可以自行 扩容(缩容),而不需要用户关心。
由上图结构可知,队空和队满时,队头和队尾都指向同一块内存。因为循环队列和动态数组有一定差异,所以对循环队列从底层重新进行了实现。首先,依旧使用一个由 纯虚函数 构成的 抽象类 作为一个接口来定义这些操作。具体代码如下:
template <class T>
class Queue{
public:
virtual int size() = 0;
virtual bool isEmpty() = 0;
virtual void print() = 0;
//入队操作
virtual void enqueue(T num) = 0;
//出队操作
virtual void dequeue() = 0;
//获得队首元素
virtual T front() = 0;
};
下面从底层重新构建一个循环队列类。
template <class T>
class LoopQueue : public Queue<T>{
public:
LoopQueue(int len = initialLen){
T *p = new T[len];
m_data = p;
m_capacity = len;
m_size = m_front = m_rear = 0;
}
...
private:
T *m_data;
int m_capacity;
int m_size;
int m_front;
int m_rear;
};
这个类内部定义一个数组,为了兼容更多类型,这里使用了泛型的概念。然后定义了队列的容量、大小以及队头和队尾。同理,构造数组时,可以初始化队列的队列容量,(默认是10)队头和队尾都是0。
与动态数组类似,为了实现自行 扩容(缩容),类内部创建了一个 resize 函数来实现。
template <class T>
class LoopQueue : public Queue<T>{
public:
...
void resize(int len){
T *p = new T[len];
if (m_size == 0</