False == 0 e True == 1 sono dettagli di implementazione o sono garantiti dalla lingua?

È garantito che False == 0e True == 1, in Python (supponendo che non siano riassegnati dall'utente)? Ad esempio, è in qualche modo garantito che il seguente codice produrrà sempre gli stessi risultati, qualunque sia la versione di Python (sia quella esistente che, probabilmente, futura)?

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

Qualsiasi riferimento alla documentazione ufficiale sarebbe molto apprezzato!

Modifica : come indicato in molte risposte, booleredita da int. La domanda può quindi essere riformulata come: "La documentazione dice ufficialmente che i programmatori possono fare affidamento su valori01 booleani ereditati da numeri interi, con i valori e ?". Questa domanda è rilevante per la scrittura di codice robusto che non fallirà a causa dei dettagli di implementazione!

In Python 2.x questo non è garantito in quanto è possibile Truee Falseda riassegnare. Tuttavia, anche se ciò accade, i valori booleani True e booleani False vengono comunque restituiti correttamente per i confronti.

In Python 3.x Truee Falsesono le parole chiave e sarà sempre uguale a 1e 0.

In circostanze normali in Python 2 e sempre in Python 3:

Falsel'oggetto è di tipo boolche è una sottoclasse di int:

object
   |
 int
   |
 bool

È l'unica ragione per cui nel tuo esempio ['zero', 'one'][False]funziona. Non funzionerebbe con un oggetto che non sia una sottoclasse di numeri interi, poiché l'indicizzazione dell'elenco funziona solo con numeri interi o oggetti che definiscono un __index__metodo (grazie a mark-dickinson ).

Modificare:

È vero per l'attuale versione di Python e per quella di Python 3. I documenti per Python 2.6 e i documenti per Python 3 dicono entrambi:

Esistono due tipi di numeri interi: [...] Integer (int) [...] Booleans (bool)

e nella sottosezione booleana:

Booleani: rappresentano i valori di verità Falso e Vero [...] I valori booleani si comportano come i valori 0 e 1, rispettivamente, in quasi tutti i contesti, con l'eccezione che quando vengono convertiti in una stringa, le stringhe "Falso" o "Vero "vengono restituiti, rispettivamente.

C'è anche, per Python 2 :

In contesti numerici (ad esempio se usati come argomento per un operatore aritmetico), [Falso e Vero] si comportano come gli interi 0 e 1, rispettivamente.

Quindi i booleani sono esplicitamente considerati come numeri interi in Python 2.6 e 3.

Quindi sei al sicuro fino all'arrivo di Python 4. ;-)

Link al PEP che discute il nuovo tipo di bool in Python 2.3: http://www.python.org/dev/peps/pep-0285/ .

Quando si converte un bool in un int, il valore intero è sempre 0 o 1, ma quando si converte un bo in un valore booleano, il valore booleano è True per tutti i numeri interi tranne 0.

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

In Python 2.x, non è affatto garantito:

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

Quindi potrebbe cambiare. In Python 3.x, True, False e None sono parole riservate , quindi il codice sopra riportato non funzionerebbe.

In generale, con i booleani dovresti supporre che mentre False avrà sempre un valore intero pari a 0 (purché non lo modifichi, come sopra), True potrebbe avere qualsiasi altro valore. Non farei necessariamente affidamento su alcuna garanzia che True==1, ma su Python 3.x, sarà sempre così, qualunque cosa accada.

Molto semplice. Poiché bool si riferisce alla valutazione di un numero intero come bool, SOLO zero fornisce una risposta falsa. TUTTI i valori diversi da zero, float, numeri interi, compresi i numeri negativi o ciò che hai, restituiranno true.

Un buon esempio del perché questo è utile è determinare lo stato di alimentazione di un dispositivo. On è qualsiasi valore diverso da zero, off è zero. Parlando elettronicamente questo ha senso.

Per determinare il vero o il falso relativamente tra i valori, è necessario disporre di qualcosa con cui confrontarlo. Questo vale per le stringhe e valori numerici, utilizzando ==o !=oppure <, > >=, <=, etc.

È possibile assegnare un numero intero a una variabile e quindi ottenere vero o falso in base a quel valore di variabile.

Basta scrivere int(False)e otterrai 0, se digiti int(True), verrà generato1

False è un bool. Ha un tipo diverso. È un oggetto diverso da 0 che è un numero intero.

0 == Falserestituisce True perché False viene trasmesso a un numero intero. int (False) restituisce 0

La documentazione di Python dell'operatore == dice (aiuto ('==')):

Gli operatori <, >, ==, >=, <=, e !=confronta i valori di due oggetti. Gli oggetti non devono avere lo stesso tipo. Se entrambi sono numeri, vengono convertiti in un tipo comune.

Di conseguenza False viene convertito in un numero intero per la necessità del confronto. Ma è diverso da 0.

>>> 0 is False
False