为什么 (1 in [1,0] == True) 评估为 False？

Question

当我查看this question 的答案时，我发现我自己的答案并不理解。

我真的不明白这是如何解析的。为什么第二个例子返回 False？

>>> 1 in [1,0]             # This is expected
True
>>> 1 in [1,0] == True     # This is strange
False
>>> (1 in [1,0]) == True   # This is what I wanted it to be
True
>>> 1 in ([1,0] == True)   # But it's not just a precedence issue!
                           # It did not raise an exception on the second example.

Traceback (most recent call last):
  File "<pyshell#4>", line 1, in <module>
    1 in ([1,0] == True)
TypeError: argument of type 'bool' is not iterable

感谢您的帮助。我想我一定遗漏了一些非常明显的东西。

---

我认为这与链接的副本略有不同：

Why does the expression 0 < 0 == 0 return False in Python?.

这两个问题都与人类对表达的理解有关。似乎有两种评估表达式的方法（在我看来）。当然，两者都不正确，但在我的例子中，最后一种解释是不可能的。

看着0 < 0 == 0，您可以想象每一半都被评估并作为表达式有意义：

>>> (0 < 0) == 0
True
>>> 0 < (0 == 0)
True

所以链接回答了为什么这会评估False：

>>> 0 < 0 == 0
False

但是对于我的示例 1 in ([1,0] == True) 作为表达式来说没有意义，因此没有两种（公认是错误的）可能的解释，似乎只有一种可能：

>>> (1 in [1,0]) == True

Answer 1

Python 实际上在这里应用了比较运算符链接。表达式被翻译成

(1 in [1, 0]) and ([1, 0] == True)

显然是False。

这也发生在像

这样的表达式中

a < b < c

翻译成

(a < b) and (b < c)

（不计算 b 两次）。

有关详细信息，请参阅Python language documentation。