Назначение изменчивого компонента кортежа в python: ошибка? особенность?

Question

Мы знаем, что кортежи Python неизменны, хороши. Когда я пытаюсь изменить ссылку на компонент кортежа, я получаю исключение, как и ожидалось. Что не ожидается, компонент изменяется независимо от исключения, тогда как я думал, что неизменяемость гарантирует, что объект не будет изменяться.

Это ошибка, функция или PEP?

In [6]: x=([1],) 
In [7]: type(x) 
Out[7]: tuple 
In [8]: x[0]+=[2,3] 
--------------------------------------------------------------------------- 
TypeError         Traceback (most recent call last) 
<ipython-input-8-a73186f99454> in <module>() 
----> 1 x[0]+=[2,3] 

TypeError: 'tuple' object does not support item assignment 
In [9]: x 
Out[9]: ([1, 2, 3],) 

Answer 1

Интересный вопрос.

Причина он ведет себя так, что

x[0]+=[2,3] 

переводит

x[0] = x[0].__iadd__([2,3]) 

что означает, что сначала вызывает __iadd__, который модифицирует список на месте, и только потом пытается выполнить незаконное назначение в кортеж.

(Конечно, это легко обойти (например ответ @ luispedro), но я понимаю ваш вопрос не о том, как обойти его.)

Является ли это ошибка, функция или PEP?

Трудно сказать. Я склонен голосовать за «ошибку» из-за принципа наименьшего удивления. Можно было бы ожидать, что x[0].extend(y) будет вести себя как a=x[0]; a.extend(y), чтобы вести себя как a=x[0]; a+=y, чтобы вести себя как x[0]+=y.

Возможное исправление (по крайней мере, для встроенных типов python) может потребоваться, чтобы __setitem__(self, k, v) перевести на no-op в случае self[k] is v. (и пользовательские классы, переопределяющие __setitem__, должны подчиняться).

Answer 2

Вот еще проще:

tup = ([],[]) 
tup[0].append(0) 
tup[1].append(1) 
print tup 

печатает

([0],[1]) 

Кортеж неизменность означает, что объекты, которые составляют кортеж не может быть изменен на различных объектах. Это не означает, что вы не можете изменять свои значения.

Теперь, говорит, что вы нашли очень интересный (если это слово) угол случай, который в основном переводится:

x = tup[0] 
x += [2,3] 
tup[0] = x 

Итак, первые две линии работают, как и ожидалось, то вы получаете исключение.