Python += 运算符可以修改原始引用？！

[moudy]

今天玩 sagemath+ipywidget 的动画渲染，发现下面这段代码对新手太友好了：

origin = (0,0)

frames = []

g = Graphics()
frames += [g]

for i in range(5):
  g += circle(origin, i*5)
  frames += [g]

animate(frames).show()

一开始我以为这段代码是错的，frames 里存了一堆同样的 g ，只会将最后一张照片画六遍，不会显示动画效果。

实际情况是每次 g+=都会修改 g 本身的引用。最后还真的生成了 6 帧内容不同的动画。

[DOLLOR]

在 Python 里，有的数据类型执行 a += b 和 a = a + b 效果是不一样的

[kneo]

不然你以为+=后面的=是什么意思……

[my8100]

https://github.com/sagemath/sage/blob/c4363fc97eb67fb08073ea37ef88d633e9feb160/src/sage/plot/graphics.py#L1129

def __add__(self, other):
"""
If you have any Graphics object G1, you can always add any other
amount of Graphics objects G2,G3,... to form a new Graphics object:
``G4 = G1 + G2 + G3``.

[NessajCN]

+= 的不是 g 是 frames 啊…
Python 里 list += anotherlist 等于 list.extend(another_list)

[my8100]

写成这样会清楚一些吧：

g_all = Graphics()

g_all = g_all + circle(origin, i*5)
frames.append(g_all)

[zeromake]

得去看 Graphics 的符号重载实现

[geelaw]

a+=b 的意思是 a=a.__iadd__(b) 或者 a=a.__add__(b) 或者 a=b.__radd__(a)，注意这些方法的返回值是任意的，即使是第一种情况也不需要修改 a 并返回 a 。

[lovelylain]

g += circle(origin, i*5) 等价于 g = g.__iadd__(circle(origin, i*5))，当 g
没有定义 iadd 的时候，会找 add ，从语义上 iadd 应该修改 g 本身但语言不做这种保证，也就是可能返回新 g ，至于 add 显然语义上就是返回新 g 了，缺少 iadd 当然也会得到新 g 。这种不一致在 python 中很普遍，例如 str/tuple 这些 immutable 类型+=就是返回新对象，list 等 mutable 类型+=就是修改对象本身，这种不一致是取决于实现而非是否 mutable 类型的，只是内置类型为了便于理解做了这样的区分。

[yanyao233]

@DOLLOR 因为重载运算符了？

[noahlias]

+=这个 opcode 是 inplace_add

https://github.com/python/cpython/blob/main/Modules/_opcode.c#L269

[moudy]

@lovelylain #8 感谢解释。我一开始搜了一下重载 meta 函数，看到+=对应__iadd__，但是 Graphics 只重载了__add__，还没来得及去查替代重载规则。你这样一说就很清楚了。这个 Graphics 是模仿了 str 这类 immutable 的语义。

[moudy]

@kneo #2 以为是下面这个=呗
>>> a=[1,2]
>>> id(a)
2010201753408
>>> a+=[3,4]
>>> id(a)
2010201753408

[fushall]

学到了，还能这么弄。。。用了太多年低版本的 Python 了，这是高级版本特性吗？