函数注解
对函数的参数进行类型注解
对函数的返回值进行类型注解
只对函数参数做一个辅助的说明，并不对函数参数进行类型检查
函数注解的信息，保存在__annotations__属性中
业务应用
函数参数类型检查
思路
函数参数的检查，一定是在函数外
函数作为参数，传入到检查函数中
检查函数拿到函数传入的实际参数，与形参声明对比
__annotations__属性是一个字典，其中包括返回值类型的声明。假设要做位置参数的判断，无法和字典中的声明对应。使用inspect模块
inspect模块
提供获取对象信息的函数，可以检查函数的类、类型检查
signature(callable),获取签名（函数签名包括了一个函数的信息，包括函数名、它的参数类型、他所在的类和名称空间及其他信息）
import inspect
def add(x:int,y:int,*args,**kwargs) -> int:
return x + y
sig = inspect.signature(add)
print(sig,type(sig))
print('params:',sig.parameters)
print(sig.parameters['y'],type(sig.parameters['y']))
print(sig.parameters['x'].annotation)
print(sig.parameters['args'])
print(sig.parameters['args'].annotation)
print(sig.parameters['kwargs'])
print(sig.parameters['kwargs'].annotation)
sig.parameters 是一个OrderedDict
inspect模块
inspect.isfunction(add)，是否是函数
inspect.isfunction(add)，是否是函数 inspect.ismethod(add))，是否是类的方法 inspect.isgenerator(add))，是否是生成器对象 inspect.isgeneratorfunction(add))，是否是生成器函数 inspect.isclass(add))，是否是类
inspect.ismodule(inspect))，是否是模块 inspect.isbuiltin(print))，是否是内建对象
inspect模块
Parameter对象
保存在元组中，是只读的
name，参数的名字
annotation，参数的注解，可能没有定义
default，参数的缺省值，可能没有定义
empty，特殊的类，用来标记default属性或者注释annotation属性的空值
kind，实参如何绑定到形参，就是形参的类型
业务应用练习
有函数add
请检查用户输入是否符合参数注解的要求
import inspect
def check(fn):
def wrapper(*args,**kwargs):
sig = inspect.signature(fn)
param = sig.parameters
values = list(param.values())
for i,v in enumerate(args):
if values[i].annotation is not inspect._empty and not isinstance(v,values[i].annotation):
print('!==')
for k,t in kwargs.items():
if param[k].annotation is not inspect._empty and not isinstance(t,param[k].annotation):
print('!===')
ret = fn(*args,**kwargs)
return ret
return wrapper
@check
def add(x:int,y:int=7)-> int:
return x + y
print(add(1.1,y=1.0))
0