精卫填海系列——栈

栈的定义

栈(stack)是一种线性表数据结构，具有后进者先出，先进者后出的特点。

通俗的讲，栈有点像摞摞的盘子。我们放盘子的时候，自下向上一个一个放；取盘子的时候，自上向下一个一个拿，不能从中间抽取。

栈的使用

从上面的定义我们可以看出，栈是一种“操作受限”的线性表，只允许在一端插入和删除数据。

我刚开始接触的时候，就对它存在的意义产生了很大的疑惑。因为我觉得，相比数组和链表，栈带给我的只有限制，并没有任何优势。那我直接使用数组或者链表不就好了吗？为什么还要用这个“操作受限”的“栈”呢？

事实上，从功能上来说，数组或者链表确实可以替代栈，但你要知道，特定的数据结构是对特定场景的抽象，而且，数组或链表暴露了太多的操作接口，操作上的确灵活自由，但使用时比较不可控，自然也就更容易出错。

当某个数据集合只涉及在一端插入和删除数据，并且满足后进先出、先进后出的特点，我们就应该首选“栈”这种数据结构。

栈的实现

栈主要包含两个操作，入栈和出栈，也就是在栈顶插入一个数据和从栈顶删除一个数据。

实际上，栈既可以用数组来实现，也可以用链表来实现。用数组实现的栈，我们叫顺序栈，用链表实现的栈，我们叫作链式栈。

下面是基于Java数组实现的顺序栈。

//基于数组实现的顺序栈
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;
   }


}

了解了定义和基本操作，那么它的操作的时间、空间复杂度是多少呢？

不管是顺序栈还是链式栈，我们存储数据只需要一个大小为n的数组就够了。在入栈和出栈过程中，只需要一两个临时变量存储空间，所以空间复杂度是O(1)。

注意，这里存储数据需要一个大小为n的数组，并不是说空间复杂度就是O(n)。因为，这n个空间是必须的，无法省掉。所以我们说空间复杂度的时候，是指除了原本的数据存储空间外，算法运行还需要额外的存储空间。

空间复杂度分析是不是很简单？时间复杂度也不难。不管是顺序栈还是链式栈，入栈、出栈只涉及栈顶个别数据的操作，所以时间复杂度都是O(1)。

支持动态扩容的顺序栈

刚才那个基于数组实现的栈，是一个固定大小的栈，也就是说，在初始化栈时需要事先指定栈的大小。当栈满之后，就无法再往栈里添加数据了。尽管链式表的大小不受限，但要存储next指针，内存消耗相对较多。那我们如何基于数组实现一个可以支持动态扩容的栈呢？

你还记得，我们在数组那一节，是如何来实现一个支持动态扩容数组的吗？当数组空间不够时，我们就重新申请一块更大的内存，将原来数组中数据统统拷贝过去。这样就实现了一个支持动态扩容的数组。

所以，要实现一个支持动态扩容的栈，我们只需要底层依赖一个支持动态扩容的数组就可以了。当栈满了之后，我们就申请一个更大的数组，将原来的数据搬移到新的数组中。如图。

 

不过，实际上，支持动态扩容的顺序栈，我们平时开发中并不常用到。

栈在函数调用中的应用

我们知道，操作系统给每个线程分配了一块独立的内存空间，这块内存被组织成“栈”这种结果，用来存储函数调用时的临时变量。每进入一个函数，就会将临时变量作为一个栈帧入栈，当被调用函数执行完成，返回之后，将这个函数对应的栈帧出栈。为了让你更好地理解，我们一块来看下这段代码的执行过程。

int main(){
  int a=1;
  int ret=0;
  int res=0;
  ret=add(3,5);
  res=a+ret;
  printf("%d",res);
  return 0;
}


int add(int x,int y){
  int sum=0;
  sum=x+y;
  return sum;
}

从代码中我们可以看出，main()函数调用了add()函数，获取计算结果，并且与临时变量a相加，最后打印res的值。为了，让你清晰地看到这个过程相对应的函数栈里出栈、入栈的操作，我画了一张图。图中显示的是，在执行到add()函数时，函数调用栈的情况。

 

栈在表达式求值中的应用

我们再来看栈的另一个应用场景，编译器如何利用栈来实现表达式求值。

为了方便解释，我们将算数表达式简化为只包含加减乘除四则运算，比如34+13*9+44-12/3。对于这个四则运算，我们人脑可以很快求解出答案，但是对于计算机来说，理解这个表达式本身就是个挺难的事儿。如果换作你，让你来实现这样一个表达式求值的功能，你会怎么做呢？

实际上，编译器就是通过两个栈来实现的。其中一个保存操作数的栈，另一个是保存运算符的栈。我们从左向右遍历表达式，当遇到数字，我们就直接压入操作数栈；当遇到运算符，就与运算符栈的顶元素进行比较。

如果比运算符栈顶元素的优先级高，就将当前运算符压入栈；如果比运算符栈顶元素的优先级低或者相同，从运算符栈中取栈顶运算符，从操作数栈的栈顶取2个操作数，然后进行计算，再把计算完的结果压入操作数栈，继续比较。

我们将3+5*8-6这个表达式的计算过程画成了一张图，你可以结合图来理解我刚讲的计算过程。

栈在括号匹配中的应用

除了用栈来实现表达式求值，我们还可以借助栈来检查表达中的括号是否匹配。

我们同样简化一下背景。我们假设表达式中只包含三种括号，圆括号()、方括号[]和花括号{}，并且它们可以任意嵌套。比如，{[] ()[{}]}或[{()}([])]等都为合法格式，而{[}()]或[({)]为不合法的格式。那我现在给你一个包含三种括号的表达式字符串，如何检查它是否合法呢？

这里也可以用栈来解决。我们用栈来保存未匹配的左括号，从左到右依次扫描字符串。当扫描到左括号时，将其压入栈中；当扫描到右括号时，从栈顶取出一个左括号。如果能够匹配，比如“(”和“)”匹配，“[”和“]”匹配，“{”和“}”匹配，则继续扫描剩下的字符串。如果扫描过程中，遇到不能配对的右括号，或者栈中没有数据，则说明为非法格式。

当所有的括号都扫描完成之后，如果栈为空，则说明字符串为合法格式；否则，说明有未匹配的左括号，为非法格式。

学习了王争老师的《数据结构与算法之美》，根据课程内容整理的笔记