python 序列增量赋值谜一般的题目

说到python的增量赋值，大家里面就想到 +=， *= 之类的

+=背后的特殊方法是 iadd 意思是：就地加法，如果一个类没有实现这个方法，那么python会退一步使用 add来进行相加

a += b

如果a实现了就地相加方法，就是调用这个方法，同时对可变序列来说，就是直接改动，就像调用a.extend(b)一样，但是如果a没有这个方法，那就执行 a = a + b, 总的来说，可变序列一般都实现了就低价法，而不变序列根部就不支持这个操作，也不可能实现这个方法。

现在我们得出的结论是：
可变序列可以增量赋值，不可变序列不可以增量赋值
这个结论到底对不对？我们来看一个题：

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

用我们刚才的结论来判断，因为t是个tuple，是不变序列，所以不支持增量赋值，所以这个肯定会报错，没错，没错，我们用刚才的结论成功的做出了这题,来看报错信息：

<ipython-input-43-c823147bfbc0> in <module>()
----> 1 t[2] += [5,6]

TypeError: 'tuple' object does not support item assignment

哈哈，很简单，接着，我们再来看一下此时t的值：

In [44]: t
Out[44]: (1, 2, [3, 4, 5, 6])

你肯定会打呼：what the f**k!!!!，什么鬼，怎么还是变了，擦
结果： t被改动了，同时也抛出了错误

来吧，我们来看看这其中的原理
首先我们看看python字节码对于s[a] += b这种类型的解析

In [46]: import dis

In [47]: dis.dis('s[a] += b')
  1           0 LOAD_NAME                0 (s)
              3 LOAD_NAME                1 (a)
              6 DUP_TOP_TWO  
              7 BINARY_SUBSCR  ------1
              8 LOAD_NAME                2 (b)
             11 INPLACE_ADD    ---------2
             12 ROT_THREE
             13 STORE_SUBSCR  ------------3
             14 LOAD_CONST               0 (None)
             17 RETURN_VALUE

三个步骤（对应代码里面的1，2，3）：
1.将s[a]存入栈顶
2.完成s[a] += b
3.存贮结果

有结果可以看出前两个步骤成功执行了，在最后一步报错，因为s是不可变的序列所以s[a] 赋值失败报错，通过这个例子我们可以得到的结论如下：
1.尽量不要把可变对象放到元组里面(通过extend方法可以避免这个问题)
2.增量赋值 操作不是原子操作，因为报错了，但是还是完成了 += 操作
这个问题是个不常遇见的边界问题，不常见，但是了解一下还是很有用处的~