【数据结构】队列的完整实现

Ne0inhk

— 14 min read
【数据结构】队列的完整实现

队列的完整实现

队列的完整实现

github地址

有梦想的电信狗

前言

​ 队列（Queue）作为一种基础且重要的数据结构，在计算机科学中扮演着关键角色。无论是操作系统的任务调度、网络数据包的管理，还是算法中的广度优先搜索（BFS），队列的“先进先出”（FIFO）特性都使其成为不可或缺的工具。理解队列的实现原理，不仅能帮助开发者更高效地处理数据，还能为后续学习复杂的数据结构打下坚实基础。

​ 本文将以 链式结构 为核心，详细介绍队列的完整实现。从结构设计、接口定义到功能测试，一步步剖析如何用C语言实现一个高效、健壮的队列。文章重点讲解入队（push）、出队（pop）、获取队头/队尾元素等核心操作，并通过清晰的代码示例和测试案例，帮助读者深入理解队列的内部机制。此外，所有代码已在GitHub开源，方便读者参考和扩展。

1. 队列的概念及其结构

1.1 概念

​ 队列：只允许在一端进行插入数据操作，在另一端进行删除数据操作的特殊线性表，队列具有先进先出FIFO(First In First Out) 的特性

  • 入队列：进行插入操作的一端称为队尾，入队常被称为push
  • 出队列：进行删除操作的一端称为队头，出队常被称为pop

如下图所示

在这里插入图片描述

1.2 组织结构

  • 队列可以使用数组和链表的结构实现，使用链表的结构实现更优一些。
  • 因为如果使用数组的结构，出队列时，在数组头上出数据，效率会比较低
  • 而对于链表实现的队列来说，入队对应尾插操作，出队对应头删操作。在链表中，头删和尾插操作只需要O(1)时间复杂度，因此队列更适合使用链表来实现，本文我们采用单链表来实现。
在这里插入图片描述

2. 队列的实现

接口一览

//初始化 与 销毁队列voidQueueInit(Queue* pQueue);voidQueueDestroy(Queue* pQueue);// 队尾入队列 队头出队列voidQueuePush(Queue* pQueue, QDataType data);voidQueuePop(Queue* pQueue);// 获取队列头部元素 /获取队列尾部元素 QDataType QueueFront(Queue* pQueue); QDataType QueueBack(Queue* pQueue);//获取队列中有效元素个数 检测队列是否为空，如果为空返回非零结果，如果非空返回0intQueueSize(Queue* pQueue);boolQueueEmpty(Queue* pQueue);

结构定义与架构

结构：

//队列，先进先出，数组的话在头部出数据不方便，因此用链表来实现，单链表typedefint QDataType;typedefstructQNode{//链式队列，用单链表实现structQNode* next; QDataType data;}QNode;//队列中 用两个指针来指示 队头和队尾，方便入队和出队typedefstructQueue{ QNode* head; QNode* tail;int size;}Queue;
  • 使用typedef int QDataType方便队列中存放不同的数据类型
  • QNode表示我们链表中一个个的结点，内部包含next指针和数据data
  • 使用struct Queue结构来表示整个队列，其中：
    • 规定两个QNode*的指针，分别保存链表第一个结点和尾结点的地址(分别指向第一个结点和最后一个结点)
    • 定义int size来保存队列中的有效元素个数。

架构图如下：

在这里插入图片描述

初始化和销毁

初始化：

//初始化 与 销毁队列voidQueueInit(Queue* pQueue){assert(pQueue); pQueue->head = pQueue->tail =NULL; pQueue->size =0;}
  • 通过Queue结构体的指针pQueue，来访问结构体中的成员head和tail，通过head和tail指针和链表的特性，可以访问到链表中的每个结点。head和tail指针主要是为了方便访问队头结点和队尾结点。
  • assert(pQueue)保证Queue结构存在
  • 初始化队列：
    • 链表中无节点时，head和tail指针都置为NULL
    • 初始化size为0

销毁：

