python - 为什么 exec 中的闭包会被破坏？

Question

在 Python 2.6 中，

>>> exec "print (lambda: a)()" in dict(a=2), {}
2
>>> exec "print (lambda: a)()" in globals(), {'a': 2}
Traceback (most recent call last):
  File "<stdin>", line 1, in <module>
  File "<string>", line 1, in <module>
  File "<string>", line 1, in <lambda>
NameError: global name 'a' is not defined
>>> exec "print (lambda: a).__closure__" in globals(), {'a': 2}
None

我希望它打印两次 2，然后打印一个带有单个 cell 的元组。 3.1中的情况相同。怎么回事？

Answer 1

当您将字符串传递给 exec 或 eval 时，它会先将该字符串编译为代码对象，然后再考虑全局变量或局部变量。所以当你说:

eval('lambda: a', ...)

意思是:

eval(compile('lambda: a', '<stdin>', 'eval'), ...)

compile 无法知道 a 是一个 freevar，因此它将其编译为全局引用:

>>> c= compile('lambda: a', '<stdin>', 'eval')
>>> c.co_consts[0]
<code object <lambda> at 0x7f36577330a8, file "<stdin>", line 1>
>>> dis.dis(c.co_consts[0])
  1           0 LOAD_GLOBAL              0 (a)
              3 RETURN_VALUE        

因此，要使其正常工作，您必须将 a 放在全局变量中，而不是局部变量中。

是的，这有点狡猾。但那是 exec 和 eval 给你我想......他们不应该是好的。