webassembly - 如何在 WebAssembly 中创建和引用表？

Question

有人可以分享语法来静态创建具有某些元素的表并引用它吗？我找不到这样做的任何 Web 程序集代码。

还有一些细节，比如我可以有多个列，如果索引不在表中会发生什么等会有所帮助吗？

Answer 1

(针对 2022 年的 Wasm 2.0 更新)

在文本格式中，一个table使用其表类型声明，即(初始)大小和元素类型——目前 funcref 和 externref 是唯一受支持的类型:

(table $name 100 funcref)

从 Wasm 2.0 开始，一个模块中可以有多个表。

可以通过提供一个或多个事件的 element segments 在模块内初始化表:

(elem (i32.const 0) $f1 $f2 $f3)

其中表达式表示偏移量，后面是模块中定义的函数列表。

从 Wasm 2.0 开始，可以通过 table.get、table.set、table.size、 table.grow等

在 2.0 之前，使用表的唯一方法是通过 call_indirect说明:

(call_indirect (type $t) (arg1) ... (argn) (index))

您可以在 Wasm 规范测试套件中找到一些简单的示例，例如这里:

• https://github.com/WebAssembly/spec/blob/master/test/core/table.wast
• https://github.com/WebAssembly/spec/blob/master/test/core/elem.wast
• https://github.com/WebAssembly/spec/blob/master/test/core/table_get.wast
• https://github.com/WebAssembly/spec/blob/master/test/core/table_set.wast

表格没有列。至于execution ，越界访问会导致陷阱，访问未初始化的索引或类型不匹配也是如此。