AI 助理
备案控制台
开发者社区 开发与运维 文章 正文

数据结构 | 栈和队列

2023-02-23 123
版权
版权声明：
本文内容由阿里云实名注册用户自发贡献，版权归原作者所有，阿里云开发者社区不拥有其著作权，亦不承担相应法律责任。具体规则请查看《 阿里云开发者社区用户服务协议》和 《阿里云开发者社区知识产权保护指引》。如果您发现本社区中有涉嫌抄袭的内容，填写 侵权投诉表单进行举报，一经查实，本社区将立刻删除涉嫌侵权内容。
简介： 栈（Stack）又名堆栈，它是一种运算受限的线性表，限定仅在表尾进行插入和删除操作的线性表。队列（Queue）也是一种特殊的线性表，特殊之处在于它只允许在表的前端（Front）进行删除操作，而在表的后端（Rear）进行插入操作，和栈一样，队列 的部分操作也会受到限制。

📘前言

栈（Stack）又名堆栈，它是一种运算受限的线性表，限定仅在表尾进行插入和删除操作的线性表。队列（Queue）也是一种特殊的线性表，特殊之处在于它只允许在表的前端（Front）进行删除操作，而在表的后端（Rear）进行插入操作，和栈一样，队列 的部分操作也会受到限制。栈 的特点是 先进后出（FILO），队列 则是 先进先出（FIFO），本文将会通过顺序存储的方式模拟实现 栈，以及链式存储的方式模拟实现 队列，两种数据结构都比较简单，一起来看看吧！

d355619eb90d4f808304aa9107f86f54.jpg

📘正文

📖栈

首先介绍 栈 的实现，栈 非常适合通过 顺序表 来模拟实现，因为 顺序表 尾插、尾删的复杂度是O(1)，并且 栈 的插入、删除都是在 栈顶 完成的，因此我们可以去除 顺序表 的部分功能，这样就可以得到一个 栈

640ef9f9b7b54b9787606c77862f5e94.png

有人将栈形象的比作弹匣，装弹是在入栈，而将子弹射出则是在出栈，显然最先进入弹匣的子弹，将会在最后才被射出，准备的动图发不出来，可以自行百度查看


📃结构

既然可以通过 顺序表 实现 栈 ，那么 栈 的结构自然就和 顺序表 差不多了，都有一个 负责指向存储数据的指针 ，一个 下标(栈顶) 和 容量 ，因为 顺序表要求空间必须是连续的，因此后续需要进行动态内存开辟，而容量是不能少的

typedef int STDataType; //栈的元素类型
typedef struct StackInfo
{
  STDataType* data; //数据
  int top;  //栈顶
  int capacity; //容量
}Stack;

c5451721bac1424289d444b060f68e37.png

📃初始化

初始化需要把 指针 data 置空，栈顶值 top 和 容量值 capacity 归0

  • 当然这里的栈顶也可以置为-1，当我们取栈顶元素时，取的就是当前栈顶处的元素
  • 如果是归0，那么取的就是栈顶-1处的元素
  • 推荐归0，因为在后续操作中比较省事
voidStackDestroy(Stack*ps)    //栈的销毁{
assert(ps);
//只有为栈开辟空间了，才能正常销毁if (ps->data)
    {
free(ps->data);
ps->data=NULL;
ps->top=ps->capacity=0;
    }
}

📃销毁

销毁 栈 需要明白一点：是否可以销毁 ，因为可能会出现不插入元素的情况下，结束程序，此时如果继续执行销毁，就会发生空指针的解引用情况

voidStackDestroy(Stack*ps)    //栈的销毁{
assert(ps);
//只有为栈开辟空间了，才能正常销毁if (ps->data)
    {
free(ps->data);
ps->data=NULL;
ps->top=ps->capacity=0;
    }
}

c3a3234183be408a91fa0b094f9d0a78.png

📃入栈、出栈

顺序 栈 的 入栈、出栈 很简单，可以放一起介绍

  • 入栈
  • 确保有空间可以使用，因此需要借助扩容程序段
  • 直接将目标值插入到栈顶处
  • 最后栈顶+1，此时的栈顶代表着 栈 中的有效元素个数
voidStackPush(Stack*ps, STDataTypex) //入栈{
assert(ps);
//判断栈是否满if (ps->top==ps->capacity)
    {
intnewCapacity=ps->capacity==0?4 : ps->capacity*2; //二倍扩容STDataType*tmp= (STDataType*)realloc(ps->data, sizeof(STDataType) *newCapacity);
//如果扩容失败，需要报错并结束程序if (tmp==NULL)
        {
perror("realloc :: fail");
exit(-1);
        }
ps->data=tmp;
ps->capacity=newCapacity;
    }
