mypy不识别方差异于基类的派生泛型：是PEP问题还是工具bug？

核心问题出在**泛型参数的变异（协变/逆变/不变）**规则上，你可能遗漏了PEP483示例中的关键前提：

PEP483的泛型子类型规则 #

PEP483中提到Derived[Manager]是Base[Employee]的子类型，需要同时满足两个条件：

• Derived是Base的直接或间接子类；
• Base的泛型参数T被声明为协变（covariant），且Manager是Employee的子类型。

协变的核心含义是：如果A是B的子类型，那么Generic[A]是Generic[B]的子类型，这类泛型通常适用于只读场景（比如容器只产出元素、不接收元素）。

mypy的严格检查逻辑 #

mypy遵循PEP484（PEP483是概念性规范，PEP484是具体实现标准），默认情况下TypeVar是不变的——也就是说，即使Manager是Employee的子类型，Base[Manager]和Base[Employee]也会被视为完全不兼容的类型，不管Derived和Base的继承关系。

解决示例 #

假设你的原始代码类似这样（未声明协变）：

from typing import Generic, TypeVar

T = TypeVar('T')  # 默认不变

class Base(Generic[T]):
    pass

class Derived(Base[T]):
    pass

class Employee:
    pass

class Manager(Employee):
    pass

def consume_base_employee(b: Base[Employee]) -> None:
    pass

derived_manager = Derived[Manager]()
consume_base_employee(derived_manager)  # mypy报错：类型不兼容

只需给TypeVar加上协变声明，就能让mypy认可Derived[Manager]是Base[Employee]的子类型：

from typing import Generic, TypeVar

T = TypeVar('T', covariant=True)  # 显式声明协变

class Base(Generic[T]):
    pass

class Derived(Base[T]):
    pass

class Employee:
    pass

class Manager(Employee):
    pass

def consume_base_employee(b: Base[Employee]) -> None:
    pass

derived_manager = Derived[Manager]()
consume_base_employee(derived_manager)  # mypy不再报错

结论 #

这既不是对PEP的理解错误（只是遗漏了协变前提），也不是PEP或mypy的bug——mypy的行为完全符合PEP规范，问题出在代码中未正确声明泛型参数的协变属性。

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