python运算符优先级例题_通过典型代码片段分析计算结果

幻夢星雲

发布时间：2026-02-04 15:18:15

773人浏览过

来源于php中文网

原创

Python中and和or优先级低于==等比较运算符，因此a == b or c == d and e等价于(a == b) or ((c == d) and e)，而非(a == b or c == d) and e。

python运算符优先级例题_通过典型代码片段分析计算结果

Python 中 `and` 和 `or` 为什么比 `==` 优先级低？

很多人写 a == b and c 时默认它等价于 (a == b) and c，这是对的；但一旦写成 a == b or c == d and e，就容易误判结合顺序。Python 规定 and/or 的优先级**低于所有比较运算符**（包括 ==、!=、、in 等），所以 a == b or c == d and e 实际等价于 (a == b) or ((c == d) and e)，而不是按从左到右直觉理解的 ((a == b) or (c == d)) and e。

常见错误现象：

条件判断意外为 True 或 False，尤其在 if 中嵌套多个 == 和逻辑运算符时
用 or 提供默认值时出错，比如 x == None or x == '' or x —— 最后一个 x 会被当作布尔上下文直接求值，且整个表达式因优先级被拆成 (x == None) or (x == '') or x，看似没问题，但若 x 是非布尔可迭代对象（如列表），可能引发隐式转换问题

实操建议：

只要含多个比较和逻辑运算符，一律加括号明确意图，例如写成 (x == 'a') or (x == 'b')
避免把 or 当“默认值运算符”混在比较中，改用 if x in ('a', 'b'): 或三元表达式 y = x if x else default
用 ast.parse() 验证：运行 ast.dump(ast.parse("a == b or c == d and e", mode='eval')) 可看到抽象语法树中 Compare 节点始终先于 BoolOp 构建

赋值运算符 `=` 不能出现在表达式里？那 `:=` 呢

经典错误：if a = b: 直接报 SyntaxError: invalid syntax，因为 = 是语句级赋值，不允许在表达式中出现。而海象运算符 := 是**唯一允许在表达式中赋值的运算符**，且它的优先级非常低——仅高于 lambda，低于所有其他运算符（包括 or、and、if-else 表达式）。

立即学习“Python免费学习笔记（深入）”；

这意味着：if (x := get_value()) == 42: 是合法的，等价于先执行 x := get_value()，再拿结果跟 42 比较；但 if x := get_value() == 42: 就不对了——它实际是 x := (get_value() == 42)，把布尔结果赋给了 x。

实操建议：

:= 必须加括号才能控制求值时机，否则总被当整体参与右侧运算
不要在 and/or 链中间裸用，例如 result := f() or g() 是错的，应写成 (result := f()) or g() 或更清晰地拆成两行
注意作用域：在列表推导式或生成器表达式中使用 :=，赋值变量只在该表达式内有效，不会泄露到外层作用域

位运算符 `&` `|` 和布尔运算符 `and` `or` 混用会怎样

最典型陷阱：if flag & 1 == 0: 本意是“检查最低位是否为 0”，结果却总是 False（除非 flag 是 0）。因为 == 优先级高于 &，这行代码等价于 if flag & (1 == 0): → flag & False → flag & 0 → 永远为 0 → 转布尔为 False。

类似地，a | b == c 实际是 a | (b == c)，不是 (a | b) == c；而 a & b == c & d 会被解析为 (a & (b == c)) & d，完全偏离预期。

实操建议：

所有涉及 &、|、^ 的比较操作，必须显式加括号，例如写成 (flag & 1) == 0
位运算符之间优先级也有差异：& 高于 ^，^ 高于 |，所以 a ^ b | c 等价于 (a ^ b) | c，但 a & b ^ c 是 a & (b ^ c)
如果只是做布尔判断，优先用 and/or；只有明确需要逐位计算时才用位运算符，并确保整条表达式用括号包裹清楚