L'opérateur "is" se comporte de manière inattendue avec les entiers

Question

Pourquoi l'élément suivant se comporte-t-il de manière inattendue en Python ?

>>> a = 256
>>> b = 256
>>> a is b
True           # This is an expected result
>>> a = 257
>>> b = 257
>>> a is b
False          # What happened here? Why is this False?
>>> 257 is 257
True           # Yet the literal numbers compare properly

J'utilise Python 2.5.2. En essayant différentes versions de Python, il semble que Python 2.3.3 présente le comportement ci-dessus entre 99 et 100.

Sur la base de ce qui précède, je peux émettre l'hypothèse que Python est implémenté en interne de telle sorte que les "petits" entiers sont stockés d'une manière différente de celle des grands entiers et que l'option de stockage de Python n'est pas utilisée. is L'opérateur peut faire la différence. Pourquoi l'abstraction fuyante ? Quelle est la meilleure façon de comparer deux objets arbitraires pour voir s'ils sont identiques lorsque je ne sais pas à l'avance s'il s'agit de nombres ou non ?

Answer 1

Jetez un coup d'oeil à ça :

>>> a = 256
>>> b = 256
>>> id(a)
9987148
>>> id(b)
9987148
>>> a = 257
>>> b = 257
>>> id(a)
11662816
>>> id(b)
11662828

Voici ce que j'ai trouvé dans la documentation de Python 2, "Plain Integer Objects" (C'est la même chose pour Python 3 ) :

L'implémentation actuelle conserve un tableau d'objets entiers pour tous les entiers compris entre -5 et 256, lorsque vous créez un entier dans cette plage, vous vous récupérez juste une référence à l'objet existant. Donc ça devrait être possible de changer la valeur de 1. suspecter que le comportement de Python dans dans ce cas est indéfini :-)

Answer 2

Cela dépend si vous cherchez à savoir si deux choses sont égales ou si c'est le même objet.

is vérifie s'il s'agit du même objet, et pas seulement d'un objet égal. Les petits ints pointent probablement vers le même emplacement mémoire pour des raisons d'espace.

In [29]: a = 3
In [30]: b = 3
In [31]: id(a)
Out[31]: 500729144
In [32]: id(b)
Out[32]: 500729144

Vous devez utiliser == pour comparer l'égalité d'objets arbitraires. Vous pouvez spécifier le comportement avec l'option __eq__ y __ne__ attributs.

Answer 3

Comme vous pouvez le vérifier fichier source intobject.c Python met en cache les petits entiers pour des raisons d'efficacité. Chaque fois que vous créez une référence à un petit nombre entier, vous faites référence au petit nombre entier mis en cache, et non à un nouvel objet. 257 n'est pas un petit nombre entier, il est donc calculé comme un objet différent.

Il est préférable d'utiliser == à cette fin.

Answer 4

Je pense que votre hypothèse est correcte. Faites une expérience avec id (identité de l'objet) :

In [1]: id(255)
Out[1]: 146349024

In [2]: id(255)
Out[2]: 146349024

In [3]: id(257)
Out[3]: 146802752

In [4]: id(257)
Out[4]: 148993740

In [5]: a=255

In [6]: b=255

In [7]: c=257

In [8]: d=257

In [9]: id(a), id(b), id(c), id(d)
Out[9]: (146349024, 146349024, 146783024, 146804020)

Il semble que les chiffres <= 255 sont traités comme des littéraux et tout ce qui est au-dessus est traité différemment !

Answer 5

L'opérateur "is" n'est pas une autre façon de taper "==".