Python集合运算符优先级：&、|、^、-的执行顺序详解

一、集合运算符的优先级阶梯总览

许多初学者常误以为集合运算的交集、并集和差集处于平级地位，甚至以为它们会从左到右机械执行。实际上，在 Python 的抽象语法树（AST）解析中，这四个符号直接复用了内置算术与位操作的语法规则：

• -（差集 / Difference）：语法层级归属于算术表达式（arith_expr，与加减同级），在四者中优先级最高。
• &（交集 / Intersection）：语法层级归属于按位与表达式（and_expr），优先级第二。
• ^（对称差集 / Symmetric Difference）：语法层级归属于按位异或表达式（xor_expr），优先级第三。
• |（并集 / Union）：语法层级归属于按位或表达式（expr），在四者中优先级最低。

图 1：Python 集合运算符语法层级与优先级从高到低架构图

二、左结合性：同级与连续运算符的执行逻辑

当一个表达式中出现多个优先级相同的运算符时，Python 按照左结合（Left-to-Right Associativity）的方式进行归约，即最左侧的子表达式先计算，产生的结果再依次与右侧操作数运算。

对于满足交换律和结合律的交集（&）、并集（|）和对称差集（^），执行顺序的微调通常不会改变最终集合的数学内容；但对于不满足结合律的差集 -，结合方向将直接决定最终结果。

图 2：连续差集在默认左结合与括号干预下的执行流与结果分流对比

# 交互式示例：验证左结合性对差集的影响
a = {1, 2, 3, 4}
b = {2, 3}
c = {1, 5}

# 默认左结合：等价于 (a - b) - c
res_default = a - b - c
# 显式改变运算顺序
res_paren = a - (b - c)

print(res_default)  # 输出: {4}
print(res_paren)    # 输出: {1, 4}

三、混合复合表达式逐步推导与执行拆解

当表达式中同时混合了 |、-、^、& 时，Python 解释器会构建语法解析树并按照优先级由高到低的顺序逐步化简。考虑以下典型混合运算表达式：

result = A | B - C ^ D & E

推导该表达式的标准求解步骤如下：

1. 第一步（执行 -）：在整个式子中，差集 - 拥有最高优先级，因此解释器首先计算 (B - C)，记作中间集合 T1。
2. 第二步（执行 &）：在剩余运算符 |、^、& 中，交集 & 优先级最高，计算 (D & E)，记作中间集合 T2。当前式子变为：A | T1 ^ T2。
3. 第三步（执行 ^）：在 | 与 ^ 之间，对称差集 ^ 优先于并集 |，因此计算 (T1 ^ T2)，记作中间集合 T3。当前式子变为：A | T3。
4. 第四步（执行 |）：最后执行并集运算，完成 A | T3。

图 3：四种运算符混合表达式的四阶段求值流水线推导图

通过 Python 代码进行实际验证：

A = {1, 2}
B = {2, 3, 4}
C = {3}
D = {4, 5}
E = {5, 6}

# 无括号混合表达式
raw_res = A | B - C ^ D & E

# 按照优先级手动加括号展开
explicit_res = A | (((B - C) ^ (D & E)))

print(raw_res)         # 输出: {1, 2, 4, 5}
print(explicit_res)    # 输出: {1, 2, 4, 5}
print(raw_res == explicit_res)  # 输出: True

四、运算符 vs 集合内置方法：优先级与行为差异

在 Python 中，集合的交、并、差、对称差既可以通过运算符（&、|、-、^）完成，也可以通过对应的方法（intersection()、union()、difference()、symmetric_difference()）完成。两者在执行顺序和输入类型上存在关键边界条件：

# 运算符方式：右操作数必须为 set
s = {1, 2}
# s & [2, 3]  -> 抛出 TypeError: unsupported operand type(s) for &: 'set' and 'list'

# 方法方式：支持任何 iterable
res_method = s.intersection([2, 3])  # 正常执行，得到 {2}

五、生产代码最佳实践与避坑总结

深入理解优先级有助于排查复杂 Bug，但在编写工程化可维护代码时，不应依赖团队成员对运算符优先级表的记忆。以下是推荐的集合运算工程规范：

• 强制使用圆括号显式声明意图：哪怕只混合了两个不同优先级的运算符（例如 (A | B) & C 与 A | (B & C)），都应当显式使用小括号包裹，消除阅读歧义。
• 链式处理推荐使用具名方法：当过滤管道较长、涉及多步转换时，使用 .difference() 等具名方法或将步骤拆分为多行有具体语义命名的局部变量。
• 警惕 - 的高优先级陷阱：在从集合中筛选剔除时，务必注意 - 会先于任何逻辑位运算执行，避免差集截断了交集或并集的目标范围。

图 4：Python 集合运算符优先级速查与防御式编码规范看板