Python是否会垃圾回收在函数范围内不再引用的变量？

Question

在等待长时间运行的函数完成执行时，我开始考虑垃圾回收器是否将清除对不再使用的变量的引用。

例如，我有一个类似的功能：

def long_running_function():
   x = MemoryIntensiveObject()
   print id(x)
   # lots of hard work done here which does not reference x
   return

我对解释器是否足够聪明到足以意识到不再使用x并可以取消引用x感到好奇。测试起来有些困难，因为我可以编写代码来检查其引用计数，但是隐式地引用了它，从而避免了这样做的原因。

我的想法是，也许当函数被解析并生成字节码时，它的生成方式可能使它可以在不再引用该对象时清理该对象。

或者，答案是否更简单？只要我们仍在“可以”使用的范围内，就不会对其进行清理？

Answer 1

不，只要引用对象的名称仍在当前作用域中定义，CPython便不会对其进行垃圾回收。

这是因为，即使x代码中没有使用名称作为文字的名称引用，调用vars()或locals()仍然可以获取locals名称空间字典的副本（在最后一次引用之前或之后x），因此整个有效的locals名称空间实际上是“根”它引用的值，直到执行离开其作用域。

我不确定其他实现如何做到这一点。特别是，在像PyPy，Jython或IronPython这样的JIT编译的实现中，至少在理论上可以执行此优化。实际上，JVM和CLR JIT确实在其他语言上执行了此优化。这些平台上的Python是否能够利用，完全取决于Python代码被编译成的字节码。