Чому ~ Істинний результат призводить до -2?

У консолі Python:

~True

Дає мені:

-2

Чому? Чи може хтось пояснити мені цей конкретний випадок у двійковій формі?

int(True)є 1.

1 є:

00000001

і ~1це:

11111110

Що -2в додатковому довічним ¹

¹ Переверніть всі біти, додайте 1 до отриманого числа та інтерпретуйте результат як двійкове подання величини та додайте від'ємний знак (оскільки число починається з 1):

11111110 → 00000001 → 00000010 
         ↑          ↑ 
       Flip       Add 1

Це 2, але знак негативний, оскільки MSB дорівнює 1.

Варто згадати:

Подумайте про те bool, ви виявите , що це числовий характер - має два значення, Trueі False, і вони просто «налаштовані» версія цілих чисел 1 і 0 , які тільки друкують себе по- різному. Вони є підкласами цілочисельного типу int.

Отже, вони поводяться точно як 1 і 0, за винятком того, що boolпереосмислюють strі reprвідображають їх по-різному.

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

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

Тип Python bool- це підклас int(з історичних причин; булеви були додані лише в Python 2.3).

Так як int(True)це 1, ~Trueце ~1є -2.

Дивіться PEP 285, чому boolце підклас int.

Якщо ви хотіли булевого зворотного, скористайтеся not:

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

Якщо ви хочете знати , чому ~1це -2, це тому , що ви инвертирования всіх бітів в знакове ціле число; 00000001стає 1111110котрим у підписане ціле число є від’ємним числом, див . доповнення двох :

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

де початковий 1біт означає значення негативне, а решта бітів кодують обернене додатне число мінус один.

~True == -2це не дивно , якщо True кошти 1 і ~ кошти побітовое звернення ...

... за умови, що

• True може трактуватися як ціле число і
• цілі числа представлені у доповненні Двох

Зміни:

• фіксували змішування між цілим представленням і бітовим оператором інверсії
• застосовано ще одне полірування (чим коротше повідомлення, тим більше роботи потрібно)