¿Es Falso == 0 y Verdadero == 1 un detalle de implementación o está garantizado por el idioma?

¿Está garantizado eso False == 0y True == 1, en Python (suponiendo que no sean reasignados por el usuario)? Por ejemplo, ¿se garantiza de alguna manera que el siguiente código siempre producirá los mismos resultados, cualquiera que sea la versión de Python (tanto existentes como futuros)?

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

¡Cualquier referencia a la documentación oficial sería muy apreciada!

Editar : como se señala en muchas respuestas, boolhereda de int. Por lo tanto, la pregunta puede reformularse como: "¿La documentación dice oficialmente que los programadores pueden confiar en los booleanos que heredan de enteros, con los valores 0y1 ?". ¡Esta pregunta es relevante para escribir código robusto que no fallará debido a los detalles de implementación!

En Python 2.x esto no está garantizado, ya que es posible Truey se Falsepuede reasignar. Sin embargo, incluso si esto sucede, boolean True y boolean False aún se devuelven correctamente para las comparaciones.

En Python 3.x Truey Falseson palabras clave y siempre será igual a 1e 0.

En circunstancias normales en Python 2, y siempre en Python 3:

Falseobjeto es de tipo boolque es una subclase de int:

object
   |
 int
   |
 bool

Es la única razón por la cual, en su ejemplo, ['zero', 'one'][False]funciona. No funcionaría con un objeto que no sea una subclase de entero, porque la indexación de listas solo funciona con enteros u objetos que definen un __index__método (gracias mark-dickinson ).

Editar:

Es cierto de la versión actual de Python, y de la de Python 3. Los documentos para Python 2.6 y los documentos para Python 3 dicen:

Hay dos tipos de enteros: [...] enteros (int) [...] booleanos (bool)

y en la subsección booleana:

Booleanos: Estos representan los valores de verdad Falso y Verdadero Los valores [...] booleanos se comportan como los valores 0 y 1, respectivamente, en casi todos los contextos, con la excepción de que cuando se convierten en una cadena, las cadenas "Falso" o "Verdadero" "se devuelven, respectivamente.

También hay, para Python 2 :

En contextos numéricos (por ejemplo, cuando se usa como argumento para un operador aritmético), [Falso y Verdadero] se comportan como los enteros 0 y 1, respectivamente.

Por lo tanto, los booleanos se consideran explícitamente como enteros en Python 2.6 y 3.

Así que estás a salvo hasta que aparezca Python 4. ;-)

Enlace al PEP sobre el nuevo tipo de bool en Python 2.3: http://www.python.org/dev/peps/pep-0285/ .

Al convertir un bool en un int, el valor entero siempre es 0 o 1, pero al convertir un int en un bool, el valor booleano es True para todos los enteros excepto 0.

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

En Python 2.x, no está garantizado en absoluto:

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

Entonces podría cambiar. En Python 3.x, Verdadero, Falso y Ninguno son palabras reservadas , por lo que el código anterior no funcionaría.

En general, con booleanos debe suponer que mientras False siempre tendrá un valor entero de 0 (siempre y cuando no lo cambie, como se indicó anteriormente), True podría tener cualquier otro valor. No necesariamente confiaría en ninguna garantía de eso True==1, pero en Python 3.x, este siempre será el caso, pase lo que pase.

Muy simple. Como bool se relaciona con la evaluación de un entero como bool, SOLO cero da una respuesta falsa. TODOS los valores distintos de cero, flotantes, enteros, incluidos los números negativos, o lo que tenga, devolverán verdadero.

Un buen ejemplo de por qué esto es útil es determinar el estado de alimentación de un dispositivo. Encendido es cualquier valor distinto de cero, apagado es cero. Hablando electrónicamente esto tiene sentido.

Para determinar verdadero o falso relativamente entre valores, debe tener algo con lo que compararlo. Esto se aplica a cadenas y valores numéricos, utilizando ==o !=o <, > >=,<= , etc.

Puede asignar un número entero a una variable y luego obtener verdadero o falso según el valor de esa variable.

Simplemente escriba int(False)y obtendrá 0, si escribe int(True), generará1

Falso es un bool. Tiene un tipo diferente. Es un objeto diferente de 0 que es un entero.

0 == Falsedevuelve True porque False se convierte en un entero. int (Falso) devuelve 0

La documentación de Python del operador == dice (ayuda ('==')):

Los operadores <, >, ==, >=, <=, y !=se comparan los valores de dos objetos. Los objetos no necesitan tener el mismo tipo. Si ambos son números, se convierten a un tipo común.

Como consecuencia, False se convierte en un entero por la necesidad de la comparación. Pero es diferente de 0.

>>> 0 is False
False