Là Sai == 0 và Đúng == 1 là chi tiết triển khai hay được đảm bảo bởi ngôn ngữ?

Có đảm bảo rằng False == 0và True == 1, trong Python (giả sử rằng chúng không được người dùng gán lại)? Chẳng hạn, liệu có đảm bảo rằng đoạn mã sau sẽ luôn tạo ra kết quả giống nhau, bất kể phiên bản Python nào (cả hiện tại và có khả năng là tương lai) không?

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

Bất kỳ tài liệu tham khảo đến các tài liệu chính thức sẽ được nhiều đánh giá cao!

Chỉnh sửa : Như đã lưu ý trong nhiều câu trả lời, boolkế 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 booleans kế thừa từ các số nguyên, với các giá trị 0và1 không?". Câu hỏi này có liên quan để viết mã mạnh mẽ sẽ không thất bại vì chi tiết triển khai!

Trong Python 2.x, điều này không được đảm bảo vì có thể Truevà 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ả về đúng cách để so sánh.

Trong Python 3.x Truevà Falselà các từ khóa và sẽ luôn bằng 1và 0.

Trong các trường hợp thông thường trong Python 2 và luôn trong Python 3:

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

object
   |
 int
   |
 bool

Đó là lý do duy nhất 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 lớp con của số nguyên, bởi vì 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 một __index__phương thức (cảm ơn mark-Dickinson ).

Biên tập:

Nó đúng với phiên bản python hiện tại và của Python 3. Các tài liệu cho python 2.6 và các tài liệu cho Python 3 đều nói:

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

và trong tiểu mục boolean:

Booleans: Chúng đại diện cho các giá trị thật Sai và Đúng [...] Các giá trị Boolean tương ứng với các giá trị 0 và 1, trong hầu hết tất cả các bối cảnh, ngoại lệ là khi được chuyển đổi thành một chuỗi, các chuỗi "Sai" hoặc "Đúng "Được trả lại, tương ứng.

Ngoài ra, đối với Python 2 :

Trong ngữ cảnh số (ví dụ: khi được sử dụng làm đối số cho toán tử số học), chúng [Sai và Đúng] hoạt động giống như các số nguyên 0 và 1, tương ứng.

Vì vậy, booleans được coi rõ ràng là số nguyên trong Python 2.6 và 3.

Vì vậy, bạn an toàn cho đến khi Python 4 xuất hiện. ;-)

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 thành một int, giá trị nguyên luôn là 0 hoặc 1, nhưng khi chuyển đổi một int thành 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

Trong Python 2.x, nó hoàn toàn không được đảm bảo:

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

Vì vậy, nó có thể thay đổi. Trong Python 3.x, True, false và none là các từ dành riêng , vì vậy đoạn mã trên sẽ không hoạt động.

Nói chung, với booleans, bạn nên giả sử rằng trong khi Sai sẽ luôn có giá trị 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 không nhất thiết phải dựa vào bất kỳ sự đảm bảo nào True==1, nhưng trên Python 3.x, điều này sẽ luôn luôn như vậy, bất kể là gì.

Rất đơn giản. Vì bool liên quan đến việc đánh giá một số nguyên dưới dạng bool, CHỈ zero cho câu trả lời sai. TẤT CẢ các giá trị khác không, số float, số nguyên, bao gồm cả số âm hoặc những gì có bạn, sẽ trả về giá trị true.

Một ví dụ hay về lý do tại sao điều này hữu ích là xác định trạng thái nguồn của thiết bị. Bật là bất kỳ giá trị khác không, tắt là không. Nói điện tử điều này có ý nghĩa.

Để xác định đúng hoặc sai tương đối giữa các giá trị, bạn phải có một cái gì đó để so sánh nó với. Này áp dụng cho chuỗi giá trị và số lượng, sử dụng ==hay !=hay <, > >=, <=vv

Bạn có thể gán một số nguyên cho một biến và sau đó nhận đúng hoặc sai dựa trên giá trị biến đó.

Chỉ cần viết int(False)và bạn sẽ nhận được 0, nếu bạn gõ int(True)nó sẽ xuất1

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

0 == Falsetrả về True vì false được chuyển thành một số nguyên. int (Sai) trả về 0

Tài liệu python của toán tử == nói (help ('==')):

Các nhà khai thác <, >, ==, >=, <=, và !=so sánh 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 đều là số, chúng được chuyển đổi thành một loại phổ biến.

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

>>> 0 is False
False