//入栈，就是在栈顶处放入元素，然后栈顶+1ps->data[ps->top] =x;
ps->top++;
}

45f9656edd5a456cb4fcff555fb17a2a.png

出栈

  • 出栈需要确保 栈 内有元素可出
  • 如果 栈 为空，是不能执行出栈的
  • 出栈不需要将元素抹掉，直接栈顶-1，无法访问到此元素就行了
voidStackPop(Stack*ps)    //出栈{
assert(ps);
assert(ps->top>0);    //有元素才能出栈//出栈，直接栈顶-1ps->top--;
}

1dfcedb078a14c6aa414e2b0cdc6cbee.png

📃查看栈顶元素

前面说过，栈顶值 top-1 代表的就是当前栈顶元素，前提是有元素存在，因此这个函数就很简单了，直接先判断 栈 是否为空，如果不为空，返回 栈顶-1 处的元素值就行了

STDataTypeStackTop(Stack*ps)  //查看栈顶元素{
assert(ps);
assert(ps->top>0);    //有元素才能看//栈顶元素，在栈顶-1处，因为栈顶是从0开始的returnps->data[ps->top-1];
}

c7b26c30d6b24965897d12fcae33da96.png

📃查看栈内有效元素

所谓栈内有效元素，就是顺序 栈 的长度，也就是 栈顶值 top ，此时就体现出 栈顶值 从0开始的好处了，做什么都很方便，比如这里，直接返回 栈顶值 就行了

intStackSize(Stack*ps)    //查看栈的有效元素个数{
assert(ps);
//栈的大小就是当前栈的有效元素个数returnps->top;
}

0e9694ca6fb64f1db97990660f4c3cc8.png

📃判断栈是否为空

判断栈是否为空，太简单了，一行代码解决

  • 返回的是布尔值，需要引头文件 stdbool.h
  • 因为判断式返回值是布尔类型
  • 如果栈顶值为0，说明栈空，判断式为真，返回 true
  • 否则说明栈不空。判断式为假，返回 false
boolStackEmpty(Stack*ps)  //判断栈是否为空{
assert(ps);
//栈顶为0.说明栈空returnps->top==0;
}

顺序 栈 也就这点东西，我愿称之为顺序表青春版，所有源码放在gitee上了，可以跳转到源码区传送过去

下面是程序运行图(测试的时候手速太快了，所以有的地方可能看不太清楚)

这是一张动图，时长56秒

📖队列

队列 的特点是先进先出，主要功能是头部删除和尾部插入，因为队列比较特殊，如果采用 顺序表 的形式实现的话，容易出现 假溢出 问题（后续解决 循环队列 问题会用 顺序表 模拟实现），因此我们这里采取 链表 的形式模拟实现 队列


分析得出队列的 需求 如下


单链表就足够了，多加一个队尾指针，可以有效避免效率问题

哨兵位（可要可不要），因为待会实现时，是结构体嵌套结构体的形式

使用非循环的链表，没必要使用双向带头循环链表（小题大做）

结论


最简单的单链表就可以实现

因为有队头、队尾两个指针，因此需要使用结构体嵌套的方式

691ea473b7fb4897a1a92d6eaa02dc4f.png📃结构

单链表 最大的缺陷就是不好找尾，为此我们直接通过结构体嵌套定义的方式，定义 队头指针 front 、队尾指针 rear 和 队列长度 size，这样一来，所有涉及队列的操作，都是在以 O(1) 效率执行，灰常高效，就是比较难理解


帮助理解


假设队列中的节点是一个个链接的小球

存在一个大外壳装着这些小球

并且有两个警卫分别守着球头和球尾，还有一个秘书帮忙记录球数

当然它们的作用是为了更好的管理小球

显然，front 和 rear 就是两个警卫，而 size 是秘书

typedefintQListDataType;  //队列的数据类型//这是队列中，单个节点的信息typedefstructQListNode{
QListDataTypedata;
structQListNode*next;
}QNode;
//这是整个队列的信息，包含了队头和队尾两个指针typedefstructQueueNode{
QNode*front;   //队头指针QNode*rear;    //队尾指针size_tsize;    //队列长度}Queue;

709db3c18b624dbda0dc7e409da7bead.png

📃初始化

队列 的初始化很直接，把 队尾、队头指针 置空，长度 置0就行了

void QueueInit(Queue* pq) //队列的初始化
{
  assert(pq);
  //初始化状态：队头、队尾指针都指向空，队列大小为0
  pq->front = pq->rear = NULL;
  pq->size = 0;
}

📃销毁

队列 销毁原理，和 单链表 的销毁差不多，需要借助一个 临时指针 cur ，指向当前队头，然后 队头指针 front 移向下一个位置，销毁 临时指针 cur ，如此循环，直到 临时指针 cur 指向 NULL ，此时整个 队列 都会被销毁


