元组一定不可变吗(一个有趣的边界问题)

元组可变吗

这个问题恐怕不需要讨论，哪怕刚学习python的同学都知道在python的性质中列表可变，元组不可变。
最近看到一个有趣的案例与大家分享一下。

元组一定不可变吗

下面我们来看一下示例

tuple1 = (1,2,3,[4,5])
tuple1[3]+=[6]

这个执行结果是什么吗？

TypeError                                 Traceback (most recent call last)
<ipython-input-2-32ec33a4c5df> in <module>
      1 tuple1 = (1,2,3,[4,5])
----> 2 tuple1[3]+=[6]

TypeError: 'tuple' object does not support item assignment

还好，他抛出了异常。元组对象不支持赋值。但是当我们再次查看tuple1时。

tuple1
(1, 2, 3, [4, 5, 6])

奇怪的是虽然抛出了异常赋值依然成功。

这个问题发生的原因

这个原因其实是一个边界问题。

 1           0 LOAD_NAME                0 (tuple1)
              2 LOAD_CONST               0 (3)
              4 DUP_TOP_TWO
              6 BINARY_SUBSCR
              8 LOAD_CONST               1 (6)
             10 BUILD_LIST               1
             12 INPLACE_ADD
             14 ROT_THREE
             16 STORE_SUBSCR
             18 LOAD_CONST               2 (None)
             20 RETURN_VALUE

我们来看一下第6、12、18步

第6步 把元组索引为3的元素取出来加载到内存中 即为 拿出 [4,5]
第12步 对列表[4,5]进行赋值操作，因为这是列表支持的赋值操作，所以不会报错。

而同时在第12步的时候列表已经改变了。

在列表中 list1+=[] list1*=2 这种操作是对原对象修改，换句话说这时候元组索引为3指向的列表的值已经改变了。

这时候再到16步对元组进行赋值的时，因为元组不能进行赋值所以赋值失败。

可是这时候索引为3的列表已经改变，这个赋值虽然抛出异常也算是成功了。

这个异常也告诉我们增量赋值并不是原子操作，所以我们在进行多线程多进程开发中应当更加谨慎。