Python 3.10 Structural Pattern Matching 匹配Set/Frozenset语法咨询

Python官方的结构模式匹配规范（PEP 634~636）没有提供原生的集合字面量解构语法，这是因为集合属于无序、元素唯一的容器，和按位置匹配的模式逻辑特性冲突，因此集合的匹配需要结合守卫条件实现。 #

常见错误写法原因 #

你尝试的三种写法无法命中的原因分别是：

• 前两种set(1,2,3)、set([1,2,3])的类模式写法：类模式仅支持传入__match_args__中定义的位置参数进行匹配，内置set/frozenset类型都没有定义该属性，因此无法直接传入元素值匹配集合内容。
• 第三种[1,2,3] if isinstance(a, set)的写法：[1,2,3]是序列匹配模式，仅对列表、元组等序列类型生效，集合不属于序列类型，因此不会进入该分支判断。

正确匹配方案 #

1. 精准匹配集合全量元素 #

直接通过守卫条件判断值是否相等即可：

a = {1,2,3}
match a:
    case s if s == {1,2,3}:
        print('matched')

如果需要同时限定类型，可以结合空类模式使用：

match a:
    # 仅匹配类型为set，且值为{1,2,3}的对象
    case set() as s if s == {1,2,3}:
        print('set类型匹配成功')
    # 仅匹配类型为frozenset，且值为frozenset({1,2,3})的对象
    case frozenset() as s if s == frozenset([1,2,3]):
        print('frozenset类型匹配成功')

2. 匹配包含指定元素的集合 #

如果不需要匹配全量元素，只需要集合包含指定元素即可，用子集判断的守卫条件：

a = {1,2,3,4}
match a:
    # 匹配任意包含1、2元素的集合
    case s if {1,2}.issubset(s):
        print('集合包含1和2')

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