如何在Wasm(WAT)中通过动态索引访问栈变量？

你遇到的核心问题是：local.get的参数必须是编译期确定的常量索引，不能用栈上的动态值作为参数——它不是变量名，而是直接对应函数里局部变量的固定位置编号，没法通过动态值指定要访问的局部变量索引，所以(local.get (local.get 0))这种写法会报错。

如果想要实现类似“用动态值索引访问变量”的效果（比如你期望用local 0的值1作为索引，获取local 1的值2），可以用以下两种方案：

方案1：用线性内存模拟数组 #

WebAssembly的线性内存是连续的字节空间，可以用来模拟数组，支持动态地址寻址：

(module
  (import "console" "log" (func $log (param i32)))
  (memory 1) ;; 分配1页线性内存（64KB）
  (func $main
    (local $idx i32)
    (local.set $idx (i32.const 1)) ;; 动态索引值为1

    ;; 将值存入线性内存：i32类型占4字节，所以每个元素地址是索引×4
    (i32.store (i32.const 0) (i32.const 1)) ;; 地址0存值1
    (i32.store (i32.const 4) (i32.const 2)) ;; 地址4存值2

    ;; 用动态索引计算地址，读取对应值
    (i32.load (i32.mul (local.get $idx) (i32.const 4)))
    call $log
  )
  (start $main)
)

方案2：用分支判断处理有限索引 #

如果你的索引范围很小（比如只有0、1两个可能值），可以通过条件分支来选择对应的局部变量：

(module
  (import "console" "log" (func $log (param i32)))
  (func $main
    (local $val0 i32)
    (local $val1 i32)
    (local $idx i32)

    (local.set $val0 (i32.const 1))
    (local.set $val1 (i32.const 2))
    (local.set $idx (i32.const 1)) ;; 动态索引值

    ;; 根据索引判断读取哪个局部变量
    (if (i32.eq (local.get $idx) (i32.const 0))
      (then (local.get $val0))
      (else (local.get $val1))
    )
    call $log
  )
  (start $main)
)

简单总结：WebAssembly的局部变量是静态索引绑定的，不支持动态寻址，必须借助线性内存（适合数组场景）或分支逻辑（适合有限索引场景）来实现你要的动态访问效果。

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