WeakMap实现深拷贝时记录访问节点避免循环引用

手动实现深拷贝时，循环引用是一个常见难题——对象A的属性引用对象B，而对象B又指回对象A。如果递归逻辑处理不当，程序将陷入死循环并导致栈溢出。那么，是否存在一种既优雅又高效的方法来彻底规避这个陷阱呢？

解决方案的核心在于引入一个“已处理对象登记簿”。这个登记簿的任务很简单：每次准备深入拷贝一个引用类型值之前，先检查它是否已被记录。如果已登记，则说明其副本已创建，直接返回该副本即可，后续所有递归遍历都可跳过。这样，无论对象内部的引用关系多么复杂，每个对象都只会被处理一次，循环引用问题自然迎刃而解。

为何必须使用 WeakMap 而非普通对象或 Map

这个“登记簿”的最佳选择是 WeakMap，原因主要有两点。

首先，WeakMap 的键必须是对象，这正好符合我们的需求——我们需要记录的就是对象本身。相比之下，普通对象的键会被自动转换为字符串，若使用对象作为键，结果会变成 `"[object Object]"`，无法进行精确匹配。

其次，也是更关键的一点，WeakMap 对键是弱引用。这意味着 WeakMap 不会阻止垃圾回收器回收作为键的对象。一旦原始对象在程序的其他地方不再被使用，它就可以被正常回收，同时其在 WeakMap 中的记录也会被自动清理。这一特性完美避免了潜在的内存泄漏风险。

反观 Map，它虽然也支持对象作为键，但其对键是强引用。如果使用 Map 作为登记簿，只要 Map 实例存在，其中记录的所有原始对象都不会被垃圾回收，久而久之可能堆积大量无用的映射关系，造成内存浪费。

关键操作顺序不可颠倒

思路明确后，实现时有一个细节的顺序绝对不能出错：必须在创建出新副本的那一刻，就立即将其登记。

具体流程如下：判断当前对象需要深拷贝 → 为其创建一个新的空对象（或数组等）作为副本 → 立即将“原对象-新副本”这对映射存入 WeakMap → 最后才开始递归遍历原对象的属性，并将其填充到新副本中。

这个顺序至关重要。如果反过来，等所有属性都拷贝完毕后再登记，那么在递归拷贝属性的过程中，如果遇到指向自身的循环引用，程序依然会因为在登记簿中找不到记录而再次进入递归，导致重复处理和栈溢出。

• 错误做法：递归处理完所有属性，最后才执行 `cache.set(obj, cloneObj)`。
• 正确做法：`const cloneObj = new obj.constructor(); cache.set(obj, cloneObj);` 然后才开始拷贝属性。

哪些值需要存入 WeakMap，哪些不需要

我们只需要对可能形成循环引用的引用类型值进行缓存和判断。这主要包括：普通对象、数组、Date、RegExp、Map、Set 以及各种 TypedArray 等。

而对于基础类型（字符串、数字、布尔值、null、undefined、Symbol、BigInt）以及函数，它们要么是不可变的，要么不存在嵌套引用结构，直接返回即可，完全无需参与 WeakMap 的缓存流程。这样做还能在一定程度上提升性能。

因此，在函数的入口处，通常会先做一层过滤：

• 检查入口：`if (obj === null || typeof obj !== 'object') return obj`
• 缓存入口：只有确认是对象且未在缓存中命中后，才新建副本并存入 WeakMap。

实际代码中容易忽略的细节

实践中还有一个“坑”值得警惕：WeakMap 实例不能图省事地写成函数参数的默认值。

例如，写成 `function deepClone(obj, cache = new WeakMap())`。这看起来简洁，但实际上每次调用 `deepClone` 函数，都会生成一个全新的、空的 WeakMap 实例。这意味着每次深拷贝都是“从头开始”，之前调用中建立的映射关系完全丢失，循环引用检测也就形同虚设了。

正确的做法有两种：要么在调用时显式传入同一个 WeakMap 实例；要么使用闭包（工厂函数）将 WeakMap 封装起来，确保其唯一性。

• 错误：`function deepClone(obj, cache = new WeakMap()) { ... }`
• 正确（显式传入）：`const cache = new WeakMap(); deepClone(obj, cache);`
• 正确（闭包封装）：`const createCloner = () => { const cache = new WeakMap(); return (obj) => { ... } }`

总之，利用 WeakMap 来解决深拷贝中的循环引用问题，是一种兼顾正确性、安全性与性能的优雅方案。把握住“弱引用”、“即时登记”和“单例缓存”这几个关键点，就能编写出既健壮又高效的深拷贝函数。