本文来介绍一下数据结构中的队列，以及如何用C语言去模拟实现。
1.队列的概念及结构
队列 ：只允许在一端进行插入 数据操作，在另一端进行删除 数据操作的特殊线性表。
特点 ：数据先进先出FIFO（first in first out）。
入队列 ：进行插入操作，这一端称为队尾。
出队列 ：进行删除操作，这一端称为队头。
数据的入栈顺序是1234，出来顺序也是1234，先进先出。
队列的应用场景很多，比如说去医院排号，先来先叫号，或者比较火爆的饭店，想吃的话也要等号，也是先来先排号先吃。
2.实现队列的底层方法选择
两种底层结构，数组和链表。
数组在这里一定是不选的，因为数组无论怎样都实现不好一端进一端出的情况。
所以我们要考虑的是链表，链表按理来说是可以实现的，但是我们选单向链表还是双向链表？如果单向链表可以实现，尽量选单向的，因为双向链表一个节点存两个指针，单链表只存一个，节省内存。
3.队列的实现
3.1 准备工作
我们选择采用函数声明和定义分离的方法，所以首先要新建一个头文件queue.h，两个源文件queue.c 和 test.c。
点开queue.h文件，在这个文件里面我们要先加上后面会用到的相关头文件，在这里定义队列的结构**，** 以及给类型和栈的结构取别名。
#pragma once
#include <stdio.h>
#include <stdlib.h>
#include <stdbool.h>
#include <assert.h>
typedef int QDataType;
typedef struct QueueNode
{
QDataType val;
struct QueueNode* next;
}QNode;
因为是单链表，所以我们找尾节点的效率会比较低，每插入一个数据就要找一次尾节点。所以我们需要两个指针，一个指向头节点，一个指向尾节点。
并且由于形参的改变不影响实参，所以想改变队列还要传的是phead和ptail的指针，就是二级指针了。
//插入
void QueuePush(QNode** pphead, QNode** pptail, QDataType x);
//删除
void QueuePop(QNode** pphead, QNode** pptail);
但是我们很多函数都要用到这两个指针，每次都传两次指针就会很麻烦，所以我们把这两个指针一起存在一个结构体Queue里面。顺便这个结构体改个名。
typedef struct Queue
{
QNode* phead;
QNode* ptail;
}Queue;
有了Queue这个结构体，我们在传参数的时候就只要传这个结构体的指针就可以了。
void QueuePush(Queue* pq, QDataType x);//插入
void QueuePop(Queue* pq);//删除
并且此时我们还不需要用二级指针了。
为了方便后续的函数实现，我们还可以在结构体Queue里面多加一个成员变量size，记录队列的有效个数。
typedef struct Queue
{
QNode* phead;
QNode* ptail;
int size;
}Queue;
3.2 初始化和size
在queue.h中进行声明。
void QueueInit(Queue* pq);//初始化
int QueueSize(Queue* pq);//个数
在queue.c中进行实现。
初始状态下，头节点和尾节点都是NULL，队列里面还没有数据，所以size初始化为0。
void QueueInit(Queue* pq)
{
assert(pq);
pq->phead = NULL;
pq->ptail = NULL;
pq->size = 0;
}
我们前面在Queue结构体里面增加了size这个成员变量，QueueSize的实现就方便多了。
int QueueSize(Queue* pq)
{
assert(pq);
return pq->size;
}
3.3 尾部插入
在queue.h中进行声明。
void QueuePush(Queue* pq, QDataType x);//插入
在queue.c中进行实现。
首先我们要malloc出一个节点，并检查是否申请成功，用于尾插。用为整个队列只有这一个地方需要插入，所以创建节点就不需要单独封装成一个函数了。
void QueuePush(Queue* pq, QDataType x)
{
QNode* newnode = (QNode*)malloc(sizeof(QNode));
if (newnode == NULL)
{
perror("malloc fail");
return;
}
}
然后对这个新节点进行操作。
void QueuePush(Queue* pq, QDataType x)
{
QNode* newnode = (QNode*)malloc(sizeof(QNode));
if (newnode == NULL)
{
perror("malloc fail");
return;
}
//处理新节点
newnode->next = NULL;
newnode->val = x;
}
现在就可以插入到队列里了。插入的时候分两种情况，一是插入时队列还没有数据，二是插入时队列里有数据，不管有没有，插入数据之后size要+1。
void QueuePush(Queue* pq, QDataType x)
{
QNode* newnode = (QNode*)malloc(sizeof(QNode));
if (newnode == NULL)
{
perror("malloc fail");
return;
}
//处理新节点
newnode->next = NULL;
newnode->val = x;
if (pq->ptail == NULL)//队列一个数据都没有
{
pq->phead = pq->ptail = newnode;
}
else//队列有数据
{
pq->ptail->next = newnode;//尾插
pq->ptail = newnode;//更新尾节点
}
pq->size++;//有效数据++
}
在test.c中测试初始化和插入的代码。
void test1()
{
Queue q;
QueueInit(&q);//初始化
QueuePush(&q, 1);//尾部插入
QueuePush(&q, 2);
QueuePush(&q, 3);
QueuePush(&q, 4);
}
int main()
{
test1();
return 0;
}
3.4 头部删除
在queue.h中进行声明。
void QueuePop(Queue* pq);//删除
在queue.c中进行实现。
首先链表不能为空，要有节点，才能删。
void QueuePop(Queue* pq)
{
assert(pq);
assert(pq->size != 0);
}
我们进行头删之前，需要保存头结点的下一个节点，不然释放头节点之后找不到下一个节点了。
void QueuePop(Queue* pq)
{
assert(pq);
assert(pq->size != 0);
QNode* next = pq->phead->next;//保存下一个节点
}
然后释放头节点，更新phead，size减1。
void QueuePop(Queue* pq)
{
assert(pq);
assert(pq->size != 0);
QNode* next = pq->phead->next;//保存下一个节点
free(pq->phead);
pq->phead = next;
pq->size--;
}
但是如果此时队列里只剩一个节点了呢？我们简单分析一下。
此时的ptail就是野指针了。所以我们还要处理一下这个ptail。
void QueuePop(Queue* pq)
{
assert(pq);
assert(pq->size != 0);
if (pq->phead->next == NULL)//一个节点
{
free(pq->phead);
pq->phead = pq->ptail = NULL;
}
else//多个节点
{
QNode* next = pq->phead->next;
free(pq->phead);
pq->phead = next;
}
pq->size--;
}
在test.c中测试代码。
void test2()
{
Queue q;
QueueInit(&q);//初始化
QueuePush(&q, 1);//尾部插入
QueuePush(&q, 2);
QueuePush(&q, 3);
QueuePop(&q);//头部删除
}
3.5 获取队头和队尾的数据
在queue.h中进行声明。
QDataType QueueFront(Queue* pq);//队头数据
QDataType QueueBack(Queue* pq);//队尾数据
在queue.c中进行实现。
获取队头数据就直接返回头节点phead的数值。
QDataType QueueFront(Queue* pq)
{
assert(pq);
assert(pq->phead);
return pq->phead->val;
}
获取队尾数据就直接返回尾节点ptail的数值。
QDataType QueueBack(Queue* pq)
{
assert(pq);
assert(pq->ptail);
return pq->ptail->val;
}
在test.c中测试代码。
void test3()
{
Queue q;
QueueInit(&q);//初始化
QueuePush(&q, 1);//尾部插入
QueuePush(&q, 2);
QueuePush(&q, 3);
printf("%d\n", QueueFront(&q));
printf("%d\n", QueueBack(&q));
}
3.6 判空
在queue.h中进行声明。
bool QueueEmpty(Queue* pq);//判空
void QueueDestroy(Queue* pq);//销毁
在queue.c中进行实现。
size等于0的时候，队列就是空队列，不为0就不为空。
bool QueueEmpty(Queue* pq)
{
assert(pq);
return pq->size == 0;
}
队列的销毁就是从头到尾遍历，一个一个释放就好了。
void QueueDestroy(Queue* pq)
{
assert(pq);
QNode* cur = pq->phead;
while (cur)
{
QNode* next = cur->next;
free(cur);
cur = next;
}
pq->phead = pq->ptail = NULL;
pq->size = 0;
}
在test.c中测试代码。
队列的相关知识就介绍到这里，我们下篇再见~
