JavaScript WeakSet与Set的区别及使用场景详解

在 JavaScript 中，Set 和 WeakSet 都是用于存储不重复值的集合结构，但它们在存储元素类型、内存引用方式、可遍历性以及生命周期管理上有着本质不同。简而言之，Set 是一般意义上的强引用值集合，支持任何数据类型与完整的遍历操作；而 WeakSet 是专门用于存储对象或非全局注册符号的弱引用集合，不可遍历且没有长度概念，其核心价值在于随对象自然垃圾回收而自动释放内存，避免内存泄漏。

一、Set 与 WeakSet 核心特性对比

为了直观区分两者，我们需要从存储类型、引用强弱、迭代支持以及 API 完整度四个维度进行审视。下表总结了两者的关键规格差异：

对比维度	Set	WeakSet
允许存储的值类型	任何类型（原始值如数字、字符串，以及对象）	仅限对象（Object）及未在全局注册的 Symbol
引用模式	强引用（只要集合在，内部元素就不会被回收）	弱引用（不阻止 JavaScript 垃圾回收机制回收其成员）
可遍历性与迭代器	可遍历（支持 forEach、for...of、展开运算符等）	不可遍历（无 Symbol.iterator，不能读取成员列表）
大小属性（size）	支持 set.size 实时获取成员数量	无 size 属性（因 GC 不确定性，大小无法预测）
常用方法	add, delete, has, clear, keys, values, entries	仅支持 add, delete, has（无 clear）

二、深入理解引用机制与垃圾回收（GC）

要真正掌握 WeakSet 的必要性，必须理解 JavaScript 的垃圾回收机制中“可达性”（Reachability）的概念。

当一个对象被放入标准的 Set 中时，Set 内部会持有该对象的强引用。这意味着即使在业务代码中将指向该对象的外部变量全部清空（设为 null），只要这个 Set 实例仍然存活，垃圾回收器就认为该对象是“可达的”，因而绝不会回收它占用的内存空间。如果不手动调用 set.delete(obj)，就会造成内存泄漏。

相比之下，WeakSet 内部保存的是“弱引用”。垃圾回收器在评估一个对象是否存活时，会完全忽略 WeakSet 对其的引用。当外部不再有任何强引用指向该对象时，垃圾回收器会在下一个回收周期自动清理该对象，并且该对象也会在 WeakSet 中静默消失。

为什么 WeakSet 无法遍历，也没有 size 属性？

很多初学者会疑惑为什么 WeakSet 不提供 .size 或 forEach。原因恰恰在于弱引用与垃圾回收器的非确定性：

• 垃圾回收何时运行取决于 JavaScript 引擎的内部调度策略与内存分配情况。
• 如果允许读取 WeakSet 的大小或遍历其成员，那么在垃圾回收发生前一毫秒与后一毫秒执行代码，获取到的结果可能会完全不同。
• 为了避免让程序的执行行为依赖不可控的 GC 时机，ECMAScript 规范明确规定 WeakSet 不可遍历、不可枚举、无 size 属性，且不支持 clear() 方法。

三、基本操作与语法实操步骤

掌握两个集合的基础用法是实际工程应用的前提。下面通过标准代码演示 Set 与 WeakSet 的日常操作步骤。

1. Set 核心代码示例

// 1. 初始化与添加元素
const tags = new Set();
tags.add('frontend');
tags.add('javascript');
tags.add('frontend'); // 重复添加无效

console.log(tags.size); // 示例输出: 2

// 2. 存在性判断与删除
console.log(tags.has('javascript')); // 示例输出: true
tags.delete('frontend');

// 3. 数组去重操作
const rawNumbers = [1, 2, 2, 3, 4, 4, 5];
const uniqueNumbers = [...new Set(rawNumbers)];
console.log(uniqueNumbers); // 示例输出: [1, 2, 3, 4, 5]

// 4. 遍历
tags.forEach(tag => {
  console.log(tag);
});

2. WeakSet 核心代码示例与约束验证

const trackedElements = new WeakSet();

// 错误示范：添加原始类型会抛出 TypeError
try {
  trackedElements.add(123);
} catch (err) {
  console.log(err.message); // 示例输出: Invalid value used in weak set
}

// 正确用法：添加对象引用
let domNode = { id: 'btn-submit', clicked: false };
trackedElements.add(domNode);

console.log(trackedElements.has(domNode)); // 示例输出: true

// 解除外部引用后，GC 运行后该对象在 WeakSet 中自动清理
domNode = null;
// trackedElements 中对应的节点将在下次垃圾回收后自动被释放

四、典型使用场景与代码实战

场景 1：Set 用于状态去重、交集与多值集合管理

当需要存储基础类型值、统计不同选项或求取多组数据的交并补集时，Set 是最佳选择。

// 求两个集合的交集
const setA = new Set(['Alice', 'Bob', 'Charlie']);
const setB = new Set(['Bob', 'David', 'Alice']);

const intersection = new Set([...setA].filter(item => setB.has(item)));
console.log([...intersection]); // 示例输出: ['Alice', 'Bob']

场景 2：WeakSet 用于给外部对象“打标签”而不侵入对象

在日常开发中，我们经常需要记录“某个对象是否已经被处理过”或者“某个 DOM 节点是否已经绑定过事件监听器”。如果直接在对象上添加属性（例如 node._hasHandled = true），可能会污染对象原本的命名空间，甚至在冻结对象（Object.freeze）上直接报错。使用 WeakSet 则既优雅又安全：

const processedNodes = new WeakSet();

function handleDomClick(domElement) {
  if (processedNodes.has(domElement)) {
    console.log('该元素已处理，跳过重复绑定');
    return;
  }

  // 执行具体业务逻辑
  processedNodes.add(domElement);
  console.log('首次处理该节点并打上标记');
}

// 模拟 DOM 节点挂载与销毁
let button = document.createElement('button');
handleDomClick(button); // 输出: 首次处理该节点并打上标记
handleDomClick(button); // 输出: 该元素已处理，跳过重复绑定

// 当 button 从 DOM 树移除且不再使用：
button = null; 
// 不需要手动从 processedNodes 中 remove，避免任何内存泄漏隐患

场景 3：WeakSet 用于实现类的真正私有方法与成员保护

在 ES 标准的 #privateField 普及之前，或者在需要严格限制方法调用上下文（确保方法只能由特定类的实例调用）时，WeakSet 提供了极为稳健的防篡改方案：

const safeInstances = new WeakSet();

class SafeWorker {
  constructor() {
    // 实例化时将 this 加入集合
    safeInstances.add(this);
  }

  execute() {
    if (!safeInstances.has(this)) {
      throw new TypeError('非法调用：execute 方法只能由 SafeWorker 实例调用！');
    }
    console.log('安全执行业务代码');
  }
}

const worker = new SafeWorker();
worker.execute(); // 正常输出: 安全执行业务代码

// 伪造非法调用示例
const fakeWorker = {};
try {
  worker.execute.call(fakeWorker);
} catch (e) {
  console.log(e.message); // 示例输出: 非法调用：execute 方法只能由 SafeWorker 实例调用！
}

五、选型决策指南与总结

在实际架构设计与编码实现中，如何选择 Set 还是 WeakSet？可以通过以下逻辑进行明确裁决：