Python3-类型标注⽀持
typing为Python的⼀个标注库，此默认⽀持PEP 484和PEP 526指定的类型提⽰。最基本的⽀持
由Any、Union、Tuple、Callable、TypeVar和Generic类型组成。有关完整的规范，请参阅PEP 484，有关任何类型提⽰的简单介绍，请参阅PEP 483。
举个栗⼦，函数接收并返回⼀个字符串，如下所⽰：
def func(name: str) -> str:
return "Hello" + name
在函数func中，参数预期是str类型，并且返回str类型
typing模块的作⽤：
类型检查，防⽌运⾏时出现参数和返回值类型不符合
作为开发⽂档附加说明，⽅便使⽤者调⽤传⼊和返回类型
python新手代码userid该模块加⼊之后并不会影响程序的运⾏，不会报正式的错误，只有提醒
类型别名
类型别名通过将类型分配别名来进⾏定义，在这个例⼦中，Vector和List[str]可以视为可互换的同义词：
from typing import List
Vector = List[str]
def func(name: str) -> Vector:
return [name]
print(Vector, type(Vector))        # typing.List[str] <class 'typing.GenericMeta'>
value = func("laozhang")
print(value, type(value))          # ['laozhang'] <class 'list'>
NewType
使⽤NewType()辅助函数来创建不同的类型
from typing import NewType
UserId = NewType("UserId", int)
UserName = NewType("UserName", str)
静态类型检查器会将新类型视为它最原始类型的⼦类，这对于捕捉逻辑错误⾮常有⽤：
def from_int_to_str(user_id: UserId) -> str:
return str(user_id)
print(from_int_to_str(UserId(123)))    # 123
print(from_int_to_str(123))            # 123
你仍然可以对UserId类型的变量执⾏所有的int⽀持的操作，但结果将始终为int类型，如下：
value = UserId(123) + UserId(456)
print(value)            # 579
print(type(value))      # <class 'int'>
值得注意的是，UserId = NewType("UserId", int)，UserId是⼀个函数，该函数将会⽴即返回你传递给它的任何参数。这也意味着，⽆法创
建UserId的⼦类型，因为它是运⾏时的标识函数，⽽不是实际类型，下⾯这种写法是错误的：
class MyUser(UserId):
pass
但是，可以基于UserId创建NewType，如下：
ChildUserId = NewType("ChildUserId", UserId)
Callable
期望特定签名的回调函数可以将类型标注为Callable[[Arg1Type, Arg2Type], ReturnType]。例如：from typing import Callable
def finder(on_success: Callable[[str, int], None]) -> None:
pass
def on_success(s: str, i: int) -> None:
pass
finder(on_success=on_success)
如果传递过去的回调函数中的参数或返回类型不匹配，PyCharm将会有警告提⽰
泛型(Generics)
泛型可以使⽤typing模块中名为TypeVar的新⼯⼚进⾏参数化，如下：
from typing import TypeVar
T = TypeVar("T")
def finder(s: T) -> T:
return s
泛型类型可以有任意数量的类型变量，这样的话类型变量可能会收到限制：
from typing import TypeVar
T = TypeVar("T", int, str)
def finder(s: T) -> T:
return s
这样的话，finder函数将只能接收int/str类型的参数，否则将会有警告提⽰
typing模块常⽤类型
int,、float: 整形、浮点型
bool、str: 布尔型、字符串类型
List、Dict、Tuple、Set: 列表、字典、元组、集合
Iterable、Iterator: 可迭代类型、迭代器类型
Generator: ⽣成器类型
更多关于typing模块的使⽤：

版权声明：本站内容均来自互联网，仅供演示用，请勿用于商业和其他非法用途。如果侵犯了您的权益请与我们联系QQ:729038198，我们将在24小时内删除。