使用match语句判断泛型类型时出现‘Unbound’不是类错误的原因

你遇到的错误核心在于Python的TypeVar只是静态类型提示工具，运行时不绑定具体类：

1. T = TypeVar("T", bound=ListType) 定义的T是一个类型变量，仅用于静态类型检查（比如IDE提示、mypy校验），Python运行时并不会将其替换为实际的类对象。
2. Python泛型存在类型擦除机制：泛型类实例化时的类型参数不会在运行时保留，所以ListPattern[T]的实例在运行时不知道T对应的具体类是什么，自然无法在match-case中用T()或T作为匹配模式。

方案1：通过实例保存实际类型参数 #

利用__orig_class__和get_args获取实例化时的具体类型，结合match-case的守卫条件（guard clause）实现匹配：

from typing import Generic, TypeVar, get_args
from pydantic import BaseModel

class LetterList(BaseModel):
    letter: str

class NumberList(BaseModel):
    numbers: list[int]

class BulletPointsList(BaseModel):
    bullet: str

ListType = LetterList | NumberList | BulletPointsList | None
T = TypeVar("T", bound=ListType)

class ListPattern(Generic[T]):
    def __init__(self):
        # 获取实例化时绑定的实际类型
        self._target_type = get_args(self.__orig_class__)[0]

    def test(self, list_type: T, other_list_type: ListType):
        match other_list_type:
            # 用守卫条件判断是否属于目标类型
            case obj if isinstance(obj, self._target_type):
                print(f"匹配到T类型: {self._target_type.__name__}")
            case BulletPointsList():
                print("匹配到BulletPointsList")
            case None:
                print("匹配到None")
            case _:
                print("无匹配类型")

# 实例化时指定具体类型
lp_letter = ListPattern[LetterList]()
lp_letter.test(LetterList(letter="a"), LetterList(letter="b"))  # 匹配T类型
lp_letter.test(LetterList(letter="a"), BulletPointsList(bullet="*"))  # 匹配BulletPointsList

方案2：通过传入的list_type推导实际类型 #

既然list_type参数的类型是T，可以直接通过type(list_type)获取实际类，用于match-case匹配：

class ListPattern(Generic[T]):
    def test(self, list_type: T, other_list_type: ListType):
        target_type = type(list_type)
        match type(other_list_type):
            case target_type:
                print(f"匹配到T类型: {target_type.__name__}")
            case BulletPointsList:
                print("匹配到BulletPointsList")
            case type(None):
                print("匹配到None")
            case _:
                print("无匹配类型")

lp_number = ListPattern[NumberList]()
lp_number.test(NumberList(numbers=[1,2]), NumberList(numbers=[3,4]))  # 匹配T类型

注意事项 #

• 若T可能为None，需单独处理case None（或case type(None)），因为isinstance(None, type(None))为True，但type(None)是NoneType，直接写case None更直观。
• 不要试图直接在case中使用T或T()，因为运行时T只是一个TypeVar对象，不是可实例化的类。

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