Python中为何表达式"foo" in "bar" != "baz"求值结果为False？

这个现象的本质是Python语法层面实现的比较运算符链式求值规则，和你假设的同优先级二元运算按左右/右左结合的计算逻辑完全不同。

• 比较运算符链的核心规则：Python中所有同属比较优先级层级的运算符（包括in、not in、is、is not、<、<=、>、>=、==、!=），可以连续拼接形成链式表达式。这类表达式的解析逻辑完全独立于普通二元运算的结合性规则，形式为expr1 op1 expr2 op2 expr3 ... opN exprN+1的链式表达式，等价于所有相邻子表达式的运算结果用逻辑与and拼接，且中间的表达式expr2到exprN只会被求值一次。
  很多开发者误以为同优先级运算符会遵循左结合/右结合的通用规则，但Python的比较运算符针对链式场景根本不会触发结合性判断——解析器会直接识别连续的比较运算符，按链式规则完成语法拆解。
• 对你的示例做逐段拆解：原表达式"foo" in "bar" != "baz"是典型的两段链式比较，按照规则等价于：

  ("foo" in "bar") and ("bar" != "baz")
  

  逐值计算：
  • "foo" in "bar"结果为False
  • "bar" != "baz"结果为True
  • 两个结果用and连接，最终值为False and True = False，和实际运行结果完全一致。
• 你手动加括号的两种尝试为什么和原表达式结果不同：
  1. 第一种写法("foo" in "bar") != "baz"：主动打破了链式结构，不再触发比较链规则，变成了普通的二元运算——把前半段得到的布尔值False和字符串"baz"做不等比较，自然得到True的结果，和链式逻辑无关。
  2. 第二种写法"foo" in ("bar" != "baz")：是按“同优先级右结合”的假设加的括号，本质是把后半段不等比较得到的布尔值，作为in运算符的可迭代参数，而布尔值本身不可迭代，自然会抛出TypeError，这同样不符合Python对链式表达式的解析规则。
• 补充特性：链式比较和and逻辑一样支持短路求值，如果某一段相邻运算的结果为False，后续的相邻运算会直接终止不再计算；同时链式结构里的中间表达式只会被求值一次，不会像普通嵌套二元运算那样对中间值重复计算。

内容的提问来源于stack exchange，提问作者Andy Vancil