WeakMap 实现深拷贝如何避免循环引用问题

在手动实现深拷贝函数时，循环引用问题是一个常见的难点——对象A的属性引用了对象B，而对象B的属性又指回了对象A。如果递归逻辑没有妥善处理，程序就会陷入无限循环，最终导致调用栈溢出。那么，是否存在一种既高效又可靠的方法，能够彻底解决这个难题呢？

免费影视、动漫、音乐、游戏、小说资源长期稳定更新！ 👉 点此立即查看 👈

解决这一问题的核心思路，是引入一个“已访问对象缓存表”。这个缓存表的作用非常明确：在准备深入拷贝任何一个引用类型值之前，先检查它是否已经被记录在案。如果缓存中已存在，则说明该对象的副本已经创建完成，直接返回这个副本即可，后续的所有递归遍历都可以跳过。通过这种方式，无论对象内部的引用关系多么复杂，每个对象都只会被处理一次，从而完美地破解了循环引用导致的死循环。

为什么必须选择 WeakMap 而非普通对象或 Map

作为这个“缓存表”的最佳载体，WeakMap 具有不可替代的优势，主要基于以下两个关键原因。

首先，WeakMap 的键（key）必须是对象类型，这恰好符合我们的需求——我们需要记录和匹配的正是对象本身。如果使用普通对象（Object）作为缓存，其键名会被自动转换为字符串。当你试图将一个对象作为键时，它会被转换成 `"[object Object]"` 这样的字符串，导致无法精确匹配到原始对象。

其次，也是更为重要的一点，WeakMap 对其键持有弱引用。这意味着，WeakMap 不会阻止垃圾回收机制回收作为键的对象。一旦原始对象在程序的其他部分不再被引用，它就可以被正常回收，同时它在 WeakMap 中对应的条目也会被自动清除。这一特性从根本上避免了因缓存长期持有对象引用而导致的内存泄漏风险。

相比之下，Map 虽然也支持对象作为键，但它对键是强引用。如果使用 Map 作为缓存，只要 Map 实例本身存在，其中记录的所有原始对象就都无法被垃圾回收，长期运行可能会积累大量无用的映射关系，造成不必要的内存占用。

关键操作顺序：先登记，后拷贝

思路清晰后，实现时有一个至关重要的顺序绝不能出错：必须在创建出新副本的瞬间，就立即将其登记到缓存中。

具体的执行流程应该是：判断当前对象需要深拷贝 → 根据其构造函数创建一个新的空对象（或数组等结构）作为副本 → 立即将“原对象-新副本”这对映射关系存入 WeakMap → 最后才开始递归地遍历原对象的属性，并将值拷贝到新副本中。

这个顺序是解决问题的关键。如果顺序颠倒，先拷贝属性再登记，那么在递归拷贝内部属性的过程中，一旦遇到指向自身的循环引用，程序会因为未在缓存中找到记录而再次进入对该对象的递归拷贝，从而导致重复处理和栈溢出。

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

缓存策略：哪些值需要存入 WeakMap

我们只需要对那些可能构成循环引用

而对于基本数据类型（如字符串、数字、布尔值、null、undefined、Symbol、BigInt）以及函数，它们要么是不可变的，要么本身不具备嵌套的引用结构，直接返回原值即可，完全没有必要让它们进入 WeakMap 的缓存流程。这样做还能在一定程度上提升拷贝性能。