循环队列中公式的推导，原理，超详解

我这里讲的是空闲单元法，如下图

首先规定 :

front指向队列第一个元素
rear指向队列最后一个元素的下一个位置
假设maxsize=10

因为循环，需要保证front和rear的值始终在0-9之间循环，由此想到取余即%

a%b当a<b时结果为a,a>=0,b>0 ，于是有了下方：
rear=rear%maxsize
front=front%maxsize

以下所有的操作都是rear和rear%maxsize，front和front%maxsize相互之间的替换

​​​​​​​ 

当空间为空时front追上rear，

front%maxsize=rear%maxsize即front=rear

当空间为满时front在rear的下一位，
即rear+1=front
rear%maxsize+1=front%maxsize
当front=0,rear=9时，10=0，出了点问题
所以(rear%maxsize+1)%maxsize=front%maxsize
进一步化简(rear+1)%maxsize=front%maxsize=front

即(rear+1)%maxsize=front

判断队列中元素个数：

（rear-front）%maxsize

因为是循环队列不确定rear和front的大小，而我们不想让rear-front是负数，因为我们做的是取余操作，多加几个maxsize并不会对结果有什么影响，所以做出以下修改：

（rear-front+maxsize）%maxsize

若有错误还请指正，感激不尽。若帮到了你，可以给我点赞！