Structural pattern matching如何匹配typing.Union包含的类型

你之前的写法失效和加不加类构造括号没有关系，两个根本原因：

• 带属性访问（带.号）的名称在结构模式匹配的case分支中会被识别为值模式，仅会判断变量和该值是否相等，不会触发类型匹配逻辑，你写的case typing_utils.my_union本质是在判断var == typing_utils.my_union，和判断值等于1、等于字符串的逻辑完全一致。
• typing.Union生成的是类型系统层面的联合类型标记对象，不是可实例化的实体类，无法直接作为类模式的类名使用，哪怕把my_union导入当前模块写case my_union()也会直接报错。

直接在case分支中加守卫判断即可，完全不需要手动枚举Union内的所有类型，也不影响后续复杂分支的模式匹配逻辑：

import typing_utils

var = my_type_1(...)

match var:
    case _ if isinstance(var, typing_utils.my_union):
        print("Detected a type within my_union.")
        # 该分支内可继续嵌套match、写任意细分逻辑，和普通case块完全一致
    # 其他分支正常使用模式匹配语法即可，无需改写为if判断
    case other_type(arg1, arg2):
        # 其他类型的处理逻辑
        ...
    case _:
        # 兜底逻辑
        ...

方案说明 #

• 结构模式匹配是Python 3.10才引入的特性，该版本及以上原生支持isinstance接收typing.Union、X | Y形式的联合类型作为第二个参数，不需要手动拆解Union内的类型，判断逻辑准确。
• 该写法完全贴合模式匹配的分支执行逻辑：case按从上到下顺序匹配，命中守卫条件就进入对应分支，和纯类模式的行为没有区别，比if/elif级联的可读性高很多。
• 后续如果修改typing_utils.py中my_union包含的类型，当前判断逻辑不需要做任何修改，会自动同步最新的类型范围。

如果需要在联合类型分支内做更细的类型区分，直接在分支内嵌套match即可，示例：

match var:
    case _ if isinstance(var, typing_utils.my_union):
        # 细分联合类型内的不同逻辑
        match var:
            case my_type_1(field1):
                print("命中my_type_1，字段值为", field1)
            case my_type_2():
                print("命中my_type_2")
            # 剩余联合类型的统一处理
            case _:
                print("命中联合类型内的其他类型")
    case _:
        print("不属于my_union覆盖的类型")

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