Python运算符优先级与结合性：复杂表达式求值顺序指南

图 0：Python 表达式解析引擎的三级流转架构

一、优先级与结合性：决定计算顺序的两大基石

当一行代码中存在两个或更多相互“争抢”操作数的运算符时，Python 解释器需要依靠明确的语法规则决定谁先结合操作数：

• 运算符优先级（Precedence）：当不同类型的运算符相邻时，高优先级运算符优先于低优先级运算符与其操作数结合。例如在 10 + 2 * 3 中，乘法优先级高于加法，因此 * 先与 2 和 3 结合，计算为 10 + 6 = 16。
• 结合性（Associativity）：当相同优先级的运算符并列出现时，由结合方向决定哪一边先执行。绝大多数 Python 二元运算符均为左结合（Left-to-Right），例如加减法与普通乘除法；而幂运算（**）与赋值运算符（=）则是右结合（Right-to-Left）。

图 1：Python 常用运算符优先级层级与结合性全景阶梯图

二、复杂表达式的逐步推导全流程拆解

面对包含算术、位运算、关系比较与逻辑判断的复合表达式，可以建立标准的“分级降维”推导模型。以如下具有代表性的表达式为例：

result = 10 + 2 * 3 ** 2 > 25 and not 4 <= 2 + 1

我们按照 Python 官方语法规范对其执行分步推演：

1. 阶段 1（最高优先级算术运算）：扫描整句，最高优先级为幂运算 3 ** 2。表达式化简为：
   result = 10 + 2 * 9 > 25 and not 4 <= 2 + 1
2. 阶段 2（乘除算术运算）：算术乘法 * 高于加减法，计算 2 * 9 = 18。表达式化简为：
   result = 10 + 18 > 25 and not 4 <= 2 + 1
3. 阶段 3（加减算术运算）：左侧 10 + 18 = 28，右侧 2 + 1 = 3。加减法完成规约：
   result = 28 > 25 and not 4 <= 3
4. 阶段 4（关系比较运算）：关系比较符 > 与 <= 优先级高于布尔逻辑符。计算 28 > 25 得到 True；计算 4 <= 3 得到 False。表达式化简为：
   result = True and not False
5. 阶段 5（逻辑非与逻辑与）：逻辑非 not 优先级高于逻辑与 and。先计算 not False 得到 True；最后计算 True and True，最终赋值变量 result = True。

图 2：复杂表达式多阶段分步推导流水线

三、容易混淆的特例机制：连续比较与短路求值

在实际工程开发中，除了基础优先级，还有两项 Python 独有的求值机制经常导致逻辑漏洞：链式比较（Chained Comparison）与逻辑短路（Short-circuit Evaluation）。

1. 连续比较的隐形拆解

在 C、C++ 或 JavaScript 中，书写 1 == 2 < 3 会首先计算左侧 1 == 2 得到布尔值 false（数值 0），然后计算 0 < 3，最终意外得到 true。

但在 Python 中，比较运算符之间不具备单纯的左右结合性，而是触发特殊的语法糖——链式比较。表达式 a op1 b op2 c 会被严格重写为：

(a op1 b) and (b op2 c)

因此，1 == 2 < 3 在 Python 中等价于 (1 == 2) and (2 < 3)。由于前半段 1 == 2 为 False，整个表达式直接得出 False。同时，Python 保证中间项 b 仅被求值一次，即使 b 是一个高开销的函数调用，也不会重复执行。

2. 逻辑运算符的短路与真值返回

Python 中的 and 和 or 运算符不仅遵循 not > and > or 的优先级，还具备两大核心特征：

• 惰性短路（Short-circuiting）：对于 expr1 and expr2，若 expr1 为假值，解释器立即终止求值，根本不会执行 expr2；对于 expr1 or expr2，若 expr1 为真值，同样直接返回，忽略 expr2。这一特性常用于防护性编程（例如 node is not None and node.value > 0）。
• 保留原生操作数对象：Python 的逻辑运算符不会将结果强制转换为布尔类型 True 或 False，而是返回决定最终判断结果的那个操作数本身。例如 [] or 'fallback' 返回字符串 'fallback'，而 {'id': 1} and 42 返回整数 42。

图 3：连续比较与短路逻辑内部执行路径对比

四、工程化实践：消除歧义与重构准则

虽然掌握完整的优先级表能够帮助我们读懂他人编写的代码，但在自己编写工程代码时，依赖极端优先级往往是代码坏味道（Code Smell）。代码是写给人看的，附带在机器上运行。以下三条准则是编写高可靠表达式的业界规范：

1. 主动使用括号 () 界定边界：括号拥有最高执行优先级，且具备极强的可读性指示作用。当表达式混合了 2 种以上不同类别的运算符（例如位运算与逻辑运算 (x & 0x0F) == target）时，务必加上显式括号。
2. 提取自解释语义变量（Extract Explanatory Variable）：如果一个复合条件表达式过长，将其拆解为具名布尔变量，如 is_token_valid = ...，这能显著降低单元测试与线上断点调试的复杂度。
3. 使用 Python 内置 AST 模块验证 AST 结构：当对某一复杂表达式的结合顺序产生疑虑时，无需靠猜想验证，可以直接利用 Python 标准库的 ast 模块打印语法抽象语法树。

import ast

expr = "10 + 2 * 3 ** 2 > 25"
parsed_ast = ast.parse(expr, mode='eval')
print(ast.dump(parsed_ast, indent=2))

通过 ast.dump 打印的语法树层级，可以一目了然地看到 BinOp(Pow) 嵌套在 BinOp(Mult) 内部，直观验证语法优先级的嵌套关系。

图 4：复杂表达式审查与重构决策流程

五、核心运算符优先级速查表

下表汇总了日常开发中最核心的 Python 运算符优先级，按自顶向下从高到低排列：