//销毁voidQueueDestroy(Queue* pQueue){assert(pQueue);// 空链表也可以销毁，因此无需断言链表非空 QNode* cur = pQueue->head;while(cur !=NULL){ QNode* next = cur->next;free(cur); cur = next;} pQueue->head = pQueue->tail =NULL; pQueue->size =0;}
  • assert(pQueue)保证Queue结构存在
  • QNode* cur = pQueue->head：cur保存当前头结点的地址
    • while循环依次释放每一个结点
    • 保存cur的下一个节点cur->next
    • free(cur)释放当前结点，cur移动指向下一个节点，直到NULL时结束
  • pQueue->head = pQueue->tail = NULL：将head和tail指针各自置NULL
  • pQueue->size = 0最后将size置0

入队和出队

入队：

// 队尾入队列 队头出队列voidQueuePush(Queue* pQueue, QDataType data){assert(pQueue);// 开辟新结点，并将数据置于新结点中 QNode* newNode =(QNode*)malloc(sizeof(QNode));if(newNode ==NULL){perror("malloc failed\n");return;} newNode->data = data; newNode->next =NULL;// 初始化后，head 和 tail 都为NULLif(pQueue->head ==NULL){assert(pQueue->tail ==NULL);// head为NULL时，tail必须也为NULL pQueue->head = pQueue->tail = newNode;}else{ pQueue->tail->next = newNode; pQueue->tail = newNode;} pQueue->size++;}
  • assert(pQueue)保证Queue结构存在
  • QNode* newNode = (QNode*)malloc(sizeof(QNode)); if (newNode == NULL) { perror("malloc failed\n"); return; }开辟一个新结点，并进行初始化。
  • 初始化QNode后，push 一个结点本质是单链表的尾插，有两种情况：
    • 队列为空(队列中无节点)时：新开辟的QNode应当成为链表中的第一个节点，pQueue->head = pQueue->tail = newNode操作调整首尾指针即可。
    • 队列中已有其他结点时：此时是单链表的尾插。
      • pQueue->tail->next = newNode：新结点链入原链表
      • pQueue->tail = newNode：更改尾指针指向
  • push过后，pQueue->size++，队列的size应当++

出队：

v1版本仅实现：

