¿Es False == 0 y True == 1 en Python un detalle de implementación o está garantizado por el idioma?

Question

¿Está garantizado que False == 0 y True == 1, en Python? Por ejemplo, ¿está de alguna manera garantizado que el siguiente código siempre producirá los mismos resultados, cualquiera sea la versión de Python (tanto existente como, probablemente, 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, bool hereda de int. Por lo tanto, la pregunta puede ser reformulada como: "? ¿La documentación oficial dice que los programadores pueden confiar en booleanos que heredan de números enteros, con los valores 0 y 1". ¡Esta pregunta es relevante para escribir código sólido que no fallará debido a los detalles de implementación!

Answer 1

En Python 2.x esto es no garantizada, ya que es posible que True y False ser reasignado. Sin embargo, incluso si esto sucede, Boolean True y boolean False se devuelven correctamente para las comparaciones.

En Python 3.x True y False son palabras clave y siempre serán igual a 1 y 0.

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

False objeto es de tipo bool que 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 método __index__ (gracias mark-dickinson).

Editar:

Es verdad de la versión actual de pitón, y de la de Python 3. El docs for python 2.6 y la docs for Python 3 ambos dicen:

Hay dos tipos de números enteros: [.. .] los enteros (int) [...] booleanos (bool)

y en la subsección booleano:

Booleanos: representan los valores de verdad Los valores booleanos falsos y [...] verdaderos 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" son devueltos, respectivamente.

Así booleanos se consideran explícitamente como enteros en Python 2.6 y 3.

por lo que está seguro hasta Python 4 se presente. ;-)

Answer 2

falsa es un bool. Tiene un tipo diferente. Es un objeto diferente de 0 que es un número entero.

0 == False devuelve True False porque es echado a un entero. int (Falso) devuelve 0

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

Los operadores <, >, ==, >=, <= y comparar != 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 número entero por la necesidad de la comparación. Sin embargo, es diferente de 0.

>>> 0 is False 
False 

Answer 3

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

Cuando se convierte un bool a un int, el valor entero es siempre 0 o 1, pero al convertir un int a un bool, el valor booleano es cierto para todos los números enteros excepto 0.

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

Answer 4

En Python 2.x, no se garantiza en absoluto:

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

por lo que podría cambiar. En Python 3.x, True, False y None son reserved words, por lo que el código anterior no funcionaría.

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