为什么UnboundLocalError出现在平面理解的第二个变量上？

Question

我在这里回答了一个问题： python2中的理解列表工作正常，但我在python3中遇到错误

OP的错误是对最大范围和索引使用相同的变量：

x = 12
y = 10
z = 12
n = 100

ret_list = [ (x,y,z) for x in range(x+1) for y in range(y+1) for z in range(z+1) if x+y+z!=n ]

这只是一个Python-3错误，并且与添加到理解中的范围有关，以避免此处定义的变量“泄漏”。 更改变量名称可修复该问题。

错误是：

UnboundLocalError: local variable 'y' referenced before assignment

因为外部，全局y被本地范围遮蔽。

我的问题是：为什么我在y上得到错误而不是在z或x ？

编辑：如果我删除x上的循环，错误移动到z ：

>> ret_list = [ (x,y,z) for y in range(y+1) for z in range(z+1) if x+y+z!=n ]
UnboundLocalError: local variable 'z' referenced before assignment

如果我只做一个循环：

ret_list = [ (x,y,z) for y in range(y+1) if x+y+z!=n ]

有用。 所以我怀疑在所有其他表达式之前评估第一个range函数，这使得x的值保持不变。 但确切的原因仍有待找到。 使用Python 3.4.3。

Answer 1

这种行为（隐含地）在参考文档 （强调我的）中描述。

但是，除了最左边的for子句中的iterable表达式之外，理解还在一个单独的隐式嵌套作用域中执行。 这可确保分配给目标列表中的名称不会“泄漏”到封闭范围中。

最左边的for子句中的iterable表达式直接在封闭范围内计算，然后作为参数传递给implictly [sic]嵌套范围。 for子句的后续条件和最左侧for子句中的任何过滤条件都不能在封闭范围内进行求值，因为它们可能取决于从最左边的可迭代获得的值。 例如： [x*y for x in range(10) for y in range(x, x+10)] 。

这意味着：

list_ = [(x, y) for x in range(x) for y in range(y)]

相当于：

def f(iter_):
    for x in iter_:
        for y in range(y):
            yield x, y

list_ = list(f(iter(range(x))))

由于最左边的iterable的名称x in是在封闭范围内读取而不是嵌套范围，因此x这两个用法之间没有名称冲突。 对于y ，情况也是如此，这就是UnboundLocalError出现的原因。

至于为什么会发生这种情况：列表理解对于list(<generator expression>)或多或少是语法糖，所以它将使用与生成器表达式相同的代码路径（或者至少以相同的方式运行） 。 生成器表达式评估最左边的for子句中的可迭代表达式， for在生成器表达式稍微有点时进行错误处理。 请考虑以下代码：

y = None                             # line 1
gen = (x + 1 for x in range(y + 1))  # line 2
item = next(gen)                     # line 3

y显然是错误的类型，因此添加会引发TypeError 。 通过直接评估range(y + 1) ，在第2行而不是第3行引发类型错误。因此，更容易诊断问题发生的位置和原因。 如果它发生在第3行，那么您可能会错误地认为它是导致错误的x + 1语句。

有一个bug报告这里是提到此行为。 由于列表推导和生成器表达式具有相同的行为，因此它被解析为“不是错误”。