Pydantic模型中，可变对象默认值为何每次实例化都不同？（可变.默认值.实例.模型.每次...）

pydantic 模型中可变对象默认值行为详解

本文分析了 Pydantic 模型中使用可变对象（如列表）作为属性默认值时，多次实例化模型产生的不同对象实例的原因，以及 BaseModel 的作用。

问题根源在于以下代码：使用 pydantic.BaseModel 作为父类时，多次实例化 User 类，其 friends 属性（列表）的值并不共享。

from typing import List
from pydantic import BaseModel

class User(BaseModel):
    friends: List[int] = []

user_1 = User()
user_1.friends.append(1)
print(user_1.friends)  # 输出：[1]

user_2 = User()
print(user_2.friends)  # 输出：[]

然而，不继承 BaseModel 时，每次实例化 friends 列表都共享同一个列表：

from typing import List

class User():
    friends: List[int] = []

user_1 = User()
user_1.friends.append(1)
print(user_1.friends)  # 输出：[1]

user_2 = User()
print(user_2.friends)  # 输出：[1]

关键在于 Pydantic 的 BaseModel 如何处理默认值。不继承 BaseModel 时，类属性 friends 的默认值 [] 只在类定义阶段创建一次。所有 User 实例共享此列表。因此，user_1 修改 friends 后，user_2 也能看到修改结果。

继承 BaseModel 时，Pydantic 为每个 User 实例创建新的 friends 列表，即每个实例拥有一个新的空列表作为默认值。这是为了保证每个模型实例的独立性，避免实例间共享可变状态。这确保每个 User 实例拥有独立的 friends 列表，互不干扰。

虽然代码中 friends 默认值是 []，但 BaseModel 在实例化过程中会复制默认值，避免共享可变对象。这并非简单的赋值，而是 Pydantic 内部机制对可变对象的处理策略。 Pydantic 的元类（或类似机制）在创建每个实例时，都会为其生成新的默认值，保证实例独立性。即使在更新的版本中，这一核心设计思想仍然存在，只是实现细节可能有所不同。

Pydantic模型中，可变对象默认值为何每次实例化都不同？