Python中match/case判断空值时dict与list的行为差异疑问

核心原因是列表的序列模式和字典的映射模式遵循完全不同的匹配规则：

列表的序列模式匹配规则 #

列表用[]定义的模式是精确匹配：

• case []: 仅匹配空列表
• case [1,2]: 仅匹配长度为2、第一个元素是1、第二个元素是2的列表

所以第一个代码示例中，data = [1,2]会精准命中case [1,2]，输出1, 2。

字典的映射模式匹配规则 #

字典用{}定义的模式是部分匹配：

• case {}: 的逻辑是「目标字典包含模式里所有的键值对」——因为模式里没有任何键值对，所以任何字典都满足这个条件，不管它是否为空。
• 若写case {1:1,2:2}:，它会匹配「包含1:1和2:2这两个键值对的字典」（哪怕字典还有其他键值对也会匹配）。

这就是第二个示例中，data = {1:1,2:2}会先匹配到case {}:，输出empty的原因。

如何在match/case里精确匹配空字典？ #

要精准判断空字典，需要给模式加上守卫条件，比如：

data = {1: 1, 2: 2}

match data:
    case {} if not data:
        print("empty")
    case {1: 1, 2: 2}:
        print("1, 2")
    case _:
        print("other")
# 输出：1, 2

这里的if not data就是守卫，只有当字典为空时才会触发第一个case。

补充：常规判断空字典的方法 #

你提到的len(data) == 0或者直接if not data都是靠谱的常规判断方式，这些和match/case的模式匹配逻辑无关，是直接判断对象的“空值性”。

内容的提问来源于stack exchange，提问作者MoRe