引用类型支持

WebAssembly 最近获得了对名为 externref 的新值类型支持。该功能在 WebAssembly 引用类型仓库 中提出,希望能够实现主机 (JS) 和 wasm 模块之间更高效的通信。此功能消除了 wasm-bindgen 生成的许多 JS 胶水代码的必要性,因为它可以原生调用具有 JS 值的 API。

例如,这个 Rust 函数


# #![allow(unused_variables)]
#fn main() {
#[wasm_bindgen]
pub fn takes_js_value(a: &JsValue) {
    // ...
}
#}

在没有引用类型支持的情况下会生成以下 JS 胶水代码

const heap = new Array(32).fill(undefined);

heap.push(undefined, null, true, false);

let stack_pointer = 32;

function addBorrowedObject(obj) {
    if (stack_pointer == 1) throw new Error('out of js stack');
    heap[--stack_pointer] = obj;
    return stack_pointer;
}

export function takes_js_value(a) {
    try {
        wasm.takes_js_value(addBorrowedObject(a));
    } finally {
        heap[stack_pointer++] = undefined;
    }
}

我们可以看到,在幕后,JS 如何管理一个 JS 值表,这些值被传递给 wasm 二进制文件,因此 wasm 实际上只在索引中工作。但是,如果我们将 --reference-types 标志传递给 CLI,生成的 JS 将如下所示

export function takes_js_value(a) {
    wasm.takes_js_value(a);
}

就这样!WebAssembly 二进制文件直接获取 JS 值并在内部进行管理。

目前,此功能在 Firefox 79+ 和 Chrome 中受支持。其他浏览器可能会很快支持!在 Node.js 中,此功能位于 --experimental-wasm-anyref 标志之后,尽管截至 14.6.0,该支持目前与上游规范不一致。