内存管理

是什么，为什么存在

JavaScript 的内存管理包括为值分配存储空间、在执行期间访问这些值，以及回收不再需要的空间。语言运行时通过 垃圾回收（garbage collection） 处理最后一步，因此应用代码没有通用的 free() 操作。自动回收避免了许多悬空指针问题，但不会理解你的业务生命周期。

垃圾回收器关注 可达性（reachability） ，而不是对象是否“看起来没用了”。只要运行时能从根沿强引用找到一个对象，该对象及其可达的 对象图（object graph） 就必须保留。全局变量、当前执行中的局部绑定，以及宿主持有的回调通常都能成为这类路径的一部分。

内存泄漏（memory leak） 在垃圾回收语言中通常不是“不可达对象没有被释放”，而是应用已经不需要的对象仍然可达。无限增长的 Map、未注销的事件监听器和捕获大对象的长期闭包都是常见来源。回收器不能猜出这些引用已经违背产品意图。

你会在长时间运行的页面、Node.js 服务、缓存、订阅系统和大量临时分配中遇到内存问题。正确目标不是尽快把每个局部变量设为 null，而是让数据所有权、容量上限和清理时机可见。只有测量显示分配速率或停顿确实有问题时，才需要针对垃圾回收优化。

工作原理

可以把运行时内存看成一张有向图：对象是节点，属性、集合项和闭包捕获是边。垃圾回收器从一组根开始标记能到达的节点；没有被标记的部分才有资格回收。ECMAScript 不要求所有引擎使用同一种具体算法，因此“标记—清除”适合作为心智模型，却不是每个实现细节的语言保证。

图中的循环 X → Y → X 没有来自根的路径，因此循环本身不会阻止现代追踪式垃圾回收器回收它们。相反，Registered callback 仍由宿主保存，它捕获的 Captured state 就保持可达。分析问题时，应寻找从根到目标的保留路径，而不是只数对象之间有多少条引用。

强引用与生命周期

普通变量、对象属性、数组元素以及 Map 的键和值通常形成强引用。删除一条边只在它是最后一条根路径时才会让目标不可达；给一个局部变量赋 null 并不会删除其他别名。垃圾回收的时间也不由程序决定，对象变得不可达与内存实际被回收是两件事。

作用域结束经常会移除一条路径，但“离开作用域就清栈、对象必然回收”过于具体。引擎可以用寄存器、栈或堆实现值，只要可观察行为正确。讨论泄漏时，按绑定和对象图推理比猜测某个值位于“栈还是堆”更可靠。

弱集合与弱引用

WeakMap 的键和 WeakSet 的成员不会仅因为位于该集合中就保持可垃圾回收的对象或非注册符号存活。它们适合把元数据关联到生命周期由别处拥有的对象。 弱集合（weak collection） 不可枚举，也没有 size，因为暴露条目清单会让不可预测的垃圾回收时机变成程序可观察行为。

WeakRef 提供对目标的弱访问，deref() 可能返回对象，也可能返回 undefined。即使两次调用相隔很短，代码也不应把目标仍然存在当成业务保证。只要普通强引用能表达所有权，就优先使用普通引用；弱引用主要服务于经过测量、允许条目随时消失的特殊缓存或桥接结构。

FinalizationRegistry 可以在目标被回收后安排回调，但回调可能很晚执行，也可能永远不执行。它不能承担关闭文件、提交事务或释放锁等正确性职责。外部资源需要显式的 close()、dispose() 或结构化生命周期，终结回调最多作为补充防线或诊断信号。

回收与资源清理

内存回收解决的是存储空间可重新使用的问题，资源清理解决的是监听器、计时器、套接字或文件句柄何时停止工作。二者相关，却没有相同的时钟。一个仍然可达的组件可以正确关闭套接字，一个已经不可达的包装对象也可能没来得及运行任何终结回调。

因此，拥有者应在生命周期结束时主动断开外部注册，并删除不再需要的集合项。清理方法最好可重复调用，部分初始化失败时也能安全执行。这样既缩短保留路径，也让行为不依赖垃圾回收调度。

示例

下面四个示例依次展示强集合保留、监听器清理、有界缓存和弱关联。所有输出均使用本地 Node 24 实际运行得到；示例不强制触发垃圾回收，因为回收时机不是可移植的程序契约。

找到真正的强引用

局部变量 job 被设为 null 后，Map 仍通过值保存任务对象。只有删除映射，代码才移除这里展示的那条长期强引用路径。

job = null 只改变局部绑定，不会遍历程序并清除所有别名。activeJobs.delete(jobId) 删除了 Map 的边，但示例无法证明对象立刻被回收，因为引擎可以稍后才运行垃圾回收。如果还有其他强引用，对象仍然存活。

这也是诊断保留问题的基本方法：先确定目标对象，再沿保留路径向根回溯。看到一处 null 赋值不能结束调查；你必须检查集合、闭包、DOM 属性和宿主注册中是否仍有路径。

用一个信号结束监听器生命周期

AbortController 可以让同一生命周期中的多个监听器共享一个明确的停止信号。abort() 后，第二次派发不会再调用处理器，因此处理器捕获的 prices 不再由该注册路径保留。

const feed = new EventTarget();
const controller = new AbortController();
const prices = [];

feed.addEventListener(
  "price",
  (event) => prices.push(event.value),
  { signal: controller.signal },
);

