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. Retorna `True` solo y solo si sus operandos apuntan 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 (generalmente entre -5 y 256) 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 memoria 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, realmente son detalles de implementación, no características del lenguaje. 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. Para comprobar esto puedes hacer uso del builtin `id` que retorna la identificación única de cada objeto en memoria, indirectamente su dirección de memoria. >>> b = "cachorro" >>> c = "cachorro" >>> b is c True >>> id(b) 139804507263728 >>> id(c) 139804507263728 >>> a = [] >>> b = [] >>> a is b False >>> id(a) 139804507277248 >>> id(b) 139804507277120 >>> a = [] >>> b = a >>> a is b >>> True >>> id(a) 139804513250816 >>> id(b) 139804513250816 Observa que `b = a` no crea otro objeto, esto solo hace que se mire el objeto al que a apunta `a`, se cree una nueva referencia al mismo y esa referencia se asocia al nombre `b`. Ahora el objeto `list` en memoria tiene dos referencias asociadas. Si después hacemos `a = 1`, el objeto `list` se queda solo con una referencia, si hacemos de nuevo `b = 3` el objeto `list` se queda sin referencias y el recolector de basura lo manda a mejor vida liberando la memoria que ocupaba. Por otro lado, observa que pasa con enteros grandes: >>> a = 125456585696648115 >>> b = 125456585696648115 >>> a is b False >>> id(a) 139804507423184 >>> id(b) 139804507423600 Hay que tener en cuenta que es mucho más eficiente comprobar si dos nombres apuntan al mismo objeto (`a is b`) que comprobar la igualdad (`a == b`). En el caso de una cadena hay que recorrer ambas y comprobar carácter por carácter que son iguales. Ahora bien, solo debemos sustituir `==` por `is` en aquellos casos en lo que el singlenton está garantizado. `is` no comprueba igualdad su uso es comprobar identidad (obviamente si dos variables apuntan al mismo objeto su "valor" es igual...), solo en casos de singletons garantizados podemos usarlos como substituto del operador de igualdad con seguridad.