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 代码的关键习惯。