Comment le mot clé " is " est-il implémenté en Python ?

Question

... le is qui peut être utilisé pour l'égalité dans les chaînes de caractères.

>>> s = 'str'
>>> s is 'str'
True
>>> s is 'st'
False

J'ai essayé les deux __is__() et __eq__() mais ça n'a pas marché.

>>> class MyString:
...   def __init__(self):
...     self.s = 'string'
...   def __is__(self, s):
...     return self.s == s
...
>>>
>>>
>>> m = MyString()
>>> m is 'ss'
False
>>> m is 'string' # <--- Expected to work
False
>>>
>>> class MyString:
...   def __init__(self):
...     self.s = 'string'
...   def __eq__(self, s):
...     return self.s == s
...
>>>
>>> m = MyString()
>>> m is 'ss'
False
>>> m is 'string' # <--- Expected to work, but again failed
False
>>>

Answer 1

Test des chaînes de caractères avec is ne fonctionne que lorsque les chaînes de caractères sont internées. A moins que vous ne sachiez vraiment ce que vous faites et que vous ayez explicitement interné les cordes que vous devez jamais utiliser is sur les cordes.

is des tests pour identité pas égalité . Cela signifie que Python compare simplement l'adresse mémoire dans laquelle réside un objet. is répond essentiellement à la question "Dois-je avoir deux noms pour le même objet ?". - La surcharge de cette fonction n'aurait aucun sens.

Par exemple, ("a" * 100) is ("a" * 100) est Faux . Habituellement, Python écrit chaque chaîne dans un emplacement mémoire différent, ce qui se produit surtout pour les chaînes littérales.

Answer 2

Le site is est équivalent à la comparaison de id(x) valeurs. Par exemple :

>>> s1 = 'str'
>>> s2 = 'str'
>>> s1 is s2
True
>>> id(s1)
4564468760
>>> id(s2)
4564468760
>>> id(s1) == id(s2)  # equivalent to `s1 is s2`
True

id est actuellement implémenté pour utiliser des pointeurs comme comparaison. Vous ne pouvez donc pas surcharger is lui-même, et AFAIK vous ne pouvez pas surcharger id soit.

Donc, vous ne pouvez pas. C'est inhabituel en Python, mais c'est ainsi.

Answer 3

Le Python is teste l'identité des objets. Vous ne devez PAS l'utiliser pour tester l'égalité des chaînes de caractères. Il peut sembler fonctionner fréquemment car les implémentations Python, comme celles de nombreux langages de très haut niveau, effectuent un "internage" des chaînes de caractères. En d'autres termes, les littéraux et les valeurs des chaînes sont conservés en interne dans une liste hachée et ceux qui sont identiques sont rendus comme des références au même objet. (Ceci est possible car les chaînes Python sont immuables).

Cependant, comme pour tout détail d'implémentation, vous ne devez pas vous y fier. Si vous voulez tester l'égalité, utilisez l'opérateur ==. Si vous voulez vraiment tester l'identité d'un objet, utilisez l'opérateur ==. is --- et j'aurais du mal à trouver un cas où vous devriez vous préoccuper de l'identité des objets de type chaîne. Malheureusement, vous ne pouvez pas compter sur le fait que deux chaînes soient d'une manière ou d'une autre des références d'objets "intentionnellement" identiques à cause de l'internage mentionné plus haut.

Answer 4

Le site is compare les objets (ou, plutôt, compare si deux références sont au même objet).

C'est, je pense, pourquoi il n'y a pas de mécanisme pour fournir votre propre implémentation.

Cela fonctionne parfois avec les chaînes de caractères car Python stocke les chaînes de caractères de manière "intelligente", de sorte que lorsque vous créez deux chaînes de caractères identiques, elles sont stockées dans un seul objet.

>>> a = "string"
>>> b = "string"
>>> a is b
True
>>> c = "str"+"ing"
>>> a is c
True

Vous pouvez, je l'espère, voir la comparaison entre la référence et les données dans un simple exemple de "copie" :

>>> a = {"a":1}
>>> b = a
>>> c = a.copy()
>>> a is b
True
>>> a is c
False

Answer 5

Si vous n'avez pas peur de vous embrouiller avec le bytecode, vous pouvez intercepter et patcher COMPARE_OP avec 8 ("is") pour appeler votre fonction de crochet sur les objets comparés. Regardez dis documentation du module pour start-in.

Et n'oubliez pas d'intercepter __builtin__.id() aussi si quelqu'un veut bien faire id(a) == id(b) au lieu de a is b .