Python 输入 TypeVar(A, B, covariant=True) 是什么意思？

Question

今天我深入研究了 Liskov 的替换原理和协变/逆变。

我被困在两者之间的区别上：

1. T = TypeVar("T", bound=Union[A, B])
2. T = TypeVar("T", A, B, covariant=True)

---

我对#1的理解

Difference between TypeVar('T', A, B) and TypeVar('T', bound=Union[A, B])

This answer 明确指出T 可以：

1. Union[A, B]（或A 和B 的任何子类型的联合，例如Union[A, BChild]）
2. A（或A 的任何子类型）
3. B（或B 的任何子类型）

这对我来说很有意义。

---

我的缺陷对#2的理解

MyPy doesn't allow constrained TypeVar's to be covariant? Defining a generic dict with constrained but covariant key-val types

重新提到bound=Union[A, B] 的情况，但没有理解选项#2 A, B, covariant=True 的含义。

我尝试过使用mypy，但似乎无法弄清楚。 谁能指出这是什么意思？

我认为意思是：

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

（又名它不包括上面的 Union 案例）

---

**编辑**

在cmets中被问到：

你确定它们真的不同吗？

这里是显示差异的示例代码。错误来自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: Generic[T_co] erroring when T_co = TypeVar("T_co", A, B, covariant=True) and passed subclass of A 中询问了这个问题

这消除了我的一些误解。事实证明 TypeVar("T", A, B, covariant=True) 并不正确，知道值限制 A 和 B 实际上并不是协变的。

covariant=True 语法的使用只有在它们相关时才有用。

Answer 1

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

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

1. 我们有几个“常规”、“面向对象”类，Base 和 Derived。
2. 我们还有一些泛型类型 - 比如List<T>。
3. 我们知道 Derived 可以在任何 base 可以使用的地方使用 - 这是否意味着 List<Derived> 可以在任何List<Base> 可以使用的地方使用？
4. 会不会反过来？也许是相反的方向，现在List<Base> 可以在List<Derived> 可以使用的任何地方使用？

如果 (3) 的答案是肯定的，则称为协方差，我们会说将 List 声明为具有 covariance=True。如果 (4) 的答案为真，则称为“逆变”。如果没有一个为真，则它是不变的。

界限也来自于面向对象和泛型的交集。当我们定义一个泛型类型 MyType - 这是否意味着“T”可以是任何类型？或者，我可以对 T 可能是什么施加一些限制吗？ Bounds 允许我声明 T 的上限是，例如，Derived 类。在这种情况下，Base 不能与 'MyType' 一起使用 - 但Derived 及其所有子类都可以。

协变和逆变的定义见this section of PEP-484。