说到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.增量赋值 操作不是原子操作,因为报错了,但是还是完成了 += 操作
这个问题是个不常遇见的边界问题,不常见,但是了解一下还是很有用处的~