Как работают операторы на рабочем месте Python, отличные от стандартных функций оператора?

Question

Почему не operator.iadd(x, y) эквивалент z = x; z += y? И Как operator.iadd(x, y) отличается от operator.add(x, y)?

Из docs:

Многие операции имеют версию «на месте». Следующие функции обеспечивают более примитивный доступ к операциям на месте , чем обычный синтаксис ; например, оператор x + = y эквивалентен x = operator.iadd (x, y). Другой способ: сказать, что z = operator.iadd (x, y) эквивалентно составной оператор z = x; z + = y.

Related question, но меня не интересуют методы класса Python; просто регулярные операторы на встроенных типах Python.

Answer 1

Во-первых, вам нужно понять разницу между __add__ и __iadd__.

Метод __add__ объекта является обычным дополнением: он принимает два параметра, возвращает их сумму и не изменяет ни один из параметров.

Метод объекта __iadd__ также принимает два параметра, но делает изменение на месте, изменяя содержимое первого параметра. Поскольку для этого требуется мутация объекта, неизменяемые типы (например, стандартные типы номеров) не должны иметь метод __iadd__.

a + b использует __add__. a += b использует __iadd__, если он существует; если это не так, оно эмулирует его через __add__, как в tmp = a + b; a = tmp. operator.add и operator.iadd отличаются таким же образом.

К другой вопрос: operator.iadd(x, y) не эквивалентно z = x; z += y, потому что если нет __iadd__ не существует __add__ будет использоваться вместо этого. Вам необходимо присвоить значение, чтобы гарантировать, что результат будет сохранен в обоих случаях: x = operator.iadd(x, y).

Вы можете увидеть это сами достаточно легко:

import operator 
a = 1 
operator.iadd(a, 2) 
# a is still 1, because ints don't have __iadd__; iadd returned 3 

b = ['a'] 
operator.iadd(b, ['b']) 
# lists do have __iadd__, so b is now ['a', 'b'] 

Answer 2

Возможно, потому, что некоторые объекты Python неизменяемы.

Я предполагаю, что operator.iadd(x, y) эквивалентен z = x; z += y только для изменяемых типов, таких как словари и списки, но не для неизменяемых типов, таких как числа и строки.