WebAssembly中如何将栈上值存储到内存固定地址？

你遇到的核心问题是WebAssembly栈的后进先出特性与i32.store的操作数顺序要求不匹配：i32.store执行时会先弹出要存储的值，再弹出目标内存地址，因此栈的正确顺序必须是「值在栈顶，地址在值的下方」。

你之前的操作是把地址压到已有值的栈顶，导致栈顺序变为「地址、值」，执行i32.store时会错误地将地址当作值、原栈值当作地址存储，自然无法达到预期效果。

方法1：用swap指令直接交换栈顶元素（最简洁） #

swap指令可以直接交换栈顶两个元素的顺序，完美解决你的问题，不需要额外内存或局部变量：

;; 栈顶是待存储的值
i32.const 0   ;; 压入固定内存地址，此时栈顺序：[地址, 值]
swap          ;; 交换栈顶元素，栈顺序变为：[值, 地址]
i32.store     ;; 正确执行存储：将值写入指定内存地址

方法2：用局部变量临时存储值（适合复杂栈场景） #

如果你的栈上存在多个元素，或者需要更灵活的操作，可以用局部变量暂存待存储的值：

;; 栈顶是待存储的值
local.set 0   ;; 将值存入局部变量0，栈清空
i32.const 0   ;; 压入目标内存地址
local.get 0   ;; 取出局部变量中的值，栈顺序：[地址, 值]
i32.store     ;; 执行存储

两种方案都能避开你担心的循环困境，其中swap是最直接高效的选择。

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