Python的类型注解及类型检查

python时动态语言，变量随时可以被赋值，且能赋值为不同的类型，虽然很灵活但是这种特征也是弊端

def add(x,y):
	return x+y

print(add(4,5))  ==》9
print(add('hello','world')) ==》‘helloword’
print(add(4,'hellow'))  ==》error

由于python时一种强类型语言，不同类型不能想加，在第三个输出语句会报错，但是只有在函数执行的时候才会报错就会有以下问题

• 难发现：由于不做任何类型检查，知道运行期问题才显现出来，或者线上运行时才能暴露出问题
• 难使用：函数的使用者看到函数的时候不知道函数的设计，并不知道应该传入什么类型数据

如何解决这种弊端

• 可以增加文档Decumentation String

def add(x,y):
	"""
	:param x:int
	:param y:int
	:return :int
	"""
	return x+y

• 函数注解

def add(x:int,y:int)  ->int :  参数是 int 返回int
	"""
	:param x:int
	:param y:int
	:return :int
	"""
	retrn x+y

但这种方法也就是注解，值是让你使用函数的时候知道什么类型，但是不限定你调用的时候传入别的参数，也是只有在运行是报错

• python 3.5 引入
• 对函数参数进行类型注解
• 对函数的返回值进行注解
• 支队函数参数做一个辅助的说明，并不对函数参数进行类型检查
• 提供给第三方公共，做代码肥西，发现隐藏的bug
• 函数的注解信息。保存在__annotations__属性中

变量注解

• python 3.6引入 i:int = 3

业务应用

函数参数类型的检查 思路

• 函数参数的检查，一定是在函数外
• 函数应该作为参数，传入到检查函数中
• 检查函数拿到函数传入的实际参数，与形参声明对比
• __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)
print("params:",sig.parameters)
print("return",sig.return_annotation)
print(sig.parameters['y'])
print(sig.parameters['x'])
print(sig.parameters['args'])
print(sig.parameters['args'].annotation)
print(sig.parameters['kwargs'])
print(sig.parameters['kwargs'].annotation)

• inspect.isfunction(add),是否是函数
• inspect.ismethod(add),是否是类的方法
• inspect.isgenerator(add),是否是生成器对象
• inspect.isgeneratorfunction(add),是否是生成器函数
• inspect.isclass(add)，是否是类
• inspect.ismodule(inspect)，是否是模块
• inspect.isbuiltin(print),是否是内建对象
• 还有很多is函数

parmeter对象

sig.parameters获取的列表可以便利成多个parmeter对象

• parmeter对象保存在元组中，是只度的
• nem,参数的名字
• annotation,参数的注解，可能没有定义
• default,参数的缺省值，可能没定义
• empty,特殊的类用来标记default属性或者注释annotation属性的空值
• kind，实参如何绑定到形参，就是形参的类型

类型检查装饰器

import inspect

def check(fn):
    def wrapper(*args,**kwargs):
        #实参检查
        sig=inspect.signature(fn)
        print(sig)
        print("params",sig.parameters)
        print("return",sig.return_annotation)
        print(sig.parameters.values())
        print("-------------")
      
        params = sig.parameters  #有序字典
        #for param in sig.parameters.values():
          #  print(param.name,param.annotation,param.kind,param.default)
        #print(args,kwargs)
        print(params)
        for k,w in kwargs.items():
            if isinstance(w,params[k].annotation):
                print(1,"kwargs")
            else:
                print(0,"kwargs")
      
        param_list=list(params.values())
        for i,v in enumerate(args):
            if isinstance(v,param_list[i].annotation):
                print(1,"args")
            else:
                print(0,"args")
        res= fn(*args,**kwargs)
        return res
    return wrapper

@check
def add(x:int,y:int)->int:
	return x+y