【数据结构与算法】使用单链表实现队列：原理、步骤与应用

            💓 博客主页：倔强的石头的CSDN主页

           📝Gitee主页：倔强的石头的gitee主页

⏩ 文章专栏：《数据结构与算法》

    期待您的关注

一、引言

🎄队列的概念

🎄为什么要用单链表实现队列

二、单链表前情回顾

三、队列的结构定义

🍃单个元素的结构定义

🍃队列的结构定义

🍃图解单链表与队列的关系

四、队列的接口实现

🌾初始化

🌾销毁

🌾入队列（队尾插入）

🌾出队列（队头删除）

🌾获取队首元素

🌾获取队尾元素

🌾获取队列元素个数

🌾队列判空

五、C语言实现代码

Queue.h 队列头文件

Queue.c 队列实现文件

test.c main函数测试文件

测试结果

六、应用场景

七、总结

一、引言

🎄队列的概念

队列（Queue）是一种特殊类型的线性数据结构，它遵循特定的操作顺序。队列的基本操作通常是在一端添加元素（称为入队或enqueue），在另一端移除元素（称为出队或dequeue）。这种操作特性使得队列符合“先进先出”（FIFO, First In First Out）的原则。

基本概念：

先进先出（FIFO）原则：这是队列的核心特性。它意味着最早被添加到队列中的元素将是第一个被移除的元素。这个原则确保了数据处理的顺序性。

队头（Front）：队列中第一个被添加的元素位于队头，但它不是永远位于队列的第一个位置，而是指按照入队顺序，最先应该被出队的元素的位置。在出队操作中，总是从队头移除元素。

队尾（Rear）或队末：新元素总是被添加到队列的这一端。在入队操作中，新元素总是被放置在队尾。

队列为空：当队列中没有元素时，称队列为空队列。

队列满：在某些实现中，特别是使用静态数组实现的队列，当队列无法再添加新元素时，称为队列满。但在使用链表实现的队列中，通常不会遇到队列满的情况，因为链表可以动态扩展。

队列提供了一种有效的方式来管理和处理需要按照特定顺序执行的任务或数据项。通过使用队列，可以确保数据项按照它们被接收或生成的顺序进行处理，这是许多应用中非常关键的要求。

🎄为什么要用单链表实现队列

动态内存分配：
单链表节点是动态分配的，这意味着队列的大小可以根据需要动态地增长和缩小。与静态数组实现的队列不同，单链表队列不需要预先定义最大的容量，从而避免了因队列容量不足而导致的内存溢出问题。

高效操作：
在单链表队列中，入队（enqueue）操作通常只需要在链表尾部添加一个节点，时间复杂度为O(1)。出队（dequeue）操作也只需要删除链表头部的节点，时间复杂度同样为O(1)。这使得单链表队列在处理大量数据时具有较高的效率。而数组不方便头插或头删，不管将数组的首部当作队首还是队尾都会降低效率

内存利用率：
单链表队列在添加和删除元素时，只需要分配或释放单个节点的内存，而不需要像数组那样可能需要分配或释放整个数据块的内存。这有助于减少内存碎片，提高内存利用率。另外队列只需要对首尾元素进行操作，带尾指针的单链表已经足够高效的进行插入删除，相比双向链表节省了一半的指针空间。

灵活性：
单链表队列在结构上相对灵活，可以根据具体需求进行扩展或修改。例如，可以在节点中添加额外的信息以支持更复杂的操作，或者在链表中插入或删除节点以实现特定的功能。

易于实现：
单链表的基本操作（如添加节点、删除节点等）相对简单，因此使用单链表实现队列也相对容易。这使得初学者能够更容易地理解和实现队列数据结构。

适应性强：
在实际应用中，队列可能会遇到各种复杂的情况，如并发访问、数据异常等。单链表队列由于其动态性和灵活性，能够较好地适应这些复杂情况。例如，在并发环境下，可以使用锁或其他同步机制来确保队列操作的原子性；在数据异常时，可以通过遍历链表来检查和处理异常情况。

二、单链表前情回顾

参考文章：

【C语言项目实战】使用单链表实现通讯录-CSDN博客

三、队列的结构定义

🍃单个元素的结构定义

数据部分
指向下一个元素的指针next

// 链式结构：表示队列 
typedef int QDataType;
typedef struct QListNode
{
	struct QListNode* next;
	QDataType data;
}QNode;

🍃队列的结构定义

指向队首元素的指针phead
指向队尾元素的指针ptail
队列的元素个数size

// 队列的结构 
typedef struct Queue
{
	QNode* head;
	QNode* tail;
	int size;
}Queue;

将队列的首尾指针封装成一个结构体，可以方便函数调用，统一接口
另外使用一个整型变量记录元素个数，利于其他函数功能实现

🍃图解单链表与队列的关系

四、队列的接口实现

🌾初始化

对形参判空（接收的地址必须是有效的（队列必须存在）
队列的首尾指针初始化为NULL
size变量初始化为0

// 初始化队列 
void QueueInit(Queue* q)
{
	assert(q);//接收的地址必须是有效的（队列必须存在）
	q->head = q->tail = NULL;
	q->size = 0;
}

🌾销毁

对形参判空
创建指针循环遍历链表: 每次记录下指针的下一个节点，释放指针指向的节点，指针指向下一个节点
出循环后，将首尾指针指向NULL
size置0

// 销毁队列 
void QueueDestroy(Queue* q)
{
	assert(q);
	while (q->head)//释放所有节点
	{
		QNode* next = q->head->next;
		free(q->head);
		q->head = next;
	}
	q->head = q->tail = NULL;
	q->size = 0;
}

🌾入队列（队尾插入）

接收两个参数，队列的地址和要插入的数据
首先，对形参指针判空
然后申请新节点，next指针指向NULL，数据部分为要插入的数据
接下来，对空队列和非空队列分别处理:
空队列直接让首尾指针都指向新节点
非空队列:尾指针指向节点的next指针指向新节点，尾指针再指向新节点
完成插入之后，size++

// 队尾入队列 
void QueuePush(Queue* q, QDataType data)
{
	assert(q);
	QNode* newnode = (QNode*)malloc(sizeof(QNode));
	if (newnode == NULL)//判定是否申请成功
	{
		perror("newnode error\n");
		exit(1);
	}
	newnode->data = data;
	newnode->next = NULL;

	if (q->head == NULL)//对空队列入队的处理
	{
		q->head = q->tail = newnode;
	}
	else               //对非空队列入队的处理
	{
		q->tail->next = newnode;
		q->tail = newnode;
	}
	q->size++;
}

🌾出队列（队头删除）

对形参判空
对队列判空
队首删除分两种情况
队列只有一个元素的情况: 释放该元素空间，首尾指针都指向NULL
队列有多个元素的情况: 记录下第二个节点地址，释放首节点，首指针指向第二个节点
删除完节点之后，size--

// 队头出队列 
void QueuePop(Queue* q)
{
	assert(q);
	assert(q->head);//队列不能为空
	if (q->head == q->tail)//对只有一个元素的队列的出队处理
	{
		free(q->head);
		q->head = q->tail = NULL;
	}
	else          //对存在多个元素的队列的出队处理
	{
		QNode* next = q->head->next;
		free(q->head);
		q->head = next;
	}
	q->size--;
}

🌾获取队首元素

形参判空
队列判空
返回队首元素的数据

// 获取队列头部元素 
QDataType QueueFront(Queue* q)
{
	assert(q);
	assert(q->head);//队列不能为空
	return q->head->data;
}