将结构体导出到 JS

到目前为止,我们已经涵盖了 JS 对象、导入函数和导出函数。这为我们提供了相当丰富的基础,这很棒!但是,我们有时希望更进一步,在 Rust 中定义一个 JS `class`。换句话说,我们希望将 Rust 中的对象及其方法暴露给 JS,而不仅仅是导入/导出自由函数。

`#[wasm_bindgen]` 属性可以同时注释 `struct` 和 `impl` 块,以允许


# #![allow(unused_variables)]
#fn main() {
#[wasm_bindgen]
pub struct Foo {
    internal: i32,
}

#[wasm_bindgen]
impl Foo {
    #[wasm_bindgen(constructor)]
    pub fn new(val: i32) -> Foo {
        Foo { internal: val }
    }

    pub fn get(&self) -> i32 {
        self.internal
    }

    pub fn set(&mut self, val: i32) {
        self.internal = val;
    }
}
#}

这是一个典型的 Rust `struct` 定义,用于具有构造函数和一些方法的类型。用 `#[wasm_bindgen]` 注释结构体意味着我们将生成必要的特征实现来将此类型转换为/从 JS 边界转换。这里注释的 `impl` 块意味着其中的函数也将通过生成的垫片提供给 JS。如果我们看一下为此生成的 JS 代码,我们会看到

import * as wasm from './js_hello_world_bg';

export class Foo {
    static __construct(ptr) {
        return new Foo(ptr);
    }

    constructor(ptr) {
        this.ptr = ptr;
    }

    free() {
        const ptr = this.ptr;
        this.ptr = 0;
        wasm.__wbg_foo_free(ptr);
    }

    static new(arg0) {
        const ret = wasm.foo_new(arg0);
        return Foo.__construct(ret)
    }

    get() {
        const ret = wasm.foo_get(this.ptr);
        return ret;
    }

    set(arg0) {
        const ret = wasm.foo_set(this.ptr, arg0);
        return ret;
    }
}

实际上不多!但是,我们可以在这里看到我们是如何从 Rust 转换为 JS 的

  • Rust 中的关联函数(没有 `self` 的函数)在 JS 中变成了 `static` 函数。
  • Rust 中的方法在 wasm 中变成了方法。
  • 手动内存管理也在 JS 中公开。`free` 函数需要被调用以释放 Rust 侧的资源。

为了能够使用 `new Foo()`,你需要将 `new` 注释为 `#[wasm_bindgen(constructor)]`。

但是,这里需要注意的一个重要方面是,一旦调用了 `free`,JS 对象就会被“中和”,因为它的内部指针会被置空。这意味着对该对象的未来使用应该在 Rust 中触发恐慌。

然而,这些绑定真正的技巧最终发生在 Rust 中,所以让我们看一下。


# #![allow(unused_variables)]
#fn main() {
// original input to `#[wasm_bindgen]` omitted ...

#[export_name = "foo_new"]
pub extern "C" fn __wasm_bindgen_generated_Foo_new(arg0: i32) -> u32 {
    let ret = Foo::new(arg0);
    Box::into_raw(Box::new(WasmRefCell::new(ret))) as u32
}

#[export_name = "foo_get"]
pub extern "C" fn __wasm_bindgen_generated_Foo_get(me: u32) -> i32 {
    let me = me as *mut WasmRefCell<Foo>;
    wasm_bindgen::__rt::assert_not_null(me);
    let me = unsafe { &*me };
    return me.borrow().get();
}

#[export_name = "foo_set"]
pub extern "C" fn __wasm_bindgen_generated_Foo_set(me: u32, arg1: i32) {
    let me = me as *mut WasmRefCell<Foo>;
    wasm_bindgen::__rt::assert_not_null(me);
    let me = unsafe { &*me };
    me.borrow_mut().set(arg1);
}

#[no_mangle]
pub unsafe extern "C" fn __wbindgen_foo_free(me: u32) {
    let me = me as *mut WasmRefCell<Foo>;
    wasm_bindgen::__rt::assert_not_null(me);
    (*me).borrow_mut(); // ensure no active borrows
    drop(Box::from_raw(me));
}
#}

与之前一样,这是从实际输出中清理出来的,但它与正在发生的事情的理念相同!在这里,我们可以看到每个函数的垫片,以及用于释放 Foo 实例的垫片。回想一下,目前唯一有效的 wasm 类型是数字,因此我们需要将所有 Foo 塞进一个 u32 中,这目前是通过 Box(类似于 C++ 中的 std::unique_ptr)完成的。但是请注意,这里还有一个额外的层级,WasmRefCell。此类型与 RefCell 相同,可以基本忽略。

如果您有兴趣,此类型的目的是在一个别名泛滥(JS)的世界中维护 Rust 关于别名的保证。具体来说,&Foo 类型意味着可以有任意多的别名,但至关重要的是,&mut Foo 意味着它是指向数据的唯一指针(没有其他指向同一实例的 &Foo 存在)。libstd 中的 RefCell 类型是在运行时动态强制执行此操作的一种方式(与通常在编译时发生的强制执行方式相反)。将 WasmRefCell 烘焙进来在这里是相同的理念,为别名添加运行时检查,这些检查通常在编译时发生。这目前是一个 Rust 特定的功能,实际上并不存在于 wasm-bindgen 工具本身中,它只存在于 Rust 生成的代码中(即 #[wasm_bindgen] 属性)。