Para entender el operador is hay que entender algunos conceptos muy básicos de Python:
Todo en Python es un objeto en memoria, desde un módulo, una función, una clase, un entero, etc todo son objetos en memoria.
Una variable no es más que un nombre que está asociado a una referencia a un objeto en memoria. No tiene tipo, el tipo pertenece al objeto (clase de la que es instancia). Por lo tanto, podemos resignar en cualquier momento otro objeto a la variable sin problemas.
Como las variables no son más que nombres asociados a referencias, podemos tener muchas variables haciendo referencia al mismo objeto.
¿Cómo podemos saber si dos variables están asociadas al mismo objeto en memoria?
Aquí es donde entra el operador is
, conocido como operador de identidad, permite comprobar si dos variables, dos nombres, están asociados al mismo objeto.
Tu duda biene por esto:
b = "cachorro"
d = "cachorro"
d is b
True
¿Por qué? Si en teoría son dos objetos distintos... Pues no, no lo son. No es que is
sea estúpido, es que el intérprete lleva a cabo algunas optimizaciones, entre ellas almacena de forma permanente enteros pequeños y cadenas (ambos inmutables) en memoria de forma permanente, haciendo que solo exista un objeto en toda la ejecución. De esta forma, se evita tener que crear nuevos objetos cada vez que se usa un literal para 1 por ejemplo, reusa la instancia que tiene.
Esta optimización solo tiene sentido con objetos pequeños y qe son estilísticamente usados repetidamente en un mismo programa y que son inmutables. El resto son eliminados por el GC en cuanto el contador de referencias llega a 0.