Rustwasm/wasm-bindgen 中FinalizationRegistry注册缺失问题分析

问题概述

在Rustwasm/wasm-bindgen项目中，当导出的Rust类型定义了构造函数时，生成的JavaScript代码中缺少了对FinalizationRegistry的注册调用，这会导致对象无法被自动清理。

技术背景

wasm-bindgen是一个用于在Rust和JavaScript之间建立高级交互的工具。当Rust结构体被导出到JavaScript时，wasm-bindgen会自动生成相应的JavaScript类包装器，并处理内存管理问题。

FinalizationRegistry是JavaScript的一个API，它允许开发者在对象被垃圾回收时执行清理操作。在WebAssembly场景中，这通常用于释放WASM内存中分配的资源。

问题表现

当Rust结构体同时满足以下两个条件时会出现问题：

1. 使用#[wasm_bindgen]宏导出
2. 定义了构造函数（使用#[wasm_bindgen(constructor)]）

在这种情况下，生成的JavaScript代码会创建FinalizationRegistry实例，但不会在构造函数中注册对象，导致自动清理机制失效。

代码示例分析

有问题的代码（定义了构造函数）

#[wasm_bindgen]
pub struct ObjectWithConstructor {}

#[wasm_bindgen]
impl ObjectWithConstructor {
    #[wasm_bindgen(constructor)]
    pub fn new() -> Self {
        Self {}
    }
}

生成的JavaScript代码缺少了FinalizationRegistry.register()调用。

正常工作的代码（无构造函数）

#[wasm_bindgen]
pub struct ObjectNoConstructor {}

#[wasm_bindgen]
impl ObjectNoConstructor {
    pub fn new() -> Self {
        Self {}
    }
}

这种情况下，生成的代码通过__wrap方法正确注册了FinalizationRegistry。

问题根源

问题的根本原因在于代码生成逻辑中缺少了对构造函数场景下FinalizationRegistry注册的支持。具体来说，在生成构造函数代码时，没有调用Context::require_class_wrap()方法，导致注册逻辑被跳过。

影响范围

这个问题会影响所有满足以下条件的Rust类型：

1. 导出到JavaScript
2. 定义了构造函数
3. 依赖自动内存管理

这可能导致内存泄漏，因为WASM端分配的内存不会被自动释放。

解决方案建议

修复方案应该是在生成构造函数代码时，确保调用FinalizationRegistry的注册逻辑。具体实现可能需要：

1. 在构造函数生成代码中添加注册调用
2. 确保注册/注销逻辑对称
3. 保持与无构造函数场景下相同的内存管理语义

开发者注意事项

开发者在使用wasm-bindgen导出带有构造函数的Rust类型时，应当：

1. 检查生成的JavaScript代码是否包含FinalizationRegistry注册
2. 如果发现缺失，可以考虑暂时手动添加注册逻辑
3. 关注项目更新，及时应用修复补丁

总结

这个问题暴露了wasm-bindgen在构造函数场景下的内存管理逻辑不完整。虽然不影响功能使用，但会导致内存泄漏风险。开发者在使用相关功能时应当注意检查生成的代码，或者等待官方修复。