mypy如何识别Pydantic模型签名？BaseModel元类如何修改__init__签名？

问题 #

以下代码中，mypy能检测出Model实例化时参数类型不匹配的错误，请问：

1. mypy是如何识别Pydantic模型的签名的？
2. Pydantic的BaseModel的元类是如何修改__init__方法签名的？

from pydantic import BaseModel

class Model(BaseModel):
    a: int

Model(a='asd')  # error: Argument "a" to "Model" has incompatible type "str"; expected "int"

回答 #

1. mypy识别Pydantic模型签名的原理

mypy本身无法自动识别动态生成的方法签名，但Pydantic官方提供了mypy专属插件，专门处理BaseModel子类的类型检查逻辑：

• 插件会在类型检查阶段主动解析每个Pydantic模型的字段定义（比如a: int这类带类型注解的类变量）
• 根据字段的类型、是否必填、默认值等信息，生成符合Python类型规范的__init__方法静态签名
• 将生成的签名注入mypy的类型检查上下文，让mypy能像检查普通Python类的构造方法一样，校验Pydantic模型实例化时的参数类型

简单说，这个插件相当于给mypy开了“后门”，让它能读懂Pydantic动态生成的构造逻辑对应的静态类型信息。

2. BaseModel元类修改__init__签名的实现

Pydantic的BaseModel依赖ModelMetaclass（v1版在pydantic.main，v2版在pydantic._internal._model_construction）完成类的动态构造，核心逻辑是：

• 收集字段定义：元类在创建模型类时，会扫描类中所有带类型注解的类变量，将它们转化为Pydantic的Field对象，记录字段的类型、约束、默认值等信息
• 生成签名属性：元类会为模型类动态添加__signature__属性（类型为inspect.Signature），这个属性会模拟出和模型字段完全匹配的构造方法签名——比如Model类的__signature__会包含一个类型为int的必填参数a
• 通用__init__实现：BaseModel本身提供了通用的__init__方法，它不会直接修改方法签名，而是通过读取模型类的字段定义和__signature__属性，在运行时验证、解析传入的参数；而类型检查工具（比如mypy）则会优先读取__signature__来做静态校验

这种设计既保证了运行时的灵活性（通用__init__可以处理任意模型字段），又满足了静态类型检查的需求（通过__signature__提供清晰的类型信息）。

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