python typing标准库

1. typing模块

1.1 typing模块简介

typing模块是Python 3.5及以上版本中的一个标准模块，提供了对类型注解和类型提示的支持。该模块中包含了多个类、函数和类型别名等，用于描述函数、方法、变量等的输入和输出类型，以及自定义类型等。typing模块中常用的几个类、函数和类型别名的介绍和用法示例如下：

 需要注意的是，typing模块中的类、函数和类型别名等仅用于类型注解和类型提示，并不会对Python代码的实际运行产生影响。使用typing模块可以提高代码的可读性和可维护性，同时也可以帮助IDE等工具进行类型检查和类型推断等操作。

补充：

• Iterable与Iterator的区别：

Iterable和Iterator都是Python中typing模块中的类型别名，用于表示可迭代对象和迭代器。它们的区别在于：

Iterable表示一个可迭代对象的类型，即可以被for循环遍历的对象。例如，列表、元组、字典、集合等都属于可迭代对象。Iterable的类型注解形式为Iterable[T]，其中T表示可迭代对象中元素的类型。Iterable类型的对象可以使用iter()函数来获取一个迭代器。Iterator表示一个迭代器的类型，即可以通过next()函数一个一个地访问元素的对象。例如，使用iter()函数得到的迭代器对象就是一个迭代器。Iterator的类型注解形式为Iterator[T]，其中T表示迭代器中元素的类型。迭代器对象可以使用next()函数来获取下一个元素，如果没有下一个元素，则会抛出StopIteration异常。 简单来说，可迭代对象是一类具有__iter__方法的对象，该方法返回一个迭代器对象。而迭代器对象是一类具有__next__方法的对象，该方法返回下一个元素，如果没有下一个元素则抛出StopIteration异常。因此，可以使用iter()函数将可迭代对象转换为迭代器对象，然后使用next()函数逐个访问元素。需要注意的是，迭代器对象是一次性的，即迭代完一次后不能再次迭代，需要重新获取迭代器对象才能再次迭代。

• FrozenSet与Set的区别

FrozenSet和Set都是Python中typing模块中的类型别名，用于表示集合类型，它们的区别在于可变性：

Set表示一个可变的集合类型，即可以随时添加、删除元素的集合。Set的类型注解形式为Set[T]，其中T表示集合中元素的类型。
FrozenSet表示一个不可变的集合类型，即一旦创建之后就不可以再添加或删除元素。FrozenSet的类型注解形式为FrozenSet[T]，其中T表示集合中元素的类型。因为FrozenSet是不可变的，所以它可以作为字典的键或集合的元素。 需要注意的是，Set和FrozenSet都是可迭代对象，可以使用for循环遍历集合中的元素。另外，集合类型中的元素是无序的，即不能通过下标来访问集合中的元素。如果需要有序的集合类型，可以使用List或Tuple类型。

• TypeVar与"…"的相同与区别

TypeVar和...都是Python中typing模块中的工具，用于在类型注解中引入泛型类型，它们的相同点和不同点如下：

相同点：
都是typing模块中用于引入泛型类型的工具；
都可以用于函数、方法、类等的参数和返回值的类型注解中；
都可以用于指定任意类型，增加代码的灵活性和复用性。
不同点：
TypeVar用于定义泛型类型变量，表示一个未知的类型，可以在需要的地方进行具体化。泛型类型变量可以用于类、函数、方法等的参数和返回值的类型注解中，可以用于指定任意类型。
...用于表示不定参数类型，即表示函数的参数可以是任意数量、任意类型的参数。Callable[..., int]表示一个可以接受任意数量、任意类型的参数，并返回int类型的函数类型。不定参数类型可以用在函数的类型注解中，用于表示函数可以接受任意数量、任意类型的参数，增加代码的灵活性。 因此，TypeVar和...都是用于引入泛型类型的工具，但是它们的用途不同，TypeVar用于定义泛型类型变量，而...用于表示不定参数类型。