Является ли 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 говорят:

Существует два типа целых чисел: [...] Integer (int) [...] Booleans (bool)

и в логическом подразделе:

Booleans: они представляют значения истинности False и 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, ТОЛЬКО ноль дает ложный ответ. ВСЕ Ненулевые значения, числа с плавающей запятой, целые числа, включая отрицательные числа, или что у вас есть, вернут true.

Хорошим примером того, почему это полезно, является определение состояния питания устройства. On - любое ненулевое значение, off - ноль. В электронном виде это имеет смысл.

Чтобы определить true или false относительно значений, у вас должно быть что-то для сравнения. Это относится к строкам и числовых значений, используя ==или !=или <, > >=, <=и т.д.

Вы можете назначить целое число переменной, а затем получить значение true или false на основе значения этой переменной.

Просто напишите, int(False)и вы получите 0, если вы напечатаете, int(True)он будет выводить1

Ложь это бул. У него другой тип. Это отличный от 0 объект, который является целым числом.

0 == Falseвозвращает True, потому что False приводится к целому числу. int (False) возвращает 0

Документация Python об операторе == гласит (help ('==')):

Операторы <, >, ==, >=, <=, и !=сравнить значения двух объектов. Объекты не обязательно должны быть одного типа. Если оба числа, они преобразуются в общий тип.

Как следствие, False преобразуется в целое число для сравнения. Но это отличается от 0.

>>> 0 is False
False