Python 3.9新增字典合并操作符|和|=用法指南

一、操作符语法与基础用法

Python 3.9 扩展了内置的二进制按位或符号，使其在映射类型之间承担联合与合并的语义。根据是否生成全新对象，分为纯表达式合并操作符 | 与原地增量赋值操作符 |=。

1. 纯表达式合并：操作符 |

操作符 | 用于将两个字典的内容合并，并返回一个包含了双方所有键值对的全新字典实例。运算过程中，参与计算的原始字典均不会被篡改。

# 运行环境：Python 3.9+
default_config = {"host": "localhost", "port": 8080, "timeout": 30}
user_config = {"port": 9000, "debug": True}

# 执行合并
active_config = default_config | user_config

print("合并结果 active_config:", active_config)
print("原始配置 default_config:", default_config)
print("用户配置 user_config:", user_config)

合并结果 active_config: {'host': 'localhost', 'port': 9000, 'timeout': 30, 'debug': True}
原始配置 default_config: {'host': 'localhost', 'port': 8080, 'timeout': 30}
用户配置 user_config: {'port': 9000, 'debug': True}

当两个字典中出现重复键时，操作符严格遵循右操作数优先（Right-Hand Side Wins）的覆盖规则。在上述示例中，default_config 和 user_config 均包含键 "port"，结果字典保留了右侧 user_config 的数值 9000。

图 1：操作符 | 的求值流程与键冲突覆盖机制

2. 就地增量更新：操作符 |=

操作符 |= 是字典就地更新（In-place Merge）的专用语法。它直接修改位于左侧的原字典对象，而不会在内存中分配新的字典实例，其运行效果等同于调用 d1.update(d2)。

# 运行环境：Python 3.9+
session_data = {"user_id": 1001, "role": "guest"}
print("更新前内存地址:", id(session_data))

# 使用 |= 原地更新
session_data |= {"role": "admin", "token": "abc-xyz"}

print("更新后内存地址:", id(session_data))
print("更新后内容:", session_data)

更新前内存地址: 4356789120
更新后内存地址: 4356789120
更新后内容: {'user_id': 1001, 'role': 'admin', 'token': 'abc-xyz'}

二、内存机制与引用生命周期辨析

理解 | 与 |= 的核心在于明确对象生命周期与副作用。在编写函数、封装业务配置或在多模块间共享状态时，混淆两者可能会带来隐蔽的数据污染问题。

图 2：合并表达式与就地更新在内存分配上的行为对比

在编写公用函数时，如果直接使用 d1 |= d2，传入的入参若属于外部传入的共享字典，函数外部的数据也会被不可逆地改写。如果不希望产生副作用，应始终优先使用 d1 | d2 构建全新副本。

三、典型应用流程与场景实践

在实际工程开发中，| 和 |= 最常用于多层配置合并、分层参数覆盖以及链式数据流处理。

图 3：基于 | 与 |= 的配置装载与分层覆盖流程

链式合并多个字典

操作符 | 满足从左到右结合的运算特性，支持优雅的链式书写：

schema_defaults = {"theme": "light", "lang": "zh"}
app_settings = {"theme": "dark", "fontSize": 14}
user_preferences = {"fontSize": 16, "showLineNumbers": True}

# 从左向右依次合并，最右侧拥有最高优先级
final_settings = schema_defaults | app_settings | user_preferences
print("最终合并结果:", final_settings)

最终合并结果: {'theme': 'dark', 'lang': 'zh', 'fontSize': 16, 'showLineNumbers': True}

四、容易混淆的技术认知与深层辨析

在接触 | 和 |= 时，部分开发者容易将其与深拷贝或集合运算画上等号。明确以下几个关键细节，有助于避免在复杂数据结构中踩坑。

1. 误区辨析：| 是浅拷贝还是深拷贝？

结论：操作符 | 仅执行浅拷贝（Shallow Copy）。

当字典中的值包含嵌套的可变对象（如列表、嵌套字典）时，合并后新字典中的值只是持有了对原对象引用的拷贝。若修改嵌套对象，会引发联动变更。如果数据结构存在深层嵌套，仍需借助 copy.deepcopy() 进行深度递归拷贝。

2. 为什么不继续沿用 {**d1, **d2}？

许多开发者会问：既然 Python 3.5 已经支持了双星号解包 {**d1, **d2}，为何还要额外增加 | 操作符？

• 视觉意图更直观：双星号解包属于函数参数解包语法的延伸，阅读时不如二元运算符直观。
• 继承与定制性：| 背后对应的是特殊方法 __or__ 和 __ior__，自定义的字典子类可以重写这些方法实现自定义合并逻辑；而解包语法 {**d1, **d2} 是由解释器层直接构造标准字典，无法被子类拦截或扩展。
• 与集合（Set）语法保持统一：在 Python 中，集合的并集运算早已使用 | 和 |=，为字典提供相同符号使得标准库的运算符体系更为对称自然。

五、Python 历代字典合并方案对比总结

回顾 Python 的演进历史，合并字典经历了多种方案。不同方案在返回值、是否改变原字典以及键类型限制上各有差异。

图 4：Python 历代字典合并技术方案综合对比全景

六、实践总结与选用建议

在 Python 3.9 及更高版本的开发实践中，推荐遵循以下准则：

1. 需要生成新字典时：优先使用 d1 | d2 或链式合并 d1 | d2 | d3，语法表达清晰，逻辑无副作用。
2. 需要原地更新大字典时：使用 d1 |= d2 替代 d1.update(d2)，使增量更新的书写风格与整数、集合等标准数据类型保持高度一致。
3. 若需兼容 Python 3.8 及更低环境：继续使用 {**d1, **d2} 创建新副本，或在代码头部提供向下兼容的辅助函数。