编译器语法解析中栈是支撑变量分析的底层骨架，通过LIFO特性匹配作用域嵌套：遇{压入新帧、遇}弹出栈顶，实现作用域建模、就近查找、生命周期绑定及符号表隔离。
编译器做语法解析时，栈不是“可选工具”，而是支撑变量分析的底层骨架。它不直接存储变量值，但全程管理变量的“出生地”“可见范围”和“退场时机”——靠的是栈的后进先出（LIFO）特性和作用域嵌套结构的天然匹配。
作用域建模：用栈记录“谁在哪儿声明”
每次遇到 {（比如函数体、if 分支、for 循环内部），编译器就在栈上压入一个新作用域帧；每次遇到 }，就弹出栈顶帧。这个过程把嵌套结构转为线性操作：
- 全局作用域 → 栈底
- 函数作用域 → 压入第一层
- if 内部的 { } → 再压一层
- for 循环里的 let 声明 → 可能再压一层（取决于语言规范）
变量查找时，编译器从栈顶开始向下扫描：先查当前作用域符号表，找不到就查上一层，直到栈底。这种“就近优先”规则，正是块级/函数级作用域语义的实现基础。
变量生命周期绑定：栈帧决定“活多久”
变量不是独立存在的，它的生命周期严格绑定在所属栈帧的存续期间：
- 函数调用开始 → 创建栈帧 → 局部变量分配空间（如 int a = 5;）
- 进入子代码块 → 新栈帧压入 → 块内变量（如 const x = 10）加入该帧符号表
- 离开子代码块 → 栈帧弹出 → 块内变量自动失效，符号表条目被丢弃
- 函数返回 → 整个栈帧销毁 → 所有局部变量彻底不可见
这解释了为什么不能在函数外访问局部变量：它所在的栈帧早已不存在，连内存地址都已释放或复用。
符号表管理：栈辅助快速插入与回溯
编译器维护的符号表不是单一大表，而是一组按栈组织的“作用域表”：
- 每个栈帧附带一个哈希表或有序列表，存本层声明的变量名、类型、偏移量
- 声明变量时，只写入当前栈顶帧的符号表，不污染上级
- 遇到重名变量（如外层 var x，内层 let x），内层声明压入新帧，自然遮蔽外层 —— 不需额外标记，栈序本身即遮蔽顺序
- 语义分析阶段检查未声明使用（undefined）时，沿栈向上找，找不到即报错
逃逸分析的起点：栈布局决定是否要搬去堆
Go 或 JVM 的逃逸分析，第一步就是看变量是否“能安稳待在栈上”：
- 若变量地址被传给外部函数、或作为返回值传出、或被闭包捕获 → 它的栈帧可能提前结束，但变量还需存活 → 必须分配到堆
- 判断依据正是变量声明所在栈帧的嵌套深度和调用上下文 —— 栈结构提供了完整的调用链快照
- 没有栈帧的层级视图，逃逸分析就失去坐标系，无法判断“谁会活得比它久”
不复杂但容易忽略：栈在这里不是内存分配器，而是作用域的“时间轴”和“空间坐标系”。变量分析的每一步判定，背后都有栈在默默记下“此刻在哪一层”。
