当 Rust wasm_bindgen 对象被添加到向量中时，该对象在 JS 端变为 null

Question

我有两个导出到 Javascript 的结构。我可以创建实例并在 JavaScript 中使用它们，不会出现任何错误，但是当我将实例推入 Rust 端的向量时，出现错误“未捕获错误：空指针传递给 rust”

由于所有权已更改，JS 对象变为 null 是完全正常的，但我还需要保留 JavaScript 对象以便在 JavaScript 端更改内容。

有没有正确的方法来保持“vect”对象不为空并接受更改？

我添加了一个工作示例。您可以在浏览器的控制台中看到错误。

Rust 代码

use wasm_bindgen::prelude::*;

#[wasm_bindgen]
struct Vector3 {
    x: f32,
    y: f32,
    z: f32,
}

#[wasm_bindgen]
impl Vector3 {
    #[wasm_bindgen(constructor)]
    pub fn new() -> Vector3 {
        return Vector3 {
            x: 0.0,
            y: 0.0,
            z: 0.0,
        };
    }
    pub fn get_x(&self) -> f32 {
        self.x
    }
}

#[wasm_bindgen(extends = Object)]
struct Group {
    list: Vec<Vector3>,
}

#[wasm_bindgen]
impl Group {
    #[wasm_bindgen(constructor)]
    pub fn new() -> Group {
        return Group { list: vec![] };
    }

    pub fn add(&mut self, vec: Vector3) {
        self.list.push(vec);
    }
}

JavaScript 代码

let group = new Group();

let list = [];
for (let i = 0; i < 10; i++) {
  let vect = new Vector3();
  list.push(vect);
  group.add(vect);
}

setInterval(() => {
  for (let i = 0; i < list.length; i++) {
    const vect = list[i];
    console.log(vect.get_x());
  }
}, 1000);

Answer 1

您应该非常警惕数据重复 - 一份副本位于 JS 端，然后位于 Rust 的 WASM 端。这里的问题是，将Group.add值移出，因此一旦调用 group.add，向量内部“堆指针”（由 wasm-bindgen 生成的互操作代码维护）就会发生变化，并且先前的副本变得无效，因此插入的值list几乎没有什么用处。

处理这种情况的 Rust-y 方法是保留一个借用值列表，并显式管理生命周期，以便该列表不会比其元素寿命更长。不幸的是，wasm-bindgen 不允许在导出的结构上进行显式生命周期声明，因此该选项已被淘汰。

理想情况下，所有与处理向量相关的逻辑都应该只存在于 Rust 中，并且对 JavaScript 隐藏。如果您确实需要访问这两个位置的向量，最简单的暴力解决方案是向组添加一个 getter 并将其用作“主副本”。代码如下所示：

#[wasm_bindgen]
#[derive(Copy, Clone)]
pub struct Vector3 {
    x: f32,
    y: f32,
    z: f32,
}

#[wasm_bindgen]
impl Vector3 {
    #[wasm_bindgen(constructor)]
    pub fn new() -> Vector3 {
        Vector3 { x:0.0, y:0.0, z:0.0 }
    }

    pub fn get_x(&self) -> f32 {
        self.x
    }

    pub fn get_y(&self) -> f32 {
        self.y
    }

    pub fn get_z(&self) -> f32 {
        self.z
    }
}

#[wasm_bindgen]
pub struct Group{
    list: Vec<Vector3>,
}

#[wasm_bindgen]
impl Group {
    #[wasm_bindgen(constructor)]
    pub fn new() -> Group {
        Group { list: vec![] }
    }

    pub fn add(&mut self, vec: Vector3) {
        self.list.push(vec);
    }

    pub fn get_at(&self, idx: usize) -> Vector3 {
        self.list[idx]
    }
}

然后，JavaScript 端将如下所示：

...

setTimeout(() => {
  for (let i = 0; i < list.length; i++) {
    const vect = group.get_at(i);
    console.log(vect.get_x());
  }
}, 1000);

...

我们摆脱了list。

注意：这是管理列表的一种非常糟糕的方式，因为每次你打电话时get_at都会创建向量的另一个副本，因此如果您的代码计算量很大，那么内存泄漏可能会成为一个问题。不幸的是，wasm-bindgen 不允许借用返回值，因此如果您需要在一次调用中获得整个元组，则克隆几乎是唯一的选择。

如果您不介意在 JS 端处理许多小调用，那么更明显的优化之一是将get_at其拆分并转换为get_x_at, get_y_at，get_z_at从而避免需要跨 wasm 边界携带 Vector 实例。

更好的是，也许您可​​以想出一种不同的方法来分割关注区域，以便向量根本不必跨越装配边界。

希望有帮助！