Как вы понимаете ссылочную модель, на которой основан язык программирования Python?

В Python переменные являются ссылками (ссылками) на объекты в памяти, а не контейнерами для самих значений. Когда мы присваиваем значение переменной, она фактически начинает указывать на объект, содержащий это значение. При изменении переменной, ссылающейся на изменяемый объект (например, список или словарь), изменяется сам объект, на который ссылается переменная. При изменении переменной, ссылающейся на неизменяемый объект (например, число, строка или кортеж), создается новый объект в памяти, и переменная начинает указывать на него.

# Immutable object (int)
a = 10
b = a # a and b reference the same object initially
print(id(a), id(b)) # Same id

a = 20 # Creates a new object 20, a now references it
print(id(a), id(b)) # Different id, b still references 10

# Mutable object (list)
list1 = [1, 2, 3]
list2 = list1 # list1 and list2 reference the same list object
print(id(list1), id(list2)) # Same id

list1.append(4) # Modifies the object referenced by both
print(list1)
print(list2) # Both lists are modified
print(id(list1), id(id(list2))) # Still the same id

Механизм подсчета ссылок (reference counting) используется для автоматического управления памятью. Каждый объект отслеживает количество переменных, ссылающихся на него. Когда счет ссылок достигает нуля, объект становится недоступным, и сборщик мусора освобождает занимаемую им память.

Важное отличие от языков с прямым хранением значений в переменных (например, C): в Python при присваивании b = a не копируется значение a в b, а b начинает ссылаться на тот же объект, на который ссылается a.