Czy False == 0 i True == 1 jest szczegółem implementacji, czy jest to gwarantowane przez język?

Czy jest to zagwarantowane False == 0i True == 1w Pythonie (zakładając, że użytkownik nie przypisuje ich ponownie)? Na przykład, czy jest w jakikolwiek sposób gwarantowany, że poniższy kod zawsze będzie dawał takie same wyniki, bez względu na wersję Pythona (zarówno istniejące, jak i prawdopodobnie przyszłe)?

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

Wszelkie odniesienia do oficjalnej dokumentacji będą mile widziane!

Edycja : jak zauważono w wielu odpowiedziach, booldziedziczy po int. Pytanie może zatem zostać przekształcone w następujący sposób: „Czy dokumentacja oficjalnie mówi, że programiści mogą polegać na wynikach logicznych dziedziczących po liczbach całkowitych, z wartościami 0i1 ?”. To pytanie dotyczy pisania solidnego kodu, który nie zawiedzie z powodu szczegółów implementacji!

W Pythonie 2.x nie jest to gwarantowane, ponieważ jest możliwe Truei Falsemożna je ponownie przypisać. Jednak nawet jeśli tak się stanie, wartość logiczna Prawda i wartość logiczna False są nadal poprawnie zwracane do porównań.

W Pythonie 3.x Truei Falsesą słowami kluczowymi i zawsze będą równe 1i 0.

W normalnych okolicznościach w Python 2 i zawsze w Python 3:

Falseobiekt jest typu, boolktóry jest podklasą int:

object
   |
 int
   |
 bool

Jest to jedyny powód, dla którego w twoim przykładzie ['zero', 'one'][False]działa. Nie działałby z obiektem, który nie jest podklasą liczb całkowitych, ponieważ indeksowanie list działa tylko z liczbami całkowitymi lub obiektami, które definiują __index__metodę (dzięki mark-dickinson ).

Edytować:

Dotyczy to zarówno bieżącej wersji Pythona, jak i wersji Python 3. Zarówno dokumentacja Pythona 2.6, jak i dokumentacja Pythona 3 mówią:

Istnieją dwa typy liczb całkowitych: [...] Liczby całkowite (int) [...] Booleans (bool)

oraz w podsekcji boolowskiej:

Wartości logiczne: reprezentują one wartości prawdy Fałsz i Prawda [...] Wartości boolowskie zachowują się jak odpowiednio wartości 0 i 1, w prawie wszystkich kontekstach, z wyjątkiem tego, że po przekształceniu na ciąg, ciągi znaków „Fałsz” lub „Prawda” ”są zwracane odpowiednio.

Istnieje również, w przypadku Python 2 :

W kontekstach numerycznych (na przykład jako argument operatora arytmetycznego) zachowują się one [False i True] odpowiednio jako liczby całkowite 0 i 1.

Tak więc booleany są jawnie uważane za liczby całkowite w Pythonie 2.6 i 3.

Więc jesteś bezpieczny, dopóki nie pojawi się Python 4. ;-)

Link do PEP omawiającego nowy typ bool w Pythonie 2.3: http://www.python.org/dev/peps/pep-0285/ .

Podczas konwertowania wartości bool na liczbę całkowitą wartość całkowita wynosi zawsze 0 lub 1, ale podczas konwertowania liczby całkowitej na wartość boolową wartość logiczna ma wartość True dla wszystkich liczb całkowitych oprócz 0.

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

W Pythonie 2.x nie ma żadnej gwarancji:

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

Więc to może się zmienić. W Pythonie 3.x prawda, fałsz i brak są słowami zastrzeżonymi , więc powyższy kod nie zadziała.

Ogólnie rzecz biorąc, w przypadku wartości logicznych należy założyć, że chociaż wartość False będzie zawsze miała wartość całkowitą równą 0 (o ile jej nie zmienisz, jak wyżej), wartość True może mieć dowolną inną wartość. Niekoniecznie polegałbym na jakiejkolwiek gwarancji True==1, ale w przypadku Python 3.x zawsze tak będzie, bez względu na wszystko.

Bardzo prosty. Ponieważ bool odnosi się do oceny liczby całkowitej jako bool, TYLKO zero daje fałszywą odpowiedź. WSZYSTKIE wartości niezerowe, zmiennoprzecinkowe, liczby całkowite, w tym liczby ujemne lub to, co masz, zwróci wartość true.

Dobrym przykładem tego, dlaczego jest to przydatne, jest określenie stanu zasilania urządzenia. On to dowolna wartość niezerowa, off to zero. Ma to sens elektroniczny.

Aby ustalić wartość true lub false względnie między wartościami, musisz mieć coś do porównania. Odnosi się to do łańcuchów i wartości liczbowych, za pomocą ==lub !=lub <, > >=, <=, itd.

Możesz przypisać liczbę całkowitą do zmiennej, a następnie uzyskać wartość true lub false na podstawie tej wartości zmiennej.

Po prostu napisz, int(False)a dostaniesz 0, jeśli wpiszesz int(True), wyświetli1

Fałsz to bool. Ma inny typ. Jest to obiekt inny niż 0, który jest liczbą całkowitą.

0 == Falsezwraca True, ponieważ False jest rzutowany na liczbę całkowitą. int (False) zwraca 0

Dokumentacja Pythona operatora == mówi (pomoc ('==')):

Operatorzy <, >, ==, >=, <=, i !=porównać wartości z dwóch obiektów. Obiekty nie muszą mieć tego samego typu. Jeśli oba są liczbami, są konwertowane na typ wspólny.

W związku z tym False jest konwertowany na liczbę całkowitą na potrzeby porównania. Ale różni się od 0.

>>> 0 is False
False