Python类字段定义技术差异：Pydantic中:与=的区别解析

一、核心区别 #

• 冒号（:）声明的字段：
  这就是标准的Python类型注解（类型提示），但Pydantic对其做了额外的运行时处理。这些注解会被识别为模型的数据字段，负责定义数据的类型规则，同时支撑数据校验、序列化/反序列化，以及实例属性的访问。比如示例里的f1: int，Pydantic会自动校验传入的f1必须是整数，不符合就直接抛错。而且实例化后，你可以通过instance.f1访问这个字段的值，但它不是普通的类属性，是Pydantic通过元编程动态绑定到实例上的。

• 等号（=）赋值的字段：
  这就是普通的Python类属性，属于类本身而非实例（除非在初始化逻辑里重新赋值）。在Pydantic里，这类属性要么是模型的行为配置（比如示例中的model_config，用来禁止额外未知字段），要么是给数据字段设置默认值（比如f1: int = 0，这里冒号是类型约束，等号是默认值）。

二、冒号声明的底层原理 #

Python原生的类型注解本身不会影响运行时行为，只是给静态检查工具（比如mypy）提供类型信息。但Pydantic靠**元类（ModelMetaclass）**实现了对这些注解的特殊处理：

1. 当你定义继承自BaseModel的类时，Pydantic的元类会在类创建的阶段，自动扫描所有带类型注解的属性。
2. 把这些注解转换成FieldInfo对象，统一存在模型的__fields__类属性里。
3. 当实例化模型时，Pydantic会根据__fields__里的定义校验输入数据，把校验通过的值绑定到实例上，这样你就能用self.f1的方式访问字段了。

三、关于类型提示的疑问 #

没错，冒号声明的就是标准的Python类型提示，但Pydantic把它的用途扩展了：

• 在普通Python代码里，类型提示只用于静态类型检查，不影响代码运行。
• 但在Pydantic中，这些类型提示同时充当了数据校验规则和字段定义，直接决定了模型的运行时行为。

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