JavaScript：关于 WeakSet 及其对垃圾收集的影响的困惑

Question

我一直在研究 leetcode，遇到了这个问题https://leetcode.com/problems/intersection-of-two-linked-lists/，它要求你找到两个 LinkedList 的交集。一个解决方案（不是我所知道的最好的）是使用散列集来跟踪第一个链表，同时遍历它，然后遍历第二个链表。当我们发现有一个重复节点时，那就是交叉点。

比如E就是路口

A -> B
       \
         E -> F       
       /    
C -> D

我解决的方法是使用WeakSet作为哈希集来存储第一个链表的引用。

这里是代码

var getIntersectionNode = function(headA, headB) {
    let hashSet = new WeakSet()

    while(headA){
        hashSet.add(headA)
        headA = headA.next
    }
    while(headB){
        if(hashSet.has(headB)) return headB
        headB = headB.next
    }
    return null
};

我的问题是，因为WeakSet 有这个很好的特性——当没有其他对存储在 WeakSet 中的对象的引用时，这些对象可以被垃圾回收。如果我们回到这里的示例，当我们遍历A -> B -> E -> F 时，我们将每个节点都添加到哈希集中，但我们不会保留每个节点的引用，即headA = headA.next。这意味着在我将一个节点添加到哈希集中并前进到下一个节点后，对前一个节点的引用消失了，那么它应该从哈希集中进行垃圾收集对吗？那么解决方案怎么会通过呢？

例如，当我们在A时，我们将A存储到哈希集中，然后我们前进到B，现在没有办法引用回A，用WeakSet它应该被垃圾收集。但很明显，如果是这种情况，解决方案就行不通了。有人能指出我的理解哪里错了吗？

Answer 1

这里有几个问题：

• 从调用者传递到getIntersectionNode 的原始对象仍然存在至少直到函数完成。如果你这样做了

  someFn({ foo: 'bar' })
  

  在同步 JS 处理完成之前，对象不会被垃圾回收； GC 只在 JS 空闲时运行，即使这样，它也经常需要几秒钟。如果您将一个元素添加到 WeakSet，并且您以某种方式能够观察到由于不再有对它的任何引用而将它从其中删除的确切时间，这将需要一些时间。

• 即便如此，即使不可引用的对象被立即 GC，在这种情况下，所需要的只是 one 交集节点保持可引用。如果存在交叉点，则该交叉点节点将是某处headA 的子节点，并且该节点也将存在于嵌套在headB 中的某处；即使在遍历headA 之后，在headB 中仍然存在对它的引用。

除非您的脚本执行异步任务（例如等待用户输入或setTimeout），否则在 Set 上使用 Wea​​kSet（或在 Map 上使用 Wea​​kMap）没有任何好处，因为垃圾收集器不会及时运行以使其发挥作用。