一、如何理解栈
栈就是一个先进后出,后进先出的数据结构。
从操作特性上看,栈是一种操作受限的线性表,只允许在一端插入和删除数据。
虽然使用数组和链表能够替代栈这种数据结构,但是数组与链表向外暴露了太多的api接口,操作上面虽然自由,但是使用的时候就比较不可控,自然也就更容易出错。
当某个数据集合只涉及在一端插入和删除数据,并且满足先进后出,后进先出的特性,我们就应该首选“栈”这种数据结构。
二、如何实现一个栈?
栈总共就两个数据结构,一个是出栈,一个是入栈。我们只需要实现这两个即可。栈可以使用数组或者链表来实现。
- 使用数组实现的栈叫做顺序栈
- 使用链表实现的栈叫做链式栈
顺序栈的实现如下图所示:
// 基于数组实现的顺序栈 public class ArrayStack { private String[] items; // 数组 private int count; // 栈中元素个数 private int n; //栈的大小 // 初始化数组,申请一个大小为n的数组空间 public ArrayStack(int n) { this.items = new String[n]; this.n = n; this.count = 0; } // 入栈操作 public boolean push(String item) { // 数组空间不够了,直接返回false,入栈失败。 if (count == n){ return false;} // 将item放到下标为count的位置,并且count加一 items[count] = item; ++count; return true; } // 出栈操作 public String pop() { // 栈为空,则直接返回null if (count == 0) {return null;} // 返回下标为count-1的数组元素,并且栈中元素个数count减一 String tmp = items[count-1]; --count; return tmp; } }
链式栈的实现如下图所示:
public class LinkedStack { private Item dummy = new Item("dummy"); //作为栈中最后一个节点 private Item head; LinkedStack() { head = dummy; } boolean pop() { if (dummy.next == null) { return false; } else { head = head.before; head.next = null; return true; } } boolean push(String val) { Item item = new Item(val); item.next = null; item.before = head; head.next = item; head = head.next; return true; } } class Item { String val; //使用双向链表来处理pop Item next; Item before; Item(String val) { this.val = val; } }
不管是顺序栈还是链式栈,入栈、出栈只涉及栈顶个别数据的操作,所以时间和空间复杂度都是 O(1)。
三、如何实现支持动态扩容的顺序栈
1、实现方式
我们使栈动态扩容的方法很简单,因为顺序栈的底层是数组,当超过数组的范围时,新建一个两倍原来大小的数组,然后将数据复制过去就可以了。
动态扩容的顺序栈代码如下:
package stack; public class StackByArrayAutoCapacity { String[] arrays; int autoCapacity; int count; int index; public StackByArrayAutoCapacity(int n) { arrays = new String[n]; autoCapacity = n; count = n; index = 0; } public boolean push(String item) { if (index == count) { String[] temp = arrays; arrays = new String[count + autoCapacity]; for (int i =0;i<temp.length;i++) { arrays[i] = temp[i]; } count = count + autoCapacity; } arrays[index] = item; index++; return true; } public String pop() { if (index == 0) { return null; } String temp = arrays[index - 1]; index--; return temp; } public String peek() { if (index == 0) { return null; } String temp = arrays[index - 1]; return temp; } public boolean empty() { return index == 0; } }
2、出入栈复杂度分析
对于出栈操作来说,我们不会涉及内存的重新申请和数据的搬移,所以出栈的时间复杂度仍然是O(1)。
- 但是,对于入栈操作来说,情况就不一样了。
- 当栈中有空闲空间时,入栈操作的时间复杂度为O(1)。
- 但当空间不够时,就需要重新申请内存和数据搬移,所以时间复杂度就变成了O(n)。
3、摊还分析法
对于出栈操作来说,最好情况时间复杂度是O(1),最坏情况时间复杂度是O(n)。那平均情况下的时间复杂度又是多少了?
为了分析的放便,我们需要事先做一些假设和定义:
-
- 栈空间不够时,我们重新申请一个是原来大小两倍的数组;
- 为了简化分析,假设只有入栈操作没有出栈操作;
- 定义不涉及内存搬移的⼊栈操作为simple-push操作,时间复杂度为O(1)。
如果当前栈大小为K,并且已满,当再有新的数据要入栈时:
1、就需要重新申请2倍大小的内存,并且做K个数据的搬移操作,然后再入栈。
2、但是,接下来的K-1次入栈操作,我们都不需要再重新申请内存和搬移数据,所以这K-1次入栈操作都只需要一个simple-push操作就可以完成。
3、为了让你更加直观地理解这个过程,我画了一张图。
你应该可以看出来
1、这K次入栈操作,总共涉及了K个数据的搬移,以及K次simple-push操作。将K个数据搬移均摊到K次入栈操作,
2、那每个入栈操作只需要一个数据搬移和一个simple-push操作。以此类推,入栈操作的均摊时间复杂度就为O(1)。
通过这个例子的实战分析
1、也印证了前面讲到的,均摊时间复杂度一般都等于最好情况时间复杂度。
2、因为在大部分情况下,入栈操作的时间复杂度O都是O(1),只有在个别时刻才会退化为O(n),
3、所以把耗时多的入栈操作的时间均摊到其他入栈操作上,平均情况下的耗时就接近O(1)。
四、栈在函数调用中的应用
我们知道,操作系统给每个线程分配了一块独立的内存空间,这块内存被组织成“栈”这种结构,用来存储函数调用时的临时变量。在Java虚拟机中,就是其虚拟机栈。
比较经典的一个应用场景就是函数调用栈,每进入一个函数,就会将临时变量作为一个栈帧入栈,当被调用函数执行完成,返回之后,将这个函数对应的栈帧出栈。
为了让你更好地理解,我们一块来看下这段代码的执行过程:
int main() { int a = 1; int ret = 0; int res = 0; ret = add(3, 5); res = a + ret; printf("%d", res); reuturn 0; } int add(int x, int y) { int sum = 0; sum = x + y; return sum; }
从代码中我们可以看出:
1、main()函数调用了add()函数,获取计算结果,并且与临时变量a相加,最后打印res的值。
2、为了让你清晰地看到这个过程对应的函数栈里出栈、入栈的操作,我画了一张图。图中显示的是,在执行到add()函数时,函数调用栈的情况。
五、栈在表达式求值中的应用
实际上,编译器就是通过两个栈来实现的。其中一个保存操作数的栈,另一个是保存运算符的栈。
我们从左向右遍历表达式,当遇到数字,我们就直接压入操作数栈;当遇到运算符,就与运算符栈的栈顶元素进行比较。
1、如果比运算符栈顶元素的优先级高,就将当前运算符压入栈;
2、如果比运算符栈顶元素的优先级低或者相同,从运算符栈中取栈顶运算符,
3、从操作数栈的栈顶取2个操作数,然后进行计算,再把计算完的结果压入操作数栈,继续比较。
我将3+5*8-6这个表达式的计算过程画成了一张图,你可以结合图来理解我刚讲的计算过程。
六、栈在括号匹配中的应用
除了⽤栈来实现表达式求值,我们还可以借助栈来检查表达式中的括号是否匹配。
我们同样简化一下背景:
1、我们假设表达式中只包含三种括号,圆括号()、中括号[]和花括号{},并且它们可以任意嵌套。
2、比如,{[{}]}或[{()}([])]等都为合法格式,
3、{[}()]或[({)]为不合法的格式。
那我现在给你⼀个包含三种括号的表达式字符串,如何检查它是否合法呢?
这里也可以用栈来解决:
1、我们用栈来保存未匹配的左括号,从左到右依次扫描字符串。当扫描到左括号时,则将其压入栈中;
2、当扫描到右括号时,从栈顶取出一个左括号。如果能够匹配,比如“(”跟“)”匹配,“[”跟“]”匹配,“{”跟“}”匹配,则继续扫描剩下的字符串。
3、如果扫描的过程中,遇到不能配对的右括号,或者栈中没有数据,则说明为非法格式。
当所有的括号都扫描完成之后,如果栈为空,则说明字符串为合法格式;否则,说明有未匹配的左括号,为非法格式
七、解答开篇
好了,我想现在你已经完全理解了栈的概念。我们再回来看看开篇的思考题,如何实现浏览器的前进、后退功能?
其实,⽤两个栈就可以非常完美地解决这个问题。
1、我们使用两个栈,X和Y,我们把首次浏览的页面依次压入栈X,
2、当点击后退按钮时,再依次从栈X中出栈,并将出栈的数据依次放入栈Y。
3、当我们点击前进按钮时,我们依次从栈Y中取出数据,放入栈X中。当栈X中没有数据时,那就说明没有页面可以继续后退浏览了。
4、当栈Y中没有数据,那就说明没有面可以点击前进按钮浏览了。
比如你顺序查看了a,b,c三个页面,我们就依次把a,b,c压入栈,这个时候,两个栈的数据就是这个样子
当你通过浏览器的后退按钮,从页面c后退到页面a之后,我们就依次把c和b从栈X中弹出,并且依次放入到栈Y。这个时候,两个栈的数据就是这个样子:
这个时候你又想看页面b,于是你有点击前进按钮回到b页面,我们就把b再从栈Y中出栈,放入栈X中。此时两个栈的数据是这个样子:
这个时候,你通过页面b又跳转到新的页面d了,页面c就无法再通过前进、后退按钮重复查看了,所以需要清空栈Y。此时两个栈的数据这个样子
八、问题思考
1. 我们在讲栈的应用时,讲到了函数调用栈来保存临时变量,为什么函数调用要用“栈”来保存临时变量呢?用其他数据结构不行吗?
答:因为函数调用的执行顺序符合后进者先出,先进者后出的特点。
比如函数中的局部变量的生命周期的长短是先定义的生命周期长,后定义的生命周期短;
还有函数中调用函数也是这样,先开始执行的函数只有等到内部调用的其他函数执行完毕,该函数才能执行结束。
正是由于函数调用的这些特点,根据数据结构是特定应用场景的抽象的原则,我们优先考虑栈结构。
2. 我们都知道,JVM内存管理中有个“堆栈”的概念。栈内存用来存储局部变量和方法调用,堆内存用来存储Java中的对象。
那JVM里面的“栈”跟我们这里说的“栈”是不是一回事呢?如果不是,那它为什么又叫作“栈”呢
答:JVM里面的栈和我们这里说的是一回事,被称为方法栈。和前面函数调用的作用是一致的,用来存储方法中的局部变量。
参考文献:https://www.cnblogs.com/luoahong/p/11812840.html