Python 生成器理解中的闭包语义

Question

在下面的代码中，l1 得到 ([1], [1])，l2, l3, l4 得到 ([0], [1])。这让我感到惊讶，尤其是在 in 子句 (l3, l4) 中使用 t 之间的区别，无论是生成器理解还是列表理解，与 if 子句 (@987654329) 没有区别@)，它在哪里。

l1 = [(x for x in (0, 1) if x == t) for t in (0, 1)]
l2 = [[x for x in (0, 1) if x == t] for t in (0, 1)]
l3 = [(x for x in [t]) for t in (0, 1)]
l4 = [[x for x in [t]] for t in (0, 1)]
print([(*map(list, l),) for l in (l1, l2, l3, l4)])

能否请您详细解释一下有关此类表达的规则？相关文档的链接？理由？

Answer 1

当你执行时

l1 = [(x for x in (0, 1) if x == t) for t in (0, 1)]

l1 是一个生成器列表，每个生成器都包含对相同“捕获”变量t 的引用。创建l1[0] 时，t 的值为0，但尚未评估生成器。当l1[1]创建时，t的值为1，之后不再修改。您可以使用以下方法进行检查：

c1 = l1[0]
c2 = l1[1]
print(c1.gi_frame.f_locals)
print(c2.gi_frame.f_locals)
print(c1.gi_frame.f_locals['t'] is c2.gi_frame.f_locals['t'])

至于为什么l3 不会发生这种情况，我理解是为了构建 生成器，必须评估它们的限制，所以必须评估[t] 以及在创建生成器时创建的列表。一个修改过的脚本，有助于理解接下来会发生什么（为了便于比较，将原始代码注释掉）：

def testequal(x, t):
    print(f"Called with x={x}, t={t}")
    return x == t

def generate_limits():
    print("Creating limits")
    return (0, 1)

def generate_list(t):
    print(f"creating list with t={t}")
    rv = [t,]
    return rv

print("Creating l1...")
# l1 = [(x for x in (0, 1) if x == t) for t in (0, 1)]
l1 = [(x for x in generate_limits() if testequal(x,t)) for t in (0, 1)]
print("Creating l2...")
l2 = [[x for x in (0, 1) if x == t] for t in (0, 1)]
print("Creating l3...")
# l3 = [(x for x in [t]) for t in (0, 1)]
l3 = [(x for x in generate_list(t)) for t in (0, 1)]
print("Creating l3...")
l4 = [[x for x in [t]] for t in (0, 1)]
print("Evaluating..." )
print([(*map(list, l),) for l in (l1, l2, l3, l4)])