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 的元类（或类似机制）在创建每个实例时，都会为其生成新的默认值，保证实例独立性。 即使在更新的版本中，这一核心设计思想仍然存在，只是实现细节可能有所不同。
