Python类型TypeVar(A,B,covariant=true)是什么意思？

Question

今天我深入研究了利斯科夫的替代原理和协方差/逆方差。

null

我对#1的理解

TypeVar('t',A,B)与TypeVar('t',bound=union[A,B])之间的差异

这个答案明确说明T可以是：

null

MyPy不允许约束的TypeVar是协变的？定义具有约束但协变的键值类型的泛型dict

再次提到bound=union[A,B]大小写，但不理解选项#2的含义，A,B,covariant=true。

我试着玩了一下mypy，但似乎弄不明白。有人能指出这是什么意思吗？

1. A（或A的任何子类型）
2. B（或B的任何子类型）

（也就是从上面排除了union大小写）

**编辑**

下面的示例代码显示了它们之间的区别。错误来自mypy==0.770。

from typing import Union, TypeVar, Generic


class A: pass

class ASub(A): pass

class B: pass


# Case 1... Success: no issues found
# T = TypeVar("T", bound=Union[A, B])

# Case 2... error: Value of type variable "T" of "SomeGeneric" cannot be "ASub"
T = TypeVar("T", A, B, covariant=True)


class SomeGeneric(Generic[T]): pass

class SomeGenericASub(SomeGeneric[ASub]): pass

**编辑2**

最后我在Python/Mypy#8806中询问了这个问题：当T_co=TypeVar（“T_co”,A,B,covariant=true)并传递了A的子类时，泛型[T_co]出错

这消除了我的一些误解。事实证明typeVar（“t”,A,B,covariant=true)并不完全正确，知道值限制A和B实际上并不是协变的。

使用covariant=true语法只有在它们相关时才有帮助。

Answer 1

协方差和反方差是与面向对象和泛型之间的交集相关的术语。

这个概念试图回答的问题是：

1. 我们有两个“常规”、“面向对象”类，基类和派生类。
2. 我们还有一些泛型类型-假设列表 。
3. 我们知道Derived可以在base可以的任何地方使用-这是否意味着list 可以在list可以使用的任何地方？
4. 会不会是相反的呢？也许是相反的方向，现在listcab可以在list 可以使用的地方使用？

边界也来自于OO和泛型的交叉。当我们定义一个泛型类型MyType时-这是否意味着't'可以是任何类型？或者，我可以对T施加一些限制吗？边界允许我声明T的上界是，例如，类derived。在这种情况下，base不能与“myType”一起使用-但derived及其所有子类可以。

协方差和逆方差的定义可以在PEP-484的本节中找到。