WeakSet 能解决循环引用标记问题，但仅限于手动遍历中记录已处理对象，因其弱引用特性可避免内存泄漏；需在递归入口用 has() 判断，add() 前必须检查，否则无效。
WeakSet 能否真正解决循环引用标记问题
能，但仅限于“标记已处理对象”这个单一目的，且必须配合手动遍历逻辑。WeakSet 本身不阻止循环引用发生，它只是帮你安全地记录哪些对象已经进过你的处理流程——因为它的键是弱引用，不会阻止垃圾回收，也不会因循环引用导致内存泄漏。
关键前提是：你得自己写递归逻辑，并在每次进入新对象前查 weakSet.has(obj)；WeakSet 不会自动拦截或跳过重复对象。
常见误用是以为把对象塞进 WeakSet 就万事大吉，结果忘了在递归入口做判断，照样栈溢出或无限循环。
为什么不用 Set 而必须用 WeakSet
用 Set 存对象引用会导致内存泄漏风险：只要 Set 还持有该对象，哪怕原始引用链已断开，对象也无法被 GC 回收。这对长期运行的结构遍历（比如状态树 diff、序列化、深克隆）尤其危险。
WeakSet 没有 .keys()、.values() 或迭代器，也不能存非对象值，这些限制反而是优点——它强制你只做“存在性检查”，避免误用。
以下对比说明问题：
const seenWithSet = new Set();
const seenWithWeakSet = new WeakSet();
const obj = { a: 1 };
seenWithSet.add(obj); // obj 被强引用
seenWithWeakSet.add(obj); // obj 是弱引用，可被 GC
obj = null; // 原始引用清空
// 此时 seenWithSet 仍持有 obj，内存无法释放
// seenWithWeakSet 中的 obj 条目自动消失
实际递归函数中怎么插入 WeakSet 判断
核心就是在递归调用前加一层守卫：如果对象已存在 WeakSet 中，直接 return 或跳过。注意 WeakSet 只接受对象，传原始值会报 TypeError: Invalid value used in weak set。
- 每次递归入口处用
weakSet.has(currentObj)判断，不是在结尾 add - 必须在
add前判断，否则刚加进去就递归进去，等于没判 - 对数组、普通对象、Map/Set 实例都适用，但不能用于
JSON.stringify这类黑盒函数——它内部不给你插钩子 - 若需跨函数共享状态，WeakSet 应作为参数传入，而非闭包捕获（避免闭包意外延长生命周期）
简例（深拷贝中防循环）：
function clone(obj, seen = new WeakSet()) {
if (obj === null || typeof obj !== 'object') return obj;
if (seen.has(obj)) return obj; // 直接返回原引用，或抛错/返回占位符
seen.add(obj);
const cloned = Array.isArray(obj) ? [] : {};
for (const key in obj) {
if (Object.prototype.hasOwnProperty.call(obj, key)) {
cloned[key] = clone(obj[key], seen);
}
}
return cloned;
}
WeakSet 在嵌套结构中的边界情况
WeakSet 只认对象身份（即引用相等），不比较内容。两个结构完全相同的对象，只要不是同一个 === 实例，WeakSet 就视为不同条目。
容易被忽略的点：
- Proxy 包裹的对象和原对象是不同引用，WeakSet 会分别记录
- 解构赋值产生的新对象（如
{...obj}）不共享 WeakSet 状态 - WeakSet 无法检测 Symbol 属性或不可枚举属性是否引发循环——它只管你传进来的那个对象实例
- 多线程环境（Worker）中 WeakSet 不共享，每个上下文需独立维护
真正难处理的，从来不是 WeakSet 用不对，而是你没想清楚“哪些对象算‘已处理’”——比如 Map 的 key 是对象时，要不要把它也纳入标记？这得根据业务语义定，WeakSet 只提供工具，不替你做决策。
