为什么([1,0]中的1 = = True)评估为False?


153

在查看该问题的答案时,我发现自己不明白自己的答案。

我真的不明白这是如何解析的。为什么第二个示例返回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

谢谢你的帮助。我想我一定会错过一些非常明显的东西。


我认为这与链接的重复项有细微的不同:

为什么表达式0 <0 == 0在Python中返回False?

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

看着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

1
运算符优先级... ==绑定比绑定更严格in,因此[1,0] == True首先进行评估,然后将其结果馈送到1 in other_result
Marc

我删除了Python-2.7标记,因为Python 3.2的行为方式相同。
lvc 2012年

1
@马克B:不解释第二种表达方式
斯科特·亨特

32
@MarcB,问题包括使用括号进行的检验以证明这一解释。
Mark Ransom

Answers:


194

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

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

这显然是False

类似的表达式也会发生这种情况

a < b < c

转换为

(a < b) and (b < c)

(无需b两次评估)。

有关更多详细信息,请参见Python语言文档


40
这进一步证明,1 in [1, 0] == [1, 0]计算结果为True
安德鲁·克拉克

9
我一直认为这是语言疣。我希望该in运算符的优先级比其他比较运算符的优先级高,并且不要链接。但是也许我错过了一个用例。
Steven Rumbalski '02

3
不错,我什至没有想到这一点。允许链接以下内容没有多大意义in-毕竟x < y < z是有道理的,但对于x in y in z
BlueRaja-Danny Pflughoeft,2012年

7
@Sven有用:也许吧。可读:绝对不行。Python声称会以此惯例模拟通用的数学排版,但in不再使用这种惯例,而是使其与直觉背道而驰。
康拉德·鲁道夫

6
@KonradRudolph:我在数学课本中多次看到像“ 1≤x∈ℝ”的想法,但我基本上同意你的看法。
Sven Marnach 2012年
By using our site, you acknowledge that you have read and understand our Cookie Policy and Privacy Policy.
Licensed under cc by-sa 3.0 with attribution required.