Python之装饰器-类型注解和类型检查装饰器

Python之装饰器-类型注解和类型检查装饰器

注解annotation

• Python是动态语言，变量可以随时被赋值并改变类型，也就是说Python的变量是运行时决定的。
• 动态语言缺点:
  1. 难发现:由于不能做任何类型检查，往往到了运行时问题才显现出来，或到了线上运行时才暴露出来
  2. 难使用:函数使用者看到函数时，并不知道函数设计者的意图，如果没有详尽的文档，使用者只能 猜测数据的类型。对于一个新的API，使用者往往不知道该怎么使用，对于返回的类型更是不知道 该怎么使用

动态类型对类型的约束不强，在小规模开发的危害不大，但是随着Python的广泛使用，这种缺点确实对 大项目的开发危害非常大。

• 如何解决这种问题呢?
  1. 文档字符串。对函数、类、模块使用详尽的使用描述、举例，让使用者使用帮助就能知道使用方 式。但是，大多数项目管理不严格，可能文档不全，或者项目发生变动后，文档没有更新等等。
  2. 类型注解:函数注解、变量注解 函数注解

函数注解

• 3.5版本引入
• 对函数的形参和返回值的类型说明
• 只是对函数形参类型、返回值类型做的辅助的说明，非强制类型约束
• 第三方工具，例如Pycharm就可以根据类型注解进行代码分析，发现隐藏的Bug
• 函数注解存放在函数的属性 annotations 中，字典类型

类型注解

• 3.6版本引入
• 对变量类型的说明，非强制约束
• 第三方工具可以进行类型分析和推断

类型检查

• 函数传参经常传错，如何检查?
• 可以在函数内部写isinstance来判断参数类型是否正确，但是检查可以看做不是业务代码，写在里面就 是侵入式代码。那如何更加灵活的检查呢?
  • 非侵入式代码
  • 动态获取待检查的函数的参数类型注解
  • 当函数调用传入实参时，和类型注解比对
• 能否使用函数的 annotations 属性吗?虽然Python 3.6之后，字典记录了录入序，但是我们还是要 认为字段是无顺序的。那如何和按位置传实参对应呢?
• 使用inspect模块

inspect模块

• inspect模块可以获取Python中各种对象信息。
  • inspect.isfunction(add)，是否是函数
  • inspect.ismethod(pathlib.Path().absolute)，是否是类的方法，要绑定
  • inspect.isgenerator(add))，是否是生成器对象
  • inspect.isgeneratorfunction(add))，是否是生成器函数
  • inspect.isclass(add))，是否是类
  • inspect.ismodule(inspect))，是否是模块
  • inspect.isbuiltin(print))，是否是内建对象
• 还有很多is函数，需要的时候查阅inspect模块帮助

---

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

# 创建一个add函数    

add

# 执行add函数
# 返回结果：<function __main__.add(x, y)>

def add(x:int, y):