Python 类中的列表理解范围规则是什么？ [复制]

Question

在以下代码中，mc 赋值在 Python 2 和 3 中运行良好。

cc 赋值在类中使用相同的列表推导，在 Python 2 中有效，但在 Python 3 中失败。

什么解释了这种行为？

ml1 = "a b c".split()
ml2 = "1 2 3".split()
mc = [ i1 + i2 for i1 in ml1 for i2 in ml2 ]

class Foo(object):
    cl1 = ml1
    cl2 = ml2

    cc1 = [ i1 for i1 in cl1 ]
    cc2 = [ i2 for i2 in cl2 ]
    cc = [ i1 + i2 for i1 in cl1 for i2 in cl2 ]


print("mc = ", mc)
foo = Foo()
print("cc = ", foo.cc)

我明白了：

(default-3.5) snafu$ python2 /tmp/z.py 
('mc = ', ['a1', 'a2', 'a3', 'b1', 'b2', 'b3', 'c1', 'c2', 'c3'])
('cc = ', ['a1', 'a2', 'a3', 'b1', 'b2', 'b3', 'c1', 'c2', 'c3'])

(default-3.5) snafu$ python3 /tmp/z.py 
Traceback (most recent call last):
  File "/tmp/z.py", line 5, in <module>
    class Foo(object):
  File "/tmp/z.py", line 11, in Foo
    cc = [ i1 + i2 for i1 in cl1 for i2 in cl2 ]
  File "/tmp/z.py", line 11, in <listcomp>
    cc = [ i1 + i2 for i1 in cl1 for i2 in cl2 ]
NameError: name 'cl2' is not defined

为什么没有定义类变量cl2？请注意，cc2 分配工作正常，cc1 也是如此。在理解中交换cl1 和cl2 表明第二个循环是触发异常的循环，而不是cl2 本身。）

版本：

(default-3.5) snafu$ python2 --version
Python 2.7.11+
(default-3.5) snafu$ python3 --version
Python 3.5.1+

Answer 1

在 Python 3 中，列表推导式有自己的作用域，它遵循与函数作用域相同的规则。你知道类的方法不会自动在类范围内查找变量吗？

class Example:
    var = 1
    def this_fails(self):
        print(var)
Example().this_fails()  # NameError

这同样适用于嵌套在类范围内的任何函数范围，包括列表推导的范围。在列表推导中查找cl2 会绕过类范围并直接进入全局变量。它有效地像这样工作：

class Foo(object):
    ...
    def make_cc(outer_iterable):
        result = []
        for i1 in outer_iterable:
            for i2 in cl2:  # This fails
                result.append(i1 + i2)
        return result
    cc = make_cc(cl1)  # cl1 is evaluated outside the comprehension scope, for reasons

请注意，cl1 查找工作正常，因为它发生在类范围内，在理解之外，尽管在语法上嵌套在理解内。 They made that decision 回到 Python 引入 genexps 的时候，因为它更早地捕获了一些常见的 genexp 错误。这也是cc1 和cc2 列表推导起作用的原因；它们对类级变量的唯一用途是在它们的外部（仅）for 可迭代中。

在类语句中使用推导式和生成器表达式是一团糟。它不应该是，但它是。坚持常规循环，或者在类语句之外运行推导式，这样语义会更明显。