1 装饰器初试
1.1 装饰器基础知识
装饰器是可调用的对象,其参数是另一个函数(被装饰的函数)。装饰器可能会处理被装饰的函数,然后把它返回,或者将其替换成另一个函数或可调用对象。
1 |
|
上述代码和下述代码的写法一样
1 | def target(): |
两种写法的最终结果一样:上述两个代码片段执行完毕后得到的target不一定是原来那个target 函数,而是decorate(target)返回的函数。
1 | def deco(func): |
1 | target() |
running inner()
<function deco.<locals>.inner at 0x0000016C2B20AA60>
严格来说,装饰器只是语法糖。如前所示,装饰器可以像常规的可调用对象那样调用,其参数是另一个函数。有时,这样做更方便,尤其是做元编程(在运行时改变程序的行为)时。综上,装饰器的一大特性是,能把被装饰的函数替换成其他函数。第二个特性是,装饰器在加载模块时立即执行。下一节会说明。
1.2 Python何时执行装饰器
装饰器的一个关键特性是, 它们在被装饰的函数定义之后立即运行。 这通常是在导入时(即 Python 加载模块时) , 如 registration.py 模块所示。
1 | # BEGIN REGISTRATION |
running register(<function f1 at 0x0000016C2B20A378>)
running register(<function f2 at 0x0000016C2B23B048>)
running main()
registry -> [<function f1 at 0x0000016C2B20A378>, <function f2 at 0x0000016C2B23B048>]
running f1()
running f2()
running f3()
注意, register 在模块中其他函数之前运行(两次) 。 调用 register 时, 传给它的参数是被装饰的函数, 例如
加载模块后, registry 中有两个被装饰函数的引用: f1 和 f2。 这两个函数, 以及 f3,只在 main 明确调用它们时才执行。如果导入 registration.py 模块(不作为脚本运行) , 输出如下:
1 | import registration |
此时查看 registry 的值, 得到的输出如下
1 | registration.registry |
主要想强调, 函数装饰器在导入模块时立即执行, 而被装饰的函数只在明确调用时运行。 这突出了 Python 程序员所说的导入时和运行时之间的区别。
1.3 装饰器改进“策略”模式
定义体中有函数的名称, 但是 best_promo 用来判断哪个折扣幅度最大的 promos 列表中也有函数名称。 这种重复是个问题, 因为新增策略函数后可能会忘记把它添加到 promos 列表中, 导致 best_promo 忽略新策略, 而且不报错, 为系统引入了不易察觉的缺陷。
实例 1
promos 列表中使用promotion装饰器填充
1 | # strategy_best4.py |
优点如下:
- 促销策略函数无需使用特殊的名称(即不用以 _promo 结尾)。
- @promotion 装饰器突出了被装饰的函数的作用, 还便于临时禁用某个促销策略: 只需把装饰器注释掉。
- 促销折扣策略可以在其他模块中定义, 在系统中的任何地方都行, 只要使用@promotion 装饰即可。
2 闭包
2.1 闭包的使用
在博客圈, 人们有时会把闭包和匿名函数弄混。 这是有历史原因的: 在函数内部定义函数不常见, 直到开始使用匿名函数才会这样做。 而且, 只有涉及嵌套函数时才有闭包问题。因此, 很多人是同时知道这两个概念的。其实, 闭包指延伸了作用域的函数, 其中包含函数定义体中引用、 但是不在定义体中定义的非全局变量。 函数是不是匿名的没有关系, 关键是它能访问定义体之外定义的非全局变量。
1、闭包实现
1 | """ |
2、初学者实现
1 | """ |
综上, 闭包是一种函数, 它会保留定义函数时存在的自由变量的绑定, 这样调用函数时,虽然定义作用域不可用了, 但是仍能使用那些绑定。注意, 只有嵌套在其他函数中的函数才可能需要处理不在全局作用域中的外部变量。
2.2 nonloacl声明
前面实现 make_averager 函数的方法效率不高。在示例中,我们把所有值存储在历史数列中,然后在每次调用averager时使用sum求和。更好的实现方式是,只存储目前的总值和元素个数,然后使用这两个数计算均值。
1 | def make_averager(): |
尝试使用示例定义的函数, 会得到如下结果:
1 | avg = make_averager() |
问题是, 当 count 是数字或任何不可变类型时, count += 1 语句的作用其实与 count= count + 1 一样。 因此, 我们在 averager 的定义体中为 count 赋值了, 这会把count 变成局部变量。 total 变量也受这个问题影响。
前面没有遇到这个问题, 因为我们没有给 series 赋值, 我们只是调用series.append, 并把它传给 sum 和 len。 也就是说, 我们利用了列表是可变的对象这一事实。但是对数字、 字符串、 元组等不可变类型来说, 只能读取, 不能更新。 如果尝试重新绑定, 例如 count = count + 1, 其实会隐式创建局部变量 count。 这样, count 就不是自由变量了, 因此不会保存在闭包中。
为了解决这个问题, Python 3 引入了 nonlocal 声明。 它的作用是把变量标记为自由变量, 即使在函数中为变量赋予新值了, 也会变成自由变量。 如果为 nonlocal 声明的变量赋予新值, 闭包中保存的绑定会更新。 最新版 make_averager 的正确实现如示例所示。
1 | def make_averager(): |
3 实现一个简单的装饰器
定义了一个装饰器, 它会在每次调用被装饰的函数时计时, 然后把经过的时间、 传入的参数和调用的结果打印出来。
1 | # clockdeco.py |
使用clock装饰器
1 | # clockdeco_demo.py |
1 | $ python3 clockdeco_demo.py |
这是装饰器的典型行为: 把被装饰的函数替换成新函数, 二者接受相同的参数, 而且(通常) 返回被装饰的函数本该返回的值, 同时还会做些额外操作。
示例中实现的 clock 装饰器有几个缺点:不支持关键字参数,而且遮盖了被装饰函数的 __name__ 和 __doc__ 属性。下面使用 functools.wraps 装饰器把相关的属性从 func 复制到 clocked 中。此外,这个新版还能正确处理关键字参数。
1 | # clockdeco2.py |
4 参数化装饰器
解析源码中的装饰器时, Python 把被装饰的函数作为第一个参数传给装饰器函数。 那怎么让装饰器接受其他参数呢? 答案是: 创建一个装饰器工厂函数, 把参数传给它, 返回一个装饰器, 然后再把它应用到要装饰的函数上。
4.1 一个参数化的注册装饰器
为了便于启用或禁用 register 执行的函数注册功能, 我们为它提供一个可选active参数, 设为 False 时, 不注册被装饰的函数。 实现方式参见示例。从概念上看, 这个新的 register 函数不是装饰器, 而是装饰器工厂函数。 调用它会返回真正的装饰器,这才是应用到目标函数上的装饰器。
1 | # BEGIN REGISTRATION_PARAM |
代码在 registration_param.py 模块中。 如果导入, 得到的结果如下:
1 | import registration_param |
4.2 参数化clock装饰器
探讨 clock 装饰器, 为它添加一个功能: 让用户传入一个格式字符串, 控制被装饰函数的输出。
1 | # clockdeco_param.py |
1 | $ python3 clockdeco_param.py |
使用了 clockdeco_param 模块中的新功能, 随后是两个模块输出的结果。
1 | import time |
1 | $ python3 clockdeco_param_demo1.py |