队列 不需要像 栈 那样做特殊处理，因为当队空时，cur 一开始就为空，循环是进不去的

当然销毁后，两个指针都要置空，size 也要归零

voidQueueDestroy(Queue*pq)    //队列的销毁{
assert(pq);
//销毁思路：利用临时指针进行销毁QNode*cur=pq->front;
while (cur)
    {
QNode*tmp=cur->next;
free(cur);
cur=tmp;
    }
pq->front=pq->rear=NULL;
pq->size=0;
}

e1a065048b94465bb19c7cc1cbea8081.png

📃入队、出队

有了 队头、队尾 两个指针，入队、出队就很简单了，直接易如反掌

入队

  • 即单链表的尾插
  • 买一个新节点，存放目标值，将 队尾指针 与新节点链接起来
  • 注意：如果是第一次入队，直接赋值，而不是链接
  • 更新 队尾指针 ，队尾指针 变成了新节点
  • 队列长度 + 1
voidQueuePush(Queue*pq, QListDataTypex)  //入队{
assert(pq);
//先买一个节点QNode*newnode=buyNode(x);
//分情况：如果队头为空，说明队空，此时直接将新节点赋值给队头、队尾if (pq->front==NULL)
    {
pq->front=pq->rear=newnode;
pq->size++;
    }
else    {
//否则就是将新节点，链接到队尾，然后更新队尾pq->rear->next=newnode;   //链接pq->rear=newnode; //更新队尾pq->size++;
    }
}

4a7ea2ac03d5453dbbb3ae24aa628567.png出队

  • 即单链表的头删
  • 利用临时指针，存储当前 队头指针 的信息
  • 队头向后移动，即更新 队头指针
  • 释放临时指针
  • 队列长度 - 1
voidQueuePop(Queue*pq)    //出队{
assert(pq);
assert(!QueueEmpty(pq));    //如果队空，是不能出队的//出队思想：有元素才能出队，更新队头，销毁原队头QNode*cur=pq->front;
pq->front=pq->front->next;    //更新队头指针free(cur);
cur=NULL;
pq->size--;
}

8e3afa9282ec4f39a130990d6aa84ae7.png

📃查看队头、队尾元素

这两个都是甜品函数，直接一行代码解决

查看队头

  • 判断队列是否为空
  • 不为空才能查看，队头元素为 队头指针 的指向值
QListDataTypeQueueFront(Queue*pq) //查看队头元素{
assert(pq);
assert(!QueueEmpty(pq));
returnpq->front->data;
}

查看队尾

  • 同样需要判断队列是否为空
  • 不为空才能查看，队尾元素为 队尾指针 的指向值
QListDataTypeQueueRear(Queue*pq)  //查看队尾元素{
assert(pq);
assert(!QueueEmpty(pq));
returnpq->rear->data;
}

📃查看队内有效元素

队列中的有效元素数，就是之前一直默默工作的 队列长度 size，直接返回它的值就好了，没什么技巧


至于为何不通过遍历的方式确定有效元素数


时间成本太高，如果队列中有10w个元素，那么在调用此函数时，会很浪费时间

结构设计时 size 的加入，能很好的避免这个问题，因为 size 在改变时，总是伴随着入队或出队，默默记录，效率是很高

intQueueSize(Queue*pq)    //当前队列的有效元素数{
assert(pq);
returnpq->size;    //直接返回就行了}

📃判断队是否为空

此时判断队列是否为空，有多种方法

  • 通过 size 判断，为0，说明队列为空
  • 通过 队头指针 或 队尾指针 判断，为空说明队空

这里使用第二种方法，通过 队头指针 进行判断

当然，返回值是 布尔值 ，同样是利用了判断式的返回值

boolQueueEmpty(Queue*pq)  //判断当前队空情况{
assert(pq);
returnpq->front==NULL;
}

至此，队列 结束，结构体嵌套 也就是个纸老虎，实际还没有 二级指针 复杂，可以把 链队列 看作 单链表 的青春版

下面是程序运行图，同样是动图，可以耐心看完

image.gif


📖源码区

注意：为了避免文章过长，现采取 Gitee 仓库分享代码的形式，秉持开源精神，所有代码都可参考!

📃栈

这是属于栈的文件夹


📃队列

这是属于队列的文件夹


📘总结

栈和队列 是两种比较特殊的数据结构，在实际中往往很少单独去使用，都是用来配合实现其他数据结构，比如 二叉树 的 层序遍历 中会用到 队列 ，很多OJ试题也会爱考这两种数据结构，因此学好它们还是很重要的


如果你觉得本文写的还不错的话，期待留下一个小小的赞👍，你的支持是我分享的最大动力！


