Nếu x là danh sách, tại sao x + = "ha" làm việc, trong khi x = x + "ha" ném một ngoại lệ?

Question

Từ những gì tôi biết, + op cho danh sách chỉ yêu cầu toán hạng thứ hai có thể lặp lại, mà "ha" rõ ràng là.

Trong mã:

>>> 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 

Answer 1

Sử dụng += với một danh sách giống như gọi extend, không +.

• Bạn có thể gọi extend có thể lặp lại.
• Bạn chỉ có thể sử dụng + với một danh sách khác.

Tôi chỉ có thể đoán tại sao quyết định này được đưa ra, nhưng tôi cho rằng đó là vì lý do hiệu suất. Gọi + kết quả trong một đối tượng mới được tạo và tất cả các mục được sao chép, trong khi extend có thể sử dụng dung lượng trống trong đối tượng danh sách hiện có để lưu bản sao trong một số trường hợp.

Một tác dụng phụ khác của quyết định này là nếu bạn viết x += y các tham chiếu khác vào danh sách sẽ thấy thay đổi nhưng nếu bạn sử dụng x = x + y thì chúng sẽ không. Đây được thể hiện dưới đây:

 
>>> x = ['a','b'] 
>>> y = ['c', d'] 
>>> z = x 
>>> x += y 
>>> z 
['a', 'b', 'c', 'd'] 

>>> x = ['a','b'] 
>>> y = ['c', d'] 
>>> z = x 
>>> x = x + y 
>>> z 
['a', 'b'] 

Tài liệu tham khảo

Python source code for list.

Mã nguồn cho +=:

 
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; 
} 

Mã nguồn cho +:

 
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 ... 

Answer 2

Bạn đang suy nghĩ về nó về phía sau. Bạn đang hỏi tại sao x = x + 'ha' ném ngoại lệ, cho rằng x += 'ha' hoạt động. Thực sự, câu hỏi là lý do tại sao tất cả các công trình x += 'ha' đều hoạt động.

Mọi người đồng ý (tôi hy vọng) rằng 'abc' + 'ha' và [1, 2, 3] + ['h', 'a'] sẽ hoạt động. Và trong những trường hợp này, quá tải += để thực hiện sửa đổi tại chỗ có vẻ hợp lý.

Nhà thiết kế ngôn ngữ quyết định rằng [1, 2, 3] + 'ha' không nên vì bạn đang pha trộn các loại khác nhau. Và điều đó có vẻ hợp lý.

Vì vậy, câu hỏi là tại sao họ quyết định cho phép trộn các loại khác nhau trong trường hợp x += 'ha'. Trong trường hợp này, tôi tưởng tượng có một vài lý do:

• Đó là một cách viết tắt thuận tiện
• Rõ ràng những gì xảy ra (bạn nối thêm mỗi mục trong iterable để x)

Nhìn chung , Python cố gắng để cho bạn làm những gì bạn muốn, nhưng ở đâu có sự mơ hồ, nó có xu hướng buộc bạn phải rõ ràng.

Answer 3

Khi xác định toán tử, có hai toán tử "thêm" khác nhau: Một được gọi là __add__, số khác __iadd__. Cái thứ hai là để bổ sung tại chỗ với +=, cái còn lại là toán tử + thông thường. http://docs.python.org/reference/datamodel.html có nhiều thông tin hơn về điều đó.