本文介绍一种简洁、pythonic的方法，遍历含嵌套字典的外层结构，判断每个内层字典的所有键值对是否完全存在于输入字典中（即内层字典是输入字典的键值子集），并返回匹配的外层键名列表。
本文介绍一种简洁、pythonic的方法，遍历含嵌套字典的外层结构，判断每个内层字典的所有键值对是否完全存在于输入字典中（即内层字典是输入字典的键值子集），并返回匹配的外层键名列表。
在实际开发中，我们常需验证某个嵌套结构中的子字典是否“完全被包含”于一个参考字典中——注意，这里不是要求二者相等，而是要求子字典的所有键都存在于参考字典中，且对应值完全一致；参考字典中多余的键值对应被忽略。这种场景常见于配置校验、API 响应字段匹配、模板匹配等任务。
核心逻辑在于：对 nested_dict 中每个 (key, sub_dict) 对，检查 sub_dict 的每一个键 k 是否都在 input_dict 中，且 sub_dict[k] == input_dict[k]。这正是集合意义上的“键值子集”（key-value subset）判断。
以下为完整实现：
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}}
# 列表推导式：遍历 nested_dict.items()，筛选满足条件的外层键
matches = [
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(matches) # 输出: ['one', 'two']
✅ 关键说明：
- all(...) 内部生成器遍历的是 sub_dict 的所有键（for k in sub_dict），确保子字典无一遗漏；
- k in input_dict 防止 KeyError，同时保证键存在；
- sub_dict[k] == input_dict[k] 确保值严格一致（支持任意可比类型，如数字、字符串、元组等）；
- 该逻辑天然支持空子字典（{}）——此时 all() 对空迭代器返回 True，即认为空字典是任何字典的键值子集（符合数学定义）。
⚠️ 注意事项：
- 此方法不检查 input_dict 中是否存在 sub_dict 没有的键，完全符合“忽略输入字典中额外项”的需求；
- 若需双向严格相等（即子字典与输入字典完全一致），应改用 sub_dict == input_dict；
- 若子字典含不可哈希类型（如列表）作为键，会引发 TypeError，但这是 Python 字典本身的限制，非本逻辑缺陷；
- 性能上为 O(N×M)，其中 N 是外层字典长度，M 是各子字典平均键数，对常规规模数据高效可靠。
综上，该方案以最少代码、最高可读性实现了精准的嵌套字典子集匹配，是处理此类校验任务的推荐实践。
