Python 中 a += b 并非 a = a + b 的简单语法糖；当 b 是惰性可迭代对象（如 map）时，+= 会原地反复扩展列表并持续迭代新增元素，最终导致无限循环。
python 中 `a += b` 并非 `a = a + b` 的简单语法糖；当 `b` 是惰性可迭代对象（如 `map`）时，`+=` 会原地反复扩展列表并持续迭代新增元素，最终导致无限循环。
在 Python 中，+= 运算符看似只是 + 的简写，实则底层调用完全不同的特殊方法：+= 触发 __iadd__（就地加法），而 + 触发 __add__（生成新对象）。这一差异在操作列表与惰性可迭代对象（如 map、filter、生成器）结合时尤为关键。
以 a = [-1, -2, -3] 为例：
- ✅ a = a + list(map(abs, a))：__add__ 要求右侧必须为 list 类型，否则抛出 TypeError；显式转为 list 后拼接成功。
- ❌ a = a + map(abs, a)：map 对象非 list，__add__ 直接拒绝，报错 TypeError: can only concatenate list (not "map") to list。
- ⚠️ a += map(abs, a)：危险！ __iadd__ 不做类型检查，而是逐个 for x in b: a.append(x)。由于 map 是惰性迭代器，且 a 在迭代过程中被不断修改——每追加一个 abs(x)，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__ 的设计本意是高效就地更新，但前提是右侧可迭代对象长度固定且不依赖目标容器状态；
- 调试时若发现 += 异常卡顿或内存飙升，应立即检查右侧是否为动态/副作用敏感的可迭代对象。
总结：切勿将 += 当作 + 的安全别名。涉及可迭代对象时，务必显式转为 list 或其他确定长度的序列类型，以保障行为可预测、可终止。
