理解嵌套字典引用陷阱的本质
在Python中，当你把一个可变对象（如列表、字典）放入字典作为值时，字典存储的是该对象的引用而非对象的拷贝。引用的共享会在多处键指向同一个对象时暴露出来，导致修改一个键的值会影响到其他键。为避免这类问题，理解浅拷贝与深拷贝的区别至关重要。
很多人会遇到所谓的“嵌套字典引用陷阱”，尤其是在使用dict.fromkeys或不小心把可变对象作为默认值时。将可变对象作为默认值传递给所有键，就会让所有键共享同一个对象，从而产生难以追踪的错误行为，这也是本文要破解的核心问题之一。
# 演示：所有键共享同一个列表
keys = ['x','y','z']
d = dict.fromkeys(keys, [])
d['x'].append(1)
print(d) # {'x':[1], 'y':[1], 'z':[1]}
通过以上示例可以看到，当使用dict.fromkeys并传入一个可变默认值时，真正被创建的只有一个对象，所有键都指向同一个对象，这就是陷阱的表现。为避免这种情况，务必了解在初始化阶段对象创建的时机以及字典的构造方式对最终结构的影响。
避免陷阱的实用策略
陷阱的核心：引用只影响单一对象
当你看到“所有键共享同一个对象”的现象时，首先要确认初始对象是否被多次使用。如果是在构造阶段用同一个对象作为默认值，就很可能出现多键共享同一引用的情况，这也是导致不可预测行为的根源。
要点在于：不要用同一个可变对象作为默认值初始化多个键，而应该为每个键分配独立的对象，确保后续对某个键的修改不会波及其他键。
典型的错误初始化方式及其后果
另一种常见的错误是将一个可变对象作为默认值传给dict.fromkeys，例如使用一个空字典或空列表。这会让所有键指向同一个对象，即使你只是对其中一个键做了修改，其他键也会跟着变化。
下面的示例清晰地展示了这一点：
# 错误示例：所有键指向同一个字典
keys = ['a','b','c']
shared = {}
d = dict.fromkeys(keys, shared)
d['a']['value'] = 1
print(d) # {'a': {'value': 1}, 'b': {'value': 1}, 'c': {'value': 1}}
避免陷阱的实用策略（续）
使用字典推导式为每个键创建独立对象
一种最直接且推荐的做法是，借助字典推导式为每个键分配一个独立的对象。这样即使对某个键的值进行修改，也不会影响到其他键。每个键都拥有独立的可变对象，从而避免了共享引用的问题。
示例演示了如何为每个键创建独立的空列表：
# 为每个键创建独立的列表
keys = ['a','b','c']
d = {k: [] for k in keys}
d['a'].append(1)
print(d) # {'a':[1], 'b':[], 'c':[]}
如果你需要嵌套结构，同样要确保最外层及内层的对象都能独立创建。上述方法可确保嵌套层级的每一层都不会共享引用，从而提升代码的健壮性。
避免使用 dict.fromkeys 传递可变对象的默认值
一个简单的原则是：不要将一个可变对象作为默认值传给 dict.fromkeys，这会导致所有键共享同一个对象。若一定要使用此方法，请在创建后对每个键再进行一次深拷贝或重新赋值，但这会降低代码的可读性与效率。
# 错误用法：使用共享的默认值
keys = ['m','n']
d = dict.fromkeys(keys, {})
d['m']['val'] = 42
print(d) # {'m': {'val': 42}, 'n': {'val': 42}}
# 正确做法：为每个键分配独立的对象
d = {k: {} for k in ['m','n']}
d['m']['val'] = 42
print(d) # {'m': {'val': 42}, 'n': {}}
在需要保持简单的嵌套结构时，避免共享引用的最稳妥方式是使用字典推导式，而非将同一个可变对象作为默认值传给多个键。
更稳妥的替代方案与工具
使用 deepcopy 进行模板拷贝以避免引用污染
如果你事先定义了一个模板对象，并希望为每个键创建一个完整独立的副本，可以借助copy.deepcopy来避免深层嵌套中的共享引用。深拷贝会递归拷贝所有子对象，确保每个键指向互不相同的结构。
示例中先定义一个模板对象，再对其进行逐键的深拷贝：
import copy
template = {'inner': []}
keys = ['k1','k2','k3']
d = {k: copy.deepcopy(template) for k in keys}
d['k1']['inner'].append('x')
print(d)
# {'k1': {'inner': ['x']}, 'k2': {'inner': []}, 'k3': {'inner': []}}
结合 defaultdict 使用时的注意点
collections.defaultdict 提供了一个便捷的“若键不存在就自动创建”的字典类型，避免了显式初始化的重复代码。但请注意，这并不能天然解决嵌套层级的引用问题，要确保嵌套层级也具有独立的容器，否则仍可能出现共享引用的情形。
from collections import defaultdict
d = defaultdict(list)
for k in ['a','b','c']:
d[k].append(0)
print(dict(d))
