列表内涵即使在理解范围之后也会重新约束名称,对吗?

理解与作用域显示出不寻常的相互作用。这是预期的行为吗?

x = "original value"
squares = [x**2 for x in range(5)]
print(x)  # Prints 4 in Python 2!

冒着抱怨的风险,这是一个残酷的错误来源。在编写新代码时,我只是偶尔会发现由于重新绑定而导致的非常奇怪的错误——即使现在我知道这是一个问题。我需要制定一个规则,比如“在列表理解中始终使用下划线作为 temp vars 的前缀”,但即使这样也不是万无一失的。 事实上,有这种随机的定时炸弹等待种否定了所有美好的“易于使用”的列表理解。

17710 次浏览

是的,就像在 for循环中一样,在这里发生赋值。没有创建新的作用域。

这绝对是预期的行为: 在每个周期中,值都绑定到您指定的名称,

>>> x=0
>>> a=[1,54,4,2,32,234,5234,]
>>> [x for x in a if x>32]
[54, 234, 5234]
>>> x
5234

一旦认识到这一点,似乎很容易避免: 不要使用现有的名称的变量内的理解。

是的,列表理解在 Python 2.x 中“泄漏”它们的变量,就像 for 循环一样。

回想起来,这被认为是一个错误,生成器表达式避免了这个错误。编辑: 作为 Matt B 的笔记,当 set 和字典理解语法从 Python3向后移植时,也避免使用 Matt B 的笔记

列表理解的行为必须保持在 Python2中,但在 Python3中是完全固定的。

这意味着:

list(x for x in a if x>32)
set(x//4 for x in a if x>32)         # just another generator exp.
dict((x, x//16) for x in a if x>32)  # yet another generator exp.
{x//4 for x in a if x>32}            # 2.7+ syntax
{x: x//16 for x in a if x>32}        # 2.7+ syntax

x始终是表达式的本地值,而这些:

[x for x in a if x>32]
set([x//4 for x in a if x>32])         # just another list comp.
dict([(x, x//16) for x in a if x>32])  # yet another list comp.

在 Python 2.x 中,所有的代码都会将 x变量泄漏到周围的作用域中。


UPDATE for Python 3.8 : PEP 572引入了 :=赋值运算符,即 故意泄露的理解和生成器表达式!这种泄漏基本上是由两个用例引起的: 从早期终止的功能(如 any()all())捕获一个“见证者”:

if any((comment := line).startswith('#') for line in lines):
print("First comment:", comment)
else:
print("There are no comments")

并更新可变状态:

total = 0
partial_sums = [total := total + v for v in values]

有关确切范围,请参见 附录 B。除非该函数声明它为 nonlocalglobal,否则该变量以最接近的 deflambda分配。

列表理解在 Python 2中会泄漏循环控制变量,但在 Python 3中不会。下面是吉多·范罗苏姆(Python 的创造者) abc 0背后的历史:

我们还在 Python 中做了另一个更改 提高列表之间的等价性 理解和生成器 在 Python 2中,列表 理解“泄漏”循环控制 变量转换为周围的作用域:

x = 'before'
a = [x for x in 1, 2, 3]
print x # this prints '3', not 'before'

这是最初的艺术品 执行清单理解; 这是巨蟒的“肮脏的小 “秘密”了很多年,一开始是 为了列清单而故意做出的妥协 理解的速度快得令人眼花缭乱 虽然这不是一个常见的陷阱 初学者,它肯定会叮人 偶尔,为了发电机 表达我们不能这样做。 生成器表达式已实现 使用发电机,其执行 需要一个独立的执行框架。 因此,生成器表达式 (特别是如果它们遍历 短序列)效率较低 而不是列表理解。

但是,在 Python 3中,我们决定 修正清单上的“肮脏的小秘密” 通过使用相同的 实施策略 因此,在 Python 中 3,上述例子(在 修改使用打印(x) : ——将 打印’之前’,证明’x’ 暂时进入列表内涵 阴影,但不覆盖’x’ 在周围的范围内。

有趣的是,这并不影响字典或集合理解。

>>> [x for x in range(1, 10)]
[1, 2, 3, 4, 5, 6, 7, 8, 9]
>>> x
9
>>> {x for x in range(1, 5)}
set([1, 2, 3, 4])
>>> x
9
>>> {x:x for x in range(1, 100)}
{1: 1, 2: 2, 3: 3, 4: 4, 5: 5, 6: 6, 7: 7, 8: 8, 9: 9, 10: 10, 11: 11, 12: 12, 13: 13, 14: 14, 15: 15, 16: 16, 17: 17, 18: 18, 19: 19, 20: 20, 21: 21, 22: 22, 23: 23, 24: 24, 25: 25, 26: 26, 27: 27, 28: 28, 29: 29, 30: 30, 31: 31, 32: 32, 33: 33, 34: 34, 35: 35, 36: 36, 37: 37, 38: 38, 39: 39, 40: 40, 41: 41, 42: 42, 43: 43, 44: 44, 45: 45, 46: 46, 47: 47, 48: 48, 49: 49, 50: 50, 51: 51, 52: 52, 53: 53, 54: 54, 55: 55, 56: 56, 57: 57, 58: 58, 59: 59, 60: 60, 61: 61, 62: 62, 63: 63, 64: 64, 65: 65, 66: 66, 67: 67, 68: 68, 69: 69, 70: 70, 71: 71, 72: 72, 73: 73, 74: 74, 75: 75, 76: 76, 77: 77, 78: 78, 79: 79, 80: 80, 81: 81, 82: 82, 83: 83, 84: 84, 85: 85, 86: 86, 87: 87, 88: 88, 89: 89, 90: 90, 91: 91, 92: 92, 93: 93, 94: 94, 95: 95, 96: 96, 97: 97, 98: 98, 99: 99}
>>> x
9

然而,它已经被固定在3,如上所述。

对于 python2.6,当这种行为不可取时,可以使用一些变通方法

# python
Python 2.6.6 (r266:84292, Aug  9 2016, 06:11:56)
Type "help", "copyright", "credits" or "license" for more information.
>>> x=0
>>> a=list(x for x in xrange(9))
>>> x
0
>>> a=[x for x in xrange(9)]
>>> x
8

在 python3中,列表内涵的变量在作用域结束后不会得到改变,但是当我们使用简单的 for-loop 时,变量会被重新分配到作用域之外。

I = 1 列印(i) 打印([ i 在范围(5)]) 列印(i) I 的值将保持为1。

现在只需简单地使用 for 循环,i 的值就会被重新分配。