泛型抽象类中Pydantic model_validate的MyPy报错原因及修复

报错原因 #

1. 抽象类未泛型化：抽象类没有声明为泛型类，导致RESP类型变量无法与抽象方法的返回值建立关联，MyPy无法正确推断resp_model的实际类型，只能将其视为Type[Any]。
2. 泛型参数类型混淆：TestResponse[resp_model]的写法错误——resp_model是类对象（类型为Type[RESP]），而TestResponse的泛型参数需要的是类型本身（比如ExampleResponse）。你混淆了「类型」和「类型的元类型（Type[...]）」的概念，MyPy因此认为传入的参数不是合法的泛型参数类型。

修复方案 #

步骤1：将抽象类改造为泛型类 #

让抽象类继承Generic[RESP]，绑定类型变量，让MyPy能追踪泛型参数的实际类型：

# 文件1：抽象类
from abc import ABC, abstractmethod
from typing import TypeVar, Generic, Type
from pydantic import BaseModel

RESP = TypeVar("RESP", bound=BaseModel)

class TestResponse(BaseModel, Generic[RESP]):
    status: str
    data: RESP 

class BaseHandler(ABC, Generic[RESP]):  # 新增泛型继承
    @abstractmethod
    def response_model(self) -> Type[RESP]:
        pass

    def process_response(self):
        response = {"status": "success", "data": [{"description": "ok"}]}
        # 直接使用泛型变量RESP作为TestResponse的泛型参数
        return TestResponse[RESP].model_validate(response)

步骤2：实现类指定具体泛型参数 #

在实现类中明确指定RESP对应的具体类型（ExampleResponse）：

# 文件2：实现类
from pydantic import RootModel

class Example(BaseModel):
    description: str

ExampleResponse = RootModel[list[Example]]

class ExampleHandler(BaseHandler[ExampleResponse]):  # 指定泛型参数
    def response_model(self) -> Type[ExampleResponse]:
        return ExampleResponse

为什么原代码运行正常？ #

Python是动态类型语言，运行时会直接将resp_model（即ExampleResponse类）作为泛型参数传入TestResponse，动态生成对应的类，因此不会触发运行时错误。但MyPy作为静态类型检查工具，会严格校验泛型参数的类型合规性，因此抛出报错。

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