为何协变泛型作为联合类型方法参数时未触发类型检查错误？

问题背景 #

方法参数需遵循逆变原则，因此将协变泛型直接作为方法参数会触发类型错误，但当协变泛型处于联合类型中时，pyright、mypy及pyre-check均未对以下代码报错：

from typing import TypeVar, Generic, Any

T_co = TypeVar("T_co", covariant=True)

class Foo(Generic[T_co]):

    def a(self, arg: T_co)  -> Any:  # 如预期报错，因T_co是协变的
        ...

    def b(self, arg: int | T_co)  -> Any:  # 未报错，但预期应报错
        ...

核心原理回顾 #

协变TypeVar的设计是让泛型类型的子类型关系与类型参数的子类型关系一致（比如Foo[Dog]是Foo[Animal]的子类，若Dog继承自Animal）。但协变类型参数不能直接出现在方法输入参数位置——这会破坏类型安全：如果Foo[Animal]的方法接受Animal，而Foo[Dog]的方法接受Dog，当把Foo[Dog]当作Foo[Animal]调用时，传入Cat（属于Animal但非Dog）会导致运行时错误，因此类型检查器会对def a(self, arg: T_co)报错。

联合类型场景的安全性分析 #

def b(self, arg: int | T_co)的写法实际并不安全，存在明确的类型安全隐患，举个可复现的例子：

from typing import TypeVar, Generic, Any

T_co = TypeVar("T_co", covariant=True)

class Animal:
    pass

class Dog(Animal):
    pass

class Cat(Animal):
    pass

class Foo(Generic[T_co]):
    def b(self, arg: int | T_co) -> Any:
        if isinstance(arg, Dog):
            print("Dog")
        elif isinstance(arg, int):
            print("Int")
        else:
            raise ValueError("Unexpected type")

# 协变规则允许Foo[Dog]赋值给Foo[Animal]类型变量
foo_animal: Foo[Animal] = Foo[Dog]
# 类型检查器允许传入Cat（符合int | Animal的参数类型）
foo_animal.b(Cat())  # 运行时抛出ValueError，破坏类型安全

这个例子中，类型检查器不会阻止foo_animal.b(Cat())的调用，但实际运行时会触发错误，说明这种写法确实会破坏类型安全性，本质和纯协变参数的不安全情况一致，只是问题更隐蔽。

为什么类型检查器未报错？ #

这属于主流类型检查器的检测缺口，主要原因有两点：

• 联合类型与协变/逆变的交互逻辑复杂：类型检查器对协变类型的位置检查通常针对单一类型，对于包含协变类型的联合类型，需要额外逻辑判断其是否处于逆变位置，这部分实现的优先级较低。
• 实际场景中问题暴露概率低：大多数开发者不会刻意构造这种违反逆变原则的联合类型参数，因此类型检查器开发者暂时未优先处理该边缘场景。

总结 #

这种写法不安全，会破坏类型安全性，与纯协变参数的不安全本质一致。类型检查器未报错是因为当前实现未覆盖该边缘场景，并非这种写法被允许。

内容的提问来源于stack exchange，提问作者Daraan