为何部分Wasm指令要求数值字面量而不支持常量表达式？

你提到的问题本质是Wasm指令集的设计约束——像local.get这类指令的索引参数必须是数值字面量或命名符号，不能嵌套常量表达式。我们先明确正确与错误的用法：

正确示例 #

(i32.load8_u (local.get 0))  ;; 正确用法

错误示例及报错 #

error: unexpected token "(", expected a numeric index or a name (e.g. 12 or $foo).

(i32.load8_u (local.get (i32.const 0))) ;; 错误用法

除了你想到的简洁性之外，还有几个关键的设计原因：

• 运行时执行效率：Wasm的核心目标是极致轻量化和高效执行。如果允许常量表达式作为索引，虚拟机在执行时需要额外步骤解析计算表达式结果，哪怕编译阶段能做优化，但指令集设计要从底层减少运行时开销。直接使用字面量索引，虚拟机可以直接定位到对应的局部变量、内存位置，无需额外计算逻辑。

• 指令集分层清晰：Wasm的指令分为核心操作指令和常量生成指令，索引参数属于指令的立即数（指令本身的组成部分），而非栈上的操作数。local.get的索引是立即数，而i32.const是生成栈常量的指令，两者属于不同层级。允许嵌套表达式会打破这种分层，让指令结构变得混乱复杂。

• 二进制格式紧凑性：Wasm的二进制格式追求最小体积，字面量索引可以用Leb128变长编码直接嵌入指令中，体积极小。如果支持常量表达式，需要额外字节存储表达式结构，会直接增加二进制文件大小，违背Wasm轻量化的初衷。

• 工具链实现简化：对于编译到Wasm的工具链（比如Rust wasm目标、Emscripten）来说，处理字面量索引比动态常量表达式简单得多。工具链可以在编译阶段提前将常量表达式计算为字面量，不需要让Wasm指令集支持这种动态解析，从而降低工具链的实现复杂度。

内容的提问来源于stack exchange，提问作者Jason Yu