Python 闭包奇怪的行为

Question

我正在尝试一段来自 Python 词法闭包问题的代码

flist = []
for i in xrange(3):
    def func(x): return x*i
    flist.append(func)
for f in flist:
    print f.func_closure

输出为：

None
None
None

不应该吗？

(<cell at 0x9222d94: int object at 0x8cabdbc>,)
(<cell at 0x9222d94: int object at 0x8cabdbc>,)
(<cell at 0x9222d94: int object at 0x8cabdbc>,)

我使用以下代码获得了上述输出：

flist = []
def actualFact():
    for i in xrange(3):
        def func(x): return x * i
        flist.append(func)
for f in flist:
    print f.func_closure

我正在使用Python 2.6.6（r266：84292,2010年9月15日，15：52：39）。

Answer 1

只有在全局（模块）范围之外有要引用的变量时，才会引入闭包：

>>> def foo():
...     def bar(): pass
...     return bar
...
>>> foo().func_closure is None
True
>>> spam = 'eggs'
>>> def foo():
...     def bar(): return spam
...     return bar
...
>>> foo().func_closure is None
True

仅当内部函数引用周围作用域中的变量时，才会生成闭包：

>>> def foo():
...     spam = 'eggs'
...     def bar(): return spam
...     return bar
...
>>> foo().func_closure is None
False
>>> foo().func_closure
(<cell at 0x108472718: str object at 0x108471de0>,)

请注意，您实际上必须引用周围作用域中的变量。只需忽略范围即可再次None：

>>> def foo():
...     spam = 'eggs'
...     def bar(): pass
...     return bar
...
>>> foo().func_closure is None
True

在第一个示例中，i 是一个模块范围的变量，只有在第二个示例中，您才通过将代码包装在新函数actualFact中来引入新作用域。

Answer 2

语言参考指定func_closure为"无或包含函数自由变量绑定的单元格元组"。

现在，请注意两个版本之间的区别：在第一个版本中，i是一个模块级（即全局）变量。评估每个函数的结果是相同的：

>>> [f(2) for f in flist]
[4, 4, 4]

在每个函数中，i 不是自由的，而是引用全局i，所以不，输出不应该是非零长度元组的列表。

在实践中，你可能并不关心func_closure的价值，除非你正在做一些相当深奥的魔法。如果你正在做一些神奇的事情，请注意，给定规范，如果没有自由变量，似乎没有充分的理由为什么func_closure不应该是一个空元组，所以如果你想让你的代码在甚至不同的 python 点版本之间可移植，请适当地处理这种情况。

Answer 3

一种没有闭包的廉价方法

for i in xrange(3):
    def func(x, i=i): return x*i
    flist.append(func)