Wasmtime 47 版本发布：默认开启垃圾回收与异常处理，多方面优化值得期待！
2026 年 7 月 20 日，Nick Fitzgerald 发布消息，在 [Wasmtime 47 版本](https://github.com/bytecodealliance/wasmtime/releases/tag/v47.0.0) 中，WebAssembly 垃圾回收（Wasm GC）和异常处理提案默认开启，助力更多语言在 WebAssembly 及 Wasmtime 运行环境中使用，这是 Wasmtime 重大变革与多年工程努力的成果。
Wasmtime
[Wasmtime](https://wasmtime.dev/) 是一款具备快速、安全和可移植特点的 WebAssembly 运行时，能独立运行、轻量级且易于嵌入。其维护者致力于开放标准，积极参与 WebAssembly 标准化工作。
Wasm GC
WebAssembly 早期版本中，采用对象和引用数据模型的高级语言需嵌入自身垃圾回收器，导致 `.wasm` 二进制文件臃肿，且部分常用技术无法使用。[Wasm GC](https://github.com/WebAssembly/gc) 提案改善了这一状况，为 WebAssembly 增加对高级语言的高效支持，扩展语言让 Wasm 程序可定义类型及子类型关系，运行时处理生命周期管理和释放，工具链可利用运行时垃圾回收器，为更多语言以 WebAssembly 为目标打开大门。例如展示了 Wasm 程序定义[二叉树的节点类型](https://github.com/bytecodealliance/sightglass/blob/98ff8a598b4b4f6eab0d8f391118411990efde96/benchmarks/splay/splay.wat#L15-L22)，新实例通过 [`struct.new $node`](https://github.com/bytecodealliance/sightglass/blob/98ff8a598b4b4f6eab0d8f391118411990efde96/benchmarks/splay/splay.wat#L310) 创建，字段通过指令访问。
Wasm 异常处理
Wasm 的[异常处理提案](https://github.com/WebAssembly/exception-handling)为 WebAssembly 上的异常处理提供高效支持，使 WebAssembly 更适合有异常处理机制的语言编译。若无此提案，工具链需实现自定义调用约定，增加 `.wasm` 文件大小和运行时开销。有了该提案，采用 `throw` 和 `try`/`catch` 风格结构，运行时用栈展开方法，正常返回路径无开销，实现更快执行速度和更小文件。
Wasmtime 的垃圾回收实现
Wasmtime 采用 [Cheney 式半空间复制垃圾回收器](https://en.wikipedia.org/wiki/Cheney%27s_algorithm)，垃圾回收堆分“活动”和“空闲”半空间，回收时存活对象复制到新活动空间，更新垃圾回收根指向。分配操作简单移动指针，无需读写屏障。底层复用 WebAssembly 线性内存实现和沙箱化垃圾回收堆，引用为 32 位索引，在安全、速度和可移植性方面有好处。为增强对垃圾回收器正确性的信心，扩展模糊测试基础设施，扩展 [`wasm-smith`](https://github.com/bytecodealliance/wasm-tools/tree/main/crates/wasm-smith) 支持 GC 提案，补充两个模糊测试器。目前工程工作主要集中在正确性，性能关注少，与 [V8](https://v8.dev/) 和 [SpiderMonkey](https://spidermonkey.dev/) 中的垃圾回收器相比，吞吐量和延迟表现不佳，主要针对生产环境常见用例设计。
下一步计划
还有大量[性能优化工作](https://github.com/bytecodealliance/wasmtime/issues?q=is%3Aissue%20state%3Aopen%20gc%20label%3Awasm-proposal%3Agc%20label%3Aperformance)要做，如扩展编译器别名分析优化并加入 GC 类型信息。功能上，下一个重要里程碑是在[惰性值降低](https://github.com/WebAssembly/component-model/issues/383)基础上，对[垃圾回收与组件模型的集成](https://github.com/WebAssembly/component-model/issues/525)进行原型设计。
总结
很高兴达到这一里程碑，欢迎试用 [Wasmtime](https://wasmtime.dev/) 新启用的垃圾回收和异常处理支持，并分享使用体验。
1. 注意，GC 提案已合并到 WebAssembly 主规范中，因此提案页面现在是特定时间点的存档快照。 ↩
2. 与 GC 提案一样，异常处理提案也已合并到 WebAssembly 主规范中，提案仓库现在是一个存档的历史快照。 ↩
3. 在撰写本文时，`wasm-smith` 在 Wasm GC 方面唯一的不足是它永远不会生成非空引用。 ↩
