¿Cómo entiendes el modelo de referencia en el que se basa el lenguaje de programación Python?

En Python, las variables son referencias (enlaces) a objetos en la memoria, no contenedores para los propios valores. Cuando asignamos un valor a una variable, en realidad comienza a apuntar a un objeto que contiene ese valor. Al cambiar una variable que hace referencia a un objeto mutable (por ejemplo, una lista o un diccionario), se modifica el propio objeto al que hace referencia la variable. Al cambiar una variable que hace referencia a un objeto inmutable (por ejemplo, un número, una cadena o una tupla), se crea un nuevo objeto en la memoria y la variable comienza a apuntar a él.

# Objeto inmutable (int)
a = 10
b = a # a y b inicialmente hacen referencia al mismo objeto
print(id(a), id(b)) # Mismo id

a = 20 # Crea un nuevo objeto 20, ahora a hace referencia a él
print(id(a), id(b)) # Id diferente, b todavía hace referencia a 10

# Objeto mutable (lista)
list1 = [1, 2, 3]
list2 = list1 # list1 y list2 hacen referencia a la misma lista
print(id(list1), id(list2)) # Mismo id

list1.append(4) # Modifica el objeto referenciado por ambos
print(list1)
print(list2) # Ambas listas se modifican
print(id(list1), id(list2)) # Sigue siendo el mismo id

El mecanismo de conteo de referencias se usa para gestionar automáticamente la memoria. Cada objeto rastrea la cantidad de variables que hacen referencia a él. Cuando el conteo de referencias llega a cero, el objeto se vuelve inaccesible y el recolector de basura libera la memoria que ocupa.

Una diferencia importante con los lenguajes con almacenamiento directo de valores en variables (por ejemplo, C): en Python, al hacer b = a, no se copia el valor de a en b, sino que b comienza a hacer referencia al mismo objeto al que hace referencia a.