MyPy 不允许受约束的 TypeVar 是协变的？使用受约束但协变的键值类型定义通用字典

我正在尝试定义一个自定义通用字典，其键的类型T_key并且值的类型T_val.
我也想限制一下T_key and T_val，使得T_key只能是类型A or B或其子类。

我该如何实现这个目标？

from typing import TypeVar, Generic

class A: ...
class B: ...

class Asub(A): ...
class Bsub(B): ...

T_key = TypeVar('T_key', A, B, covariant=True)
T_val = TypeVar('T_val', A, B, covariant=True)


class MyDict(Generic[T_key, T_val]): ...


w: MyDict[   A,    B]
x: MyDict[   A, Bsub]
y: MyDict[Asub,    B]
z: MyDict[Asub, Bsub]

当我尝试检查这一点时，mypy 在注释上给出了错误x, y and z。仅注释为w按预期工作。

generic.py:17: error: Value of type variable "T_val" of "MyDict" cannot be "Bsub"
generic.py:18: error: Value of type variable "T_key" of "MyDict" cannot be "Asub"
generic.py:19: error: Value of type variable "T_key" of "MyDict" cannot be "Asub"
generic.py:19: error: Value of type variable "T_val" of "MyDict" cannot be "Bsub"

我不明白为什么Asub不是有效类型T_key即使covariant=True指定的。

我在这里缺少什么？

mypy 版本：0.630

这不是协方差的意思。使用协变类型变量T和一个泛型类Foo[T]，实例Foo[Subclass]也被视为实例Foo[Superclass]。协方差对于可以替代的类型没有影响T.

If your B被定义为

class B(A): ...

代替

class B: ...

，然后是一个类型的值MyDict[B, B]将被视为类型的有效值MyDict[A, A]由于协方差，由静态类型检查器执行。您仍然无法创建类型的值MyDict[ASub, BSub]，因为类型变量的唯一有效值是A and B.

您正在寻找的概念是bounded类型变量，使用bound关键字参数，而不是约束类型变量。看起来您可以指定一个联合作为边界，这让我感到非常惊讶，因此将类型变量声明为

T_key = TypeVar('T_key', bound=Union[A, B])
T_val = TypeVar('T_val', bound=Union[A, B])

应该管用。