¿Por qué (0-6) es -6 = Falso?

Question

Duplicar posible:
Python “is” operator behaves unexpectedly with integers

Hoy me trató de depurar mi proyecto y después de unas horas de análisis que había conseguido esto:

>>> (0-6) is -6 
False 

pero,

>>> (0-5) is -5 
True 

¿Podría explicarme por qué? Tal vez esto es algún tipo de error o comportamiento muy extraño.

> Python 2.7.3 (default, Apr 24 2012, 00:00:54) [GCC 4.7.0 20120414 (prerelease)] on linux2 
>>> type(0-6) 
<type 'int'> 
>>> type(-6) 
<type 'int'> 
>>> type((0-6) is -6) 
<type 'bool'> 
>>> 

Answer 1

Todos los números enteros de -5 a 256 inclusive son guardados como objetos globales que comparten la misma dirección con CPython, por lo tanto pasa la prueba is.

Este artefacto se explica en detalle en http://www.laurentluce.com/posts/python-integer-objects-implementation/, y podemos verificar el código fuente actual en http://hg.python.org/cpython/file/tip/Objects/longobject.c.

Una estructura específica se utiliza para referir enteros pequeños y compartirlos para que el acceso sea rápido. Es una matriz de 262 punteros a objetos enteros. Esos objetos enteros se asignan durante la inicialización en un bloque de objetos enteros que vimos arriba. El rango de enteros pequeños es de -5 a 257. Muchos programas de Python pasan mucho tiempo usando enteros en ese rango, por lo que esta es una decisión inteligente.

Esto es solo un detalle de implementación de CPython y no debe confiar en esto. Por ejemplo, PyPy implementó el id del número entero para devolverse, por lo que (0-6) is -6 es siempre verdadero incluso si son "objetos diferentes" internamente; también le permite configurar si habilitar este almacenamiento en caché entero, e incluso establecer los límites inferior y superior. Pero, en general, los objetos recuperados de diferentes orígenes no serán idénticos. Si desea comparar la igualdad, simplemente use ==.

Answer 2

No es un error. is no es una prueba de igualdad. == dará los resultados esperados.

El motivo técnico de este comportamiento es que una implementación de Python es libre de tratar diferentes instancias del mismo valor constante como el mismo objeto o como objetos diferentes. La implementación de Python que está utilizando elige hacer que ciertas constantes pequeñas compartan el mismo objeto por razones de ahorro de memoria. No puede confiar en que este comportamiento sea la misma versión a la versión o en diferentes implementaciones de Python.

Answer 3

Python almacena números enteros en el rango -5 - 256 en el intérprete: tiene un conjunto de objetos enteros de los que se devuelven estos enteros. Es por eso que esos objetos son los mismos: (0-5) y -5, pero no (0-6) y -6, ya que se crean en el acto.

Aquí está la fuente en el código fuente de CPython:

#define NSMALLPOSINTS   257 
#define NSMALLNEGINTS   5 
static PyIntObject *small_ints[NSMALLNEGINTS + NSMALLPOSINTS]; 

(view CPython source code: /trunk/Objects/intobject.c).El código fuente incluye el siguiente comentario:

/* References to small integers are saved in this array so that they 
    can be shared. 
    The integers that are saved are those in the range 
    -NSMALLNEGINTS (inclusive) to NSMALLPOSINTS (not inclusive). 
*/ 

El operador is comparará entonces ellos (-5) como iguales porque son el mismo objeto (misma posición de memoria), pero los otros dos nuevos números enteros (-6) será a las diferentes ubicaciones de memoria (y luego is no devolverá True). Tenga en cuenta que 257 en el código fuente anterior es para los enteros positivos, por lo que es 0 - 256 (inclusive).

(source)

Answer 4

Lo hacen porque CPython almacena en caché algunos números enteros pequeños y pequeñas cadenas y le da a cada instancia de ese objeto una misma id().

(0-5) y -5 tiene mismo valor para id(), lo cual no es cierto para 0-6 y -6

>>> id((0-6)) 
12064324 
>>> id((-6)) 
12064276 
>>> id((0-5)) 
10022392 
>>> id((-5)) 
10022392 

mismo modo para las cadenas:

>>> x = 'abc' 
>>> y = 'abc' 
>>> x is y 
True 
>>> x = 'a little big string' 
>>> y = 'a little big string' 
>>> x is y 
False 

Para más detalles sobre el almacenamiento en caché de cadena, debe decir: is operator behaves differently when comparing strings with spaces