Là False == 0 và True == 1 trong Python một chi tiết thực hiện hoặc nó được đảm bảo bởi ngôn ngữ?

Question

Có đảm bảo rằng False == 0 và True == 1, bằng Python không? Ví dụ, theo bất kỳ cách nào, đảm bảo rằng mã sau sẽ luôn tạo ra các kết quả tương tự, bất kể phiên bản Python (cả hiện tại và, có khả năng, các phiên bản tương lai) là gì?

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

Mọi tham chiếu đến tài liệu chính thức sẽ được đánh giá cao!

Chỉnh sửa: Như đã lưu ý trong nhiều câu trả lời, bool được kế thừa từ int. Do đó, câu hỏi có thể được gọi lại là: "Tài liệu có chính thức nói rằng các lập trình viên có thể dựa vào các phép toán boolean kế thừa từ các số nguyên, với các giá trị 0 và 1?". Câu hỏi này có liên quan để viết mã mạnh mẽ không bị lỗi vì chi tiết triển khai!

Answer 1

Trong Python 2.x đây là không phải là được đảm bảo vì có thể cho True và False được chỉ định lại. Tuy nhiên, ngay cả khi điều này xảy ra, boolean True và boolean False vẫn được trả lại đúng để so sánh.

Trong Python 3.x True và False là từ khóa và sẽ luôn bằng 1 và 0.

Trong những trường hợp bình thường bằng Python 2, và luôn luôn bằng Python 3:

False đối tượng là loại bool mà là một lớp con của int:

object 
    | 
int 
    | 
bool 

Đó là lý do duy nhất lý do tại sao trong ví dụ của bạn , ['zero', 'one'][False] không hoạt động.Nó sẽ không hoạt động với một đối tượng không phải là một phân lớp của số nguyên, vì việc lập chỉ mục danh sách chỉ hoạt động với các số nguyên hoặc các đối tượng xác định phương thức __index__ (nhờ mark-dickinson).

Edit:

Đúng là của phiên bản python hiện nay, và điều đó của Python 3. docs for python 2.6 và docs for Python 3 cả nói:

Có hai loại số nguyên: [.. .] Số nguyên (int) [...] Booleans (bool)

và trong tiểu mục boolean:

Booleans: Các giá trị Boolean hoạt động giống như các giá trị 0 và 1, tương ứng, trong hầu hết các bối cảnh, ngoại lệ là khi được chuyển đổi thành chuỗi, chuỗi "False" hoặc "True" được trả về, tương ứng.

Vì vậy, các phép toán luận được coi là một cách rõ ràng như số nguyên trong Python 2.6 và 3.

Vì vậy, bạn đang an toàn cho đến khi Python 4 đến cùng. ;-)

Answer 2

Sai là một bool. Nó có một loại khác. Nó là một đối tượng khác với 0 là một số nguyên.

0 == False trả về Đúng vì False được truyền thành số nguyên. int (False) trả về 0

Các tài liệu python của toán tử == nói (trợ giúp ('==')):

Các nhà khai thác <, >, ==, >=, <=, và so sánh != các giá trị của hai đối tượng. Các đối tượng không cần phải có cùng loại. Nếu cả hai là số, chúng sẽ được chuyển đổi thành một loại phổ biến.

Kết quả là False được chuyển thành số nguyên cho nhu cầu so sánh. Nhưng nó khác với 0.

>>> 0 is False 
False 

Answer 3

Liên kết với PEP thảo luận về loại bool mới trong Python 2.3: http://www.python.org/dev/peps/pep-0285/.

Khi chuyển đổi một bool đến một int, giá trị số nguyên luôn là 0 hoặc 1, nhưng khi chuyển đổi một int để một bool, giá trị boolean là True cho tất cả các số nguyên trừ 0.

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

Answer 4

Trong Python 2.x, nó không được bảo đảm ở tất cả:

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

Vì vậy, nó có thể thay đổi. Trong Python 3.x, True, False và None là reserved words, vì vậy mã trên sẽ không hoạt động. Nói chung, với booleans bạn nên giả định rằng trong khi False sẽ luôn luôn có một giá trị số nguyên là 0 (miễn là bạn không thay đổi nó, như trên), True có thể có bất kỳ giá trị nào khác. Tôi sẽ không nhất thiết phải dựa vào bất kỳ sự đảm bảo nào là True==1, nhưng trên Python 3.x, điều này sẽ luôn luôn xảy ra, bất kể là gì.