Pydantic 模型继承时，若父类字段为 list[Parent]，子类尝试覆写为 list[Child]（Child 继承自 Parent），mypy 会报类型不兼容错误；根本原因是 list 在类型系统中是不变（invariant）的，应改用协变（covariant）的 Sequence。
pydantic 模型继承时，若父类字段为 `list[parent]`，子类尝试覆写为 `list[child]`（child 继承自 parent），mypy 会报类型不兼容错误；根本原因是 `list` 在类型系统中是**不变（invariant）**的，应改用协变（covariant）的 `sequence`。
在 Python 类型系统中，容器类型的变性（variance）决定了子类型关系能否在嵌套结构中传递。list[T] 是不变的（invariant）：即使 Child 是 Parent 的子类，list[Child] 也不被视为 list[Parent] 的子类型——因为 list 支持读写操作（如 append() 可向其中插入任意 Parent 实例），若允许协变将破坏类型安全。
而 typing.Sequence[T] 是协变的（covariant）：只要 Child 是 Parent 的子类，Sequence[Child] 就自然兼容 Sequence[Parent]。它仅承诺只读访问（如索引、迭代、长度查询），因此可安全地向上转型。
✅ 正确做法：将父类字段类型从 list[Name] 改为 Sequence[Name]，子类即可合法覆写为 Sequence[EnglishName]：
from pydantic import BaseModel
from typing import Sequence # ✅ 使用 Sequence 而非 list
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 的解析逻辑；
- 若需保留 list 的可变性（如模型实例化后需 .append()），请勿在类型注解中强制使用 list；可在运行时做类型检查或使用 MutableSequence（但此时无法安全协变覆写）；
- Pydantic v2 默认支持 Sequence 注解，并能正确验证和序列化其子类型实例；
- 避免使用 List（来自 typing.List，已弃用）或裸 list 作为泛型类型注解——它们均属不变类型，且 typing.List 在 Python 3.9+ 已被标记为过时。
? 总结：当需要在继承链中“收紧”集合元素类型（如 list[Parent] → list[Child]）时，必须选用协变容器类型。Sequence 是最常用、最安全的选择；其他协变选项还包括 Iterable[T]（仅迭代）、Tuple[T, ...]（不可变元组）。始终让类型注解反映实际使用意图——只读场景优先选 Sequence，而非牺牲类型安全强行使用 list。
