为什么' not(True) * True '不会给我一个无效的语法错误，就像' True * not(True)'一样？

Question

这是Python中运算符层次顺序的结果吗？

not(True)* True
#False
True* not(True)
#SyntaxError: invalid syntax

Answer 1

Anthony Sotille的回答说，Python试图解析*不是作为“不是”或“不在”运算符，但解析器或语法中没有任何东西可以尝试这样做。这实际上是一个优先级问题，以及如何实现优先级。

< code>*比< code>not具有更高的优先级，Python语法中的工作方式是存在表达式类型的层次结构，其结构使得优先级较高的运算符可以是优先级较低的运算符的参数的“根”运算符，而不是相反。

term[expr_ty]:
    | a=term '*' b=factor { _PyAST_BinOp(a, Mult, b, EXTRA) }
    | a=term '/' b=factor { _PyAST_BinOp(a, Div, b, EXTRA) }
    | a=term '//' b=factor { _PyAST_BinOp(a, FloorDiv, b, EXTRA) }
    | a=term '%' b=factor { _PyAST_BinOp(a, Mod, b, EXTRA) }
    | a=term '@' b=factor { CHECK_VERSION(expr_ty, 5, "The '@' operator is", _PyAST_BinOp(a, MatMult, b, EXTRA)) }
    | factor

term 是乘法表达式的语法规则。此规则中的前 5 个选项由中间的乘法优先运算符、运算符左侧的另一个项和右侧的因子组成，其中因子是下一个优先级较高的运算符类的规则。第6个选项只是一个因素。

这样构造语法可以确保解析的语法树始终与运算符优先级给出的结构相匹配，但这也意味着低优先级运算符不能成为高优先级运算符的参数的“根”运算符，即使表达式看起来是明确的。只是没有语法规则允许not表达式作为*表达式的参数。

（大多数表达式的语法规则遵循上述结构，但也有例外。例如，括号的语法规则不遵循“在高优先级表达式中没有低优先级运算符”结构，这就是为什么您可以编写类似 3 * （4 5） 的内容。幂是另一个例外 - ** 比左侧的一元 /-/~ 绑定更紧密，但右侧没有，因此 ** 和一元 /-/~ 的规则不遵循明确的优先级层次结构。

Answer 2

这是Python中运算符层次顺序的结果吗？

是的(尽管通常的术语是运算符优先级)。总结和简化:

> < li>

not不是函数；它是一个操作员。因此，我们不需要为< code>not (True)写括号，实际上它们在这里什么也不做。所有发生的事情是，括号被视为普通的分组括号- (True)在任何事情之前被计算，成为< code>True。所以，让我们考虑没有括号的例子。

不真 * 真表示不 （真 * 真）。这并不意味着（不是 True） * True，由于运算符优先。这是设计使然：

>>> not 1 * 0
True
>>> not (1 * 0)
True
>>> (not 1) * 0
0

由于相同的运算符优先级，True * 而不是 True 是语法错误。Python 将 not 本身解析为 * 的右侧，因为它还没有机会应用 not True。真*不是显然是无稽之谈。或者，另一种看待它的方式：“不跟一个表达式”不在“可以成为*的操作数的事物”列表中。

这可能令人惊讶，因为另一个常用的一元运算符< code>-(即一元否定)没有这个问题。但这是因为优先级正好相反:一元否定在乘法之前处理，而不是在乘法之后。

对于 and 和 或组合也是如此：

>>> 3 * 5 and 1 # 3 * 5 is evaluated first
1
>>> 3 * (5 and 1)
3
>>> 3 or 1 * 5 # 1 * 5 is evaluated first, even though it comes later
3
>>> (3 or 1) * 5
15