基于数组实现栈：结构体与全局变量方式的必要性及优劣问询

直接用全局数组、全局top变量和全局push/pop函数，核心问题有两个：

• 无法同时使用多个独立栈：全局变量是程序唯一的，你想同时维护两个栈（比如表达式求值里的操作数栈和运算符栈）时，两个栈会共用同一个数组和top，操作完全混乱。
• 代码易出错、难维护：全局变量能被任何函数随意修改，比如某个无关函数不小心改了top的值，你很难排查问题根源。而结构体把栈的核心状态（数组、top、容量）打包在一起，只有专门的栈操作函数能访问这些数据，逻辑边界清晰，bug更容易定位。

除此之外，结构体实现的栈更灵活：你可以在函数里定义局部栈实例，或者把栈作为参数传递给其他函数，复用性远高于全局变量方案。

1. 数组声明在结构体中（静态内部数组） #

比如这种实现：

#define MAX_SIZE 100
struct Stack {
    int arr[MAX_SIZE];
    int top;
};

优势 #

• 完全独立封装：每个栈实例的所有数据都在结构体内部，互不干扰，想创建多少个栈都可以。
• 使用门槛低：不需要额外的内存分配，声明结构体时数组内存自动分配，初始化只需把top设为-1。
• 内存管理省心：局部栈结构体在函数结束时自动销毁，全局栈的内存占用也清晰可控，不会出现内存泄漏。

缺陷 #

• 容量不可动态调整：数组大小必须是编译时确定的常量，栈满了就无法继续压入元素；如果数组开得太大，又会浪费内存。
• 结构体体积过大：如果数组容量很大，结构体本身占用内存多，直接传递结构体（而非指针）会产生大量拷贝开销。

2. 直接使用全局数组（配合全局top和操作函数） #

比如这种实现：

#define MAX_SIZE 100
int stack_arr[MAX_SIZE];
int top = -1;

void push(int val) { /* ... */ }
int pop() { /* ... */ }

优势 #

• 实现极简：不用定义结构体，几行代码就能搞定一个栈，适合只需要单个栈的简单小场景。

缺陷 #

• 仅支持单栈实例：全局变量唯一，程序里只能有一个栈，多栈场景完全无法适配。
• 代码耦合度极高：栈的状态和操作函数强绑定，无法复用给其他模块，代码扩展性为零。
• 调试难度大：任何函数都能修改全局的stack_arr和top，出现错误时很难追踪是哪个操作出了问题。
• 内存浪费：全局数组大小固定，要么不够用要么闲置，且全局内存会一直占用到程序结束，无法按需释放。

内容的提问来源于stack exchange，提问作者Patel Sujal Vipul