function 的本地变量保留在 memory。为什么 gc 不清理它？

Question

我想知道为什么这段代码返回a变量的相同id 。 解释器不应该在f()完成后从 memory 中清除a吗？ 这种行为是某些 CPython 优化的结果吗？ 我们可以强制它清理a吗？ gc.collect()对此没有帮助。 我认为等待一段时间可能会改变这种行为，但事实并非如此。

import time

def f():
    a = "wat wat wat wat wat wat wat wat"
    print(id(a))

f()

for i in range(30):
    time.sleep(1)
    s = "/" if i % 2 == 0 else "\\"
    print(s, end="", flush=True)

print()
f()
# Tested with python 3.10.8
# 140443262854256
# /\/\/\/\/\/\/\/\/\/\/\/\/\/\/\
# 140443262854256

Answer 1

这是由于称为字符串实习的功能。 当多个字符串变量的值相同时，Python只在memory中保存了一份字符串。这种优化节省了memory，可以更快地进行字符串比较。 请注意，这是特定于语言的功能，并不适用于一般的编程语言。 此外，字符串实习并不总是发生， 请在此处阅读更多内容。

Answer 2

python 中的 GC 会进行引用计数，并在没有对 object 的引用时自动删除对象。

在您的示例中，您的代码最后仍然有 f function，保留对 function f 的所有引用以及其中的所有内容。

为了能够辅助 GC，您可以随时使用 del 删除对象。

del f

Answer 3

id两次返回相同的值与超过其 scope 的变量无关。生命周期不重叠的两个对象可以具有相同的 id，因为第一个的 id 可用于第二个。 考虑

>>> id([]) == id([])
True

[]总是生成一个新list object（因为列表是不可变的，你不能实习它们）。 但这会产生 true，因为传递给第一次调用id的列表在第二次调用id之前被回收，这意味着第二个列表可以与第一个列表具有相同的 id。