如何在终结过程中获得一致的 WeakSet 长度？

Question

考虑以下同时使用WeakSet作为终结器的代码：

>>> import weakref
>>> import gc

>>> class A:
...     pass

>>> class Parent:
...     def __init__(self, a):
...         self.a = a

>>> ws = weakref.WeakSet()
>>> def finalizer(a):
...     print(f"Finalizing {a}")
...     print(f"Contents of the WeakSet: {ws}")
...     print(f"List of elements in the WeakSet: {list(ws)}")
...     print(f"Length of the WeakSet: {len(ws)}")

考虑以下示例：

>>> a = A()
>>> p = Parent(a)
>>> ws.add(p)
>>> weakref.finalize(p, finalizer, a)
<finalize object at 0x1c2ca0d7060; for 'Parent' at 0x1c2ca0aff40>

>>> del p
>>> gc.collect()
Finalizing <__main__.A object at 0x000001C2CA239310>
Contents of the WeakSet: {<weakref at 0x000001C2CA270090; dead>}
List of elements in the WeakSet: []
Length of the WeakSet: 1

另一方面，当交换终结器的创建和添加到WeakSet时：

>>> a = A()
>>> p = Parent(a)
>>> weakref.finalize(p, finalizer, a)
<finalize object at 0x1c2ca0d7060; for 'Parent' at 0x1c2ca0aff40>
>>> ws.add(p)

>>> del p
>>> gc.collect()
Finalizing <__main__.A object at 0x000001C2CA519370>
Contents of the WeakSet: set()
List of elements in the WeakSet: []
Length of the WeakSet: 0

为什么这些结果不同？ 有没有办法在 object 最终确定时获得len(ws)的一致值？

Answer 1

该文档以迂回的方式包含了发生这种情况的原因。

在weakref.finalize （强调我的）：

当程序退出时，将调用每个剩余的活动终结器，除非其 atexit 属性已设置为 false。 它们以相反的创建顺序被调用。

隐藏的后果在于调用WeakSet.add将在后台注册一个终结器。 因此，在第一种情况下，我们自己的终结器将在WeakSet以相反的创建顺序更新之前被调用； 在第二种情况下， WeakSet在终结器之前更新。