False == 0 et True == 1 est-il un détail d'implémentation ou est-il garanti par le langage?

Est-ce garanti False == 0et True == 1en Python (en supposant qu'ils ne sont pas réaffectés par l'utilisateur)? Par exemple, est-il garanti de quelque manière que le code suivant produira toujours les mêmes résultats, quelle que soit la version de Python (à la fois existante et, probablement, future)?

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

Toute référence à la documentation officielle serait très appréciée!

Edit : Comme indiqué dans de nombreuses réponses, boolhérite de int. La question peut donc être reformulée comme suit: "La documentation dit-elle officiellement que les programmeurs peuvent s'appuyer sur des booléens héritant d'entiers, avec les valeurs 0et1 ?". Cette question est pertinente pour écrire du code robuste qui n'échouera pas à cause des détails d'implémentation!

Dans Python 2.x, cela n'est pas garanti car il est possible Trueet Falseréassigné. Cependant, même si cela se produit, boolean True et boolean False sont toujours correctement renvoyés pour les comparaisons.

En Python 3.x Trueet Falsesont des mots clés et seront toujours égaux à 1et 0.

Dans des circonstances normales en Python 2, et toujours en Python 3:

Falseobjet est de type boolqui est une sous-classe de int:

object
   |
 int
   |
 bool

C'est la seule raison pour laquelle dans votre exemple, ['zero', 'one'][False]cela fonctionne. Cela ne fonctionnerait pas avec un objet qui n'est pas une sous-classe d'entiers, car l'indexation de liste ne fonctionne qu'avec des entiers ou des objets qui définissent une __index__méthode (merci mark-dickinson ).

Éditer:

C'est vrai de la version actuelle de python et de celle de Python 3. Les documents pour python 2.6 et les documents pour Python 3 disent tous les deux:

Il existe deux types d'entiers: [...] Entiers (int) [...] Booléens (bool)

et dans la sous-section booléenne:

Booléens: ceux-ci représentent les valeurs de vérité False et True [...] Les valeurs booléennes se comportent respectivement comme les valeurs 0 et 1, dans presque tous les contextes, à l'exception du fait que lorsqu'elles sont converties en chaîne, les chaînes "False" ou "True "sont retournés, respectivement.

Il y a aussi, pour Python 2 :

Dans des contextes numériques (par exemple, lorsqu'ils sont utilisés comme argument d'un opérateur arithmétique), ils [False et True] se comportent respectivement comme les entiers 0 et 1.

Les booléens sont donc explicitement considérés comme des entiers dans Python 2.6 et 3.

Vous êtes donc en sécurité jusqu'à ce que Python 4 arrive. ;-)

Lien vers le PEP discutant du nouveau type de booléen dans Python 2.3: http://www.python.org/dev/peps/pep-0285/ .

Lors de la conversion d'un booléen en int, la valeur entière est toujours 0 ou 1, mais lors de la conversion d'un int en booléen, la valeur booléenne est True pour tous les entiers sauf 0.

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

Dans Python 2.x, ce n'est pas du tout garanti:

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

Cela pourrait donc changer. Dans Python 3.x, True, False et None sont des mots réservés , donc le code ci-dessus ne fonctionnerait pas.

En général, avec les booléens, vous devez supposer que si False aura toujours une valeur entière de 0 (tant que vous ne la modifiez pas, comme ci-dessus), True pourrait avoir n'importe quelle autre valeur. Je ne m'appuierais pas nécessairement sur une garantie True==1, mais sur Python 3.x, ce sera toujours le cas, quoi qu'il arrive.

Très simple. Comme bool concerne l'évaluation d'un entier comme un bool, SEULEMENT zéro donne une fausse réponse. TOUTES les valeurs non nulles, les flottants, les entiers, y compris les nombres négatifs, ou ce que vous avez, renverront vrai.

Un bon exemple de la raison pour laquelle cela est utile est de déterminer l'état d'alimentation d'un périphérique. On est une valeur non nulle, off est zéro. Sur le plan électronique, cela a du sens.

Pour déterminer vrai ou faux relativement entre les valeurs, vous devez avoir quelque chose à comparer. Ceci est valable pour les chaînes et les valeurs numériques, en utilisant ==ou !=ou <, > >=, <=, etc.

Vous pouvez affecter un entier à une variable, puis obtenir la valeur true ou false en fonction de cette valeur de variable.

Il suffit d'écrire int(False)et vous obtiendrez 0, si vous tapez, int(True)il sortira1

Faux est un bool. Il a un type différent. C'est un objet différent de 0 qui est un entier.

0 == Falserenvoie True car False est converti en un entier. int (False) renvoie 0

La documentation python de l'opérateur == dit (help ('==')):

Les opérateurs <, >, ==, >=, <=et !=comparer les valeurs de deux objets. Les objets n'ont pas besoin d'avoir le même type. Si les deux sont des nombres, ils sont convertis en un type commun.

En conséquence, False est converti en un entier pour les besoins de la comparaison. Mais c'est différent de 0.

>>> 0 is False
False