JavaScript调用Emscripten编译的WebAssembly时，如何实现内存自动释放？

这个问题确实戳中了JS和C交互时的痛点——JS开发者习惯了自动垃圾回收，手动写try...finally很容易遗漏或者写错。好在现在有几个靠谱的解决方案，既能让用户安全使用库，又能自动处理C侧的内存释放：

方案1：用FinalizationRegistry实现自动兜底清理 #

这是现代JS里最标准的做法，ES2021引入的FinalizationRegistry专门用来在对象被垃圾回收后执行清理逻辑。我们可以改造你的包装器：

// 创建一个终结器注册表，负责在对象被GC后释放C内存
const tsFinalizer = new FinalizationRegistry((ptimeseries) => {
  cfunctions.ts_free(ptimeseries);
});

const timeseries = {
  ptimeseries: 0,
  initialize() {
    this.ptimeseries = cfunctions.ts_create();
    // 将当前JS对象和对应的C指针绑定到终结器
    tsFinalizer.register(this, this.ptimeseries);
  },
  destroy() {
    // 手动清理时，先从注册表移除，避免重复释放
    tsFinalizer.unregister(this);
    if (this.ptimeseries !== 0) {
      cfunctions.ts_free(this.ptimeseries);
      this.ptimeseries = 0;
    }
  },
  // 其他操作函数...
};

使用时，开发者甚至可以不用手动调用destroy：

const myTimeseries = Object.create(timeseries);
myTimeseries.initialize();
// 执行各种操作
// 当myTimeseries不再被任何变量引用时，JS引擎GC会自动触发终结器，释放C侧内存

⚠️ 注意事项：

• FinalizationRegistry的执行时机不确定，取决于JS引擎的GC策略。如果你的库会处理大量内存，一定要保留手动destroy方法，让开发者在合适的时机主动释放，终结器只作为兜底。
• 手动调用destroy时必须执行unregister，否则对象被GC时终结器会尝试释放已经被free的指针，导致崩溃。

方案2：用Class封装+自动清理（更符合现代JS习惯） #

如果你的用户更习惯用类来实例化对象，可以把逻辑封装在Class里，结合FinalizationRegistry和可选的using声明：

const tsFinalizer = new FinalizationRegistry((ptimeseries) => {
  cfunctions.ts_free(ptimeseries);
});

class Timeseries {
  constructor() {
    this.ptimeseries = cfunctions.ts_create();
    tsFinalizer.register(this, this.ptimeseries);
  }

  // 手动清理方法
  destroy() {
    if (this.ptimeseries === 0) return;
    tsFinalizer.unregister(this);
    cfunctions.ts_free(this.ptimeseries);
    this.ptimeseries = 0;
  }

  // 实现Symbol.dispose，支持ES2022的using声明
  [Symbol.dispose]() {
    this.destroy();
  }

  // 其他操作方法...
}

使用方式：

// 普通用法，依赖GC自动清理
let myTimeseries = new Timeseries();
// 执行操作
// 当myTimeseries = null; 或不再被引用时，GC会自动清理

// 用using声明，代码块结束自动清理（ES2022+）
using myTimeseries = new Timeseries();
// 这里执行所有操作
// 代码块结束时会自动调用[Symbol.dispose]，立即释放内存

方案3：用回调包装操作，完全屏蔽内存管理 #

如果希望用户完全不用接触内存相关的API，可以把所有操作都包装在一个回调函数里，由库来处理初始化和清理：

function withTimeseries(callback) {
  const ts = Object.create(timeseries);
  ts.initialize();
  try {
    // 把实例传给回调，用户在回调里操作
    return callback(ts);
  } finally {
    // 不管回调成功还是失败，都自动清理
    ts.destroy();
  }
}

使用时非常简单：

withTimeseries((myTimeseries) => {
  // 在这里执行所有操作，不用关心清理
  myTimeseries.doSomething();
  myTimeseries.doAnotherThing();
});
// 回调结束后，内存已经自动释放

这种方式适合短生命周期的操作，但如果需要长时间持有对象（比如在UI组件中持续使用），就不太适用了。

总结一下：优先推荐方案1或方案2，既保留了手动清理的能力（应对内存敏感场景），又能通过FinalizationRegistry实现自动兜底，完美适配JS开发者的使用习惯。

内容的提问来源于stack exchange，提问作者Antonis Christofides