本文介绍如何遍历包含嵌套字典的字典，逐个比对每个嵌套字典是否为输入字典的“键值子集”（即所有键值对均在输入字典中存在且完全一致），并返回匹配项的顶层键列表。
本文介绍如何遍历包含嵌套字典的字典，逐个比对每个嵌套字典是否为输入字典的“键值子集”（即所有键值对均在输入字典中存在且完全一致），并返回匹配项的顶层键列表。
在实际开发中，常需判断某个嵌套结构是否“完全被包含”于参考字典中——注意：这不是全等比较（==），而是子集语义匹配：要求嵌套字典中的每一对 key: value 都在 input_dict 中存在且值相等；input_dict 中多余的键值对会被忽略。
以下是一个简洁、高效的实现方案：
input_dict = {1: 23, 2: 34, 3: 45, 4: 56}
nested_dict = {'one': {1: 23}, 'two': {1: 23, 2: 34}, 'three': {1: 23, 2: 34, 5: 67}}
# 提取所有满足「嵌套字典是 input_dict 的键值子集」的顶层键
matched_keys = [
key for key, sub_dict in nested_dict.items()
if all(k in input_dict and sub_dict[k] == input_dict[k] for k in sub_dict)
]
print(matched_keys) # 输出: ['one', 'two']✅ 关键逻辑说明：
- sub_dict.items() 遍历每个嵌套字典；
- for k in sub_dict 枚举其全部键；
- k in input_dict 确保键存在，sub_dict[k] == input_dict[k] 校验值一致；
- all(...) 要求所有键值对均满足条件，即该嵌套字典是 input_dict 的精确子集。
⚠️ 注意事项：
- 该方法不检查类型或嵌套深度，仅适用于扁平的 dict[any: any] 结构；
- 若嵌套字典含 None、浮点精度差异或可变类型（如 list 值），需额外处理相等性逻辑；
- 时间复杂度为 O(N × M)，其中 N 是 nested_dict 的长度，M 是各嵌套字典平均键数，适用于中等规模数据；
- 如需支持深层嵌套或更严格的子集定义（如忽略顺序的集合式比较），建议封装为可复用函数，并加入类型校验与异常处理。
总结：此方案以一行推导式达成清晰语义——精准识别出所有“完全内嵌于参考字典”的子字典键名，兼顾可读性与执行效率，是 Python 字典子集匹配的经典实践。
