Почему закрытие закрывается внутри exec?

В 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. Что происходит?

Ответы

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