Чи є False == 0 та True == 1 деталі реалізації чи це гарантується мовою?

Чи гарантовано це, False == 0і True == 1в Python (якщо припустити, що вони не призначені користувачем)? Наприклад, чи гарантується якимось чином, що наступний код завжди дасть однакові результати, незалежно від версії Python (як існуючої, так і, ймовірно, майбутньої)?

0 == False  # True
1 == True   # True
['zero', 'one'][False]  # is 'zero'

Будь-яка посилання на офіційну документацію буде дуже вдячна!

Правка : Як зазначено у багатьох відповідях, boolуспадковується від int. Отже, питання може бути перероблено так: "Чи офіційно в документації говориться про те, що програмісти можуть розраховувати на булі, що успадковуються з цілих чисел, зі значеннями 0і1 ?". Це питання актуально для написання надійного коду, який не вийде з-за деталей про реалізацію!

У Python 2.x це так не гарантується, оскільки це можливо для TrueтаFalse бути змінені. Однак, навіть якщо це трапляється, булеві True та булеві False все одно належним чином повертаються для порівняння.

У Python 3.x True і Falseє ключові слова і завжди будуть рівні 1та0 .

За звичайних обставин у Python 2 та завжди в Python 3:

Falseоб'єкт типу, boolякий є підкласомint :

object
   |
 int
   |
 bool

Це єдина причина, чому у вашому прикладі ['zero', 'one'][False]працює. Він би не працював з об'єктом, який не є підкласом цілого числа, тому що індексація списку працює лише з цілими числами, або з об'єктами, що визначають __index__метод (завдяки mark-dickinson ).

Редагувати:

Це стосується поточної версії python та версії для Python 3. Документи для python 2.6 та документи для Python 3 кажуть:

Існує два типи цілих чисел: [...] Цілі (int) [...] булеві (bool)

і в бульовому підрозділі:

Булеві значення: вони представляють значення істинності False and True [...] Булеві значення ведуть себе як значення 0 та 1 відповідно майже у всіх контекстах, виняток становить лише те, що при перетворенні на рядок, рядки "False" або "True "повертаються відповідно.

Існує також для Python 2 :

У числових контекстах (наприклад, коли вони використовуються як аргумент для арифметичного оператора), вони [False та True] поводяться як цілі числа 0 і 1 відповідно.

Отже, булеви явно розглядаються як цілі числа в Python 2.6 та 3.

Тож ви в безпеці, поки не прийде Python 4. ;-)

Посилання на PEP, обговорюючи новий тип bool в Python 2.3: http://www.python.org/dev/peps/pep-0285/ .

При перетворенні bool в int ціле число завжди дорівнює 0 або 1, але при перетворенні int в bool булеве значення відповідає True для всіх цілих чисел, крім 0.

>>> int(False)
0
>>> int(True)
1
>>> bool(5)
True
>>> bool(-5)
True
>>> bool(0)
False

У Python 2.x це зовсім не гарантується:

>>> False = 5
>>> 0 == False
False

Так це могло змінитися. У Python 3.x, True, False та None є зарезервованими словами , тому наведений вище код не працює.

Загалом, з булевими ви повинні вважати, що хоча False завжди матиме ціле значення 0 (до тих пір, поки ви не зміните його, як вище), True може мати будь-яке інше значення. Я б не обов'язково покладався на будь-які гарантії, що True==1, але на Python 3.x, це завжди буде так, незалежно від того.

Дуже просто. Оскільки bool відноситься до оцінки цілого числа як bool, ТОЛЬКО нуль дає хибну відповідь. ВСІ ненульові значення, плавці, цілі числа, включаючи від’ємні числа, чи що у вас є, повернуть істинні.

Гарний приклад, чому це корисно, - це визначення рівня живлення пристрою. Увімкнено будь-яке ненульове значення, вимкнено - нуль. В електронному плані це має сенс.

Щоб визначити істинне чи помилкове відносно між значеннями, ви повинні мати з чим порівняти його. Це відноситься до рядків і числових значень, використовуючи ==або !=або <, > >=,<= і т.д.

Ви можете призначити цілому змінній, а потім отримати істинне або хибне на основі цього значення змінної.

Просто напишіть, int(False)і ви отримаєте 0, якщо ви введете int(True)це буде виводити1

Неправдивий - бул. Він має інший тип. Це інший об'єкт від 0, який є цілим числом.

0 == Falseповертає True, тому що False приведено до цілого числа. int (False) повертає 0

Документація пітона оператора == говорить (help ('==')):

Оператори <, >, ==, >=, <=, і !=порівняти значення двох об'єктів. Об'єкти не повинні мати одного типу. Якщо обидва - це числа, вони перетворюються на загальний тип.

Як наслідок, False перетворюється на ціле число для потреби порівняння. Але він відрізняється від 0.

>>> 0 is False
False