简介：本资源面向数据结构初学者与头歌平台刷题者，聚焦循环队列与链队列两类先进先出结构的实现与操作，帮助读者掌握队列在任务调度、缓冲区管理等场景中的应用。包内共1个docx文件，约15KB，以C++源码与文字讲解为主，完整覆盖第1关循环队列基本操作与第2关链队列基本操作，包含InitQueue、DestroyQueue、ClearQueue、QueueEmpty、QueueLength、GetHead、EnQueue、DeQueue、QueueTraverse等九个核心函数的实现代码，并配有main函数测试用例，可直接对照运行验证。资源已有10150人学习下载，适合需要快速通过头歌实训、理解循环队列假溢出处理与链队列动态扩容差异的读者，也可作为课程实验与期末复习的参考材料。
1. 循环队列与链队列：头歌实训里最容易翻车的两个基本操作
在头歌实践教学平台上做数据结构实训，循环队列和链队列的基本操作几乎是绕不开的一关。很多人第一次提交时觉得逻辑没问题，结果判题系统直接给出一片红——要么队满队空判断写反了，要么出队后指针没处理好，要么链队列的尾指针丢了。这个标题讲的就是这两类队列的入队、出队、判空、判满、取队头这些基本操作，以及它们在头歌判题环境下的正确写法。适合正在做头歌数据结构实训的学生，也适合考研复习数据结构、需要把队列操作写到手熟的人。循环队列的核心难点在于用数组模拟环形空间时，队空和队满的判定条件容易混淆；链队列的难点在于出队时对最后一个结点的处理。把这两个结构的基本操作吃透，后面做二叉树层序遍历、图的广度优先搜索都会顺很多。
2. 循环队列：用数组模拟环形空间的四个关键操作
2.1 为什么循环队列的队空队满判断是个经典坑
普通顺序队列用数组存储时，随着入队出队反复进行，front 和 rear 指针只会往后移，前面的空间白白浪费。循环队列的思路是让 rear 到达数组末尾后绕回下标 0，形成一个逻辑上的环。但这样一来，队空和队满时 front 和 rear 的关系变得微妙。
最常见的两种判定方案：
方案一：牺牲一个存储单元。约定 front 指向队头元素，rear 指向队尾元素的下一个位置。队空条件是front == rear，队满条件是(rear + 1) % maxSize == front。这样数组中始终有一个位置不放元素，用来区分空和满。
方案二：增设 length 变量。用 front 指向队头，rear 指向队尾的下一个位置，额外维护一个 length 记录当前元素个数。队空是length == 0，队满是length == maxSize。这种方式不浪费空间，但多维护一个变量。
头歌平台上两种方案都可能出现，关键看题目给的初始条件。我一般会先看题目里 front 和 rear 的初始值以及有没有 length 变量，再决定用哪种。如果题目说“设数组 Q[m] 存放元素，front 指向队头元素的前一个位置”，那就是另一种变体，队空是front == rear，队满也是(rear + 1) % m == front，但 front 的含义变了，入队时先移指针再存值。
2.2 循环队列入队出队的完整代码实现
下面用 C 语言给出方案一的完整实现，这是头歌上最常见的版本：
#include <stdio.h> #include <stdlib.h> #define MAXSIZE 100 typedef struct { int data[MAXSIZE]; int front; // 指向队头元素 int rear; // 指向队尾元素的下一个位置 } SqQueue; // 初始化 void InitQueue(SqQueue *q) { q->front = 0; q->rear = 0; } // 判空 int QueueEmpty(SqQueue *q) { return q->front == q->rear; } // 判满 int QueueFull(SqQueue *q) { return (q->rear + 1) % MAXSIZE == q->front; } // 入队 int EnQueue(SqQueue *q, int e) { if (QueueFull(q)) { return 0; // 队满，入队失败 } q->data[q->rear] = e; q->rear = (q->rear + 1) % MAXSIZE; return 1; } // 出队 int DeQueue(SqQueue *q, int *e) { if (QueueEmpty(q)) { return 0; // 队空，出队失败 } *e = q->data[q->front]; q->front = (q->front + 1) % MAXSIZE; return 1; } // 取队头 int GetHead(SqQueue *q, int *e) { if (QueueEmpty(q)) { return 0; } *e = q->data[q->front]; return 1; }这段代码里最关键的是取模运算% MAXSIZE。入队时先存值再移动 rear，出队时先取值再移动 front。注意判满条件用的是(rear + 1) % MAXSIZE == front，而不是rear + 1 == front，因为 rear 可能在数组末尾，加一后要绕回 0。如果写成rear + 1 == front，当 rear 在 MAXSIZE-1 的位置时就会判断失误。
参数方面，MAXSIZE 决定了队列的最大容量，实际可存放的元素个数是 MAXSIZE-1。如果题目要求存 m 个元素，数组要开 m+1 大小。头歌有些题目会明确说“数组大小为 m，最多存放 m-1 个元素”，这时候直接用 m 做 MAXSIZE 就行。
2.3 头歌判题时循环队列的输入输出格式怎么对齐
头歌的判题系统通常要求你按指定格式读取操作指令并输出结果。常见的输入格式是：第一行给出操作次数 n，接下来 n 行每行一个操作，比如1 x表示入队 x，0表示出队，-1表示取队头。输出则要求每次出队或取队头时打印对应值，操作失败时打印特定提示。
我一般会先写一个主函数框架来适配这种格式：
int main() { SqQueue q; InitQueue(&q); int n, op, x; scanf("%d", &n); while (n--) { scanf("%d", &op); if (op == 1) { scanf("%d", &x); if (!EnQueue(&q, x)) { printf("queue full\n"); } } else if (op == 0) { if (!DeQueue(&q, &x)) { printf("queue empty\n"); } else { printf("%d\n", x); } } else if (op == -1) { if (!GetHead(&q, &x)) { printf("queue empty\n"); } else { printf("%d\n", x); } } } return 0; }这里要注意头歌的提示文本是大小写敏感的，queue full和Queue Full会被判成不同结果。建议直接从题目描述里复制粘贴提示字符串，不要手打。另外有些题目要求出队成功时不输出，只在失败时输出错误信息，这个要看清楚题目说明。
3. 链队列：带头结点与不带头结点的写法差异
3.1 链队列的结点结构与指针管理
链队列用单链表实现，需要两个指针：front 指向队头结点，rear 指向队尾结点。入队在 rear 后面接新结点，出队删除 front 指向的结点。带头结点的版本里，front 始终指向一个不存数据的头结点，真正的队头元素在 front->next；不带头结点的版本里，front 直接指向队头元素结点。
头歌上两种版本都有出现，判断方法是看初始化时是否 malloc 了一个结点。如果题目说“初始化时创建一个头结点”，那就是带头结点；如果说“front 和 rear 都置为空”，那就是不带头结点。
带头结点的好处是入队和出队的代码可以统一，不需要单独处理空队列的情况。不带头结点的话，第一个元素入队和后续元素入队的逻辑不同，出队到最后一个元素时还要把 rear 置空。我一般优先用带头结点的写法，代码更简洁，出错概率低。
3.2 链队列入队出队的代码实现与边界处理
#include <stdio.h> #include <stdlib.h> typedef struct QNode { int data; struct QNode *next; } QNode, *QueuePtr; typedef struct { QueuePtr front; // 队头指针 QueuePtr rear; // 队尾指针 } LinkQueue; // 初始化（带头结点） void InitQueue(LinkQueue *q) { q->front = q->rear = (QueuePtr)malloc(sizeof(QNode)); q->front->next = NULL; } // 判空 int QueueEmpty(LinkQueue *q) { return q->front == q->rear; } // 入队 void EnQueue(LinkQueue *q, int e) { QueuePtr p = (QueuePtr)malloc(sizeof(QNode)); p->data = e; p->next = NULL; q->rear->next = p; q->rear = p; } // 出队 int DeQueue(LinkQueue *q, int *e) { if (QueueEmpty(q)) { return 0; } QueuePtr p = q->front->next; *e = p->data; q->front->next = p->next; if (q->rear == p) { // 如果删除的是最后一个结点 q->rear = q->front; // rear 要重新指向头结点 } free(p); return 1; }出队操作里最容易被忽略的是if (q->rear == p)这个判断。当队列中只有一个元素时，删除后队列变空，此时 rear 还指向被删除的结点，如果不把它重新指向头结点，下次入队时q->rear->next = p就会操作已经 free 掉的内存，直接导致段错误。这个坑我在头歌上踩过不止一次，判题系统报“运行时错误”多半就是这个原因。
入队操作不需要判满，因为链队列理论上可以一直申请新结点，除非内存耗尽。但头歌有些题目会限制最大长度，这时候需要在入队前检查当前长度。
3.3 链队列在头歌上的典型输入输出模式
链队列的判题输入格式和循环队列类似，但输出可能更简单，因为链队列不会出现“队满”的情况。常见格式是：
int main() { LinkQueue q; InitQueue(&q); int n, op, x; scanf("%d", &n); while (n--) { scanf("%d", &op); if (op == 1) { scanf("%d", &x); EnQueue(&q, x); } else if (op == 0) { if (!DeQueue(&q, &x)) { printf("queue empty\n"); } else { printf("%d\n", x); } } else if (op == -1) { if (QueueEmpty(&q)) { printf("queue empty\n"); } else { printf("%d\n", q.front->next->data); } } } return 0; }取队头操作在带头结点的链队列里就是q.front->next->data，不需要额外函数。但要注意先判空，否则空队列时访问q.front->next会出问题。
头歌有些题目会在操作序列结束后要求输出队列中剩余元素，这时候需要遍历链表。遍历时从q.front->next开始，到 NULL 结束，不要从头结点开始打印。
4. 避坑指南：头歌队列实训里最常见的五个翻车点
4.1 循环队列判满条件写错导致假溢出
现象：队列明明还有空间，但入队操作返回失败，判题系统提示“queue full”出现在不该出现的位置。
原因：判满条件写成了q->rear + 1 == q->front，没有取模。当 rear 在数组末尾时，rear+1 变成 MAXSIZE，而 front 可能是 0，条件不成立，但实际上队列已经满了。
解决：判满必须写成(q->rear + 1) % MAXSIZE == q->front。同样，入队和出队时移动指针也要用取模运算，不能直接加减。
4.2 链队列出队后尾指针未更新导致段错误
现象：程序在连续出队到队列为空后再入队时崩溃，判题系统报“运行时错误”或“段错误”。
原因：删除最后一个结点时，rear 仍指向被 free 的结点。下次入队时通过q->rear->next访问已释放内存。
解决：出队时判断if (q->rear == p) q->rear = q->front;，确保队列为空时 rear 和 front 都指向头结点。
4.3 头歌输入格式理解偏差导致读取错位
现象：程序输出完全不对，或者只输出了前几个操作的结果就停了。
原因：头歌的输入可能不是每行一个操作，而是所有操作数在同一行用空格分隔。用scanf("%d", &op)逐个读取没问题，但如果用fgets按行读再解析，遇到一行多个操作就会漏读。
解决：统一用scanf逐个读取整数，不要按行解析。如果题目有特殊格式要求，先看题目给的输入样例，数清楚每行有几个数。
4.4 循环队列中 front 和 rear 的初始指向理解错误
现象：入队第一个元素后取队头，得到的是错误的值或者程序直接崩溃。
原因：题目可能约定 front 指向队头元素的前一个位置，而不是队头元素本身。如果按自己的习惯写，初始 front=0 时取队头会取到 data[0]，但实际队头在 data[1]。
解决：仔细看题目对 front 和 rear 的定义。如果 front 指向队头前一个位置，初始化时 front=rear=0，入队时先rear=(rear+1)%MAXSIZE再存值，出队时先front=(front+1)%MAXSIZE再取值。判空仍是front==rear，判满仍是(rear+1)%MAXSIZE==front。
4.5 忘记释放链队列结点导致内存泄漏
现象：头歌判题通过但内存使用量偏高，或者在某些严格环境下被判“内存超限”。
原因：出队时只移动了指针，没有free被删除的结点。虽然程序结束时操作系统会回收内存，但头歌的判题环境可能对内存有实时监控。
解决：出队时用临时指针保存要删除的结点，调整完指针后立即free。程序结束前也可以写一个销毁队列的函数，遍历释放所有结点。
5. 从能跑通到写对：队列操作的验证习惯与进阶技巧
头歌判题通过不等于代码没问题。我见过太多人循环队列的判满条件写错但样例刚好没触发，链队列的出队边界没处理但测试用例没覆盖到空队列。要真正把队列操作写扎实，得自己构造边界测试。
一个实用的验证习惯是：写完队列代码后，手动模拟以下序列——连续入队直到满，再连续出队直到空，然后再入队一个元素。这个序列能同时触发判满、判空、指针绕回、尾指针更新这几个关键路径。如果全部通过，基本就没大问题了。
对于循环队列，还可以用一个小技巧验证取模逻辑：把 MAXSIZE 设成 3 或 4 这样的小值，手动跟踪 front 和 rear 的变化。比如 MAXSIZE=3 时，入队 2 个元素后队列满，此时 front=0，rear=2。再出队一个，front=1，rear=2。再入队一个，rear 变成 (2+1)%3=0，队列又满。这个过程能帮你确认取模运算是否写对。
链队列的进阶用法是把它改成双向链表或者循环链表，但头歌的基本操作题一般不要求这些。如果遇到“用链队列实现约瑟夫环”这类题目，核心还是入队出队的组合，只是出队后可能要把元素重新入队。
最后一个习惯：每次提交前，把题目里的输入样例复制到本地跑一遍，对比输出。头歌的判题系统有时会有隐藏用例，但输入样例至少能帮你排除格式错误。如果本地跑出来和样例不一致，先检查输出格式——有没有多余空格、换行、大小写问题。这些细节在头歌上扣分最冤，但也是最容易避免的。
希望帮到你。
本文还有配套的精品资源，点击获取
