WebAssembly局部变量是否与指令临时值存储在同一栈中？

你的推测完全正确：WebAssembly 里局部变量和可执行指令操作的临时值，根本不存在同一个栈结构里。

• 局部变量不会占用操作数栈空间
  用(local $var i32)声明的局部变量，没有任何运行时的“压栈预留空间”动作。.wat 文本格式里的 local 声明只是静态标记，编译成 wasm 二进制后，局部变量的数量、类型会直接写在函数的元数据段里，根本不存在对应可执行指令。
  函数被调用时，运行时创建当前函数的栈帧，会根据元数据在栈帧里单独划出一块连续的局部变量存储区，所有局部变量（包括函数入参——本质入参就是编号从0开始的特殊局部变量）会在这里一次性分配空间，初始值统一为对应类型的零值：i32/i64 为0，f32/f64 为正零，引用类型为null。这块空间和后续指令操作的操作数栈完全隔离。
• 无法通过普通出栈/入栈操作直接读写局部变量
  操作数栈的压入弹出规则只服务于运算、值传递的临时中转，和局部变量区没有地址映射关系。你只能通过三个专属指令操作局部变量：
  • local.get $idx：将指定索引的局部变量值拷贝一份压入操作数栈顶
  • local.set $idx：弹出操作数栈顶的值，写入指定索引的局部变量存储位
  • local.tee $idx：读取栈顶值写入指定局部变量，同时保留这个值在栈顶不弹出
    不存在任何可以绕过这三个指令、直接通过栈操作修改局部变量的路径。
• 函数返回时的栈空间回收逻辑
  根本不需要运行时动态计算要弹出多少空间：
  1. 局部变量区属于当前函数栈帧的固定部分，函数返回时整个栈帧会被整块回收，不需要逐个弹出变量，栈帧大小在编译期就已经完全确定。
  2. 操作数栈的状态在字节码校验阶段就会被完全约束：合法的 wasm 字节码执行到返回点（return指令或函数末尾）时，操作数栈上的剩余值必须和函数声明的返回值类型、数量完全匹配——无返回值的函数执行到返回点时操作数栈必须为空；声明返回N个指定类型值的函数，栈顶必须恰好有N个对应类型的值，多、少、类型不匹配的字节码根本通不过校验，不会被运行时加载执行。
     实际返回时只需要把栈顶符合返回值要求的几个值拷贝到调用方的操作数栈上，当前函数占的整个栈帧（含局部变量区、当前函数使用的操作数栈空间）直接通过移动栈指针一次性释放即可，没有逐元素弹出的额外开销。

注：很多入门资料对“基于栈的虚拟机”的描述容易让人产生误解，认为所有运行时数据都存在操作数栈上。实际上WebAssembly的操作数栈只是临时值的流转中转区，局部变量、全局变量、线性内存都是独立的存储区域，和操作数栈不共享存储空间。

内容的提问来源于stack exchange，提问作者Waleed Dahshan