循环队列数组实现详解头尾指针操作与取模运算实战指南

循环队列的数组实现看似基础，但许多开发者在实际编码时会遇到几个典型困惑：头指针和尾指针究竟指向哪个位置？判空与判满的条件为何如此相似？为何需要特意牺牲一个存储单元？

其核心机制可归纳为两点：使用 front 指针标识队首元素位置，使用 rear 指针标记下一个可插入元素的位置；所有指针的循环移动均通过 取模运算 实现。掌握循环队列的关键并非背诵代码，而是深入理解其设计逻辑与原理。

明确头尾指针的物理含义

front 与 rear 虽同为数组索引，但功能定位截然不同：

• front 始终指向队列中第一个有效数据元素，即执行出队操作时将取出的位置。
• rear 则始终指向下一个待插入数据的空闲单元，其本身不存储有效数据，作用类似于“位置哨兵”。

正是由于 rear 指向空闲位置，在未额外维护 size 变量的实现中，计算队列当前元素数量的公式为 (rear - front + capacity) % capacity。这一方法在实际编码中非常高效。

判空与判满条件的统一设计

队列的空与满状态都表现为 front 与 rear 指针重合。如何区分二者？最经典且推荐的做法是主动牺牲一个数组存储单元——即申请长度为 k+1 的数组，但仅允许存储 k 个元素。

• 判空条件：front == rear。队列初始化后即处于此状态。
• 判满条件：(rear + 1) % (k + 1) == front。理解其原理：由于 rear 指向空位，当队列已满时，rear 的下一个位置（经过取模）将与 front 重合。那个被刻意预留的空单元，正是区分“空队列”与“满队列”状态的核心标志。

此处需特别注意一个关键细节：取模运算的模数必须是 k + 1（数组实际长度），而非 k（队列容量）。若使用错误的模数，判满逻辑将出现错位，极易引发数组越界访问或状态误判。

入队、出队及取模操作的具体实现

每次移动指针后，必须立即进行取模运算，确保索引值始终落在数组有效范围内。切勿先移动多个位置再统一取模，此做法容易导致计算错误。

• 元素入队步骤：
  ① 检查队列是否已满。
  ② 将新元素存入 data[rear] 位置。
  ③ 更新 rear 指针：rear = (rear + 1) % (k + 1)。
• 元素出队步骤：
  ① 检查队列是否为空。
  ② 更新 front 指针：front = (front + 1) % (k + 1)。
  无需显式清除原 data[front] 的值，因为从队列的逻辑视角看，该位置已不再属于队列范畴。
• 获取队首元素：直接访问 data[front]（操作前务必先进行非空判断）。
• 获取队尾元素：访问 data[(rear - 1 + k + 1) % (k + 1)]。由于 rear 指向空位，队尾实际元素位于 rear 的前一个位置。先减1可能产生负索引，加上容量再取模是确保下标合法的安全写法。

动态内存分配与释放的注意事项

当队列结构体及其内部数组均采用动态内存分配时，内存管理的顺序至关重要，疏忽可能导致内存泄漏。

• 创建队列时：首先为队列结构体分配内存，再为其内部的 data 数组分配空间，大小为 sizeof(元素类型) * (k + 1)。
• 销毁队列时：顺序必须严格相反，先释放 obj->data 指向的数组内存，再释放 obj 结构体本身。若仅释放结构体指针，其内部引用的数组内存将无法被回收，造成内存泄漏。
• 此外，切勿对栈上定义的静态数组（例如 int a[10]）调用 free 函数，free 仅适用于释放堆上动态申请的内存块。

理顺上述逻辑后，循环队列的实现便不再是机械的代码填充，而是一套逻辑严密、环环相扣的系统设计。再次面对相关问题时，你将能清晰把握每一步操作的目的及其背后的设计考量。