如果我这样做:

>>> False in [False, True]
True

返回True。很简单,因为False在列表中。

但如果我这样做了:

>>> not(True) in [False, True]
False

返回False。鉴于not(True)等于False:

>>> not(True)
False

Why?


当前回答

为了澄清其他一些答案,在一元操作符后添加括号并不会改变其优先级。not(True)不会使not与True绑定得更紧密。它只是一组多余的圆括号围绕着True。它与[True, False]中的(True)大致相同。括号没有任何作用。如果您希望绑定更紧密,则必须在整个表达式周围加上括号,即操作符和操作数,即[True, False]中的(非True)。

从另一个角度来看,考虑一下

>>> -2**2
-4

**比-结合得更紧密,这就是为什么你得到的是- 2的平方,而不是- 2的平方(即正4)。

如果你想要- 2的平方呢?显然,你要加上括号:

>>> (-2)**2
4

然而,期望下面给出4是不合理的

>>> -(2)**2
-4

因为-(2)等于-2。括号完全没有任何作用。not(True)是完全相同的。

其他回答

运算符优先级。in的绑定比not更紧密,所以你的表达式等价于not((True) in [False, True])。

为了澄清其他一些答案,在一元操作符后添加括号并不会改变其优先级。not(True)不会使not与True绑定得更紧密。它只是一组多余的圆括号围绕着True。它与[True, False]中的(True)大致相同。括号没有任何作用。如果您希望绑定更紧密,则必须在整个表达式周围加上括号,即操作符和操作数,即[True, False]中的(非True)。

从另一个角度来看,考虑一下

>>> -2**2
-4

**比-结合得更紧密,这就是为什么你得到的是- 2的平方,而不是- 2的平方(即正4)。

如果你想要- 2的平方呢?显然,你要加上括号:

>>> (-2)**2
4

然而,期望下面给出4是不合理的

>>> -(2)**2
-4

因为-(2)等于-2。括号完全没有任何作用。not(True)是完全相同的。

让我们把它看作一个集合包含检查操作:[False, True]是一个包含一些元素的列表。

表达式True在[False, True]返回True,因为True是包含在列表中的元素。

因此,[False, True]中的not True给出了“布尔相反”,而不是上述表达式的结果(没有任何括号以保持优先级,因为in的优先级高于not运算符)。 因此,非True将导致False。

另一方面,[False, True]中的(不是True)等于[False, True]中的False,它是True (False包含在列表中)。

y中的非x等于y中的非x

通过分解代码,您可以确切地看到发生了什么。第一种情况如你所料:

>>> x = lambda: False in [False, True]
>>> dis.dis(x)
  1           0 LOAD_GLOBAL              0 (False)
              3 LOAD_GLOBAL              0 (False)
              6 LOAD_GLOBAL              1 (True)
              9 BUILD_LIST               2
             12 COMPARE_OP               6 (in)
             15 RETURN_VALUE

第二种情况,在[False, True]中评估为True,这显然是False:

>>> x = lambda: not(True) in [False, True]
>>> dis.dis(x)
  1           0 LOAD_GLOBAL              0 (True)
              3 LOAD_GLOBAL              1 (False)
              6 LOAD_GLOBAL              0 (True)
              9 BUILD_LIST               2
             12 COMPARE_OP               7 (not in)
             15 RETURN_VALUE        
>>> 

你想表达的是[False, True]中的(not(True)),而[False, True]则是True,原因如下:

>>> x = lambda: (not(True)) in [False, True]
>>> dis.dis(x)
  1           0 LOAD_GLOBAL              0 (True)
              3 UNARY_NOT           
              4 LOAD_GLOBAL              1 (False)
              7 LOAD_GLOBAL              0 (True)
             10 BUILD_LIST               2
             13 COMPARE_OP               6 (in)
             16 RETURN_VALUE        

除了其他提到not优先级低于in的答案外,实际上你的陈述相当于:

not (True in [False, True])

但请注意,如果您不将您的条件与其他条件分离,python将使用2个角色(优先级或链接)来分离它们,在这种情况下,python使用优先级。另外,请注意,如果你想分离一个条件,你需要把所有的条件都放在括号里,而不仅仅是对象或值:

(not True) in [False, True]

但如前所述,python对操作符进行了另一个修改,即链接:

基于python文档:

请注意,比较、成员测试和标识测试都具有相同的优先级,并且具有比较部分中描述的从左到右的链接特性。

例如,下面语句的结果为False:

>>> True == False in [False, True]
False

因为python会像下面这样链接语句:

(True == False) and (False in [False, True])

哪个是假的,哪个是真,哪个是假的。

您可以假设中心对象将在2个操作和其他对象之间共享(在本例中为False)。

请注意,对于所有比较操作,包括成员测试和标识测试操作,这些操作是以下操作数:

in, not in, is, is not, <, <=, >, >=, !=, ==

例子:

>>> 1 in [1,2] == True
False

另一个著名的例子是数字范围:

7<x<20

它等于:

7<x and x<20