python中的逻辑运算符优先级比较——串连特性

1.背景

昨天，在日常代码中，我发现了一件不可思议的事情。简化之后，代码可以描述为

5 > 3 is True

令我万万没想到的是，这个表达式的值竟然是False

我首先想到，可能是因为优先级而导致的结合律应用问题。但是对于这个表达式，其中只有两个运算符，可能的结合情况只有

# 1
(5 > 3 ) is True
# 2
5 > ( 3 is True)

于是经过试验得到了更诡异的结果。

众所周知，5是比3大的，可以是 5 > 3 is True的结果竟然False，这究竟是怎么一回事呢，快和小编一起看看吧。

2.python串连性质

首先我们有上述三个表达式

# 1
5 > 3 is True # False
# 2
(5 > 3) is True # True
# 3
5 > (3 is True) # True

实际上表达式(1)并不等价与表达式(2)或(3)的任何一个，而是等价于如下的表达式

5 > 3 and 3 is True

显然and的优先级很低，所以先计算5 > 3 和 3 is True两个表达式，再进行且运算。很遗憾，3 is not True，最终导致了整个表达式呈False。

实际上，python提供的这种隐藏特性，确实很容易被忽视。如果我们全部采用比较运算，就会直观很多。下图展示了若干个示例。

这种方式成为串连性质（chaining feature），即在python中，以下两行代码是等价的。

a < b < c
a < b and b < c

需要注意的是，括号的出现会打断这种串联特性，比如上图中的示例中（比较时，True相当于数字1，因此1 > 4为False），以下两行表达式的含义截然不同。

3 < 5 > 4 # 3 < 5 and 5 > 4 结果True
(3 < 5) > 4 # True > 4 结果False

特别值得注意的是，许多资料、博文中对运算符的优先级描述，都非常想当然。例如下图来自某鸟教程提供的python运算符优先级的一部分。

果真如此吗？
如果我们阅读一下python官方文档，就会发现，大量的教程或博文中给出的优先级，基本都是扯淡甚至臆测。

python语法文档6.17节明确列出的优先级顺序中，比较运算，身份运算和成员关系运算完全是相同的优先级。文档还直接指出了，由于比较、成员、身份运算的优先级相同，他们都会平等地触发串连性质，这就导致了，以下的这些运算表达式，是两两等价的。

3.经验教训

直接去查最原始的文档，未必是学习一门语言的最好办法，至少我相信大多数人不太可能单靠文档来学习一门语言（虽然前辈们或许是这样做的）。当我们应该掌握查阅资料，原始文档的技能，以备不时之需。

非官方的资料、博文也未必完全可信，需要结合实践，加以学习。