编译期本地数组索引与运行时栈索引为何一致？

问题背景 #

我正在阅读Bob Nystrom所著的《Crafting Interpreters》一书，目前读到第22章「Local Variable」的「Using Locals」小节，其中提到：

在运行时，我们使用栈槽索引来加载和存储局部变量，因此编译器在解析变量后需要计算该索引。每当声明一个变量时，我们就将其添加到编译器的locals数组中。这意味着第一个局部变量位于索引0，下一个位于索引1，依此类推。换句话说，编译器中的locals数组与VM运行时的栈具有完全相同的布局。变量在locals数组中的索引与其栈槽索引相同。多么方便！

但我对此存有疑问：编译期的locals数组会存储所有子块中的变量声明，而运行时部分变量可能已被弹出栈，索引应该不一致才对。举例来说，某编程语言代码如下：

var x = 10
var y = 20
{
   var z = 30
}
var a = 40
a = 50

编译期的locals数组为[(10, 0), (20, 0), (30, 1), (40, 0)]（元组第二个元素为声明深度），因此最后一条赋值指令会生成类似STORE 3的代码，因为a在数组中的索引是3。但运行时栈为[10, 20, 40]（最后一个元素为栈顶），z已被弹出，此时a的栈索引实际是2。为何编译期本地数组索引与运行时栈索引能保持一致？我对此困惑已久，而后续章节均基于这一结论展开。

解答：固定栈槽的设计逻辑 #

你误解了书中VM栈的运作模式——这里的局部变量栈槽是静态固定分配的，子块结束后变量对应的槽位不会被弹出销毁，只是标记为不再被后续代码访问，栈的整体布局从始至终和编译期的locals数组索引完全对应。

具体到你的示例：

• 编译阶段，编译器按变量声明的先后顺序为每个局部变量分配唯一索引：x(0)、y(1)、z(2)、a(3)
• 运行阶段，VM会为当前作用域（比如整个函数或顶层代码）一次性分配所有局部变量的栈槽，包括子块内的z。当子块执行完毕后，z的槽位依然保留在栈中（值可能失效，但位置不变），此时栈的实际布局是[10, 20, <z的旧值>, 40]，a对应的栈槽索引仍然是3，和编译期计算的索引完全匹配。

这种设计的核心优势：

• 编译器无需处理栈槽的动态调整，索引计算完全静态化，实现逻辑简单
• 运行时VM不需要频繁修改栈结构，避免了栈弹出/插入带来的性能开销

你误以为z会被弹出栈，是混淆了局部变量栈帧和表达式求值栈：表达式求值栈用于临时存储计算中间结果，会随计算完成弹出；而局部变量的栈槽属于当前栈帧的固定组成部分，只有当整个栈帧被销毁（比如函数返回）时才会被回收。

内容的提问来源于stack exchange，提问作者Bhavya Bhatt