voidQueuePop(Queue* pQueue){assert(pQueue);assert(pQueue->head !=NULL);//if(pQueue->head->next == NULL){} //考虑只剩一个结点的情况if(pQueue->head == pQueue->tail){free(pQueue->head); pQueue->head = pQueue->tail =NULL;}else{ QNode* cur = pQueue->head; pQueue->head = pQueue->head->next;free(cur); cur =NULL;} pQueue->size--;}
  • assert(pQueue)：断言队列存在，assert(pQueue->head != NULL)，确保pop时队列内有元素
  • pop出队时，销毁第一个结点，确保队列存在且有元素后，此处存在两种情况
    • 当前仅剩一个结点时：pQueue->head == pQueue->tail，直接free当前头结点，将head和tail指针置NULL即可
    • 当前存在多个节点时(else)：
      • QNode* cur = pQueue->head：记录下当前的头结点
      • pQueue->head = pQueue->head->next：头指针向后移动
      • free(cur)后cur = NULL释放之前的头结点的空间，并将cur置NULL
  • pop后size应当--

v2版本优化：

  • 可以看到，上述的代码中存在多次free，且都是对要被删除的结点进行free，那么是否可以优化为一次free呢
voidQueuePop(Queue* pQueue){assert(pQueue);assert(pQueue->head !=NULL);//优化版本 QNode* cur = pQueue->head;if(pQueue->head == pQueue->tail) pQueue->head = pQueue->tail =NULL;else pQueue->head = pQueue->head->next;free(cur); cur =NULL; pQueue->size--;}
  • assert(pQueue)：断言队列存在，assert(pQueue->head != NULL)，确保pop时队列内有元素
  • QNode* cur = pQueue->head：不管队列中剩余几个结点，最终都要free头结点，那么cur直接保存头结点的地址，方便进行操作
  • pQueue->head == pQueue->tail仅剩一个结点时：仅需对head和tail指针做修改。有多个节点时，pQueue->head = pQueue->head->next，head指针向后移动。
  • 最终cur内保存了要被删除的结点的地址，直接free(cur)并置NULL
  • pop后size应当--

取队头队尾数据

获取队头数据：

// 获取队列头部元素 获取队列尾部元素 QDataType QueueFront(Queue* pQueue){assert(pQueue);//确保队列非空assert(!QueueEmpty(pQueue));return pQueue->head->data;}
  • assert(pQueue)确保队列存在，assert(!QueueEmpty(pQueue))确保队列非空，非空队列内才有数据
  • 头部数据：return pQueue->head->data，通过头指针head访问队列内第一个结点的数据

获取队尾数据：

//获取队列尾部元素 QDataType QueueBack(Queue* pQueue){assert(pQueue);//确保队列非空assert(!QueueEmpty(pQueue));return pQueue->tail->data;}
  • assert(pQueue)确保队列存在，assert(!QueueEmpty(pQueue))确保队列非空，非空队列内才有数据
  • 尾部数据：return pQueue->tail->data，通过尾指针tail访问队列内最后一个结点的数据

获取size和判空

获取size：

intQueueSize(Queue* pQueue){assert(pQueue);return pQueue->size;}
  • assert(pQueue)：断言指针非空，确保Queue结构体存在
  • 直接返回size即可得到元素个数
    • 这里就体现出我们在Queue结构中添加一个size成员的好处，只需在每次Push/Pop后对size进行加减，即可方便的得到队列的size
    • 如果Queue结构内不维护一个size变量的话，由于我们的队列是基于单链表实现的，每次获取队列的大小时都只能遍历链表来得到size，遍历的时间复杂度较高。

判空：

boolQueueEmpty(Queue* pQueue){assert(pQueue);//return (pQueue->head == NULL && pQueue->tail == NULL);return pQueue->size ==0;// size为0时为空}
  • assert(pQueue)：断言指针非空，确保Queue结构体存在
  • pQueue->size == 0或pQueue->head == NULL && pQueue->tail == NULL，两个条件均可以标识队列为空

完整代码与功能测试

完整代码如下：

#pragmaonce#include<stdio.h>#include<stdlib.h>#include<assert.h>#include<stdbool.h>//队列，先进先出，数组的话在头部出数据不方便，因此用链表来实现，单链表typedefint QDataType;typedefstructQNode{//链式队列，用单链表实现structQNode* next; QDataType data;}QNode;//队列中 用两个指针来指示 队头和队尾，方便入队和出队typedefstructQueue{ QNode* head; QNode* tail;int size;}Queue;//初始化 与 销毁队列voidQueueInit(Queue* pQueue);voidQueueDestroy(Queue* pQueue);// 队尾入队列 队头出队列voidQueuePush(Queue* pQueue, QDataType data);voidQueuePop(Queue* pQueue);// 获取队列头部元素 /获取队列尾部元素 QDataType QueueFront(Queue* pQueue); QDataType QueueBack(Queue* pQueue);//获取队列中有效元素个数 检测队列是否为空，如果为空返回非零结果，如果非空返回0intQueueSize(Queue* pQueue);boolQueueEmpty(Queue* pQueue);// #include "Queue.h" 多文件编译时，需正确包含头文件//初始化 与 销毁队列voidQueueInit(Queue* pQueue){assert(pQueue); pQueue->head = pQueue->tail =NULL; pQueue->size =0;}//销毁voidQueueDestroy(Queue* pQueue){assert(pQueue); QNode* cur = pQueue->head;while(cur !=NULL){ QNode* next = cur->next;free(cur); cur = next;} pQueue->head = pQueue->tail =NULL; pQueue->size =0;}// 队尾入队列 队头出队列voidQueuePush(Queue* pQueue, QDataType data){assert(pQueue); QNode* newNode =(QNode*)malloc(sizeof(QNode));if(newNode ==NULL){perror("malloc failed\n");return;} newNode->data = data; newNode->next =NULL;// 初始化后，head 和 tail 都为NULLif(pQueue->head ==NULL){assert(pQueue->tail ==NULL);// head为NULL时，tail必须也为NULL pQueue->head = pQueue->tail = newNode;}else{ pQueue->tail->next = newNode; pQueue->tail = newNode;} pQueue->size++;}//队列的头删法voidQueuePop(Queue* pQueue){assert(pQueue);assert(pQueue->head !=NULL);////if(pQueue->head->next == NULL){} //考虑只剩一个结点的情况//if (pQueue->head == pQueue->tail) { // free(pQueue->head);// pQueue->head = pQueue->tail = NULL;//}//else {// QNode* cur = pQueue->head;// pQueue->head = pQueue->head->next;// free(cur);// cur = NULL;//}//pQueue->size--;//优化版本 QNode* cur = pQueue->head;if(pQueue->head == pQueue->tail) pQueue->head = pQueue->tail =NULL;else pQueue->head = pQueue->head->next;free(cur); cur =NULL; pQueue->size--;}// 获取队列头部元素 获取队列尾部元素 QDataType QueueFront(Queue* pQueue){assert(pQueue);//确保队列非空assert(!QueueEmpty(pQueue));return pQueue->head->data;}//获取队列尾部元素 QDataType QueueBack(Queue* pQueue){assert(pQueue);//确保队列非空assert(!QueueEmpty(pQueue));return pQueue->tail->data;}//获取队列中有效元素个数 检测队列是否为空，如果为空返回非零结果，如果非空返回0// 双向链表中，不能用 哨兵位的数据 来存储 链表的长度// 之前的实现中，结点内存放的数据是int，导致哨兵位内的数据位类型也是int,intQueueSize(Queue* pQueue){assert(pQueue);return pQueue->size;}boolQueueEmpty(Queue* pQueue){assert(pQueue);//return (pQueue->head == NULL && pQueue->tail == NULL);return pQueue->size ==0;// size为0时为空}

功能测试：

// 需正确包含头文件#include"Queue.h"voidTestQueue(){ Queue queue;QueueInit(&queue);QueuePush(&queue,1);QueuePush(&queue,2);QueuePush(&queue,3);QueuePush(&queue,4);QueuePush(&queue,6);// 遍历的代码/*while (!QueueEmpty(&queue)) { printf("%d ", QueueFront(&queue)); QueuePop(&queue); }*/printf("队尾：%d 有效元素个数：%d\n",QueueBack(&queue),QueueSize(&queue));printf("队头：%d 有效元素个数：%d\n",QueueFront(&queue),QueueSize(&queue));QueuePop(&queue);printf("队尾：%d 有效元素个数：%d\n",QueueBack(&queue),QueueSize(&queue));printf("队头：%d 有效元素个数：%d\n",QueueFront(&queue),QueueSize(&queue));QueuePop(&queue);printf("队尾：%d 有效元素个数：%d\n",QueueBack(&queue),QueueSize(&queue));printf("队头：%d 有效元素个数：%d\n",QueueFront(&queue),QueueSize(&queue));QueuePop(&queue);QueuePop(&queue);printf("队列有效元素个数：%d\n",QueueSize(&queue));while(!QueueEmpty(&queue)){printf("%d ",QueueFront(&queue));QueuePop(&queue);}QueueDestroy(&queue);}//函数调用的栈帧 和 数据结构的栈// 函数调用的栈帧 是操作系统层面对内存区域的划分// 和 数据结构的栈intmain(){TestQueue();return0;}
在这里插入图片描述

结语

通过本文的学习，我们完成了队列的完整实现：从结构体设计到核心接口的实现，再到功能验证。关键点包括：

  1. 链式结构的优势：使用单链表实现队列，确保入队（尾插）和出队（头删）操作的时间复杂度均为 O(1)。
  2. 双指针的妙用：通过 head 和 tail 指针分别标记队头和队尾，避免了遍历链表的性能损耗。
  3. 健壮性保障：通过断言（assert）确保操作合法性，并结合 size 字段快速判断队列状态。

希望本文能帮助你彻底掌握队列的实现原理，并激发对数据结构更深层次的探索。

以上就是本文的所有内容了，如果觉得文章对你有帮助，欢迎 点赞⭐收藏 支持！如有疑问或建议，请在评论区留言交流，我们一起进步

分享到此结束啦
一键三连，好运连连！你的每一次互动，都是对作者最大的鼓励！征程尚未结束，让我们在广阔的世界里继续前行！ 🚀

Read more

【leetcode】队列 + 宽搜，树形结构层序遍历的基础与变化

【leetcode】队列 + 宽搜，树形结构层序遍历的基础与变化

前言 🌟🌟本期讲解关于力扣的几篇题解的详细介绍~~~ 🌈感兴趣的小伙伴看一看小编主页：GGBondlctrl-ZEEKLOG博客 🔥 你的点赞就是小编不断更新的最大动力                                        🎆那么废话不多说直接开整吧~~   目录 📚️1.N叉树的层序遍历 🚀1.1题目描述 🚀1.2思路讲解 🚀1.3题目代码 📚️2.二叉树锯齿形遍历 🚀2.1题目描述 🚀2.2思路讲解 🚀2.3题目代码 📚️3.二叉树最大宽度 🚀3.1题目描述 🚀3.2思路讲解 🚀3.3题目代码 📚️4.总结 📚️1.N叉树的层序遍历 🚀1.1题目描述 给定一个 N 叉树，返回其节点值的层序遍历。（即从左到右，逐层遍历）。 树的序列化输入是用层序遍历，每组子节点都由 null 值分隔（参见示例）。 如下图所示： 输入：

By Ne0inhk

优选算法——位运算

👇作者其它专栏 《数据结构与算法》《算法》《C++起始之路》 1.前要知识 《位操作符的妙用》 2.相关题解 2.1判定字符是否唯一 算法思路： 利用【位图】的思想，每一个【比特位】代表一个【字符】，一个int类型的变量的32位足够表示所有的小写字母。比特位里若为0，表示这个字符没有出现过；若为1，表示该字符出现过。 可以用一个【整数】来充当【哈希表】。 class Solution { public: bool isUnique(string astr) { //利用鸽巢原理优化 if(astr.size()>26) return false; int bitmap=0; for(auto i:

By Ne0inhk
Flutter 三方库 crypto 的鸿蒙化适配指南 - 实现具备工业级哈希算法与消息摘要计算的安全底座、支持端侧数据校验与数字签名实战

Flutter 三方库 crypto 的鸿蒙化适配指南 - 实现具备工业级哈希算法与消息摘要计算的安全底座、支持端侧数据校验与数字签名实战

欢迎加入开源鸿蒙跨平台社区：https://openharmonycrossplatform.ZEEKLOG.net Flutter 三方库 crypto 的鸿蒙化适配指南 - 实现具备工业级哈希算法与消息摘要计算的安全底座、支持端侧数据校验与数字签名实战 前言 在进行 Flutter for OpenHarmony 开发时，确保数据的一致性与安全性是业务上线的先决条件。无论是对用户密码进行加盐哈希存储、验证下载文件的完整性，还是为分布式信令生成 API 签名，都离不开严谨的加密算法支持。crypto 是 Dart 官方生态中用于处理哈希与摘要的核心工具库。本文将探讨如何在鸿蒙端构建极致、稳健的加密算法基石。 一、原直观解析 / 概念介绍 1.1 基础原理 该库提供了一系列纯 Dart 实现的一致性哈希算法（Hash Algorithims）。它通过将任意长度的输入映射为固定长度的二进制摘要（Digest）。支持流式处理（Chunked processing），即允许在读取大文件时分批次泵送数据。在鸿蒙端。它是“

By Ne0inhk

Python vs C++ 极简性能对比

一句话结论： 同样的计算任务，C++ 比 Python 快 10~100 倍，内存占用低 10 倍以上！ 📊 1. 核心对比表（一目了然） 维度测什么Python（脚本语言）C++（编译语言）预期差距时间运行速度解释执行，慢编译为机器码，极快C++ 快 10~100 倍空间内存占用整数是对象，带元数据直接用 long long，无额外开销C++ 内存 < 2MB，Python > 10MB 💻 2. 代码实操（复制即用，已修复格式 & 跨平台） ✅ Python 版（全平台通用） # python_bench.pyimport time import

By Ne0inhk