在 python 中分配给可变元组组件：一个错误？一个特征？ [复制]

Question

我们知道 Python 元组是不可变的，很好。当我尝试更改元组组件的引用时，我得到了一个异常，正如预期的那样。出乎意料的是，无论异常如何，组件都会发生变化，而我原以为元组不变性保证了对象不会是可变的。

它是错误、功能还是 PEP？

In [6]: x=([1],)
In [7]: type(x)
Out[7]: tuple
In [8]: x[0]+=[2,3]
---------------------------------------------------------------------------
TypeError                                 Traceback (most recent call last)
<ipython-input-8-a73186f99454> in <module>()
----> 1 x[0]+=[2,3]

TypeError: 'tuple' object does not support item assignment   
In [9]: x
Out[9]: ([1, 2, 3],)

Answer 1

这里更简单：

tup = ([],[])
tup[0].append(0)
tup[1].append(1)
print tup

打印出来

([0],[1])

元组不变性意味着组成元组的对象不能更改为不同的对象。这并不意味着您不能修改它们的值。

现在，话虽如此，您发现了一个非常有趣（如果是这个词）的极端情况，基本上可以翻译为：

x = tup[0]
x += [2,3]
tup[0] = x

所以，前两行按预期工作，然后你得到一个异常。

Answer 2

有趣的点。

之所以会这样，是因为

x[0]+=[2,3]

翻译成

x[0] = x[0].__iadd__([2,3])

这意味着它首先调用__iadd__，它会修改列表，然后才尝试对元组执行非法分配。

（当然，解决方法很容易（例如@luispedro 的回答），但我知道您的问题不是关于如何解决它。）

它是错误、功能还是 PEP？

很难说。由于最小惊讶原则，我倾向于投票给“错误”。人们会期望x[0].extend(y) 的行为类似于a=x[0]; a.extend(y) 的行为，而a=x[0]; a+=y 的行为类似于x[0]+=y。

一个可能的修复（至少对于 python 内置类型）可能是要求__setitem__(self, k, v) 应转换为无操作以防self[k] is v。 （并且覆盖 __setitem__ 的自定义类应该遵守）。