为什么 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 ......它们不应该是好的。