在pydantic模型继承中，直接用子类列表覆盖父类列表字段会导致mypy报类型不兼容错误；根本原因在于list是不变（invariant）类型，而应改用协变（covariant）的sequence或list[name]的显式泛型约束来安全支持子类替换。
在pydantic模型继承中，直接用子类列表覆盖父类列表字段会导致mypy报类型不兼容错误；根本原因在于list是不变（invariant）类型，而应改用协变（covariant）的sequence或list[name]的显式泛型约束来安全支持子类替换。
该问题本质源于Python类型系统中的方差（Variance）规则：list[T] 是不变（invariant） 的——即 list[EnglishName] 与 list[Name] 并不构成子类型关系，即使 EnglishName 继承自 Name。这是因为 list 支持读写操作：若允许 list[EnglishName] 赋值给 list[Name] 类型变量，则可能在运行时向其中插入任意 Name 子类实例（如未来新增的 FrenchName），破坏类型安全性。
相比之下，只读容器如 Sequence[T] 是协变（covariant） 的——只要 EnglishName 是 Name 的子类，Sequence[EnglishName] 就自然被视为 Sequence[Name] 的子类型，符合里氏替换原则。
✅ 正确做法：将父类字段声明为 Sequence[Name]（推荐）或 tuple[Name, ...] 等协变类型：
from pydantic import BaseModel
from typing import Sequence
class Name(BaseModel):
data: str
class EnglishName(Name):
data: str
class Animal(BaseModel):
name: Sequence[Name] # ✅ 协变类型，支持子类列表赋值
class AmericaAnimal(Animal):
name: Sequence[EnglishName] # ✅ mypy 通过，语义合理
⚠️ 注意事项：
- Sequence 是抽象基类（ABC），实际可传入 list、tuple、deque 等具体序列类型，Pydantic 会自动校验并转换；
- 若业务逻辑必须使用可变列表且需类型安全，可借助 GenericModel + 类型变量实现更精细控制，但通常 Sequence 已满足绝大多数场景；
- 避免使用 List[Name]（已弃用）或裸 list[Name] —— 它们均为不变类型，无法支持安全的子类覆盖；
- Pydantic v2 默认对字段类型做严格运行时验证，但类型检查器（如 mypy）仅依赖类型注解，因此务必保证注解本身具备协变语义。
总结：类型安全的继承设计需兼顾静态检查与运行时行为。用 Sequence[T] 替代 list[T] 是解决此类“列表子类覆盖”问题最简洁、标准且符合 Python 类型规范的方案。
