Python 中 += 并非 a = a + b 的简单语法糖；对列表使用 a += map(...) 会触发 __iadd__ 方法，边迭代边就地扩展列表，导致 map 不断处理新增元素，最终陷入无限循环。
python 中 `+=` 并非 `a = a + b` 的简单语法糖；对列表使用 `a += map(...)` 会触发 `__iadd__` 方法，边迭代边就地扩展列表，导致 `map` 不断处理新增元素，最终陷入无限循环。
在 Python 中，+= 运算符看似只是 a = a + b 的简写，但其底层行为与 + 截然不同——它调用的是对象的 __iadd__（“in-place add”）方法，而非 __add__。这一差异在操作可迭代对象（如 map）时尤为关键，甚至可能引发灾难性后果。
以 a = [-1, -2, -3] 为例：
- ✅ a = a + list(map(abs, a))：调用 list.__add__，要求右侧必须是 list 类型，否则抛出 TypeError（安全失败）；
- ❌ a += map(abs, a)：调用 list.__iadd__，该方法仅要求右侧可迭代（iterable），不校验类型。于是它开始逐个消费 map 迭代器：
- 首次迭代得 abs(-1) → 1，追加后 a = [-1, -2, -3, 1]；
- 第二次得 abs(-2) → 2，a = [-1, -2, -3, 1, 2]；
- 第三次得 abs(-3) → 3，a = [-1, -2, -3, 1, 2, 3]；
- 此时 map 并未结束——因为 a 已变长，map(abs, a) 的新迭代将从索引 3 开始，计算 abs(1) → 1，再追加……
- 如此往复，a 持续增长，map 持续产出，形成自强化的无限循环，直至内存耗尽或被系统终止。
# 危险示例（请勿运行） a = [-1, -2, -3] # a += map(abs, a) # ← 将无限循环！
✅ 正确做法始终显式转换为 list 或其他确定长度的容器：
a = [-1, -2, -3] a += list(map(abs, a)) # 安全：map 被一次性求值为固定列表 # 结果：[-1, -2, -3, 1, 2, 3]
⚠️ 注意事项：
- __iadd__ 的“就地修改”特性使其对可迭代对象具有隐式依赖——若迭代器内部引用了被修改对象（如本例中 map(abs, a) 依赖 a），极易引发逻辑悖论；
- 此问题不仅限于 map，所有惰性可迭代对象（如生成器、filter、自定义迭代器）在 += 中均存在类似风险；
- += 的语义本质是“扩展当前容器”，而 + 是“创建新容器”，二者设计目标不同，不可互换假设。
总结：永远不要对动态变化的容器使用 += 操作惰性迭代器。务必先用 list()、tuple() 等固化数据，确保迭代过程与容器状态解耦——这是写出健壮、可预测 Python 代码的关键习惯。
