键入：TypeVar 与 Union，mypy 错误：缺少泛型类型的类型参数 [重复]

Question

尽管在typing documentation、mypy documentation 和PEP 483 上花费了大量时间，但我仍在努力理解何时使用TypeVar 以及何时使用Union。

问题的简单版本：Numeric = TypeVar('Numeric', int, float) 和 Numeric = Union[int, float] 有什么区别？

这是我遇到的更详细的示例：

"""example1.py
Use of Union to define "Numeric" type.
"""

from typing import Union, Sequence

Numeric = Union[int, float]

Vector = Sequence[Numeric]

Matrix = Sequence[Vector]

检查 mypy：

$ mypy --strict example1.py
Success: no issues found in 1 source file 

改用TypeVar：

"""example2.py
Use of TypeVar to define "Numeric" type.
"""

from typing import TypeVar, Sequence

Numeric = TypeVar('Numeric', int, float)

Vector = Sequence[Numeric]

Matrix = Sequence[Vector]

检查 mypy：

$ mypy --strict example2.py
example2.py:11: error: Missing type parameters for generic type "Vector"
Found 1 error in 1 file (checked 1 source file)

上面的mypy错误是指Matrix的定义。为什么mypy 对example1.py 满意，但对example2.py 不满意？

我可以通过将最后一行更改为Matrix = Sequence[Vector[Numeric]] 来消除example2.py 中的错误。

版本信息：

$ python --version
Python 3.8.4
$ mypy --version
mypy 0.782

Answer 1

TypeVar 用于创建泛型类型。

Numeric = TypeVar('Numeric', int, float)

Vector = Sequence[Numeric]

... 表示Vector[T] 是Sequence[T] 的别名，其约束条件为issubclass(T, (int, float))。这意味着 mypy 认为 Vector 是一个不完整的类型，它会询问：“什么的向量？”，您可以写 Vector[Numeric] 来表示：“任何数字的向量”。

常用于函数或类，像这样：

T = TypeVar('T')
V = TypeVar('V')
def map(f: Callable[[T], V], it: Iterable[T]) -> Iterator[V]:
    for x in it:
        yield f(x)

这意味着即使您不确切知道要获得什么类型，也可以使事情成为类型安全的。