文章目录
- 1.栈介绍
- 2. 哪种结构实现栈会更优？
- 3.栈代码实现（C语言）
往期相关文章：
- 线性表之顺序表
- 线性表之链表
1.栈介绍
栈是一种特殊的线性表，只允许在栈顶（Top）进行插入和删除元素操作，另一端称为栈底，栈中的数据元素遵守后进先出LIFO（Last In First Out）或 先进后出的原则。
- 栈的插入操作（Push）：称为压栈 或 入栈 或 进栈。
- 栈的删除操作（Pop）：也叫出栈 或 弹栈。
栈顶（top）也可以是最后一次进栈的数据位置，比如上图中，栈顶可以分别是100、200、300的位置，这取决于栈顶初始化成 0 还是 -1。如果栈顶最开始初始化为0，则栈顶是如上图所演示的位置，因为是先Push，然后再栈底top++；如果栈顶初始化为-1，则栈顶是最后一次进栈的数据下标位置，因为是先top++，然后再Push。
2. 哪种结构实现栈会更优？
栈的实现一般可以使用数组或链表实现。对栈而言数组的结构实现更优一些，因为数组在尾上插入和删除数据的代价很小，时间复杂度均为O(1)，且没有其它额外开销。下面具体分析两种结构实现栈的优缺点。
对于链表实现栈，问题很多。一是链表有八种，二是每种链表实现起来都存在缺点。下面简单分析下链表实现栈的问题：
-
先说单向链表实现栈，即便是多维护一个尾指针，对于栈的删除操作还是需要遍历，因为需要找到尾节点的上一个节点。
-
而对于双向链表，为了解决单向链表实现栈的删除操作问题，唯一可行的只有双向循环链表，不仅轻松地找到尾结点，同时还能找到上一个节点，确实能解决上面谈到的问题。不过这又有其它问题了，每个节点相比于单向链表都多维护了一个指针变量，有一定内存开销。
所以说实现栈的最优结构，还得是数组，且数组自身的特性也产生了几个优点。数组的存储是连续的，正是因为这个原因：
- 数组的寄存器命中率比链表高；
- 寄存器命中后，不会产生寄存器空间污染。
数组实现栈的话就没有任何缺点吗？答案是有的，前面也说过，栈是一种特殊的线性表。
- 空间给大了或每次扩容扩大了，然后又不使用，那空间就浪费了；4
- 空间给小了或者每次扩容扩小了，那插入数据时容量不够经常需要扩容（realloc），扩容本身也有一些消耗；
- 最不能接受的是，如果后面的内存不足以扩容设定的大小，realloc扩容可能会异地扩容，内存碎片增多，异地扩容意思是跳过这段大小不够的内存空间，到另一片内存区域扩容，这也会导致跳过的那一段内存变成内存碎片，如果一直没有程序去使用，空间也浪费掉了！关于realloc扩容，可以看看我的这篇文章 指针与动态内存 2.3realloc部分。
不过上述数组的缺点，也是能控制的。比如数组初始化大小根据需求给一个折中，扩容方案也折中，比如按自身1.5倍扩，这样能控制扩容的频率不至于太频繁，异地扩容的几率也小一些！优点相比于缺点，利大于弊！最重要的是，比起链表的优缺点，也要好上许多！
3.栈代码实现（C语言）
stack.h
#pragma once
#include <stdio.h>
#include <stdlib.h>
#include <assert.h>
#include <stdbool.h>
typedef int valuetype;
typedef struct {
valuetype* arr;
int top;
int capacity;
} Stack;
void Init(Stack* stack);
void Push(Stack* stack, valuetype value);
void Pop(Stack* stack);
valuetype Top(Stack* stack);
int Size(Stack* stack);
bool Empty(Stack* stack);
void Destroy(Stack* stack);
stack.c
#define _CRT_SECURE_NO_WARNINGS 1
#include "Stack.h"
void Init(Stack* stack) {
assert(stack);
stack->arr = NULL;
stack->capacity = stack->top = 0;
}
void Push(Stack* stack, valuetype value) {
assert(stack);
if (stack->top == stack->capacity) {
stack->capacity = stack->capacity == 0 ? 10 : (int)(stack->capacity * 1.5);
stack->arr = (valuetype*)realloc(stack->arr, sizeof(valuetype) * stack->capacity);
if (stack->arr == NULL) {
perror("realloc failed in the function Push(Stack*, valuetype).");
return;
}
}
stack->arr[stack->top++] = value;
}
void Pop(Stack* stack) {
assert(stack && stack->top > 0);
stack->top--;
}
valuetype Top(Stack* stack) {
assert(stack && stack->top > 0);
return stack->arr[stack->top - 1];
}
int Size(Stack* stack) {
assert(stack);
return stack->top;
}
bool Empty(Stack* stack) {
assert(stack);
return stack->top == 0;
}
void Destroy(Stack* stack) {
assert(stack);
free(stack->arr);
stack->arr = NULL;
stack->capacity = stack->top = 0;
}
