Pourquoi ~ True donne-t-il -2?

Dans la console Python:

~True

Donne moi:

-2

Pourquoi? Quelqu'un peut-il m'expliquer ce cas particulier en binaire?

int(True)est 1.

1 est:

00000001

et ~1est:

11111110

Qui est -2dans le complément à deux ¹

¹ Retournez tous les bits, ajoutez 1 au nombre résultant et interprétez le résultat comme une représentation binaire de la grandeur et ajoutez un signe négatif (puisque le nombre commence par 1):

11111110 → 00000001 → 00000010 
         ↑          ↑ 
       Flip       Add 1

Qui est 2, mais le signe est négatif puisque le MSB est 1.

À noter:

Pensez-y bool, vous constaterez qu'il est de nature numérique - Il a deux valeurs Trueet False, et ce ne sont que des versions "personnalisées" des entiers 1 et 0 qui ne s'impriment différemment. Ce sont des sous - classes de type entier int.

Donc ils se comportent exactement comme 1 et 0, sauf que cela boolredéfinit stret reprde les afficher différemment.

>>> type(True)
<class 'bool'>
>>> isinstance(True, int)
True

>>> True == 1
True
>>> True is 1  # they're still different objects
False

Le booltype Python est une sous-classe de int(pour des raisons historiques; les booléens n'ont été ajoutés que dans Python 2.3).

Depuis int(True)est 1, ~Trueest ~1est -2.

Voir PEP 285 pour savoir pourquoi boolest une sous-classe de int.

Si vous vouliez l'inverse booléen, utilisez not:

>>> not True
False
>>> not False
True

Si vous voulez savoir pourquoi ~1est -2, il est parce que vous êtes tous les bits dans inverseuses un entier signé; 00000001devient 1111110qui dans un entier signé est un nombre négatif, voir Complément à deux :

>>> # Python 3
...
>>> import struct
>>> format(struct.pack('b', 1)[0], '08b')
'00000001'
>>> format(struct.pack('b', ~1)[0], '08b')
'11111110'

où le 1bit initial signifie que la valeur est négative, et le reste des bits codent l'inverse du nombre positif moins un.

~True == -2n'est pas surprenant si True signifie 1 et ~ signifie l' inversion au niveau du bit ...

... à condition que

• True peut être traité comme un entier et
• les entiers sont représentés dans le complément à deux

Modifications:

• correction du mélange entre la représentation entière et l'opérateur d'inversion au niveau du bit
• appliqué un autre polissage (plus le message est court, plus il faut de travail)