循环队列数组实现指南：变量头尾指针取模运算实战技巧

循环队列用数组实现，听起来简单，但很多朋友在动手写代码时，总会卡在几个关键点上：头尾指针到底指哪里？为什么判空和判满的公式长得那么像？那个“牺牲一个单元”又是怎么回事？

其实，核心逻辑就两点：用 front 指向队首元素，用 rear 指向下一个入队位置；所有指针的移动，都靠 取模运算 来实现回环。关键不在于死记硬背代码，而在于理解这套设计背后的“为什么”。

头尾指针的物理意义必须理清

front 和 rear 虽然都是数组下标，但它们的职责截然不同：

• front 始终指向当前队列中第一个有效元素，也就是出队时要取走的那个。
• rear 则始终指向下一个待插入的空位置，它本身不存储数据，更像是一个“占位哨兵”。

正因为 rear 指向的是“空位”，所以计算实际元素个数时，公式是 (rear - front + capacity) % capacity。这个公式在那些没有额外 size 字段的实现中，非常实用。

判空与判满的统一逻辑

空和满的状态，都源于同一个现象：front 和 rear 相遇了。那怎么区分呢？最经典也最推荐的做法，就是主动牺牲一个存储单元——也就是说，数组长度申请为 k+1，但只允许存 k 个元素。

• 判空：front == rear。队列初始化时就是这个状态。
• 判满：(rear + 1) % (k + 1) == front。理解一下：因为 rear 指向的是空位，当队列满时，这个空位再往后挪一位，就会撞上 front。那个被刻意留出的空单元，就是区分“空”和“满”的关键依据。

这里有个细节必须注意：取模运算的模数必须是 k + 1，而不是 k。如果你申请了 k+1 的空间却用 k 来取模，判满条件就会错位，极易导致数组越界或者状态误判。

入队、出队与取模操作细节

指针移动后，必须立即进行取模映射，确保它始终落在数组范围内。千万别想着先移动、最后再统一处理，那样很容易出错。

• 入队流程：
  ① 判断队列是否已满。
  ② 将元素放入 data[rear]。
  ③ 将 rear 更新为 (rear + 1) % (k + 1)。
• 出队流程：
  ① 判断队列是否为空。
  ② 将 front 更新为 (front + 1) % (k + 1)。
  这里不需要去清空原来 data[front] 的值，因为从逻辑上看，那个位置已经不属于队列了。
• 获取队首：直接返回 data[front]（操作前务必先判空）。
• 获取队尾：返回 data[(rear - 1 + k + 1) % (k + 1)]。因为 rear 指向空位，所以队尾元素在 rear 的前一个位置。先减1可能得到负数，加上容量再取模，是确保下标非负的安全写法。

内存分配与释放的常见坑

当队列结构体和内部数组都是动态申请时，内存管理的顺序就特别重要，一不留神就会导致内存泄漏。

• 创建时：先 malloc 队列结构体，再为其内部的 data 数组 malloc 空间，大小是 sizeof(元素类型) * (k + 1)。
• 销毁时：顺序必须反过来，先 free(obj->data)，再 free(obj)。如果只 free 了结构体指针，那么它内部指向的数组内存就丢失了，造成内存泄漏。
• 另外，切记不要对栈上定义的数组（比如 int a[10]）调用 free，free 只能用于释放堆上动态申请的内存。

把这些逻辑理顺了，循环队列的实现就不再是机械的代码填空，而是一套有章可循、环环相扣的设计。下次再遇到，你就能清楚地知道每一步在做什么，以及为什么要这么做了。