WebAssemblyで `indirect_call`を使うには？

Question

オンラインでindirect_callを使用する例はありません。セマンティクスのドキュメントに基づいて、私が試した

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

番号はランダムであるが、代わりに私が期待していた実行時エラーを与えます。解析エラーが発生しています。

call_indirectの正しい構文は何ですか？

Answer 1

call_indirectの正しい構文は、$fsigをtypeセクションで定義されるように期待される機能の署名であり、引数が関数（又はむしろtableそのインデックス）のアドレスである

(call_indirect $fsig 
    (i32.const 0) 
) 

であるように見えます。例えば

テイク関数ポインタ呼び出して、次の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) 
    ) 
) 

)