关于 Python 的一个问题

[strahe]

早上补习黑魔法的时候，在知乎上看到一个问题：

>>> a = (1, [1,2,3], 'a')
>>> a[1] += [4]
Traceback (most recent call last):
  File "<interactive input>", line 1, in <module>
TypeError: 'tuple' object does not support item assignment
>>> a
(1, [1, 2, 3, 4], 'a')
>>>

没搞明白这是为什么，来个明白人解释一下。

[jixiangqd]

@zxc111 学习了！

[21grams]

妥妥的就是个 bug ，要么就别报错，要报错就别修改值

[prm]

并不是一个 Bug ，来看一下 byte code

$ py -3
Python 3.5.1 (v3.5.1:37a07cee5969, Dec 6 2015, 01:54:25) [MSC v.1900 64 bit (AMD64)] on win32
Type "help", "copyright", "credits" or "license" for more information.
>>> from dis import dis
>>> dis('''
... a = (1, [1,2,3], 'a')
... a[1] += [4]
... ''')
2 0 LOAD_CONST 0 (1)
3 LOAD_CONST 0 (1)
6 LOAD_CONST 1 (2)
9 LOAD_CONST 2 (3)
12 BUILD_LIST 3
15 LOAD_CONST 3 ('a')
18 BUILD_TUPLE 3
21 STORE_NAME 0 (a)

3 24 LOAD_NAME 0 (a)
27 LOAD_CONST 0 (1)
30 DUP_TOP_TWO
31 BINARY_SUBSCR
32 LOAD_CONST 4 (4)
35 BUILD_LIST 1
38 INPLACE_ADD
39 ROT_THREE
40 STORE_SUBSCR
41 LOAD_CONST 5 (None)
44 RETURN_VALUE

a[1] += [4]实际是两部操作，+= 和 []=

INPLACE_ADD 是 +=
STORE_SUBSCR 是 []=

先发生了+=，然后 []= 报错了。仅此而已。

[prm]

归根结底这是 Python 语言设计的锅， python 定义了与各种 operator 等价的 magic method (双下划线 method ，比如__iadd__是+=，当然，也就是后来编译出来的 INPLACE_ADD)，当你从语法上玩弄语义的时候（+=, []= 合并成了 x[y]+=z ），就被自己玩了。。

[fzinfz]

为什么都在关心 += 。。。

a = (1,2)
a[1] = 2

同样的报错

Tuples are immutable.

[Ahri]

@prm 是对的。

说原因是 tuples are immutable 的没看懂这个问题。

建议类似操作用 append 或 extend ，不报错。

>>> a=(1,[2])
>>> a[1]
[2]
>>> a[1].append(2)
>>> a
(1, [2, 2])

[fzinfz]

@fzinfz 我错了，确实要关心+=，之前没看懂问题(>﹏<)

[sudoz]

@dosin tuple 里所引用的对象不可变，但是对象的值可变

[jixiangqd]

突然想明白了为啥+= 要有个[]=的操作。
为了实现 a = [1];a[0]+=1 这种基本类型在容器内执行执行+=

[wizardoz]

赶紧去提 bug