Python 3.8与3.10中Mypy对泛型类的行为差异及正确性确认

首先明确：Python 3.10中Mypy的报错行为是正确的，核心原因在于你定义的泛型类型变量T的约束规则。

核心原因分析 #

你通过T = TypeVar("T", A, B, C)定义了一个受限类型变量，它的约束逻辑是：T只能是A、B、C这三个类型中的某一个具体类型，而不能是它们的联合类型（Union[A,B]）。

当你执行K(g())时，g()的返回类型是Union[A,B]，Mypy需要为K的泛型参数T匹配一个符合约束的类型。但Union[A,B]并不在A、B、C这三个允许的类型范围内，因此类型检查失败——这才是贴合PEP 484泛型规范的正确行为。

而Python 3.8中Mypy 0.961的“合法”判定属于旧版本的逻辑疏漏，后续Mypy的类型检查逻辑更严格，对齐了受限TypeVar的设计意图。

修正方案 #

如果需要让K支持接收Union[A,B]类型的参数，有两种常见思路：

1. 调整TypeVar的约束，允许T为A/B/C的联合类型：

   from typing import TypeVar, Generic, Union
   
   T = TypeVar("T", bound=Union[A, B, C])
   class K(Generic[T]):
       def __init__(self, x: T):
           self.x: T = x
       def f(self) -> T:
           return self.x
   

2. 显式指定K的泛型参数为具体类型，同时通过类型断言确保类型安全：

   K[A](cast(A, g()))  # 或 K[B](cast(B, g()))，需确保业务逻辑中g()的返回值符合指定类型
   

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