如何在WebAssembly中使用`indirect_call`？

Question

有使用indirect_call网上提供的任何实例。基于语义文档，我试过

(call_indirect 
    (i32.const 0) 
    (i32.const 0) 
    ) 

数字是随机的，但不是给出运行时错误，而是我所期望的。我正在解析错误。

什么是call_indirect正确的语法？

Answer 1

为call_indirect的正确语法似乎是

(call_indirect $fsig 
    (i32.const 0) 
) 

凡$fsig是如在type部分中定义的预期功能签名和参数是函数的地址（或更确切地说，其在table指数） 。

就拿下面的C代码示例调用一个函数指针：

typedef void(*fp)(); 

void dispatch(fp x) { 
    x(); 
} 

它compiles到

(module 
    (type $FUNCSIG$v (func)) 
    (table 0 anyfunc) 
    (memory $0 1) 
    (export "memory" (memory $0)) 
    (export "dispatch" (func $dispatch)) 
    (func $dispatch (param $0 i32) 
    (call_indirect $FUNCSIG$v 
     (get_local $0) 
    ) 
) 
) 

这里是一个更完整的例子，我们实际上是调用一个函数test返回一个值：

(module 
    (type $FUNCSIG$i (func (result i32))) 
    (table 1 anyfunc) 
    (elem (i32.const 0) $test) 
    (memory $0 1) 

    (func $test (type $FUNCSIG$i) (result i32) 
    (i32.const 42) 
) 

    (func $main (result i32) 
    (call_indirect $FUNCSIG$i 
     (i32.const 0) 
    ) 
) 

)