17370845950

字典合并需注意覆盖逻辑与版本兼容性：update()原地修改且不递归；**解包仅Python3.5+支持且不处理None；|运算符（Python3.9+）最推荐，但嵌套合并仍需手动实现。

用 update() 合并字典时要注意覆盖逻辑

update() 是原地修改方法，会直接修改调用它的字典，而不是返回新字典。它按键逐个覆盖：后合并的字典中同名键会覆盖前面的值。

• 如果想保留原字典不变，得先 copy() 一份再调用 update()
• 嵌套字典不会递归合并，比如 d1 = {'a': {'x': 1}}; d2 = {'a': {'y': 2}}，d1.update(d2) 后 d1['a'] 变成 {'y': 2}，不是 {'x': 1, 'y': 2}
• 不支持传入非字典对象（如列表、字符串），否则抛出 TypeError: update() argument must be mapping or iterable

d1 = {'a': 1, 'b': 2}
d2 = {'b': 3, 'c': 4}
d1.update(d2)
# d1 现在是 {'a': 1, 'b': 3, 'c': 4}

用解包（**）合并更安全但有 Python 版本限制

解包语法 {**d1, **d2} 创建全新字典，不修改原字典，且写法直观。但它要求所有被解包的对象都是字典（或实现了 keys() 和 __getitem__ 的映射类型），且只支持 Python 3.5+

• 键冲突时，右边字典的值胜出，和 update() 一致
• 不能直接解包 None 或空变量，会报 SyntaxError；需提前过滤掉非字典值
• 多个字典解包顺序很重要：{**d1, **d2, **d3} 中 d3 的键会最终覆盖前两者

d1 = {'a': 1}
d2 = {'b': 2, 'c': 3}
merged = {**d1, **d2}  # {'a': 1, 'b': 2, 'c': 3}

处理嵌套字典合并得自己写逻辑，update() 和 ** 都不行

标准合并方式都只做浅层覆盖，对嵌套结构无能为力。比如两个字典都有 'config' 键且值都是字典，你希望它们内部也合并，就得手动递归或借助第三方工具。

• 自己实现递归合并时，要判断值是否为 dict 类型，再决定是覆盖还是深入合并
• 注意循环引用风险：如果嵌套结构里存在互相引用，递归函数可能无限深入
• collections.ChainMap 能“逻辑上”合并多个字典（查找时按顺序搜索），但它不是真合并，也不支持写入嵌套键

def deep_update(target, source):
    for k, v in source.items():
        if k in target and isinstance(target[k], dict) and isinstance(v, dict):
            deep_update(target[k], v)
        else:
            target[k] = v
    return target

Python 3.9+ 推荐用 | 运算符，清晰又不可变

从 Python 3.9 开始，字典支持 |（合并）和 |=（就地更新）运算符，语义明确、不可变性好、可读性强，是目前最推荐的方式。

• d1 | d2 返回新字典，d1 |= d2 等价于 d1.update(d2)
• 行为与 {**d1, **d2} 完全一致，包括覆盖规则和类型要求
• 不支持 None 或非字典对象参与运算，错误信息更直接：TypeError: unsupported operand type(s) for |: 'dict' and 'NoneType'

d1 = {'x': 1}
d2 = {'y': 2}
result = d1 | d2  # {'x': 1, 'y': 2}

嵌套合并和版本兼容性是最容易被跳过的两处，尤其当项目要支持 3.8 及以下环境时，| 就不能用，而 ** 解包又没法处理 None 占位——这时候往往得加一层防御性判断。