WeakMap/WeakSet 内存回收演示 - 弱引用可视化

WeakSet 和 Set 的区别与 WeakMap 和 Map 的区别类似。Set 对其元素持有强引用，只要 Set 实例存在，元素就不会被 GC 回收。WeakSet 对元素持有弱引用，外部引用消失后 GC 可随时回收。

WeakSet 同样不可迭代，没有 size 属性和 clear() 方法。WeakSet 只能存储对象值，不能存储原始值。这些限制确保了弱引用语义的一致性。

在实际应用中，WeakSet 常用于存储需要被 GC 回收的对象集合，例如跟踪一组 DOM 节点的元数据。当 DOM 节点被移除后，对应的元数据可以被自动回收，避免内存泄漏。

WeakMap/WeakSet 的典型使用场景包括：

• 缓存数据：以对象作为缓存键，当对象不再被使用时缓存自动清理，无需手动管理过期策略。
• 私有属性存储：使用 WeakMap 将私有数据与实例对象关联，避免将私有属性挂在实例上导致命名冲突。
• DOM 节点元数据：为 DOM 元素关联额外数据（如事件处理器状态、组件实例等），当元素被移除时元数据自动回收。
• 对象标记与追踪：使用 WeakSet 标记已处理的对象，无需修改对象本身，也不阻止 GC 回收。
• 依赖注入与观察者模式：存储对目标对象的弱引用观察者列表，当目标被回收时观察者自动清理。

本工具通过交互式演示，帮助您理解这些场景背后的内存管理原理。

弱引用的概念仅对对象有意义。原始值（如数字、字符串、布尔值）在 JavaScript 中是按值传递的，它们没有"引用"的概念——原始值本身就是一个值，不存在"回收"的问题。只有对象存储在堆内存中，通过引用来访问，GC 才需要决定何时回收。

WeakMap 的设计目的是允许 GC 在对象不再被外部引用时回收键值对。如果允许原始值作为键，由于原始值按值存储在 WeakMap 内部，即使外部变量被释放，WeakMap 内部仍保留着该值，这与弱引用的语义完全矛盾。

在本工具中，尝试使用原始值作为键时会收到错误提示，帮助您理解这一设计约束背后的原理。

FinalizationRegistry 是 ES2021 引入的 API，用于在对象被垃圾回收时执行清理回调。它允许您注册一个目标对象和对应的清理回调函数，当目标对象被 GC 回收时，回调函数会被调用。这使得原本不可见的 GC 事件变得可观测。

在本工具中，当您创建一个对象并加入 WeakMap/WeakSet 时，工具会自动将该对象注册到 FinalizationRegistry 中。当 GC 模拟执行并回收该对象时，FinalizationRegistry 的回调会被触发，您可以在状态面板中看到回调的执行记录，包括回收的对象标识和触发时间。

需要注意的是，FinalizationRegistry 的回调执行时机是不确定的——GC 何时运行、回调何时被调用都取决于引擎实现。在生产代码中不应依赖 FinalizationRegistry 的回调时序。

垃圾回收的触发时机由 JavaScript 引擎（如 V8、SpiderMonkey）内部的 GC 算法决定，开发者无法精确控制。现代引擎通常采用分代回收策略：新生代（新创建的对象）使用 Scavenge 算法频繁回收，老生代（存活时间长的对象）使用 Mark-Sweep/Mark-Compact 算法较少回收。

GC 的触发条件通常包括：内存使用达到阈值、空闲时执行增量回收等。开发者无法通过代码显式触发 GC（部分引擎提供调试接口，但不应在生产代码中使用）。

本工具提供了"触发 GC 模拟"按钮，这是一个教学模拟功能，用于演示 GC 的行为逻辑。实际生产环境中 GC 的行为会更复杂。理解 GC 的不可预测性是正确使用 WeakMap/WeakSet 的前提。

WeakMap 和 WeakSet 不可迭代的根本原因在于弱引用语义。如果允许遍历 WeakMap/WeakSet，就意味着可以获取所有弱引用键或元素的强引用（通过遍历结果持有），这会阻止 GC 回收这些对象，与弱引用"不阻止回收"的设计目标直接矛盾。

因此，WeakMap 没有 keys()、values()、entries() 方法，也没有 forEach() 方法和 size 属性。WeakSet 同样不可迭代。这是规范层面的强制约束，而非实现限制。

在实际开发中，如果您需要遍历键值对，应使用 Map/Set。WeakMap/WeakSet 适用于只需要"存储关联数据"而不需要遍历的场景，如缓存、元数据存储等。

使用 WeakMap 做缓存时需要注意以下几点：

• 缓存条目可能随时消失：由于弱引用特性，缓存的条目在外部引用消失后可能被 GC 回收，因此不适合作为持久化缓存。
• 无法遍历缓存内容：WeakMap 不可迭代，无法获取所有缓存条目或缓存大小，不适合需要批量操作缓存的场景。
• 键必须是对象：缓存键必须是对象，不能是原始值（如用户 ID 等），这限制了适用场景。
• GC 时机不确定：缓存条目的回收时机不可预测，可能在需要时已被回收，导致缓存未命中。

WeakMap 缓存最适合的场景是：以对象实例为键，存储该对象的计算结果或关联数据，当对象不再使用时缓存自动清理。本工具的实验场景可以帮助您直观理解这些注意事项。

不一定。FinalizationRegistry 的回调不保证一定执行，且执行时机不确定。根据 ECMAScript 规范，GC 回收对象后，注册的回调"最终"会被调用，但引擎可以选择：

• 在任意时间点执行回调（不一定是立即）
• 不执行回调（例如进程退出前可能跳过）
• 在不同引擎中行为可能有差异

因此，FinalizationRegistry 不适合用于关键业务逻辑（如资源释放的唯一手段）。它更适合作为辅助清理机制或调试工具。在本工具中，GC 模拟会尽量触发回调以帮助理解，但实际生产环境中应谨慎依赖此机制。

不能。WeakMap 的键和 WeakSet 的值都必须是对象，不能是原始值（number、string、boolean、null、undefined、symbol、bigint）。

这是因为弱引用只对对象有意义。原始值没有"引用"的概念——它们按值存储在栈内存中，不存在"GC 回收"的问题。如果允许原始值作为弱引用的键或值，WeakMap/WeakSet 内部就必须保留这些值的副本，这与弱引用"不阻止 GC 回收"的设计语义完全矛盾。

如果您需要以原始值为键进行关联存储，应使用普通的 Map/Set。