Python | a += b并不总是a = a + b

在 Python 编程语言中，a += b 这种语法结构仅仅是赋值运算符的一个简写，它实际上并不等同于 a = a + b 语法结构。本文将简要介绍 a += b 的工作原理以及它和 a = a + b 的区别。

a += b 与 a = a + b 的区别

a += b 和 a = a + b 同样可以用于实现变量 a 的累加，但是它们的实现方式是不同的。

例如，下面的代码展示了使用 a += b 和 a = a + b 完成变量累加的代码示例：

a = 1
b = 2
a += b  # 输出 a 的值为 3
a = a + b  # 输出 a 的值为 5

使用 a = a + b 可以在 a 的原有值的基础上加上变量 b 的值，然后将结果重新赋值给 a 进行累加。而使用 a += b 则是直接将变量 b 的值加入到变量 a 的值中，然后将结果重新赋值给变量 a。

这个区别在 Python 中有时非常重要，尤其是当变量 a 的类型是不可更改的（例如元组或字符串）时，a += b 等价于 a = a + b，因为对于不可变类型的变量，Python 将其视为重新赋值，所以不可更改的类型在使用 a += b 时跟 a = a + b 是效果相同的，但是对于可变类型的变量，这两种语法结构的行为确实不同的。

可变类型与不可变类型

在 Python 中，可变类型指的是可以直接修改原始对象的对象类型（例如列表和字典等），而不可变类型指的是不能修改原始对象的对象类型（例如数字，字符串和元组等）。

考虑下面的代码：

x = [1, 2, 3]
y = x
y += [4, 5]

这里，变量 x 的值被改变了。由于列表是可变类型，因此使用 y += [4, 5] 实际上是在原列表 x 后面添加了 [4, 5]，因此这个结果不同于使用 y = y + [4, 5]。如果使用 y = y + [4, 5]，则会创建一个新的列表，并在这个新列表的末尾添加 [4, 5]，并将结果重新赋值给变量 y，而变量 x 则不会受到影响。

x = (1, 2, 3)
y = x
y += (4, 5)

这里，由于元组是不可变类型，因此使用 y += (4, 5) 实际上等同于 y = y + (4, 5) 这种语法结构。这样，Python 将创建一个新的元组，它将包含 y 指向的元组 x 中的元素，以及 (4, 5)，然后将结果重新赋值给变量 y。

因此，对于可变类型和不可变类型，在使用 a += b 时最好还是去了解实际操作是什么，以免因为这个问题而产生 bug。

总结

至此，我们已经了解了 Python 中 a += b 与 a = a + b 的区别，以及对于可变类型和不可变类型，这两种写法实际上会产生什么样的操作。因此，在进行 Python 编程时，应该选择最适合当前代码的语法结构。