使用列表/元组/等。从键入与直接将类型引用为列表/元组/等

Question

在typing模块中使用List、Tuple等有什么区别：

from typing import Tuple

def f(points: Tuple):
    return map(do_stuff, points)

相对于直接引用 Python 的类型：

def f(points: tuple):
    return map(do_stuff, points)

我什么时候应该使用一个而不是另一个？

Answer 1

在 Python 3.9 added support for type hinting using standard collections 之前，如果您想记录容器的内容 类型，则必须使用 typing.Tuple 和 typing.List：

def f(points: Tuple[float, float]):
    return map(do_stuff, points)

直到 Python 3.8，tuple 和 list 不支持成为 used as generic types。上面的示例记录了函数f 要求points 参数是具有两个float 值的元组。

typing.Tuple 在这里的特殊之处在于它允许您指定特定数量的预期元素和每个位置的类型。如果未设置长度且应重复类型，请使用省略号：Tuple[float, ...] 描述了可变长度 tuple 和 floats。

对于typing.List 和其他序列类型，您通常只指定所有元素的类型； List[str] 是任意大小的字符串列表。请注意，函数应优先将typing.Sequence 作为参数，typing.List 通常仅用于返回类型；一般来说，大多数函数会采用任何序列并且只进行迭代，但是当您返回 list 时，您实际上是在返回一个特定的、可变的序列类型。

如果您仍需要支持 Python 3.8 或更早版本的代码，您应该始终选择 typing 泛型，即使您当前没有限制内容。稍后使用泛型类型添加该约束会更容易，因为结果更改会更小。

如果您正在实现自定义容器类型并希望该类型支持泛型，您可以implement a __class_getitem__ hook 或从typing.Generic 继承（反过来实现__class_getitem__）。

Answer 2

从 Python 3.9 (PEP 585) 开始，tuple、list 和其他各种类现在都是泛型类型。现在首选使用这些而不是它们的 typing 对应项。从 Python 3.9 开始，您现在可以这样做：

def f(points: tuple[float, float]):
    return map(do_stuff, points)

如果您不需要评估您的类型提示，那么由于PEP 563，您可以在 Python 3.7+ 中使用此语法。

from __future__ import annotations


def f(points: tuple[float, float]):
    return map(do_stuff, points)

---

您应该尽可能选择非typing 泛型，因为旧的typing.Tuple、typing.List 和other generics 已弃用，并将在更高版本的 Python 中删除。

不推荐从typing 导入那些。由于PEP 563 以及尽量减少键入对运行时的影响的意图，此弃用不会产生 DeprecationWarnings。相反，当被检查程序的目标版本被通知为 Python 3.9 或更高版本时，类型检查器可能会警告这种不推荐使用的用法。建议允许在整个项目范围内消除这些警告。

在 Python 3.9.0 发布 5 年后发布的第一个 Python 版本中，将从类型模块中删除已弃用的功能。