什么是栈?首先引用维基百科的解释:
栈(stack)是计算机科学中的一种抽象资料类型,只允许在有序的线性资料集合的一端(称为堆栈顶端,top)进行加入数据(push)和移除数据(pop)的运算。因而按照后进先出(LIFO, Last In First Out)的原理运作。
有点难懂?没关系,我们来看一张图:
没错,桌上的这一叠盘子就是一个栈结构(实际上还需要加一些限定条件,一会会讲到)。其实我们每天都会与“栈”接触。可以说只要理解了这一叠盘子,你就理解了栈!
首先根据维基百科的专业定义,栈有两种基本操作:弹栈和压栈:
对应到我们的这一叠盘子,通常情况下也是两个操作:取盘子和放盘子:
还记得我们上文说过这一叠盘子如果要成为栈,还需要一些限定条件吗?下面我们就来看一下这个条件:
上述对盘子的所有操作必须在盘子顶进行!
说得更直白点,就是取盘子的时候只能从顶部取,不能从中间取;放盘子的时候只能放在顶部,不能插到中间。
于是我们发现,我们每次从这一叠盘子里取出的盘子都是最后叠上去的,最先叠上去的只有在上面的盘子全部取完以后才能取出来。而上面这句话,就是栈结构的最大特点:
后进先出(LIFO, Last In First Out)
OK。以上就是认识栈结构所需要的所有知识,是不是很简单。
下面我们再用一组图片深入理解一下栈结构与其操作过程:
这是一个单向开口的空间,所有元素都通过顶部的开口进入和弹出,内部的橙色方块就是进栈的元素。很明显,先进入的元素会被后进入的元素盖住,取数据的时候只能先取后进入的数据。此时最上面的元素C就被称之为栈顶,最下面的元素A自然就成为了栈底。
这就是压栈过程,新放入的元素D放在栈的最上面,代替原来的元素C成为了新的栈顶。栈底仍然为A。
这是弹栈(出栈)过程,元素D被取出,元素C再次成为栈顶,元素A依然是栈底,并且只有等到A上面的所有元素(B、C)全部取出时,A才有机会出栈。
除了压栈和弹栈这两个基本操作,栈结构还有两个特殊状态。此处停止下滑,请思考一下是哪两个。
左边的栈中没有任何元素,所以被称之为空栈,右边被填满了元素,因此被称之为满栈。一般情况下,在程序初始化栈的时候要保证栈为空,在后续的压栈与弹栈操作流程中还要在每次操作前检测栈状态,避免在满栈状态下压栈,在空栈的状态下弹栈,一旦出现上面两种情况,就会导致数据溢出或访问到非法数据,轻则导致程序崩溃死机,重则引起设备失控,甚至出现伤人事件!这并不是危言耸听,试想如果一架运行着的飞机突然自动控制单元出现了栈溢出,导致控制程序死机,无法被控制,也无法切换手动运行。后果自然是非常严重的!
说了这么多,好像栈是一个很简单,且很不灵活的结构,那这玩意儿到底有啥用?
可不要小看了这个结构,在如今的计算机科学、编程与算法中,栈是非常重要,也是用得非常多的一种数据结构,下面我们举几个例子:
-
函数调用:在计算机程序中,函数的调用和返回借助栈来实现。每次调用函数时,函数的参数和局部变量都会被存储在栈中,当函数执行完成后,栈会弹出这些数据,返回调用点。
-
表达式求值:栈可以用于解析和求值表达式,包括中缀表达式转换为后缀表达式以及后缀表达式的求值。
-
内存管理:栈用于存储函数的局部变量和临时数据,对内存的分配和释放起到了关键作用。
-
括号匹配:栈可以用于检查括号匹配,例如检查一个字符串中的括号是否正确闭合。
-
后退和撤销:在许多应用程序中,栈可以用于实现后退和撤销功能,例如文本编辑器中的撤销操作。
上面这些例子都是我们日常生活中频繁遇到的场景,由此可见栈无处不在。比如就在写这段话的时候,我还撤销了一个错别字。
到这里你以为就结束了吗?NO! NO! NO! 作为实践主义的一员,我深信实践是检验真理的唯一标准,没有实践,怎么能说理解!接下来,我们一起来用 C 语言实现一个栈结构!
发车之前,我们先明确一点,栈在软件上一般有数组和链表两种实现方式,链表形式会比较复杂,并且涉及到另外的数据结构,本文既然是讲栈的,就尽量不引入其他结构来避免理解困难,因此下文会实现一个纯数组栈。
首先我们来定义一个最简单的栈结构:
#define MAX_SIZE 100 // 栈的最大容量typedef struct {int data[MAX_SIZE];int top;
} Stack;
可以看到,这个结构里有一个数组和一个变量。其中 data 数组就是栈容器,用于存储数据,而 top 变量就用于指示当前栈顶的栈顶计数(有些地方会用一个指针,即栈顶指针。这里直接用计数比较好理解,作用是一样的)。
定义完结构后我们来进行初始化:
// 初始化栈
void init(Stack *stack) { stack->top = -1; }
这里的初始化逻辑很简单,就是将 top 变量的值设置为 -1 。在后续的程序中只要这个值为 -1,我们就认为当前栈为空:
// 判断栈是否为空
bool isEmpty(Stack *stack) { return stack->top == -1; }
自然,当 top 值为 MAX_SIZE - 1 时,就代表当前栈已满(有一个元素时值为0):
// 判断栈是否已满
bool isFull(Stack *stack) { return stack->top == MAX_SIZE - 1; }
压栈:
// 压栈
void push(Stack *stack, int value) {if (isFull(stack)) {printf("栈已满,无法入栈\n");} else {stack->data[++stack->top] = value;}
}
将数据压栈就是把数据放入数组,同时栈顶计数加一表示当前加入了一个数据。这里要注意,压入数据之前必须要检查栈是否满,避免栈溢出。
弹栈(出栈):
// 出栈
int pop(Stack *stack, int *value) {if (isEmpty(stack)) {printf("栈已空,无法出栈\n");return -1;} else {*value = stack->data[stack->top--];return 0;}
}
弹栈则是对外弹出(返回)数组内有效数据的顶部数据,同时,栈顶计数减一表示当前取出了一个数据。同样,必须确保栈不为空再进行弹栈操作。
查看栈顶元素:
// 获取栈顶元素
int top(Stack *stack, int *value) {if (isEmpty(stack)) {printf("栈已空,无栈顶元素\n");return -1;} else {*value = stack->data[stack->top];return 0;}
}
该操作和弹栈很类似,但必须要注意,该操作不会导致栈顶计数的变化,只是查看元素。可以理解为,你小时候每次走过玩具店都要看一眼橱窗,然后对妈妈说:我就看看,不买~
打印栈中的元素:
// 打印栈中的元素
void printStack(Stack *stack) {printf("栈中的元素为:");for (int i = 0; i <= stack->top; i++) {printf("%d ", stack->data[i]);}printf("\n");
}
调试接口,从栈顶到栈底依次打印出栈内数据,用于查看栈内的数据状态。
最后我们用一个 main 函数将上述接口都串起来,形成一个可以运行的程序:
int main() {int ret = -1, value = 0;Stack stack;init(&stack);push(&stack, 3);push(&stack, 5);push(&stack, 7);printStack(&stack);ret = pop(&stack, &value);if (ret == 0) {printf("出栈元素为:%d\n", value);} else {printf("出栈失败");}printStack(&stack);return 0;
}
这个程序的运行逻辑如下:
定义一个栈 > 初始化栈 > 将3压入栈 > 将5压入栈 > 将7压入栈 > 打印当前栈状态 > 弹栈 > 打印弹出数据 > 打印当前栈状态。
这里再次停止往下滑,先思考一下输出结果会是什么。下面来看下运行结果:
jay@jaylinuxlenovo:~/test/stack$ ./stack
栈中的元素为:3 5 7
出栈元素为:7
栈中的元素为:3 5
是不是和你想的一样呢?对于栈的概念,你是不是真的理解了呢。下面附上完整代码,感兴趣的小伙伴可以自己尝试运行一下。
/**************************************************************** @file stack.c* @brief* @author WKJay* @Version* @Date 2023-12-07***************************************************************/
#include <stdio.h>
#include <stdbool.h>#define MAX_SIZE 100 // 栈的最大容量typedef struct {int data[MAX_SIZE];int top;
} Stack;// 初始化栈
void init(Stack *stack) { stack->top = -1; }// 判断栈是否为空
bool isEmpty(Stack *stack) { return stack->top == -1; }// 判断栈是否已满
bool isFull(Stack *stack) { return stack->top == MAX_SIZE - 1; }// 压栈
void push(Stack *stack, int value) {if (isFull(stack)) {printf("栈已满,无法入栈\n");} else {stack->data[++stack->top] = value;}
}// 出栈
int pop(Stack *stack, int *value) {if (isEmpty(stack)) {printf("栈已空,无法出栈\n");return -1;} else {*value = stack->data[stack->top--];return 0;}
}// 获取栈顶元素
int top(Stack *stack, int *value) {if (isEmpty(stack)) {printf("栈已空,无栈顶元素\n");return -1;} else {*value = stack->data[stack->top];return 0;}
}// 打印栈中的元素
void printStack(Stack *stack) {printf("栈中的元素为:");for (int i = 0; i <= stack->top; i++) {printf("%d ", stack->data[i]);}printf("\n");
}int main() {int ret = -1, value = 0;Stack stack;init(&stack);push(&stack, 3);push(&stack, 5);push(&stack, 7);printStack(&stack);ret = pop(&stack, &value);if (ret == 0) {printf("出栈元素为:%d\n", value);} else {printf("出栈失败");}printStack(&stack);return 0;
}
到站,下车!