Почему Python пытается назначить элемент после += на месте изменяемого элемента внутри кортежа? ⇐ Python

[Anonymous]

Контекст
В книге Fluent Python (2-е изд.) Лучано Рамальо в примере 2–16 показано, что:

Код: Выделить всё

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

результат:

• Код: Выделить всё

  t

  становится (1, 2, [30, 40, 50, 60])
• возникает ошибка TypeError: TypeError: объект 'tuple' не поддерживает назначение элементов

Рамальо объясняет (насколько я понимаю), что расширенное присваивание выполняется примерно в следующие шаги:

• Загрузка t[2] на вершину стека (

  Код: Выделить всё

  TOS

  ).
• Выполните TOS += [50, 60]. Это удается, поскольку TOS ссылается на изменяемый объект (список).
• Попытайтесь вернуть результат с помощью t[2] = TOS. Это не удается, поскольку t является неизменяемым (кортеж).

Вопрос
Для списка l операция:

Код: Выделить всё

l += [50, 60]

изменяет список на месте и не меняет его идентичность (

Код: Выделить всё

id(l)

остается прежним).
Учитывая это, почему интерпретатор все еще пытается выполнить шаг 3 (

Код: Выделить всё

t[2] = TOS

), как если бы присваивался новый объект?
Более конкретно:

• Почему Python не проверяет, остается ли идентификатор объекта неизменным, и не пропускает присвоение в этом случае?
• Это просто компромисс между производительностью или сложностью реализации для случая, который редко встречается на практике, или есть более фундаментальная причина?

Подробнее здесь: https://stackoverflow.com/questions/798 ... -element-i