Pourquoi l'affectation à Vrai/Faux ne fonctionne-t-elle pas comme prévu?

Question

Dans le cadre de répondre à une autre question, j'ai écrit le code suivant dont le comportement semble bizarre au premier coup d'œil:

print True     # outputs true 
True = False; print True # outputs false 
True = True;  print True # outputs false 
True = not True; print True # outputs true 

Quelqu'un peut-il expliquer ce comportement étrange? Je pense que cela a quelque chose à voir avec le modèle d'objet de Python mais je ne suis pas sûr.

C'est la version 2.5.2 sous Cygwin.

Answer 1

Python possède ces deux objets intégrés (parmi d'autres). Ce ne sont que des objets. au début, ils n'ont pas encore de noms, mais pour savoir à quoi nous nous référons, appelons-les 0x600D et 0xBAD.

Avant de commencer à exécuter un script Python (2.x), le nom True se lie à l'objet 0x600D, et le nom False se lie à l'objet 0xBAD, donc quand le programme se réfère à True, il regarde 0x600D .

Parce que 0x600D et 0xBAD savent qu'ils sont généralement utilisés par les noms True et False, c'est ce qu'ils sortie quand ils sont imprimés, à savoir la méthode __str__ de 0x600D retours 'True' et ainsi de suite.

True = False 

se fixe maintenant le nom True à un autre objet. A partir de maintenant, les deux noms True et False se réfèrent au même objet 0xBAD, qui, une fois imprimé, sort False.

True = True 

ne fait pas vraiment quoi que ce soit: Il prend l'objet visé par le nom True et lie le nouveau (et ancien) nom True à cet objet. Depuis (en raison de l'étape précédente) True se réfère à 0xBAD avant cela, il se réfère toujours à 0xBAD après cela. Par conséquent, l'impression sort toujours False.

True = not True 

premier prend l'objet que le nom True est lié, qui est 0xBAD. Il donne cet objet à l'opérateur not. not ne se soucie pas (ou de savoir) quel nom est utilisé ici pour se référer à 0xBAD, il sait juste que lorsqu'il est donné 0xBAD il devrait retourner 0x600D.Cette valeur de retour est ensuite donnée à l'opérateur d'affectation =, liant le nom True à cet objet.

Depuis le nom True maintenant une fois de plus fait référence à l'objet 0x600D, appelant print True sorties True, et le monde est bon à nouveau.

Answer 2

Dans 2.x, True et False ne sont pas des mots-clés, il est donc possible d'occulter les built-ins de cette manière.

Answer 3

Imaginez ceci:

A = True 
B = False 

print A   # true 
A = B; print A # false 
A = A; print A # false, because A is still false from before 
A = not A; print A # true, because A was false, so not A is true 

La même chose se passe, mais dans votre version, il est source de confusion, parce que vous ne vous attendez pas que vous pouvez redéfinir Vrai et Faux.

Answer 4

Vous pouvez vérifier si Vrai/Faux est un mot clé:

>>> import keyword 
>>> keyword.iskeyword('True') 
False 

Puisqu'il n'est pas (dans ma version), attribuer Vrai = Faux signifie simplement que le nom "True" est une autre "variable".

Answer 5

Vous pouvez facilement restaurer les valeurs d'origine à l'aide de simples comparaisons booléennes:

True = 1==1 
False = 1==0 

ou en convertissant les littéraux entiers à bools:

True = bool(1) # actually every number except 0 works 
False = bool(0)