「栈」
栈可以用顺序表实现，也可以用链表实现，浓缩为以下两张图：
看不懂没有关系，我会把它拆开来一个一个讲。
一、概念
1、栈的定义
栈是仅限在表尾进行插入和删除的线性表。
栈又被称为后进先出（LastInFirstOut）的线性表，简称LIFO。
2、栈顶
栈是一个线性表，我们把允许插入和删除的一端称为栈顶。
3、栈底
和栈顶相对，另一端称为栈底，实际上，栈底的元素我们不需要关心。
二、接口
1、可写接口
1）数据入栈
栈的插入操作，叫做入栈，也可称为进栈、压栈。如下图所示，代表了三次入栈操作：
2）数据出栈
栈的删除操作，叫做出栈，也可称为弹栈。如下图所示，代表了两次出栈操作：
3）清空栈
一直出栈，直到栈为空，如下图所示：
2、只读接口
1）获取栈顶数据
对于一个栈来说只能获取栈顶数据，一般不支持获取其它数据。
2）获取栈元素个数
栈元素个数一般用一个额外变量存储，入栈时加一，出栈时减一。这样获取栈元素的时候就不需要遍历整个栈。通过O(1)O(1)O(1)的时间复杂度获取栈元素个数。
3）栈的判空
当栈元素个数为零时，就是一个空栈，空栈不允许出栈操作。
三、栈的顺序表实现
1、数据结构定义
对于顺序表，在C语言中表现为数组，在进行栈的定义之前，我们需要考虑以下几个点：
1）栈数据的存储方式，以及栈数据的数据类型；
2）栈的大小；
3）栈顶指针；
我们可以定义一个栈的结构体，C语言实现如下所示：
|
1
2
3
4
5
6
7
|
#define DataType int // (1)
#define maxn 100005 // (2)
struct Stack { // (3)
DataType data[maxn]; // (4)
int top; // (5)
};
|
(1)用DataType这个宏定义来统一代表栈中数据的类型，这里将它定义为整型，根据需要可以定义成其它类型，例如浮点型、字符型、结构体等等；
(2)maxn代表我们定义的栈的最大元素个数；
(3)Stack就是我们接下来会用到的栈结构体；
(4)DataTypedata[maxn]作为栈元素的存储方式，数据类型为DataType，可以自行定制；
(5)top即栈顶指针，data[top-1]表示栈顶元素，top==0代表空栈；
2、入栈
1、动画演示
如图所示，蓝色元素为原本在栈中的元素，红色元素为当前需要入栈的元素，执行完毕以后，栈顶指针加一。具体来看下代码实现。
2、源码详解
入栈操作，算上函数参数列表，总共也才几句话，代码实现如下：
|
1
2
3
4
|
void StackPushStack(struct Stack *stk, DataType dt) { // (1)
stk->data[ stk->top ] = dt; // (2)
stk->top = stk->top + 1; // (3)
}
|
(1)stk是一个指向栈对象的指针，由于这个接口会修改栈对象的成员变量，所以这里必须传指针，否则，就会导致函数执行完毕，传参对象没有任何改变；
(2)将传参的元素放入栈中；
(3)将栈顶指针自增1；
注意，这个接口在调用前，需要保证栈顶指针小于栈元素最大个数，即stk->top<maxn，
如果C语言写的熟练，我们可以把(2)(2)(2)和(3)(3)(3)合成一句话，如下：
|
1
2
3
|
void StackPushStack(struct Stack *stk, DataType dt) {
stk->data[ stk->top++ ] = dt;
}
|
stk->top++表达式的值是自增前的值，并且自身进行了一次自增。
3、出栈
1、动画演示
如图所示，蓝色元素为原本在栈中的元素，红色元素为当前需要出栈的元素，执行完毕以后，栈顶的指针减一。具体来看下代码实现。
2、源码详解
出栈操作，只需要简单改变将栈顶减一即可，代码实现如下：
|
1
2
3
|
void StackPopStack(struct Stack* stk) {
--stk->top;
}
|
4、清空栈
1、动画演示
如图所示，对于数组来说，清空栈的操作只需要将栈顶指针置为栈底，也就是数组下标0即可，下次继续入栈的时候会将之前的内存重复利用。
2、源码详解
清空栈的操作只需要将栈顶指针直接指向栈底即可，对于顺序表，也就是C语言中的数组来说，栈底就是下标0的位置了，代码实现如下：
|
1
2
3
|
void StackClear(struct Stack* stk) {
stk->top = 0;
}
|
5、只读接口
只读接口包含：获取栈顶元素、获取栈大小、栈的判空，实现如下：
|
1
2
3
4
5
6
7
8
9
|
DataType StackGetTop(struct Stack* stk) {
return stk->data[ stk->top - 1 ]; // (1)
}
int StackGetSize(struct Stack* stk) {
return stk->top; // (2)
}
bool StackIsEmpty(struct Stack* stk) {
return !StackGetSize(stk); // (3)
}
|
(1)数组中栈元素从0开始计数，所以实际获取元素时，下标为栈顶元素下标减一；
(2)因为只有在入栈的时候，栈顶指针才会加一，所以它正好代表了栈元素个数；
(3)当栈元素个数为零时，栈为空。
6、栈的顺序表实现源码
栈的顺序表实现的源码如下：
|
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
|
/************************************* 栈的顺序表实现 *************************************/
#define DataType int
#define bool int
#define maxn 100010
struct Stack {
DataType data[maxn];
int top;
};
void StackClear(struct Stack* stk) {
stk->top = 0;
}
void StackPushStack(struct Stack *stk, DataType dt) {
stk->data[ stk->top++ ] = dt;
}
void StackPopStack(struct Stack* stk) {
--stk->top;
}
DataType StackGetTop(struct Stack* stk) {
return stk->data[ stk->top - 1 ];
}
int StackGetSize(struct Stack* stk) {
return stk->top;
}
bool StackIsEmpty(struct Stack* stk) {
return !StackGetSize(stk);
}
/************************************* 栈的顺序表实现 *************************************/
|
四、栈的链表实现
1、数据结构定义
对于链表，在进行栈的定义之前，我们需要考虑以下几个点： 1）栈数据的存储方式，以及栈数据的数据类型； 2）栈的大小； 3）栈顶指针；
我们可以定义一个栈的结构体，C语言实现如下所示：
|
1
2
3
4
5
6
7
8
9
10
|
typedef int DataType; // (1)
struct StackNode; // (2)
struct StackNode { // (3)
DataType data;
struct StackNode *next;
};
struct Stack {
struct StackNode *top; // (4)
int size; // (5)
};
|
(1)栈结点元素的数据域，这里定义为整型；
(2)structStackNode;是对链表结点的声明；
(3)定义链表结点，其中DataTypedata代表数据域；structStackNode*next代表指针域；
(4)top作为栈顶指针，当栈为空的时候，top==NULL；否则，永远指向栈顶；
(5)由于求链表长度的算法时间复杂度是O(n)O(n)O(n)的，所以我们需要记录一个size来代表现在栈中有多少元素。每次入栈时size自增，出栈时size自减。这样在询问栈的大小的时候，就可以通过O(1)O(1)O(1)的时间复杂度。
2、入栈
1、动画演示
如图所示，head为栈顶，tail为栈底，vtx为当前需要入栈的元素，即图中的橙色结点。入栈操作完成后，栈顶元素变为vtx，即图中绿色结点。
2、源码详解
入栈操作，其实就是类似头插法，往链表头部插入一个新的结点，代码实现如下：
|
1
2
3
4
5
6
7
|
void StackPushStack(struct Stack *stk, DataType dt) {
struct StackNode *insertNode = (struct StackNode *) malloc( sizeof(struct StackNode) ); // (1)
insertNode->next = stk->top; // (2)
insertNode->data = dt; // (3)
stk->top = insertNode; // (4)
++ stk->size; // (5)
}
|
1)利用malloc生成一个链表结点insertNode；
(2)将当前栈顶作为insertNode的后继结点；
(3)将insertNode的数据域设置为传参dt；
(4)将insertNode作为新的栈顶；
(5)栈元素加一；
3、出栈
1、动画演示
如图所示，head为栈顶，tail为栈底，temp为当前需要出栈的元素，即图中的橙色结点。出栈操作完成后，栈顶元素变为之前head的后继结点，即图中绿色结点。
2、源码详解
出栈操作，由于链表头结点就是栈顶，其实就是删除这个链表的头结点的过程。代码实现如下：
|
1
2
3
4
5
6
|
void StackPopStack(struct Stack* stk) {
struct StackNode *temp = stk->top; // (1)
stk->top = temp->next; // (2)
free(temp); // (3)
--stk->size; // (4)
}
|
(1)将栈顶指针保存到temp中；
(2)将栈顶指针的后继结点作为新的栈顶；
(3)释放之前栈顶指针对应的内存；
(4)栈元素减一；
4、清空栈
1、动画演示
清空栈可以理解为，不断的出栈，直到栈元素个数为零。
2、源码详解
对于链表而言，清空栈的操作需要删除每个链表结点，代码实现如下：
|
1
2
3
4
5
6
|
void StackClear(struct Stack* stk) {
while(!StackIsEmpty(stk)) { // (1)
StackPopStack(stk); // (2)
}
stk->top = NULL; // (3)
}
|
(1)-(2)的每次操作其实就是一个出栈的过程，如果栈不为空；则进行出栈操作，直到栈为空；
(2)然后将栈顶指针置为空，代表这是一个空栈了；
5、只读接口
只读接口包含：获取栈顶元素、获取栈大小、栈的判空，实现如下：
|
1
2
3
4
5
6
7
8
9
|
DataType StackGetTop(struct Stack* stk) {
return stk->top->data; // (1)
}
int StackGetSize(struct Stack* stk) {
return stk->size; // (2)
}
int StackIsEmpty(struct Stack* stk) {
return !StackGetSize(stk);
}
|
(1)stk->top作为栈顶指针，它的数据域data就是栈顶元素的值，返回即可；
(2)size记录的是栈元素个数；
(3)当栈元素个数为零时，栈为空。
6、栈的链表实现源码
栈的链表实现源码如下：
|
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
|
/************************************* 栈的链表实现 *************************************/
typedef int DataType;
struct StackNode;
struct StackNode {
DataType data;
struct StackNode *next;
};
struct Stack {
struct StackNode *top;
int size;
};
void StackPushStack(struct Stack *stk, DataType dt) {
struct StackNode *insertNode = (struct StackNode *) malloc( sizeof(struct StackNode) );
insertNode->next = stk->top;
insertNode->data = dt;
stk->top = insertNode;
++ stk->size;
}
void StackPopStack(struct Stack* stk) {
struct StackNode *temp = stk->top;
stk->top = temp->next;
--stk->size;
free(temp);
}
DataType StackGetTop(struct Stack* stk) {
return stk->top->data;
}
int StackGetSize(struct Stack* stk) {
return stk->size;
}
int StackIsEmpty(struct Stack* stk) {
return !StackGetSize(stk);
}
void StackClear(struct Stack* stk) {
while(!StackIsEmpty(stk)) {
StackPopStack(stk);
}
stk->top = NULL;
stk->size = 0;
}
/************************************* 栈的链表实现 *************************************/
|
五、两种实现的优缺点
1、顺序表实现
在利用顺序表实现栈时，入栈和出栈的常数时间复杂度低，且清空栈操作相比链表实现能做到O(1)O(1)O(1)，唯一的不足之处是：需要预先申请好空间，而且当空间不够时，需要进行扩容，扩容方式本文未提及，可以参考服务器之家其他相关文章。
2、链表实现
在利用链表实现栈时，入栈和出栈的常数时间复杂度略高，主要是每插入一个栈元素都需要申请空间，每删除一个栈元素都需要释放空间，且清空栈操作是O(n)O(n)O(n)的，直接将栈顶指针置空会导致内存泄漏。好处就是：不需要预先分配空间，且在内存允许范围内，可以一直入栈，没有顺序表的限制。
关于「栈」的内容到这里就结束了。如果还有不懂的问题，可以想方设法找到作者的联系方式，线上沟通交流,希望大家以后多多支持服务器之家！
原文链接：https://blog.csdn.net/WhereIsHeroFrom/article/details/119580434