Пытаюсь понять различия между += и методом .append() для списка в кортеже. Данный вопрос задаётся ради того, чтобы разобраться во "внутренней кухне", а не найти практическое применение. Пример кода:
def add_func():
a = (1, 2, [1, 2])
a[-1] += [3] # в список значение добавится, но потом падает ошибка
И вторая версия:
def append_func():
a = (1, 2, [1, 2])
a[-1].append(3) # в данном случае всё корректно отработает
Посмотрев байт-код, я нашёл разницу в некоторых строчках:
print(dis.dis(add_func))
print('--------------')
print(dis.dis(append_func))
4 0 LOAD_CONST 1 (1)
2 LOAD_CONST 2 (2)
4 LOAD_CONST 1 (1)
6 LOAD_CONST 2 (2)
8 BUILD_LIST 2
10 BUILD_TUPLE 3
12 STORE_FAST 0 (a)
5 14 LOAD_FAST 0 (a)
16 LOAD_CONST 3 (-1)
18 DUP_TOP_TWO
20 BINARY_SUBSCR
22 LOAD_CONST 4 (3)
24 BUILD_LIST 1
26 INPLACE_ADD # Кажется, это "отголоски" __iadd__
28 ROT_THREE
30 STORE_SUBSCR
32 LOAD_CONST 0 (None)
34 RETURN_VALUE
--------------
8 0 LOAD_CONST 1 (1)
2 LOAD_CONST 2 (2)
4 LOAD_CONST 1 (1)
6 LOAD_CONST 2 (2)
8 BUILD_LIST 2
10 BUILD_TUPLE 3
12 STORE_FAST 0 (a)
9 14 LOAD_FAST 0 (a)
16 LOAD_CONST 3 (-1)
18 BINARY_SUBSCR
20 LOAD_METHOD 0 (append)
22 LOAD_CONST 4 (3)
24 CALL_METHOD 1
26 POP_TOP
28 LOAD_CONST 0 (None)
30 RETURN_VALUE
Разница в байт-коде позволила мне подумать о том, что я разобрался в данном вопросе, но после этого я решил почитать SO.
Цитата из данного вопроса:
+= is an assignment. When you use it you're really saying ‘some_list2= some_list2+['something']’. Assignments involve rebinding, so:
При этом про __iadd__
вот тут пишут:
From an API perspective, iadd is supposed to be used for modifying mutable objects in place (returning the object which was mutated) whereas add should return a new instance of something.
Также цитата из книги Л.Рамальо "Python – к вершинам мастерства":
Составное присваивание (операторы +=, *= и т. п.) создает новый объект, если переменная в левой части связана с неизменяемым объектом, а из- меняемый объект может быть модифицирован на месте.
Признаться, я запутался в этом и вижу в этом много противоречий. Если через +=
объект изменяется "на месте", почему падает ошибка?
P.S. Также не совсем понял строчку про STORE_FAST
в байткоде из документации:
Stores STACK.pop() into the local co_varnames[var_num].
+=
- это присваивание. В ошибке (которую вы не указали, а стоило бы) прямо сказано, что tuple не поддерживает присваивание элементов. Из того что это присваивание и нужно исходить.+= []
, я не обратил внимания, решил, что там просто число.