这是“贪婪” ＆＃x2B; =保证列表的行为？

Question

我偶尔会使用“技巧”来扩展列表，例如自身的映射版本，以有效计算2：

from operator import mul

powers = [1]
powers += map(mul, [2] * 10, powers)

print(powers)   # prints [1, 2, 4, 8, 16, 32, 64, 128, 256, 512, 1024]

这取决于+=立即从map <+= /代码>到列表，因此MAP然后找到它，并且该过程继续进行。换句话说，它需要这样工作：

powers = [1]
for value in map(mul, [2] * 10, powers):
    powers.append(value)

而不是首先计算和存储整个右侧，其中powers最终成为[1，2] ：

powers = [1]
powers += list(map(mul, [2] * 10, powers))

是否可以保证它像它一样工作吗？我检查了“ noreferrer”>可变序列类型除了暗示s += t和s.extend（t）的等效性外，还要说出很多话。它确实是指，他的

    def extend(self, values):
        'S.extend(iterable) -- extend sequence by appending elements from the iterable'
        if values is self:
            values = list(values)
        for v in values:
            self.append(v)

    def __iadd__(self, values):
        self.extend(values)
        return self

这确实表明确实是假定的可以像我想要的那样工作，但是某些源代码不像文档中的保证那样安全。

Answer 1

我看不到任何测试或文档可以保证贪婪的行为；但是，我确实认为这是预期的行为，野外的代码依赖于此。

fwiw，+=带有列表等效等于list.extend.extend（），因此您的“技巧”归结为：

>>> powers = [1]
>>> powers.extend(2*x for x in islice(powers, 10))
>>> powers
[1, 2, 4, 8, 16, 32, 64, 128, 256, 512, 1024]

虽然我没有找到>的保证+=或扩展，我们确实保证了列表迭代器允许在迭代时允许突变

>>> powers = [1]
>>> for x in powers:
        if len(powers) == 10:
            break
        powers.append(2 * x)

>>> powers
[1, 2, 4, 8, 16, 32, 64, 128, 256, 512]

。
https://docs.python.org/3/library/stdtypes .html＃common-sequence-operations ：

向前并反转迭代器，超过可变序列访问值
使用索引。该指数将继续前进（或
向后）即使基础序列被突变。迭代器
仅在遇到索引或停止时才终止
（或当索引降至零以下时）。