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

V2EX = way to explore

V2EX 是一个关于分享和探索的地方

现在注册

已注册用户请登录

推荐学习书目

› Learn Python the Hard Way

Python Sites

› PyPI - Python Package Index

› http://diveintopython.org/toc/index.html

› Pocoo

值得关注的项目

› PyPy

› Celery

› Jinja2

› Read the Docs

› gevent

› pyenv

› virtualenv

› Stackless Python

› Beautiful Soup

› 结巴中文分词

› Green Unicorn

› Sentry

› Shovel

› Pyflakes

› pytest

Python 编程

› pep8 Checker

Styles

› PEP 8

› Google Python Style Guide

› Code Style from The Hitchhiker's Guide

这是一个创建于 190 天前的主题，其中的信息可能已经有所发展或是发生改变。

今天玩 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 帧内容不同的动画。

13 条回复 • 2024-05-12 13:34:30 +08:00

DOLLOR

190 天前

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

kneo

190 天前 via Android

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

my8100

190 天前 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``.

NessajCN

190 天前 via Android

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

my8100

190 天前 via iPhone

写成这样会清楚一些吧：

g_all = Graphics()

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

zeromake

190 天前

得去看 Graphics 的符号重载实现

geelaw

190 天前 via iPhone

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

lovelylain

190 天前 via Android

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 类型的，只是内置类型为了便于理解做了这样的区分。