如何避免 += 操作符在处理可迭代对象时引发无限循环

Python 中 a += b 与 a = a + b 的隐秘差异：一个无限循环陷阱

Python 里 a += b 常常被当作 a = a + b 的简便写法，但这里藏着一个不小的陷阱——尤其是当 b 是惰性可迭代对象（比如 map、filter、生成器）的时候。+= 会就地反复扩展列表，一边添加新元素一边继续迭代，结果就是陷入无限循环，直到内存耗尽。

为什么会有这种差别？关键在于底层调用的特殊方法不同：+= 触发的是 __iadd__（就地加法），而 + 触发的是 __add__（返回新对象）。当这两个运算符跟列表与惰性可迭代对象搭配使用时，行为差异立马显现。

不妨看看一个具体例子：初始列表 a = [-1, -2, -3]。

• ✅ a = a + list(map(abs, a))：__add__ 要求右侧必须是列表类型，否则直接抛出 TypeError。这里我们显式转成 list，拼接成功，一切正常。
• ❌ a = a + map(abs, a)：map 对象不是列表，__add__ 立刻拒绝，报错：TypeError: can only concatenate list (not "map") to list。虽然报错，但至少安全。
• ⚠️ a += map(abs, a)：这才是真正的危险区。__iadd__ 不会做类型检查，它的实现相当于 for x in b: a.append(x)。由于 map 是惰性迭代器，每追加一个元素，a 的长度就增加，而迭代器又会继续遍历新追加的元素，形成自我强化的循环：

a = [-1, -2, -3]
# 第一轮迭代 map(abs, a) → yield abs(-1)=1 → a becomes [-1,-2,-3,1]
# 第二轮 → yield abs(-2)=2 → a becomes [-1,-2,-3,1,2]
# 第三轮 → yield abs(-3)=3 → a becomes [-1,-2,-3,1,2,3]
# 第四轮 → yield abs(1)=1 → a becomes [-1,-2,-3,1,2,3,1]
# 第五轮 → yield abs(2)=2 → a becomes [-1,-2,-3,1,2,3,1,2]
# …… 永无终止，内存耗尽崩溃

应该怎么处理？安全做法其实很简单——显式转换：

a += list(map(abs, a))  # 正确：先求值，再扩展
# 或者更推荐函数式风格（不修改原列表）
a = a + list(map(abs, a))

这里有几个需要特别注意的地方：

• 所有惰性可迭代对象——map、filter、生成器表达式等——跟 += 组合都存在这个风险；
• __iadd__ 的设计初衷是高效就地更新，但前提是右侧的可迭代对象长度固定且不依赖目标容器的状态；
• 调试时如果发现 += 操作异常卡顿或内存飙升，第一反应就应该是检查右侧是不是动态的、有副作用的可迭代对象。

总结一下：千万别把 += 当成 + 的安全别名。凡是涉及可迭代对象的操作，都老老实实先转成列表或其他确定长度的序列类型，这样才能保证行为可预测、不会跑偏。