队列操作中----循环队列

引用链接：https://www.cnblogs.com/yangming1996/p/6973849.html

我们知道队列这种数据结构的物理实现方式主要还是两种，一种是链队列（自定义节点类），另一种则是使用数组实现，两者各有优势。此处我们将要介绍的循环队列其实是队列的一种具体实现，由于一般的数组实现的队列结构在频繁出队的情况下，会产生假溢出现象，导致数组使用效率降低，所以引入循环队列这种结构。本文将从以下两个大角度介绍循环队列这种数据结构：

• 循环数组实现循环队列

一、循环队列
     为了深刻体会到循环队列这个结构优于非循环队列的地方，我们将首先介绍数组实现的非循环队列结构。队列这种数据结构，无论你是用链表实现，还是用数组实现，它都是要有两个指针分别指向队头和队尾。在我们数组的实现方式中，用两个int型变量用于记录队头和队尾的索引。

一个队列的初始状态，head和tail都指向初始位置（索引为0处）。head永远指向该队列的队头元素，tail则指向该队列最后一个元素的下一位置，当有入队操作时：

当有出队操作时：

当遇到出队操作时，head会移向下一元素位置。当然，对于这种方式入队和出队，队空的判断条件显然是head=tail，队满的判断条件是tail=array.length（数组最后一个位置的下一位置）。显然，这种结构最致命的缺陷就是，tail只知道向后移动，一旦到达数组边界就认为队满，但是队列可能时刻在出队，也就是前面元素都出队了，tail也不知道。例如：

此时tail判断队满，我们暂时认为资源利用是可以接受的，但是如果接下来不断发生出队操作：

此时tail依然通过判断，认为队满，不能入队，这时数组的利用率我们是不能接受的，这样浪费很大。所以，我们引入循环队列，tail可以通过mode数组的长度实现回归初始位置，下面我们具体来看一下。

按照我们的想法，一旦tail到达数组边界，那么可以通过与数组长度取模返回初始位置，这种情况下判断队满的条件为tail=head

此时tail的值为8，取模数组长度8得到0，发现head=tail，此时认为队列满员。这是合理的，但是我们忽略了一个重要的点，判断队空的条件也是head=tail，那么该怎么区分是队空还是队满呢？解决办法是，空出队列中一个位置，如果(tail+1)%array.length=head，我们就认为队满，下面说明其合理性。有些课本中写的判断队列是否为满的判断条件为(tail+2)%array.length=head，这是因为它把tail指向了队尾元素，而本文这里是把tail指向了队尾元素的下一个位置

上面遇到的问题是，tail指向了队尾的后一个位置，也就是新元素将要被插入的位置，如果该位置和head相等了，那么必然说明当前状态已经不能容纳一个元素入队（间接的说明队满）。因为这种情况是和队空的判断条件是一样的，所以我们选择舍弃一个节点位置，tail指向下一个元素的位置，我们使用tail+1判断下一个元素插入之后，是否还能再加入一个元素，如果不能了说明队列满，不能容纳当前元素入队（其实还剩下一个空位置），看图：

tail通过取模，回归到初始位置，我们判断tail+1是否等于head，如果等于说明队满，不允许入队操作，当然这是牺牲了一个节点位置来实现和判断队空的条件进行区分。