在 dict-comprehension 中无法访问函数参数

Question

为什么在字典推导中使用eval 访问函数参数会失败？

ARGS1 = ('a1', 'b1')
def foo1(a1, b1):
    return {arg:eval(arg) for arg in ARGS1}
print foo1("A1", "B1") # NameError: name 'a1' is not defined

列表理解中的相同内容很好：

ARGS2 = ('a2', 'b2')
def foo2(a2, b2):
    return [eval(arg) for arg in ARGS2]
print foo2("A2", "B2") # OK, print: ['A2', 'B2']

没有函数也能很好地工作：

ARGS3 = ('a3', 'b3')
a3, b3 = ("A3", "B3")
print {arg:eval(arg) for arg in ARGS3} # OK, print: ['A3', 'B3']

或者如果定义了全局变量：

ARGS4 = ('a4', 'b4')
a4, b4 = ("A4", "B4")
def foo4():
    return [eval(arg) for arg in ARGS4]
print foo4() # OK, print: ['A4', 'B4']

这看起来确实像一个错误，但也许我在这里遗漏了一些东西。

（已编辑以包含无函数和有全局变量的示例）

Answer 1

字典推导在一个新的范围内执行，就像一个函数。

因此，表达式 locals 仅限于仅在循环中命名的那些，在本例中为 arg。 不考虑父函数局部变量，因为闭包仅在编译时绑定。 eval() 引用的名称不能使用闭包。

以下也不起作用：

>>> ARGS = ('a', 'b')
>>> def bar(a, b):
...     def foo():
...         for arg in ARGS:
...             eval(arg)
...     return foo
... 
>>> print bar("A", "B")()
Traceback (most recent call last):
  File "<stdin>", line 1, in <module>
  File "<stdin>", line 4, in foo
  File "<string>", line 1, in <module>
NameError: name 'a' is not defined

名称a 和b 不可用于内部foo 函数，除非编译器确定该函数确实需要访问它们：

>>> def bar2(a, b):
...     def foo():
...         a, b
...         for arg in ARGS:
...             eval(arg)
...     return foo
... 
>>> print bar2("A", "B")()
None
>>> print bar2("A", "B").func_closure
(<cell at 0x1051bac20: str object at 0x104613328>, <cell at 0x1051bacc8: str object at 0x1045971e8>)
>>> print bar2("A", "B").__code__.co_freevars
('a', 'b')

这里，a, b 行只能引用父作用域 locals（它们在 foo() 本身中没有分配），因此编译器为这些创建了闭包，并且名称已成为 locals 在foo().

Python 2 中的列表推导没有自己的命名空间，在 Python 3 中纠正了一个遗漏，并且没有扩展到 dict 和 set 推导。见Python list comprehension rebind names even after scope of comprehension. Is this right?