使用Pydantic模型联合时出现‘无剩余类型变量’错误的求助

你遇到的错误是因为只有Success是带类型变量T的泛型类，而Fail/Error是普通的BaseModel，当把它们组成联合类型并试图声明为泛型Response[T]时，类型检查器会认为联合里的非泛型类没有绑定T，导致无法生成合法的泛型联合类型。而去掉BaseModel后，纯Python泛型系统允许混合泛型和非泛型类型的联合，所以不会报错。

下面给两种可行的解决方式：

方式一：让Fail/Error也继承Generic[T]（推荐） #

即使这两个类不需要使用T，只要让它们继承Generic[T]，就能让整个联合类型兼容泛型参数，同时保留Pydantic的模型功能：

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

T = TypeVar('T')

# 泛型成功响应
class Success(BaseModel, Generic[T]):
    data: T
    code: int = 200

# 让Fail和Error也继承Generic[T]，不需要用到T也没关系
class Fail(BaseModel, Generic[T]):
    message: str
    code: int = 400

class Error(BaseModel, Generic[T]):
    error: str
    code: int = 500

# 定义泛型联合类型别名
Response = Union[Success[T], Fail[T], Error[T]]

# 正常使用示例
def get_user_id() -> Response[int]:
    return Success(data=1001)

def invalid_request() -> Response[str]:
    return Fail(message="参数错误")

方式二：用泛型别名的显式绑定（Python 3.9+） #

如果不想修改Fail/Error的定义，可以通过泛型别名的方式，显式指定Success的类型参数，同时保留其他非泛型模型：

from typing import Generic, TypeVar, Union, TypeAlias
from pydantic import BaseModel

T = TypeVar('T')

class Success(BaseModel, Generic[T]):
    data: T
    code: int = 200

class Fail(BaseModel):
    message: str
    code: int = 400

class Error(BaseModel):
    error: str
    code: int = 500

# 用TypeAlias定义泛型别名，明确只有Success使用T
Response: TypeAlias = Union[Success[T], Fail, Error]

# 使用示例
def fetch_data() -> Response[list[str]]:
    return Success(data=["a", "b", "c"])

这种方式在Python 3.9+和较新的mypy版本中可以正常工作，不过部分旧版类型检查工具可能会有警告，优先推荐方式一。

Pydantic的BaseModel对泛型的处理比纯Python类型系统更严格，因为它需要在运行时也能正确解析模型结构。让所有联合成员都继承Generic[T]，能确保Pydantic和类型检查工具都能正确识别泛型联合的结构，避免类型错误。

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