在 python 中，如果 x 是 list，为什么 x += "ha" 可以运行，而 x = x + "ha" 却抛出异常呢

问题

众所周知，在 python 中，+ 运算符可以使用在列表上，+ 运算符只需要第二个操作数是可迭代的(原文：iterable。@justjavac)，那么 + 显然可以运算在 "ha" 上。

代码如下：

>>> x = []>>> x += "ha">>> x['h', 'a']>>> x = x + "ha"Traceback (most recent call last):File "<stdin>", line 1, in <module>TypeError: can only concatenate list (not "str") to list

解答

当我们在列表 list 上使用 += 的时候，其实相当于调用函数 extend()，而不是使用的 +。

• 你可以在一个可迭代(iterable)对象上调用 extend()。
  • 但是，当您使用 + 时，另一个操作数必须是列表(list)。

为什么 python 会如此诡异，也许是出于性能方面的考虑。 调用 + 时，将会创建一个新的对象，并复制里面的所有内容。但是当调用 extend() 函数时，将可以使用现有的空间。

这样就会产生另一个副作用：如果你写 X += Y，在其他对列表的引用(reference)中，会看到变化；但如果你使用 X = X + Y，就不会。

下面的代码说明了这一点：

>>> x = ['a','b']>>> y = ['c', d']>>> z = x>>> x += y>>> z['a', 'b', 'c', 'd']    // z 也发生了变化>>> x = ['a','b']>>> y = ['c', d']>>> z = x>>> x = x + y>>> z['a', 'b']  // z 函数原始值

参考文献

Python source code for list.

python：+= 的源代码:

static PyObject *list_inplace_concat(PyListObject *self, PyObject *other){    PyObject *result;    result = listextend(self, other);    if (result == NULL)        return result;    Py_DECREF(result);    Py_INCREF(self);    return (PyObject *)self;}

python：+ 的源代码:

static PyObject *list_concat(PyListObject *a, PyObject *bb){    Py_ssize_t size;    Py_ssize_t i;    PyObject **src, **dest;    PyListObject *np;    if (!PyList_Check(bb)) {        PyErr_Format(PyExc_TypeError,                  "can only concatenate list (not \"%.200s\") to list",                  bb->ob_type->tp_name);        return NULL;    }    // etc ...

原文：python - If x is list, why does x += "ha" work, while x = x + "ha" throw an exception?

译文：在 python 中，如果 x 是 list，为什么 x += "ha" 可以运行，而 x = x + "ha" 却抛出异常呢？

译者：justjavac