python - 为什么 Python 在已经有 INPLACE_ADD 时发出 STORE_SUBSTR？

Question

如果反汇编下面的函数

def test():
    t = (1, 2, [30])
    t[2] += [40]
    return t

您会看到 t[2] += [40] 的相应字节码如下所示:

  3          18 LOAD_FAST                0 (t)
             21 LOAD_CONST               2 (2)
             24 DUP_TOPX                 2
             27 BINARY_SUBSCR
             28 LOAD_CONST               4 (40)
             31 BUILD_LIST               1
             34 INPLACE_ADD
             35 ROT_THREE
             36 STORE_SUBSCR

[40]在INPLACE_ADD之后连接到存储在t[2]中的列表，为什么Python决定添加一个STORE_SUBSCR 无论如何？

Answer 1

这是因为 INPLACE_ADD 仅请求在可能的情况下就地完成操作；如果对象是不可变的或者没有费心去实现 __iadd__，INPLACE_ADD 就会退回到常规的非就地添加。如果代码是

t = [1, 2, (30)]
t[2] += (40,)

显然有必要将新元组存储回 t[2]，因为该操作会生成一个新元组而不是改变旧元组。