带有“非x即无”的Yoda条件

Question

上一个dev在代码中留下了一个非常奇怪的not x is Noyoda条件：

>>> x = None
>>> not x is None
False
>>> x = 1
>>> not x is None
True

经过一些测试，我发现与x相同的输出不是None。

>>> x = None
>>> not x is None
False
>>> x is not None
False
>>> x = 1
>>> not x is None
True
>>> x is not None
True

是不是x是无总是等同于x不是无？

要分解条件，是不是（x是无）还是（不是x）是无？还是前者永远等同于后者？

Answer 1

is notis（我相信，是Python中唯一的）两个关键字运算符，x不是y完全等同于notx是y。id（x）！=id（y）。最好的读者理解标准拼写是x不是y。

Answer 2

因为is比not有更高的优先级，所以表达式是等价的：

如果x=None：x为None计算为True，非x为None计算为False如果x=1：x为None计算为False，非x为None计算为True

如果x=No：x不是No求值为False如果x=1：x不是No求值为True。

因此，即使这些动作在语法上是不等价的，结果也是等价的。

这是的AST不是x是无：

这是x的AST不是None：

从第二个图中可以看出，内部节点是比较节点，因此在not之前计算x is No。

关于表达式的实际计算，python似乎为这两者创建了相同的字节码。在本例中可以看到：

def foo(x):
    x is not None


def bar(x):
    not x is None

import dis
dis.dis(foo)
dis.dis(bar)

因为两者都产生：

      0 LOAD_FAST                0 (x)
      3 LOAD_CONST               0 (None)
      6 COMPARE_OP               9 (is not)
      9 POP_TOP             
     10 LOAD_CONST               0 (None)
     13 RETURN_VALUE