如果本文有不足或错误的地方，随时欢迎指出，我会在第一时间改正


c3a2fbd4cece4640b5ba77b478ae727a.jpg
文章标签：
前端开发
存储
关键词：
数据结构队列
数据结构栈
数据结构栈队列
数据结构栈和队列
北海。
目录
相关文章
小徐在进步
|
6天前
|
存储 人工智能 C语言
数据结构基础详解(C语言): 栈的括号匹配(实战)与栈的表达式求值&&特殊矩阵的压缩存储
本文首先介绍了栈的应用之一——括号匹配，利用栈的特性实现左右括号的匹配检测。接着详细描述了南京理工大学的一道编程题，要求判断输入字符串中的括号是否正确匹配，并给出了完整的代码示例。此外，还探讨了栈在表达式求值中的应用，包括中缀、后缀和前缀表达式的转换与计算方法。最后，文章介绍了矩阵的压缩存储技术，涵盖对称矩阵、三角矩阵及稀疏矩阵的不同压缩存储策略，提高存储效率。
小徐在进步
24 8
2的n次方_
|
1天前
|
存储 Java
【数据结构】优先级队列（堆）从实现到应用详解
本文介绍了优先级队列的概念及其底层数据结构——堆。优先级队列根据元素的优先级而非插入顺序进行出队操作。JDK1.8中的`PriorityQueue`使用堆实现，堆分为大根堆和小根堆。大根堆中每个节点的值都不小于其子节点的值，小根堆则相反。文章详细讲解了如何通过数组模拟实现堆，并提供了创建、插入、删除以及获取堆顶元素的具体步骤。此外，还介绍了堆排序及解决Top K问题的应用，并展示了Java中`PriorityQueue`的基本用法和注意事项。
2的n次方_
12 5
【数据结构】优先级队列（堆）从实现到应用详解
小徐在进步
|
8天前
|
存储 C语言
数据结构基础详解(C语言): 栈与队列的详解附完整代码
栈是一种仅允许在一端进行插入和删除操作的线性表，常用于解决括号匹配、函数调用等问题。栈分为顺序栈和链栈，顺序栈使用数组存储，链栈基于单链表实现。栈的主要操作包括初始化、销毁、入栈、出栈等。栈的应用广泛，如表达式求值、递归等场景。栈的顺序存储结构由数组和栈顶指针构成，链栈则基于单链表的头插法实现。
小徐在进步
32 3
2的n次方_
|
10天前
|
Java
【数据结构】栈和队列的深度探索，从实现到应用详解
本文介绍了栈和队列这两种数据结构。栈是一种后进先出（LIFO）的数据结构，元素只能从栈顶进行插入和删除。栈的基本操作包括压栈、出栈、获取栈顶元素、判断是否为空及获取栈的大小。栈可以通过数组或链表实现，并可用于将递归转化为循环。队列则是一种先进先出（FIFO）的数据结构，元素只能从队尾插入，从队首移除。队列的基本操作包括入队、出队、获取队首元素、判断是否为空及获取队列大小。队列可通过双向链表或数组实现。此外，双端队列（Deque）支持两端插入和删除元素，提供了更丰富的操作。
2的n次方_
14 0
【数据结构】栈和队列的深度探索，从实现到应用详解
可能只会写BUG
|
14天前
|
Linux C++ Windows
栈对象返回的问题 RVO / NRVO
具名返回值优化（(Name)Return Value Optimization，(N)RVO）是一种优化机制，在函数返回对象时，通过减少临时对象的构造、复制构造及析构调用次数来降低开销。在C++中，通过直接在返回位置构造对象并利用隐藏参数传递地址，可避免不必要的复制操作。然而，Windows和Linux上的RVO与NRVO实现有所不同，且接收栈对象的方式也会影响优化效果。
可能只会写BUG
27 2
小Lee
|
29天前
|
存储 安全 编译器
缓冲区溢出之栈溢出（Stack Overflow
【8月更文挑战第18天】
小Lee
50 3
1387503158665997
|
16天前
crash —— 获取内核地址布局、页大小、以及栈布局
crash —— 获取内核地址布局、页大小、以及栈布局
1387503158665997
20 0
Star时光
|
16天前
|
存储 程序员 C语言
堆和栈之间有什么区别
【9月更文挑战第1天】堆和栈之间有什么区别
Star时光
89 0
cz游客
|
25天前
|
机器学习/深度学习 消息中间件 缓存
栈与队列的实现
栈与队列的实现
cz游客
37 0
睡觉待开机
|
1月前
|
算法 C语言 C++
【practise】栈的压入和弹出序列
【practise】栈的压入和弹出序列
睡觉待开机
19 0