`mypy` 如何知道 pydantic 模型的签名？

mypy 如何以这种方式知道 pydantic 模型的签名？

from pydantic import BaseModel

class Model(BaseModel):
    a: int

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

pydantic BaseModel 的元类如何改变 __init__ 签名？

Mypy 通过 Pydantic 的类型提示和运行时分析 的组合来理解 Pydantic 模型的签名。具体来说，Mypy 利用了以下几方面：

1. 类型注解 : Pydantic 模型使用 Python 的类型注解来定义字段及其类型。Mypy 可以直接读取这些注解来理解预期的参数类型。例如， a: int 清楚地告诉 Mypy a 应该是整数。

2. Pydantic 的 BaseModel 元类 : BaseModel 元类在运行时修改了类的行为。虽然 Mypy 主要进行静态分析，但它也能够理解 Pydantic 元类的一些行为。 Pydantic 通过其 __init__ 方法中对字段进行验证和解析，并结合类型注解，提供运行时的类型检查。

3. Pydantic 的插件 : Mypy 自带 Pydantic 插件，可以更好地理解 Pydantic 特定的行为。例如，插件可以帮助 Mypy 理解 BaseModel.__init__ 方法的参数和返回值类型，即使它们没有被显式地注解。

Mypy 并不直接依赖 Pydantic 改变 __init__ 签名 。相反，Mypy 通过读取类型注解和理解 Pydantic 的运行时行为来推断 __init__ 方法的预期参数类型。

总而言之，Mypy 通过以下方式理解 Pydantic 模型的签名：

• 读取类型注解
• 理解 BaseModel 元类的基本行为
• 利用 Pydantic 插件增强对 Pydantic 特性的理解

这使得 Mypy 可以对 Pydantic 模型进行有效的类型检查，并在代码中发现潜在的类型错误。