栈结构的执行流本质是围绕栈顶指针动态变化的过程，所有操作严格遵循lifo规则，push/pop直接改变栈顶位置，变量生命周期由显式出栈决定，数组实现因内存连续性更贴近硬件高效执行。
栈结构的执行流本质是围绕“栈顶”动态变化的过程，所有变量的存取都受LIFO规则严格约束——不是按时间顺序或作用域层级，而是完全由操作发生的先后次序和位置决定。理解这一点，才能真正看懂函数调用、表达式求值甚至内存错误背后的逻辑。
栈顶指针是执行流的唯一指挥官
栈不记录“谁先来”，只认“谁在顶上”。每次push，栈顶指针（top）向高位移动一位，新变量直接落在这个位置；每次pop，指针回退一位，原栈顶变量立即不可见。这个指针不保存历史，也不判断类型，它只是个整数下标或内存地址偏移量。
- 数组实现中，top通常指向下一个可写位置（如初始为0），所以栈顶元素实际位于
arr[top - 1] - 链表实现中，top就是头指针，入栈即头插，出栈即删头，无需遍历
- 函数调用时，每个栈帧的返回地址、参数、局部变量连续压入，top始终指向最新分配的那块内存
变量生命周期由出栈动作显式终止
栈里没有“自动回收”概念。一个变量从被push进栈那一刻起，就只等待一次对应的pop——不是作用域结束触发，而是执行流明确走到pop指令才释放。没被pop的变量会一直占据空间，直到整个栈被销毁。
- 递归过深导致栈溢出，本质是top持续增长超出预设容量，而非变量太多
- 函数返回时，编译器生成的清理代码本质是一系列pop或指针重置，把当前帧占用的全部空间一次性交还
- C语言中局部数组
int a[100]不是100次push，而是一次性分配100个连续单元，top跳变一次
执行流中断时，栈状态就是现场快照
断点调试或异常抛出时，你看到的调用栈（Call Stack）就是当前所有未完成函数的栈帧按top到bottom排列的结果。最顶上的是正在执行的函数，最底下的是main或入口函数——这顺序不是代码书写顺序，而是真实压栈顺序。
- 浏览器前进/后退按钮背后，URL栈的top就是当前页面，pop后退，push前进
- 括号匹配校验中，“{[()]”能通过，是因为每遇到右括号就pop一次，栈顶必须是对应左括号；一旦不匹配或栈空就报错
- 表达式
3 + 4 * 2转后缀时，运算符按优先级入栈出栈，栈顶永远是待处理的最高优先级操作符
数组栈比链表栈更贴近硬件执行流
现代CPU缓存对连续内存访问友好，数组栈的push/pop基本是单条内存指令+寄存器加减，而链表栈每次操作都要解引用指针、可能触发缓存未命中。这也是JVM、操作系统内核等高性能场景默认用数组（或类似结构）实现调用栈的根本原因。
- 数组栈扩容（如
realloc）虽有开销，但远小于频繁malloc/free带来的碎片和延迟 - 栈底固定、栈顶浮动的布局，让CPU预取器能高效预测下一次访问地址
- 栈溢出检测常利用“栈底下方放保护页”的机制，依赖的就是数组栈的物理连续性
