文章目录
一、什么是栈，什么是FILO
栈是一种具有特殊访问方式的存储空间，它的特殊性在于，最后进入这个空间的数据，最先出去，可以画图来描述一下这种操作方式。
假设有一个盒子和三本书，依次将三本书他们放入盒子中。
入栈模拟图
现在有一个问题，如果一次只能取一本，我们如何将书从盒子中取出来？
显然必须从盒子的最上边开始取，依次取出，和放入的顺序刚好相反。
出栈模拟图
从程序化的角度来讲，应该有一个标记，这个标记一直指示着盒子最上边的书。
如果说，上图中的盒子就是一个栈，我们可以看出栈的两个基本操作：入栈和出栈。入栈就是将一个新元素放到栈顶，出栈就是从栈顶取出一个元素，栈顶的元素总是最后入栈，需要出栈时，有最先被从栈中取出。栈的这种操作被称为：LIFO（last in first out），后进先出
二、栈的作用是什么，为什么编程语言函数调用都选择用栈？
为何现如今所有的编程语言都会采用栈来进行函数调用？函数调用的状态之所以用栈来记录是因为这些数据的存活时间满足“先进后出”（FILO）顺序，而栈的基本操作正好就是支持这种顺序访问的。下面用一组程序举例。
void test1(){
}
void test2() {
test1();
}
void test3() {
test2();
}
int main() {
test3();
}
这个程序运行的顺序为：main() ——》 test3() ——》 test2() ——》 test1() ——》 return from test1() ——》 return from test2() ——》 return from test3() ——》 return from test4().
可以看到，调用者的生命周期总是长于被调用者的生命周期，并且后者在前者之内。被调用者的数据总是后于调用者的，而其释放顺序总是先于调用者，所以正好可以满足LIFO顺序，选用栈这种数据结构来实现函数调用则是一种自然而然的选择。
三、使用C模拟实现解析栈
前面说过栈的两个基本操作，入栈和出栈，都只是对栈顶进行操作，栈可以用数组实现也可以用链表实现，这里讲解用数组实现，因为数组实现相对来说更优一些，数组实现在尾部插入数据代价比较小。
1.结构体的定义
由于各种操作都只在栈顶进行，选择定义一个top来记录栈顶的位置，为了节省空间选择定义一个capacity来记录最大长度，如果等于top的话进行扩容。
typedef int STDataType;
typedef struct StackNode {
STDataType* arr;
int capacity;
int top;
}STNode;
2.栈的创建及销毁
由于函数内有对参数指针的引用，加上assert预防程序崩溃，易于调试，top初始化为-1（也可以初始化为0,个人偏向初始化为-1），两者的区别就是一个是栈顶指向栈顶数据，一个指向栈顶数据的下一个，其实本质上差不多。
void STInit(STNode* pst)
{
assert(pst);
pst->arr = NULL;
pst->capacity = 0;
pst->top = -1;
}
void STDestroy(STNode* pst)
{
assert(pst);
free(pst->arr);
pst->arr = NULL;
pst->capacity = 0;
pst->top = 0;
}
3.实现入栈操作
如果栈已经满了，则进行扩容，将数据放到栈顶。
void STPush(STNode* pst,STDataType x)
{
assert(pst);
if (pst->capacity==pst->top+1)
{
int newcapacity = pst->capacity == 0 ? 4 : pst->capacity * 2;
STDataType* temp = NULL;
temp = (STDataType*)realloc(pst->arr,sizeof(STDataType) * newcapacity);
if (temp == NULL)
{
perror("malloc error");
return;
}
pst->arr = temp;
pst->capacity = newcapacity;
}
pst->arr[++pst->top] = x;
}
4.获取栈顶元素及出栈操作
出栈操作将栈顶元素向下移动即可，甚至无需删除数据，因为再次进行入栈会将其覆盖掉。获取栈顶元素要获取top的下一个位置，因为top是先存后加。
bool STEmpty(STNode* pst)
{
return pst->top == -1;
}
void STPop(STNode* pst)
{
assert(pst);
assert(!STEmpty(pst));
pst->top--;
}
STDataType STTop(STNode* pst)
{
assert(pst);
assert(!STEmpty(pst));
return pst->arr[pst->top];
}
5.获取栈中有效元素个数
由于数组偏移度是从0开始存数据，所以指向栈顶的top比实际上个数要少1，真正有效元素个数要将top+1。
int StackSize(STNode* pst)
{
assert(pst);
return pst->top+1;
}
源代码分享
//stack.h
#define _CRT_SECURE_NO_WARNINGS
#include <stdio.h>
#include <assert.h>
#include <stdlib.h>
#include <stdbool.h>
typedef int STDataType;
typedef struct StackNode {
STDataType* arr;
int capacity;
int top;
}STNode;
void STInit(STNode* pst);
void STPush(STNode* pst,STDataType);
void STPop(STNode* pst);
void STDestroy(STNode* pst);
bool STEmpty(STNode* pst);
STDataType STTop(STNode* pst);
//stack.c
#include "stack.h"
bool STEmpty(STNode* pst)
{
return pst->top == -1;
}
void STInit(STNode* pst)
{
assert(pst);
pst->arr = NULL;
pst->capacity = 0;
pst->top = -1;
}
void STDestroy(STNode* pst)
{
assert(pst);
free(pst->arr);
pst->arr = NULL;
pst->capacity = 0;
pst->top = 0;
}
void STPush(STNode* pst,STDataType x)
{
assert(pst);
if (pst->capacity==pst->top+1)
{
int newcapacity = pst->capacity == 0 ? 4 : pst->capacity * 2;
STDataType* temp = NULL;
temp = (STDataType*)realloc(pst->arr,sizeof(STDataType) * newcapacity);
if (temp == NULL)
{
perror("malloc error");
return;
}
pst->arr = temp;
pst->capacity = newcapacity;
}
pst->arr[++pst->top] = x;
}
void STPop(STNode* pst)
{
assert(pst);
assert(!STEmpty(pst));
pst->top--;
}
STDataType STTop(STNode* pst)
{
assert(pst);
assert(!STEmpty(pst));
return pst->arr[pst->top];
}
int StackSize(STNode* pst)
{
assert(pst);
return pst->top+1;
}
//test.c
#include "stack.h"
void test1()
{
STNode ST;
STInit(&ST);
STPush(&ST, 1);
STPush(&ST, 2);
STPush(&ST, 3);
STPush(&ST, 4);
STPush(&ST, 5);
STPush(&ST, 6);
STPush(&ST, 7);
while (!STEmpty(&ST))
{
printf("%d ", STTop(&ST));
STPop(&ST);
}
STDestroy(&ST);
}
int main()
{
test1();
}
✨本文收录于数据结构理解与实现
下几期会继续带来栈的练习题以及与栈刚好相反的堆（FIFO）。如果文章对你有帮助记得点赞收藏关注。