Изменяемость

Изменяемые и неизменяемые типы данных в Python традиционно являются причиной головной боли у начинающих разработчиков. Как следует из названия изменяемые объекты можно модифицировать, неизменяемые - постоянны. Заставим голову кружиться? Смотрим пример:
foo = ['hi']
print(foo)
# Вывод: ['hi']
bar = foo
bar += ['bye']
print(foo)
# Вывод: ['hi', 'bye']
Что произошло? Мы этого не ожидали! Логично было бы увидеть:
foo = ['hi']
print(foo)
# Вывод: ['hi']
bar = foo
bar += ['bye']
print(foo)
# Ожидаемый вывод: ['hi']
# Вывод: ['hi', 'bye']
print(bar)
# Вывод: ['hi', 'bye']
Это не баг, а изменяемые типы данных в действии. Каждый раз, когда вы присваиваете значение переменной изменяемого типа другой переменной, все изменения с этим значением будут отражаться на обоих переменных. Новая переменная становится ссылкой на старую. Так происходит только с изменяемыми типами данных. Вот пример с использованием функций и изменяемых типов данных:
def add_to(num, target=[]):
target.append(num)
return target
add_to(1)
# Вывод: [1]
add_to(2)
# Вывод: [1, 2]
add_to(3)
# Вывод: [1, 2, 3]
Вы могли ожидать другого поведения. Например, что функция add_to будет возвращать новый список при каждом вызове:
def add_to(num, target=[]):
target.append(num)
return target
add_to(1)
# Вывод: [1]
add_to(2)
# Вывод: [2]
add_to(3)
# Вывод: [3]
Причиной, опять же, является изменяемость списков, которая и вызывает основную боль. В Python аргументы функции обрабатываются при определении функции, а не при её вызове. По этой причине вы никогда не должны присваивать аргументам по умолчанию значения изменяемых типов, если абсолютно точно не уверены в своих действиях конечно. Правильным подходом будет такой код:
def add_to(element, target=None):
if target is None:
target = []
target.append(element)
return target
Каждый раз при вызове функции без аргумента target будет создан новый список. К примеру:
add_to(42)
# Вывод: [42]
add_to(42)
# Вывод: [42]
add_to(42)
# Вывод: [42]