为何Python禁止对含可变对象的元组使用+=运算符？

问题重现 #

执行以下代码会抛出TypeError，但元组内的列表却被成功修改：

t = (['a'],)
t[0] += 'b'
# TypeError: 'tuple' object does not support item assignment

即使捕获异常，仍能看到列表已被修改：

t = (['a'],)
try: 
    t[0] += 'b'
except TypeError:
    print(t)  # 输出: (['a', 'b'],)

补充验证代码确认元组存储的是对象引用：

l = ['a']
t = (l,)
print(t[0] is l)  # 输出: True

底层逻辑解析 #

这一行为的核心在于**+=运算符的两步执行流程以及元组与可变对象的本质差异**：

• 第一步：获取t[0]对应的列表对象，调用该列表的__iadd__方法（即列表的原地扩展操作），这一步会直接修改列表本身的内容，把'b'添加进去——这一步完全合法，因为列表是可变对象，修改其内部数据不需要改变元组中存储的引用。
• 第二步：尝试把__iadd__方法返回的结果重新赋值给t[0]，但元组是不可变类型，不允许修改其元素的引用，这一步触发TypeError。

由于异常是在第二步抛出的，而第一步的列表修改已经完成，所以即使报错，元组内的列表依然会被改变。

关于“重新绑定”的疑问 #

需要区分两个层面的操作：

• 列表的+=（即__iadd__）属于原地修改对象，不是重新绑定——它直接修改原列表的内存内容，没有创建新列表对象，也没有改变元组中存储的引用。
• 而t[0] += 'b'的最后一步试图将结果赋值给t[0]，这才是试图重新绑定元组的元素引用，但元组的不可变性禁止了这一操作，所以抛出异常。

内容的提问来源于stack exchange，提问作者Zimzozaur