FastAPI编程式创建端点时如何处理模型并解决mypy报错

你遇到的两个mypy报错，本质是静态类型检查的规则和Python动态运行时的灵活特性不匹配，和Pydantic本身的实现没有关系：

• 第一个报错Variable "model" is not valid as a type：你在嵌套的post函数里写的data: model，这里的model是create_operation的普通函数参数（运行时传入的类对象）。按照静态类型检查的规则，直接把动态变量当类型注解写是不合法的——类型注解位置必须是检查器能明确识别的类型定义，而不是可以动态赋值的普通变量值。
• 第二个报错model? has no attribute "dict"：因为前面的类型注解识别失败，mypy会自动把data参数推导为不确定的空类型，自然没法关联到BaseModel类本身定义的dict()方法，并不是BaseModel缺少这个方法。

要解决这个问题，需要把传入的Pydantic模型类，通过TypeVar声明为受BaseModel约束的泛型类型变量，让mypy能正确识别这个位置的类型语义，具体操作步骤：

1. 从typing模块补充导入需要的类型工具：

   from typing import TypeVar, Type
   

2. 定义绑定BaseModel边界的泛型类型变量：

   # 声明该类型变量代表任意继承自BaseModel的子类
   ModelType = TypeVar("ModelType", bound=BaseModel)
   

3. 调整create_operation的参数和嵌套函数的注解写法：

   def create_operation(model: Type[ModelType]):
        @app.post("/bar")
        # 直接用泛型变量做注解，不再用动态传入的model值
        def post(data: ModelType):
            assert data.dict() == {"foo": "1"}
   

• 静态检查层面：mypy会识别ModelType是继承自BaseModel的合法类型，不会再报“变量不能当类型用”的错误；同时因为有bound=BaseModel的约束，会自动给data参数关联上dict()等所有BaseModel内置方法，彻底消除“没有dict属性”的报错。
• 运行时层面：原来的动态传类、生成端点的逻辑完全不受影响，FastAPI依然可以正常解析请求、处理数据，所有测试用例的执行结果和原来保持一致。

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