WeakRef与垃圾回收未按预期工作，请求排查原因

在项目开发中需要使用WeakRef和FinalizationRegistry，但无法触发预期的垃圾回收行为，编写的测试示例结果不符合预期，以下是问题详情及分析：

测试示例代码 #

let ref = new WeakRef({});

console.log("log", ref, ref.deref());

global.gc();

new Promise((res)=>{
    setTimeout(()=>{res()}, 100_000)
}).then(()=>{
    console.log("log2", ref, ref.deref());
})

global.gc();

console.log("log3", ref, ref.deref());

预期输出 #

log WeakRef {} {}

log3 WeakRef {} undefined // 此处可能仍输出对象，但log2必须为undefined
log2 WeakRef {} undefined

实际输出 #

log WeakRef {} {}

log3 WeakRef {} {}
log2 WeakRef {} {}

运行环境 #

• 触发手动GC时的命令：node --expose-gc {filename}.js
• 不触发手动GC时的命令：node {filename}.js
• 测试Node.js版本：17.9.1、20.10.0、21.7.3

问题原因分析 #

核心问题在于V8引擎的垃圾回收机制对对象可达性的判断：

1. 当前执行上下文的栈引用：在同步代码块中，原对象虽然没有被显式变量引用，但V8的栈帧可能暂时保留了该对象的引用——因为代码中后续还会调用ref.deref()，引擎的存活分析会认为该对象仍处于可访问状态，不会进行回收。
2. 手动GC的局限性：即使调用global.gc()，V8也不会强制回收所有看似不可达的对象，尤其是当对象还在当前调用栈的范围内时，垃圾回收器不会销毁这些对象（同步代码未执行完毕，栈帧未释放）。
3. 隐式引用残留：引擎的调试信息、JIT优化机制可能会隐式保留对象引用，导致WeakRef关联的对象无法被及时回收。

修正后的测试代码 #

要让WeakRef的目标对象被正确回收，需要确保对象没有任何显式或隐式的强引用，可将对象的创建放在独立函数中，让函数执行完毕后释放栈帧：

function createWeakRef() {
  // 对象仅在函数内部创建，函数执行完后无强引用残留
  return new WeakRef({});
}

let ref = createWeakRef();

console.log("log", ref, ref.deref());

global.gc();

new Promise((res) => {
  setTimeout(() => res(), 100); // 缩短等待时间，方便测试
}).then(() => {
  console.log("log2", ref, ref.deref());
});

global.gc();

console.log("log3", ref, ref.deref());

额外注意事项 #

• WeakRef的回收时机完全由垃圾回收器决定，即使对象已不可达，内存充足时也可能不会触发回收，不能依赖它做精确的资源释放。
• FinalizationRegistry的回调是异步且非确定性的，仅适用于非关键的清理逻辑，比如缓存清理，不能用于释放文件句柄、数据库连接等关键资源。

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