False == 0 e True == 1 são detalhes de implementação ou são garantidos pelo idioma?

É garantido que False == 0e True == 1, em Python (assumindo que eles não foram reatribuídos pelo usuário)? Por exemplo, é de alguma forma garantido que o código a seguir sempre produzirá os mesmos resultados, independentemente da versão do Python (existente e, provavelmente, futura)?

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

Qualquer referência à documentação oficial seria muito apreciada!

Editar : Como observado em muitas respostas, boolherda de int. A questão pode, portanto, ser reformulada como: "A documentação diz oficialmente que os programadores podem confiar em booleanos herdados de números inteiros, com os valores 0e1 ?". Esta pergunta é relevante para escrever código robusto que não falhará devido aos detalhes da implementação!

No Python 2.x, isso não é garantido, pois é possível Truee Falsereatribuído. No entanto, mesmo se isso acontecer, o booleano True e o booleano False ainda serão retornados corretamente para comparações.

Em Python 3.x Truee Falsesão palavras-chave e será sempre igual a 1e 0.

Sob circunstâncias normais no Python 2 e sempre no Python 3:

FalseO objeto é do tipo boolque é uma subclasse de int:

object
   |
 int
   |
 bool

É a única razão pela qual, no seu exemplo, ['zero', 'one'][False]funciona. Não funcionaria com um objeto que não seja uma subclasse de número inteiro, porque a indexação de lista funciona apenas com números inteiros ou objetos que definem um __index__método (obrigado mark-dickinson ).

Editar:

É verdade para a versão atual do python e para a do Python 3. Os documentos para o python 2.6 e os documentos para o Python 3 dizem:

Existem dois tipos de números inteiros: [...] Inteiros (int) [...] Booleanos (bool)

e na subseção booleana:

Booleanos: Representam os valores verdadeiros Falso e Verdadeiro [...] Os valores booleanos se comportam como os valores 0 e 1, respectivamente, em quase todos os contextos, exceto que, quando convertidos em uma sequência, as sequências "False" ou "True "são retornados, respectivamente.

Há também, para Python 2 :

Em contextos numéricos (por exemplo, quando usado como argumento para um operador aritmético), eles [False e True] se comportam como os números inteiros 0 e 1, respectivamente.

Portanto, os booleanos são explicitamente considerados como números inteiros no Python 2.6 e 3.

Então você estará seguro até o Python 4 aparecer. ;-)

Link para o PEP discutindo o novo tipo de bool no Python 2.3: http://www.python.org/dev/peps/pep-0285/ .

Ao converter um booleano em um int, o valor inteiro é sempre 0 ou 1, mas ao converter um int em um booliano, o valor booleano é True para todos os números inteiros, exceto 0.

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

No Python 2.x, isso não é garantido:

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

Então isso pode mudar. No Python 3.x, True, False e None são palavras reservadas , portanto o código acima não funcionaria.

Em geral, com os booleanos, você deve assumir que, embora False sempre tenha um valor inteiro 0 (desde que você não o altere, como acima), True pode ter qualquer outro valor. Eu não confiaria necessariamente em nenhuma garantia de que True==1, mas no Python 3.x, esse sempre será o caso, não importa o quê.

Muito simples. Como bool se refere à avaliação de um número inteiro como bool, ONLY zero fornece uma resposta falsa. TODOS os valores diferentes de zero, valores flutuantes, números inteiros, incluindo números negativos ou o que você possui, retornará true.

Um bom exemplo de por que isso é útil é determinar o status de energia de um dispositivo. On é qualquer valor diferente de zero, off é zero. Eletronicamente, isso faz sentido.

Para determinar verdadeiro ou falso relativamente entre valores, você deve ter algo para compará-lo. Isto aplica-se a cadeias e valores numéricos, usando ==ou !=ou <, > >=, <=, etc.

Você pode atribuir um número inteiro a uma variável e, em seguida, obter verdadeiro ou falso com base nesse valor de variável.

Basta escrever int(False)e você receberá 0, se você digitar, int(True)ele produzirá1

Falso é um bool. Tem um tipo diferente. É um objeto diferente de 0, que é um número inteiro.

0 == Falseretorna True porque False é convertido em um número inteiro. int (False) retorna 0

A documentação python do operador == diz (help ('==')):

Os operadores <, >, ==, >=, <=, e !=comparar os valores de dois objetos. Os objetos não precisam ter o mesmo tipo. Se ambos são números, eles são convertidos em um tipo comum.

Como conseqüência, False é convertido em um número inteiro para a necessidade da comparação. Mas é diferente de 0.

>>> 0 is False
False