为什么加法后的逻辑不是语法上无效的？

Question

今天，我注意到 not True + 5 在语法上有效，但 5 + not True 则不然。 语法错误指向 not 的第一个字符，就好像这里不能使用该运算符一样。然而， 5 + (not True) 有效，这让我相信这是一个解析器问题。

这个错误有什么原因吗？

• 这是语言做出的设计决定吗？
• 这是解析器错误，还是语言规则未定义的行为？

我找不到与此案有关的任何资源。

Answer 1

我们需要查看 Python 语法 来了解为什么 不为 True + 5 在语法上（尽管不是语义上）有效，而 5 + not True 是解析错误。以下是最相关的部分：

相关语法规则

inversion:
    | 'not' inversion 
    | comparison

comparison:
    | bitwise_or
bitwise_or:
    | bitwise_xor
bitwise_xor:
    | bitwise_and
bitwise_and:
    | shift_expr
shift_expr:
    | sum

sum:
    | sum '+' term 
    | term

这些规则的顺序与所涉及的各种运算符的优先级相匹配，从最低优先级到最高优先级。 'not' inversion 列在 sum '+' term 之前，因为 not 运算符的优先级低于 +。

not 被解析为反转。按照推导链自上而下地阅读，您可以看到反转可以是求和。这意味着 not True + 5 可以解析为 not 运算符后跟 True + 5 操作数。

not True + 5 的解析树

inversion
│       │
'not'   inversion
        │
        comparison
        │
        bitwise_or
        │
        bitwise_xor
        │
        bitwise_and
        │
        shift_expr
        │
        sum
        │
        sum '+' term
        │       │
        term    '5'
        │
        'True'

另一方面，如果您有 5 + not True，则无法构造解析树。如果您尝试过，5 + not True 将被解析为 sum '+' term。左侧很好：5 可以解析为sum。不过，右侧没有有效的解析：not True 不是一个术语。

5 + not True 的解析树失败

sum ─┬────┐
│    │    │
sum  '+'  term
│         │
term      <error: no derivation for 'not' 'True'>
│
'5'

注意：“恢复”语法的唯一方法是添加括号。 not True 不是一个术语，但带有括号的(not True) 才是。 5 + (not True) 在语法上是有效的。当然，它在语义上仍然无效。但是，嘿，如果您不关心语义，解析器不会阻止您。

Answer 2

这是一个运算符优先级问题；请参阅文档中的此表。 + 比 not 绑定得更紧密，因此：

not True + 5

相当于：

not (True + 5)

在这种情况下，True 的计算结果为 1 （所以你得到True + 5 == 6，并且not 6 == False）。另一方面：

5 + not True

是：

(5 + not) True

这没有任何意义。您需要显式地编写：（

5 + (not True)

这等于 5，因为 not True 是 False 并且 False 的计算结果为<代码>0。）