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, ni más ni menos. No tiene tipo, el tipo pertenece al objeto (clase de la que es instancia). Por lo tanto, podemos reasignar 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 viene 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 bajo bambalinas que no te cuenta, entre ellas mantiene referencias a 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 ya tiene. Esta optimización solo tiene sentido con objetos pequeños y que son estadí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, o estariamos usando memoris solo "por si" se intenta instanciar un objeto igual en el futuro. Eso si, cPython solo garantiza que van a ser singletons siempre: - `None` - `False` - `True` es decir, sabemos seguro que en un intérprete solo va a existir un objeto `None`, uno `True` y otro `False`. El resto son optimizaciones que hace el intérprete cuando y cómo le parece y que no podemos dar por sentadas nunca. Esta es la razón por la que no es correcto hacer: if foo == None sino: if foo is None es más eficiente, además de saber con total seguridad que cualquier referencia a `None` apunta al mismo objeto siempre.