数据结构(三)–栈
通常程序开发中内存管理是非常重要的,而内存主要分为占内存和堆内存。那么栈和堆内存有什么区别呢?希望在这篇文章里能带你找到答案!
1. 栈和堆的引入
在一个简单的程序中我们定义和声明几个基本类型的变量、结构体和数组,先来直观看一下栈和堆的不同:
- 静态变量 和 局部变量是以压栈出栈的方式分配内存的,系统会在一个代码段中分配和回收局部变量,实际上每个代码段、函数都是一个或多个嵌套的栈,我们不需要手动管理栈区内存。
- 动态内存是一种堆排序的方式分配内存的,内存分配好后便不会自动回收,需要程序员手动回收。否则就会造成内存泄漏,内存越用越少。
简单了解了一下程序中内存栈与堆的区别,下面就正式开始讲数据结构中的栈。
(注意:数据结构栈、内存栈、函数调用栈三者在含义上略有不同,但是其核心思想和理念是相同的)
2. 栈的定义
栈是一种“先进后出”的一种数据结构,有压栈出栈两种操作方式。如下图:
3. 栈的分类
栈主要分为两类:
- 静态栈
- 动态栈
【静态栈】
静态栈的核心是数组,类似于一个连续内存的数组,我们只能操作其栈顶元素。
【动态栈】
静态栈的核心是数组,类似于一个连续内存的数组,我们只能操作其栈顶节点。
4. 栈的算法
栈的算法主要是压栈和出栈两种操作的算法,下面我就用代码来实现一个简单的栈。
首先要明白以下思路:
- 栈操作的是一个一个节点
- 栈本身也是一种存储的数据结构
- 栈有
初始化
、压栈
、出栈
、判空
、遍历
、清空
等主要方法
4.1 栈的头文件定义
头文件定义如下:
|
有了头文件定义,基本就确定了栈的使用结构和使用方式。下面是在主函数中对这个栈的创建和使用。
|
4.2 栈的初始化
思路:
拿到栈声明的指针,开辟一块内存空间给栈顶栈底,此时是一个空栈,栈顶栈底指向同一块内存,且栈底栈顶以外不再指向其他节点。
|
4.3 压栈 和 出栈
思路:
压栈是把新的节点放入栈顶,且每次压栈操作只能将新的节点放到栈的顶部。
出栈需判断是否原本为空栈,存在出栈失败的情况,把栈顶指向栈顶元素的下一个元素,并释放原来栈顶元素空间。
|
4.4 栈的清空 和 遍历
当一个代码段执行完成之后,实际上就是这个栈所有分配的空间都被回收,栈随之被清空!
思路:
栈清空,实际就是需要循环执行出栈操作。
栈遍历,实际就是栈元素从栈顶一个个遍历到栈底,可以打印栈中元素的值
|
5. 栈的应用
栈结构固有的先进后出的特性,使它成为在程序设计中非常有用的工具,这里列举几个典型的例子。
5.1 数制转换
十进制数 N 和其他 d 进制数的转换是计算机实现计算的基本问题,其解决方法有很多种,其中一个简单的方法基于如下原理:N = (N div d) * d + N mod d
(其中div是整除运算,mod 为求余运算)
例如:1348(10进制) == 2504(8进制)运算过程如下:
N | N div 8 | N mod 8 |
---|---|---|
1348 | 168 | 4 |
168 | 21 | 0 |
21 | 2 | 5 |
2 | 0 | 2 |
需求:输入一个任意非负十进制整数,打印输出其对应的八进制整数
思路:由于上述计算过程是从低到高位顺序产生八进制数的各个数位,而打印输出,一般来说应从高位到低位进行,恰好和计算过程相反。因此可利用栈先进后出特性,将计算过程中得到的八进制数各位顺序进栈,再按出栈序列打印输出既为与输入对应的八进制数。
|
思考 用数组实现貌似更简单,为什么不用数组?
从算法上分析不难看出,栈的引入简化了程序设计的问题,划分了不同的关注层次,使思考范围缩小了。而使用数组不仅掩盖了问题的本质,还要分散精力去思路数组下标增减等细节问题。
这也是早期面向对象编程的一种思想,要把对应的功能划分关注层次,在逻辑的实现上面更加专注问题的本质。
5.2 括号匹配的检验
编程语言中基本都允许使用 (),[],{}
这几种括号,假设现在让使用两种,一段完整代码中其须成对匹配,检验括号是否匹配的方法可用”期待的紧迫程度”这个概念来描述。
当计算机接受了第一个括号后,它期待着与其匹配的第八个括号出现,然而等来的确实第二个括号,此时第一个括号[
只能暂时靠边,而迫切等待与第二个括号匹配的第七个括号)
出现,类似地,等来的是第三个括号[
,其期待的匹配程度比第二个更加急迫,则第二个括号也只能靠边,让位于第三个括号,显然第二个括号的期待急迫性高于第一个括号,在接受了第四个括号之后,第三个括号的期待得到满足,消解之后,第二个括号的期待匹配变成最紧迫的任务了·····,以此类推。
可见此处理过程与栈的特点相吻合,由此,在算法中设置一个栈,每读入一个括号,若是右括号则使至于栈顶的最紧迫的期待得以消解,若是不合法的情况(左括号),则作为一个新的更紧迫的期待压入栈中,自然使原来所有未消解的期待的紧迫性都降了一级。另外在算法开始和结束的时候,栈都应该是空的。
算法实现:
|
这里的实例我列举了两个,实际上还有很多。比如 行编辑程序、迷宫求解、表达式求值等。这里我就先不做列举了。
6. 小结
通过这里复习数据结构中栈的内容,感觉重新理解了很多计算机实现的底层知识,虽然不知道的更多,但是面对计算机心中又多了一层认知!
文中代码地址:https://github.com/xiaoyouPrince/DataStructure