const firstUpdate = new Event("price");
firstUpdate.value = 101;
feed.dispatchEvent(firstUpdate);
console.log(prices);

controller.abort();

const lateUpdate = new Event("price");
lateUpdate.value = 102;
feed.dispatchEvent(lateUpdate);
console.log(prices);

[ 101 ]
[ 101 ]

这个模式把清理句柄交给生命周期所有者，而不是要求调用方重新构造同一个匿名函数来执行 removeEventListener()。在 UI 组件中，控制器通常属于组件实例，并在卸载时中止。若一个控制器管理多项注册，要确认它们确实共享相同生命周期。

中止监听器并不会清空 prices，因为这不是监听器 API 的职责。数组能否回收取决于剩余引用；如果组件仍要展示历史数据，它就应该保留。内存管理的核心是表达所有权，而不是机械地把每个字段都设成 null。

给强缓存设置硬边界

强引用缓存必须有容量、过期或显式失效策略。这个最小缓存按插入顺序删除最早的键，所以第三次插入后最多保留两个值。

class RecentCache {
  #entries = new Map();

  constructor(limit) {
    if (!Number.isInteger(limit) || limit < 1) {
      throw new RangeError("limit must be a positive integer");
    }
    this.limit = limit;
  }

  set(key, value) {
    this.#entries.delete(key);
    this.#entries.set(key, value);

    if (this.#entries.size > this.limit) {
      const oldestKey = this.#entries.keys().next().value;
      this.#entries.delete(oldestKey);
    }
  }

  keys() {
    return [...this.#entries.keys()];
  }
}

const cache = new RecentCache(2);
cache.set("profile:1", { name: "Ada" });
cache.set("profile:2", { name: "Lin" });
cache.set("profile:3", { name: "Sam" });

console.log(cache.keys());
console.log(cache.limit);

[ 'profile:2', 'profile:3' ]
2

这是插入顺序缓存，不是完整的 LRU：读取条目不会刷新顺序。名称应准确反映这个契约，以免调用方误以为热点条目会保留。生产实现还要决定覆盖、并发加载、失败结果和时间过期的语义。

边界把最坏条目数从输入规模中分离出来，但条目数不等于字节数。若单个值大小差异很大，需要按权重限制或在压力测试中测量实际保留大小。没有测量前，不要声称对象池或手写循环一定更省内存。

用 WeakMap 关联非拥有型元数据

WeakMap 让会话对象决定元数据条目的生命周期。结构相同的新对象不是原键，而别名仍然是强引用，因此把 session 设为 null 后仍可通过 alias 查询。

const access = new WeakMap();

let session = { id: "s-1" };
const alias = session;
access.set(session, { role: "admin" });

console.log(access.get(session).role);
console.log(access.has({ id: "s-1" }));

session = null;
console.log(access.get(alias).role);
console.log(typeof access.keys);

admin
false
admin
undefined

最后一行说明 WeakMap 没有 keys() 方法。代码不能列出当前条目，也不能通过示例观察目标何时回收。需要可枚举、可统计或按字符串键查询的缓存时，应使用带边界的 Map，而不是为了“自动清理”改用弱集合。

弱集合不会削弱程序中其他引用。alias 仍然保留会话对象，所以对应元数据仍可读取。审查弱缓存时，要同时检查键由谁强持有，以及值是否不必要地保存了更大的对象图。

陷阱

把循环引用当成泄漏

修复： 在堆快照中检查从根到对象的保留路径。若路径经过全局集合、活动监听器或未结束的任务，就修复那条长期边；不要为了打断一个已经不可达的内部循环而到处写 null。

让缓存无限增长

修复： 先写出缓存所有者、最大条目或权重、淘汰规则以及失效触发点。测试超过边界、覆盖现有键和加载失败的情况，并观察稳定负载下的保留大小是否趋于平台期。

注册后没有对称清理

修复： 让注册操作返回清理函数，或使用由所有者持有的 AbortSignal。在卸载、取消和部分初始化失败路径中调用清理，并用重复挂载与卸载测试监听器数量或堆快照。

把 WeakRef 当成可靠缓存

修复： 把弱缓存命中视为可选优化，未命中时必须能重新计算或读取权威数据。需要稳定容量、命中率统计或遍历时，使用具有明确淘汰规则的强缓存。

依赖 FinalizationRegistry 释放资源

修复： 提供显式且幂等的关闭方法，并用 try/finally 或结构化 API 确保调用。终结器只能记录遗漏或提供非关键补偿，不能成为主要生命周期协议。

看到堆增长就宣布泄漏

修复： 固定输入和空闲状态，重复同一操作多轮，在可比较的回收点获取快照，然后比较对象数量与保留路径。只有无法回到稳定平台且增长对象符合业务嫌疑时，才把它当作泄漏证据。

延伸阅读

• MDN：Memory management说明可达性、垃圾回收与内存泄漏的基础模型。
• MDN：WeakMap记录弱键、不可枚举性和适用场景。
• MDN：WeakRef解释 deref() 与避免使用弱引用的建议。
• MDN：FinalizationRegistry说明终结回调的非确定性保证。
• V8：Trash talk介绍 Orinoco 的分代、并行和并发回收设计。
• Chrome DevTools：Fix memory problems给出浏览器堆快照和保留树的诊断流程。