python - 为什么 List 不能包含多种类型？

Question

您可以在元组或列表中混合类型。为什么不能在键入提示中指定它？

>>> from typing import Tuple, List
>>> t = ('a', 1)
>>> l = ['a', 1]

>>> t2: Tuple[str, int] = ('a', 1)
>>> l2: List[str, int] = ['a', 1]

TypeError: Too many parameters for typing.List; actual 2, expected 1

Answer 1

在类型论中，列表是包含一种类型值的同构结构。因此，List 仅采用单一类型，并且该列表的每个元素都必须具有该类型。

但是，类型论还提供了总和类型，您可以将其视为从某些固定类型集中选择的一个值的包装器。 typing.Union 支持求和类型。要指定列表是 int 和 str 值的混合，请使用

List[Union[str, int]]

作为类型提示。

相比之下，元组是产品类型的一个示例，该类型由一组固定的类型组成，其值是一组值，一个来自产品类型中的每个类型. Tuple[int,int,int], Tuple[str,int] 和 Tuple[int,str] 都是不同的类型，区分两者按产品中类型的数量和它们出现的顺序。