python - False == 0 和 True == 1 是实现细节还是由语言保证？

Question

在 Python 中是否保证 False == 0 和 True == 1(假设它们没有被用户重新分配)？例如，是否以任何方式保证以下代码将始终产生相同的结果，无论 Python 的版本是什么(现有的和可能的 future 版本)？

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

任何对官方文档的引用将不胜感激!

编辑:正如许多答案中所述，bool 继承自 int。因此，问题可以改写为:“文档是否正式说程序员可以依赖从整数继承的 boolean 值，具有值 0 和 1？”。这个问题与编写不会因实现细节而失败的健壮代码有关!

Answer 1

在 Python 2.x 中，这是 不 保证的，因为可能会重新分配 True 和 False。但是，即使发生这种情况， boolean True 和 boolean False 仍然会正确返回以进行比较。

在 Python 3.x 中，True 和 False 是关键字，总是等于 1 和 0 .

在 Python 2 中正常情况下，在 Python 3 中总是这样:

False 对象是 bool 类型，它是 int 的子类:

    object
       |
     int
       |
     bool

这是在您的示例中 ['zero', 'one'][False] 起作用的唯一原因。它不适用于不是整数子类的对象，因为列表索引仅适用于整数或定义 __index__ 的对象。方法(感谢 mark-dickinson)。

编辑:

当前的 python 版本和 Python 3 都是如此。docs for python 2和 docs for Python 3都说:

There are two types of integers: [...] Integers (int) [...] Booleans (bool)

在 boolean 小节中:

Booleans: These represent the truth values False and True [...] Boolean values behave like the values 0 and 1, respectively, in almost all contexts, the exception being that when converted to a string, the strings "False" or "True" are returned, respectively.

还有，for Python 2 :

In numeric contexts (for example when used as the argument to an arithmetic operator), they [False and True] behave like the integers 0 and 1, respectively.

所以 boolean 值在 Python 2 和 3 中被明确视为整数。

所以在 Python 4 出现之前你是安全的。 ;-)