如何在Python中正确处理类继承过程中的类型协变与逆变-Python教程-PHP中文网

Python类型系统运行时无视协变/逆变，仅mypy等静态检查器在类型提示中依TypeVar的covariant/contravariant声明及使用位置（如只读返回值协变、参数逆变）进行校验；自定义泛型默认不变，Sequence等内置类型预设协变。

如何在python中正确处理类继承过程中的类型协变与逆变

Python类型系统不支持运行时协变/逆变，只在mypy等检查器中生效

Python本身是动态类型语言，isinstance、issubclass 和实际运行时行为完全遵循类继承树，不区分协变或逆变。所谓“协变/逆变”仅存在于类型提示（typing）被静态检查工具（如 mypy）解析时的规则里——它不影响程序执行，只影响类型检查是否通过。

常见误解是以为加了 Generic[T] 就自动获得协变行为，其实必须显式声明 Contravariant 或 Covariant，且仅对 Protocol 和带 Generic 的类中某些位置有效。

Sequence[T] 是协变的（Sequence[str] 是 Sequence[object] 的子类型），但这是内置协议的预设规则，不是你定义的类默认拥有的
自定义泛型类默认是**不变（invariant）**：哪怕 B 继承 A，Container[B] 和 Container[A] 也互不兼容
只有用 typing.TypeVar(..., covariant=True) 声明的类型变量，在支持协变的位置（如只读属性返回值、函数返回类型）才触发协变检查

如何声明协变 TypeVar 并用于 Protocol

真正能体现协变语义的典型场景是只读容器或生产者接口。例如想表达“能产出 Animal 的东西，也能产出它的子类 Dog”，就得靠 Protocol + 协变 TypeVar：

from typing import Protocol, TypeVar, Iterator
<p>class Animal: ...
class Dog(Animal): ...</p><p>T = TypeVar('T', covariant=True)</p><p>class Producer(Protocol[T]):
def produce(self) -> T: ...</p><p>def feed_animal(p: Producer[Animal]) -> None:
a: Animal = p.produce()  # OK</p><h1>mypy 允许传入 Producer[Dog]，因为 covariant</h1><p>feed_animal(Producer[Dog]())  # ✅ 类型检查通过
</p>

注意：Producer[Dog] 能赋给 Producer[Animal]，是因为 produce() 只返回 T，属于“输出位置”，协变才安全。如果协议里还有 consume(x: T) 这种输入位置，协变就会报错。

为什么不能对 List[T] 做协变赋值？

list 是不变的，哪怕元素类型满足继承关系，List[Dog] 也不能当 List[Animal] 用——因为你可以往 List[Animal] 里 append 任意 Animal 子类实例，但 List[Dog] 容不下 Cat。

macOS UI 自动化技能包 —— 用 Python 控制你的 Mac

让 macOS 自动化像说话一样简单 —— 用代码控制你的 Mac，无需学习 AppleScript 系统要求 macOS 14+ (Sonoma) Python 3.9+ 需要开启：辅助功能 + 屏幕录制权限

下载

def take_animals(xs: list[Animal]) -> None: xs.append(Cat()) —— 合法操作
若允许 take_animals(dogs: list[Dog])，则 dogs 会被意外插入 Cat，破坏类型安全
正确替代是用协变只读类型：Sequence[Dog] ≤ Sequence[Animal]，因为 Sequence 没有 append 方法
或用 tuple[Dog, ...]（协变）代替 list[Dog]（不变）

逆变只适用于消费型接口，比如函数参数

逆变的典型场景是“接受某种类型的函数”。例如 Callable[[Animal], None] 可以安全地被 Callable[[Dog], None] 替代，因为后者能处理更窄的输入（Dog 是 Animal 的子类，但函数只要求输入是 Dog，传 Animal 反而可能越界）。

要启用逆变，得这样声明：

from typing import Callable, TypeVar
<p>T = TypeVar('T', contravariant=True)</p><p>class Consumer(Protocol[T]):
def consume(self, x: T) -> None:</p><p>def handle_dog(c: Consumer[Dog]) -> None:
c.consume(Dog())</p><h1>mypy 允许把 Consumer[Animal] 传进来，因为逆变</h1><p>handle_dog(Consumer[Animal]())  # ✅
</p>

关键点：逆变只在参数位置有意义；一旦你在同一个类型变量上既用作输入又用作输出（比如一个方法既有 def get() -> T 又有 def put(x: T)），那它只能是不变的——mypy 会直接拒绝 covariant=True 和 contravariant=True 同时出现。

实际项目中最容易忽略的是：协变/逆变不是类的属性，而是**类型变量在某个具体位置上的使用方式**。同一个 T 在不同协议或泛型中可以有不同方差，但必须与使用位置语义一致。否则 mypy 报错不是配置问题，而是模型本身矛盾。