如何在mypy中使用动态类型参数构建Union类型？

问题出在mypy的静态类型检查机制上：Union要求传入编译时可确定的类型常量，而你代码中的a是运行时动态生成的变量，mypy无法将其识别为合法的类型参数——哪怕给a标注了Tuple[Type, ...]也没用，因为类型参数必须是静态已知的类型，不是类型对象的运行时集合。

以下是两种可行的解决方案：

方案1：可选类型固定时，直接显式定义Union #

如果你的可选类型范围是固定的（比如例子里的int/str/bool），不管运行时怎么随机选择子集，直接用包含所有可能类型的Union即可。mypy只关心字段可能的类型集合，不关心运行时的具体组合：

from typing import Union
from pydantic import BaseModel

# 显式定义包含所有可能类型的Union
MyUnionType = Union[int, str, bool]

# 用这个Union创建Pydantic模型
class MyDynamicModel(BaseModel):
    value: MyUnionType

这种写法完全符合mypy的静态检查规则，不会触发错误，同时也能满足运行时的类型验证需求。

方案2：必须动态生成类型时，忽略mypy检查 #

如果类型集合是真正动态的（比如从外部配置加载、编译时无法确定），可以通过# type: ignore注释跳过mypy的检查，同时结合Pydantic的动态模型创建能力：

from random import choice, randint
from typing import Union, Type, Tuple
from pydantic import create_model

types: Tuple[Type, ...] = (int, str, bool)
# 运行时生成随机类型元组
a = tuple(choice(types) for _ in range(randint(1, 10)))
# 手动忽略mypy的valid-type错误，因为这是运行时动态类型
MyUnion = Union[tuple(a)]  # type: ignore

# 动态创建Pydantic模型
DynamicModel = create_model("DynamicModel", value=(MyUnion, ...))

注意：这种写法会跳过mypy对该语句的检查，适合确实需要动态类型的场景，但牺牲了部分静态类型安全性。

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