以数组作为底层数据结构时,一般将队列实现为循环队列。这是因为队列在顺序存储上的不足:每次从数组头部删除元素(出队)后,需要将头部以后的所有元素往前移动一个位置,这是一个时间复杂度为O(n)的操作:
可能有人说,把队首标志往后移动不就不用移动元素了吗?的确,但那样会造成数组空间的“流失”。
我们希望队列的插入与删除操作都是O(1)的时间复杂度,同时不会造成数组空间的浪费,我们应该使用循环队列。
所谓的循环队列,可以把数组看出一个首尾相连的圆环,删除元素时将队首标志往后移动,添加元素时若数组尾部已经没有空间,则考虑数组头部的空间是否空闲,如果是,则在数组头部进行插入。
那么我们如何判断队列是空队列还是已满呢?
- 队空: 队首标志=队尾标志时,表示空,即红绿两个标志在图中重叠时为栈空。
- 队满 : 队尾+1 = 队首时,表示队满。图三最下面的队列即为一个满队列。尽管还有一个空位,我们不存储元素
- 并且队首first是第一个元素的前一个,队尾end就是最后一个元素。
实际第一个元素的下标 i= (first+1)%n
最后一个元素的下标j= end%n
2.1 循环队列的抽象数据类型
template <typename T>
class LoopQueue
{
public:
LoopQueue(int c = 10);
~LoopQueue();
public:
bool isEmpty(); //队列的判空
int size(); //队列的大小
bool push(T t); //入队列
bool pop(); //出队列
T front(); //队首元素
private:
int capacity;
int begin;
int end;
T* queue;
};
- begin:队首标志
- end:队尾标志
- capacity:数组容量
- queue:数组
2.2 队列的具体实现
队列的操作非常简单,这里不再多说
template<typename T>
LoopQueue<T>::LoopQueue(int c = 10)
: capacity(c), begin(0), end(0), queue(nullptr)
{
queue = new T[capacity];
};
template<typename T>
LoopQueue<T>::~LoopQueue()
{
delete[]queue;
}
template <typename T>
bool LoopQueue<T>::isEmpty()
{
if (begin == end)
return true;
return false;
};
template<typename T>
int LoopQueue<T>::size()
{
return (end-begin+capacity)%capacity; //计算队列长度
};
template<typename T>
bool LoopQueue<T>::push(T t)
{
if (end + 1 % capacity == begin) //判断队列是否已满
{
return false;
}
queue[end] = t;
end = (end + 1) % capacity;
return true;
};
template <typename T>
bool LoopQueue<T>::pop()
{
if (end == begin) //判断队列是否为空
{
return false;
}
begin = (begin + 1) % capacity;
return true;
};
template <typename T>
T LoopQueue<T>::front()
{
if (end == begin)
{
return false;
}
return queue[begin];
};