一个让我在配置系统上翻车的Bug
去年我在写一个微服务的配置管理模块,需要把用户的个性化配置和系统默认配置合并在一起。代码大概是这样的:
default_config = { "database": { "host": "localhost", "port": 5432, "pool_size": 10 }, "logging": { "level": "INFO", "file": "/var/log/app.log" } } user_config = { "database": { "port": 5433, "pool_size": 20 } } # 合并配置——我当时是这么写的 default_config.update(user_config) print(default_config)我期待的输出是:
{ "database": { "host": "localhost", # 保留了默认的host "port": 5433, # 用户覆盖了port "pool_size": 20 # 用户覆盖了pool_size }, "logging": { "level": "INFO", "file": "/var/log/app.log" } }但实际输出是:
{ "database": { "port": 5433, "pool_size": 20 # host呢??? }, "logging": { "level": "INFO", "file": "/var/log/app.log" } }host丢了!
盯着屏幕看了十分钟,我脑子里只有一个念头:为什么update()把整个嵌套字典替换掉了,而不是递归合并?
这个Bug让我花了三天才彻底搞明白。今天我把字典合并的各种坑一次性讲清楚,希望能帮你省下这三天时间。
坑一:update()的“浅层覆盖”——嵌套字典整块消失
dict.update()是Python里最常用的字典合并方法,但它的行为是浅层更新(shallow update)。当键对应的值是嵌套字典时,它会直接替换整个子字典,而不是递归合并其内容。
d1 = {"a": {"x": 1, "y": 2}} d2 = {"a": {"z": 3}} d1.update(d2) print(d1) # {"a": {"z": 3}} —— x和y全丢了!这就是我配置系统里host消失的原因。update()只看到database这个键存在,就直接把整个database子字典替换成了用户配置里的那个,默认配置里的host就这么没了。
为什么Python这样设计?
因为字典在Python里被视为扁平的键值映射,update()遵循“键存在则覆盖”的原则,不预设嵌套结构的语义。而且递归遍历所有层级会引入额外开销,违背了update()高效原地更新的初衷。
解决方案:
如果确实需要深度合并嵌套字典,得自己写递归函数:
def deep_merge(dict1, dict2): """递归合并两个字典,dict2的值优先""" result = dict1.copy() for key, value in dict2.items(): if key in result and isinstance(result[key], dict) and isinstance(value, dict): result[key] = deep_merge(result[key], value) else: result[key] = value return result d1 = {"a": {"x": 1, "y": 2}} d2 = {"a": {"z": 3}} merged = deep_merge(d1, d2) print(merged) # {"a": {"x": 1, "y": 2, "z": 3}} —— 完美!或者用第三方库,比如deepmerge。
坑二:update()会原地修改——你的原始数据被污染了
update()的另一个特点是原地修改——它会直接修改调用它的字典,而不是返回一个新字典。
defaults = {"theme": "dark", "language": "en"} user_settings = {"language": "zh"} defaults.update(user_settings) # defaults被直接修改了! print(defaults) # {"theme": "dark", "language": "zh"} # 如果后面其他地方还想用原始的defaults,就出问题了很多人在配置合并场景中写defaults.update(user_config),结果后续其他模块读defaults时拿到的是已被污染的值。
正确做法:先复制再更新。
safe_settings = defaults.copy() safe_settings.update(user_settings)坑三:解包语法{**d1, **d2}——看起来很美,但坑一样在
Python 3.5引入了**解包运算符用于字典合并,语法很简洁:
merged = {**default_config, **user_config}优点是不修改原字典,返回新字典。但嵌套字典的覆盖问题依然存在。
d1 = {"a": {"x": 1, "y": 2}} d2 = {"a": {"z": 3}} merged = {**d1, **d2} print(merged) # {"a": {"z": 3}} —— x和y还是丢了!解包只是把两个字典的顶层键值对合并到一起,遇到嵌套字典照样直接替换。
注意:{**d1, **d2}和d1.update(d2)在键冲突时的行为是一致的——后者覆盖前者。如果两个字典有同名键,最终结果以右侧字典的值为准。
坑四:|运算符(Python 3.9+)——新语法,老问题
Python 3.9通过PEP 584引入了|和|=运算符。
# Python 3.9+ merged = d1 | d2 # 返回新字典 d1 |= d2 # 原地更新,相当于d1.update(d2)语法确实优美,PEP的作者形容这是为了解决过去合并字典时感受到的“痛苦”。
但嵌套覆盖的问题依然存在:
d1 = {"a": {"x": 1}} d2 = {"a": {"y": 2}} merged = d1 | d2 print(merged) # {"a": {"y": 2}} —— x又丢了|运算符只做浅层键值叠加,不递归处理嵌套结构。
另外要注意:字典联合不符合交换律——d | e和e | d的结果可能完全不同。因为右侧字典的键值会覆盖左侧的。
d1 = {"a": 1, "b": 2} d2 = {"b": 3, "c": 4} print(d1 | d2) # {"a": 1, "b": 3, "c": 4} print(d2 | d1) # {"b": 2, "c": 4, "a": 1} —— 结果不同!坑五:ChainMap的“假合并”——你以为合并了,其实没有
collections.ChainMap可以把多个字典在逻辑上变成一个字典。
from collections import ChainMap a = {"a": 1, "b": 2} b = {"b": 3, "c": 4} c = ChainMap(a, b) print(c["a"]) # 1 print(c["b"]) # 3 —— 来自第一个字典a但它不会真的把字典合并在一起,而是在内部储存一个Key到每个字典的映射。读取时先去第一个字典找,找不到再去第二个。
隐藏坑1:修改ChainMap会影响原始字典。
c["new_key"] = 100 print(a) # {"a": 1, "b": 2, "new_key": 100} —— a被改了!所有写操作([]=、del、pop、clear)都只修改maps[0],也就是第一个字典。
隐藏坑2:如果同一个Key在多个字典中存在,从ChainMap删除它只会从第一个字典中删除。
隐藏坑3:ChainMap存储的是对原始字典的引用,不是拷贝。修改原始字典,ChainMap会同步变化。
a["a"] = 999 print(c["a"]) # 999 —— 跟着变了所以ChainMap适合只读场景(比如多层配置的查找),不适合真正需要合并出一个独立字典的场景。
一张表总结五种合并方式
| 方法 | 是否修改原字典 | 嵌套字典是否递归合并 | 适用场景 |
|---|---|---|---|
d1.update(d2) | ✅ 是 | ❌ 否(直接覆盖) | 原地更新,不关心原数据被改 |
{**d1, **d2} | ❌ 否 | ❌ 否(直接覆盖) | 需要新字典,Python 3.5+ |
d1 | d2 | ❌ 否(|) / ✅ 是(|=) | ❌ 否(直接覆盖) | Python 3.9+,函数式风格 |
ChainMap(d1, d2) | ❌ 否(逻辑视图) | 不适用(不真正合并) | 只读的多层配置查找 |
自定义deep_merge | 取决于实现 | ✅ 是 | 需要深度合并嵌套字典 |
回到开头的Bug
我那个配置系统最后用了自定义的deep_merge函数。用户配置只覆盖自己指定的字段,默认配置里没被覆盖的字段全部保留。
final_config = deep_merge(default_config, user_config) # database.host 保住了,port和pool_size被用户覆盖了三天时间没白花——从此再也没被字典合并坑过。
记住:Python内置的字典合并方法都是浅合并。如果你处理的是嵌套字典(配置文件、JSON数据、API响应),默认情况下嵌套层会被整块覆盖,而不是递归合并。需要深度合并?自己写递归函数,或者用deepmerge库。
希望你能少加三天班。