Почему замыкания нарушаются в 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 для вас, я полагаю ... они не должны быть хорошими.