如何基于动态生成的Union创建Pydantic TypeAdapter并规避静态类型检查器报错？

我来帮你搞定这个问题！你遇到的报错本质上是静态类型检查器（比如mypy、pyright）无法解析动态生成的Union类型——毕竟类型别名需要在静态分析阶段就能被确定，而你用列表推导式生成的类型是运行时才会计算的表达式，检查器自然不认账。

下面给你两个实用的解决方案，既能满足运行时动态生成Union的需求，又能让类型检查器乖乖闭嘴：

方案一：用TYPE_CHECKING区分静态/运行时逻辑 #

这是最常用的折中方案：给类型检查器喂一个它能看懂的静态Union，同时运行时用动态生成的类型，两边都不耽误。

from typing import Union, TYPE_CHECKING
from pydantic import BaseModel, TypeAdapter

class Lion(BaseModel):
    roar: str

class Tiger(BaseModel):
    roar: str

ZOO = {
    "lion": Lion,
    "tiger": Tiger,
    # 后面加再多模型也没关系
}

# 类型检查时：手动列出所有模型（让检查器有静态类型可解析）
if TYPE_CHECKING:
    Animal = Union[Lion, Tiger]
# 运行时：动态从ZOO里取模型构造Union
else:
    Animal = Union[tuple(ZOO.values())]

# 现在类型检查器会把Animal识别为合法的静态Union，不会报错了
AnimalTypeAdapter: TypeAdapter[Animal] = TypeAdapter(Animal)

原理很简单：TYPE_CHECKING是Python typing模块里的特殊常量，只有在类型检查阶段为True，运行时会被解析为False。这样类型检查器看到的是明确的Union[Lion, Tiger]，而程序实际运行时用的是ZOO里所有模型组成的动态Union，完美兼顾两者。

方案二：用Unpack实现动态Union的静态类型支持 #

如果你用的是Python 3.11+，或者愿意安装typing_extensions库，还可以用TypeVarTuple和Unpack来直接定义合法的动态Union类型：

from typing import Union, TypeVarTuple, Unpack, cast
from pydantic import BaseModel, TypeAdapter

class Lion(BaseModel):
    roar: str

class Tiger(BaseModel):
    roar: str

ZOO = {
    "lion": Lion,
    "tiger": Tiger,
    # ...
}

# 定义一个类型变量元组，用来承载动态的模型类型
AnimalTypes = TypeVarTuple('AnimalTypes')
# 用Unpack展开ZOO里的所有模型类型，构造合法的Union
Animal = Union[Unpack[tuple(ZOO.values())]]

# 用cast告诉类型检查器：这个TypeAdapter确实是对应Animal类型的
AnimalTypeAdapter = cast(TypeAdapter[Animal], TypeAdapter(Animal))

这个方案更“原生”，不需要手动维护静态类型列表，但需要注意Python版本或者依赖typing_extensions（Python 3.10及以下需要安装）。

额外提示 #

如果你不想搞这么复杂，也可以在报错的行后面加# type: ignore来强制类型检查器跳过检查，但这种方法不推荐——毕竟会丢失类型检查的好处，只能作为临时的权宜之计：

Animal = Union[*[animal for animal in ZOO.values()]]  # type: ignore
AnimalTypeAdapter: TypeAdapter[Animal] = TypeAdapter(Animal)  # type: ignore

备注：内容来源于stack exchange，提问作者fmagno