生成器表达式使用生成器创建后分配的列表

Question

我找到了这个示例，但我不明白为什么它的工作方式无法预测？ 我想它必须输出[1, 8, 15] 或[2, 8, 22]。

array = [1, 8, 15]
g = (x for x in array if array.count(x) > 0)
array = [2, 8, 22]
print(list(g))


>>>[8]

Answer 1

原因是，在创建时，生成器 (a for b in c if d) 仅评估 c（这有时也使 b 可预测）。但是a、b、d 在消耗时间（每次迭代）进行评估。在这里，它在评估 d (array.count(x) > 0) 时使用封闭范围内 array 的 current 绑定。

例如，您可以这样做：

g = (x for x in [] if a)

没有提前声明a。但是，您必须确保在使用生成器时存在a。

但你不能这样做：

g = (x for x in a if True)

根据要求：

您可以使用通用生成器函数观察相似（但不相同）的模式：

def yielder():
    for x in array:
        if array.count(x) > 0:
            yield x

array = [1, 8, 15]
y = yielder()
array = [2, 8, 22]
list(y)
# [2, 8, 22]

生成器函数不会在消耗之前执行其任何主体。因此，即使是 for 循环标头中的 array 也被绑定得很晚。一个更令人不安的例子发生在我们在迭代期间“切换”array：

array = [1, 8, 15]
y = yielder()
next(y)
# 1
array = [3, 7]
next(y)  # still iterating [1, 8, 15], but evaluating condition on [3, 7]
# StopIteration raised

Answer 2

困惑，答案也是如此，在于：g = (x for x in array if array.count(x) > 0)
如果我们简化这一行，那么它将变成：g = (x for x in array1 if array2.count(x) > 0)

现在，当 generator 创建时，它会保留 array1 对象的引用。因此，即使我将array1 的值更改为任何其他值（即将其设置为新的数组对象），它也不会影响生成器 的array1 副本。因为只有array1 正在更改它的对象引用。但是array2 是动态检查的。所以如果我们改变它的值，它就会被反映出来。

你可以从下面的代码中看到输出来理解它。见working online here：

array1 = [1, 8, 15] #Set value of `array1`
array2 = [2, 3, 4, 5, 8] #Set value of `array2`
print("Old `array1` object ID: " + repr(id(array1)))
print("Old `array2` object ID: " + repr(id(array2)))
g = (x for x in array1 if array2.count(x) > 0)
array1 = [0, 9] #Changed value of `array1`
array2 = [2, 8, 22, 1] #Changed value of `array2`
print("New `array1` object ID: " + repr(id(array1)))
print("New `array2` object ID: " + repr(id(array2)))
print(list(g))

输出：

Old `array1` object ID: 47770072262024
Old `array2` object ID: 47770072263816
New `array1` object ID: 47770072263944
New `array2` object ID: 47770072264008
[1, 8]

Answer 3

来自Generator expressions 上的文档：

生成器表达式中使用的变量惰性求值 为生成器对象调用__next__() 方法（在同一 像普通发电机一样时尚）。然而，可迭代的表达式 最左边的for 子句被立即评估，因此出现错误 由它产生的将在生成器的位置发出 表达式被定义，而不是在第一个值的位置 已检索。

所以当你运行时

array = [1, 8, 15]
g = (x for x in array if array.count(x) > 0)

仅计算生成器表达式中的第一个 array。 x 和 array.count(x) 只会在您调用 next(g) 时进行评估。由于您使 array 指向另一个列表 [2, 8, 22] 在使用生成器之前，您会得到“意外”的结果。

array = [2, 8, 22]
print(list(g))  # [8]

Answer 4

当您第一次创建数组并分配其中的元素时，数组的元素会指向某个内存位置，并且生成器会保留该位置（而不是数组的）以供其执行。

但是当你修改它的数组元素时，它会被改变，但是因为 '8' 对它们来说都很常见，python 不会重新分配它并在修改后指向同一个元素。

看下面的例子更好地理解

array = [1, 8, 15]
for i in array:
    print(id(i))

g = (x for x in array if array.count(x) > 0)

print('<======>')

array = [2, 8, 22]
for i in array:
    print(id(i))

print(array)
print(list(g))

输出

140208067495680
140208067495904
140208067496128
<======>
140208067495712
140208067495904 # memory location is still same
140208067496352
[2, 8, 22]
[8]

Answer 5

其实仔细看也不是很疯狂。 看看

g = (x for x in array if array.count(x) > 0)

它将创建一个查看数组的生成器，并搜索现有值的计数是否大于零。所以您的生成器只查找1、8 和15，当您将值更改为另一个值时，生成器只会再次查找以前的值而不是新值。因为它（生成器）在数组有它们时创建。

因此，如果您将数千个值放入数组中，它只会查找这三个值。