今天玩 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 帧内容不同的动画。
1
DOLLOR 207 天前
在 Python 里,有的数据类型执行 a += b 和 a = a + b 效果是不一样的
|
2
kneo 207 天前 via Android 1
不然你以为+=后面的=是什么意思……
|
3
my8100 207 天前 via iPhone
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``. |
4
NessajCN 207 天前 via Android
+= 的不是 g 是 frames 啊…
Python 里 list += anotherlist 等于 list.extend(another_list) |
5
my8100 207 天前 via iPhone
写成这样会清楚一些吧:
g_all = Graphics() g_all = g_all + circle(origin, i*5) frames.append(g_all) |
6
zeromake 207 天前 1
得去看 Graphics 的符号重载实现
|
7
geelaw 207 天前 via iPhone 1
a+=b 的意思是 a=a.__iadd__(b) 或者 a=a.__add__(b) 或者 a=b.__radd__(a),注意这些方法的返回值是任意的,即使是第一种情况也不需要修改 a 并返回 a 。
|
8
lovelylain 207 天前 via Android 2
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 类型的,只是内置类型为了便于理解做了这样的区分。 |
10
noahlias 207 天前
|
11
moudy OP @lovelylain #8 感谢解释。我一开始搜了一下重载 meta 函数,看到+=对应__iadd__,但是 Graphics 只重载了__add__,还没来得及去查替代重载规则。你这样一说就很清楚了。这个 Graphics 是模仿了 str 这类 immutable 的语义。
|
12
moudy OP |
13
fushall 197 天前
学到了,还能这么弄。。。用了太多年低版本的 Python 了,这是高级版本特性吗?
|