前言
在Python代码库中我们经常能看到@staticmethod、@classmethod这样的标签写在函数或类的上方。这些标签都有一个共同的特征,有一个 '@' 在最前面,'@' 就是我们今天的主要研究对象——装饰器(Decorator). 在了解装饰器之前,符号'@' 显得神秘而强大,不了解这样一款python利器,略显可惜。
![089734ce6b0291fda5af7b3590d2c6db.png](https://i-blog.csdnimg.cn/blog_migrate/b61148d3ea3fdb3790d2609d1f936321.jpeg)
简介
装饰器是Python在2.4版本引入的一个语法糖,采用了Decorator设计模式的思想,动态增强一个函数的功能而不需要改变被增强函数的实现,被增强函数的实现者可以专注于他的业务逻辑而无需关注增强的具体细节。常见的案例是给函数增加运行时间统计的功能,在业务函数运行前记录当前时间,在业务函数执行后计算运行时间。
Java中也有个类似功能-注解(Annotation),但是实现方式不一样。Python中的装饰器更多是增强一个函数的功能,被装饰的函数经过装饰后本身已经携带装饰器的实现;Java中的注解在于给类添加动态属性,需要额外的逻辑读取这些属性再进行相应地处理。
探索
无参装饰器修饰无参函数
让我们从一个最简单的例子开始:
![cd9c0810c5b5eddf518f5041dea7b026.png](https://i-blog.csdnimg.cn/blog_migrate/0acff0a3a7764f6dd09e3c63a00e8127.jpeg)
如上我们便定义了一个最简单的装饰器decorate, 它的功能仅仅是在被修饰函数调用前后分别打印两个字符串。我们先不要太关注它的实现,先看看实际的效果。
在使用装饰器前,我们先准备一个简单的函数:
![262478342ebdeadb58dc53909890f8b0.png](https://i-blog.csdnimg.cn/blog_migrate/206365c90f673c70a73aa4cce9a52c5b.jpeg)
这个函数的功能非常简单,调用时在控制台打印字符串"This is func."。下面我们在函数上应用装饰器并调用函数:
![a240715113617ff7af2884550e0741d9.png](https://i-blog.csdnimg.cn/blog_migrate/a455b4ca01c2e8ec2d708079f0644172.jpeg)
此时控制台输出结果如下:
Before func.
This is func.
After func.
结果表明,装饰器已成功地在函数前后加入了新的功能,而函数func本身并没有什么显著的修改,函数func的实现与使用者并不会意识到函数func和修饰前有什么区别。
为什么会有这样的结果?现在我们来重新仔细看一下装饰器函数的实现细节:
![6e88beea697705927c79415ac19b1ba6.png](https://i-blog.csdnimg.cn/blog_migrate/03a3455abeb94fcc9244b4310037d2e5.jpeg)
从装饰器的实现可以看出,在装饰器函数decorate内部定义了另外一个函数wrapper, 并且此函数作为装饰器函数decorate的结果被返回。注意:装饰器返回的结果是一个函数,因此可以被再次调用,这很关键。 要理解装饰器,我们首先需要知道Python解析器是如何处理'@'符号的:
![4a24960cd9f15cf53c9602b5bb0441e8.png](https://i-blog.csdnimg.cn/blog_migrate/d4450bcd087d315d9c5246f016f804fa.jpeg)
在模块加载时,解析器会对@进行处理,额外增加一行代码,如下:
![cce2ee39141cfd81a4ffcc274f838226.png](https://i-blog.csdnimg.cn/blog_migrate/ccc580694e7266ff447d9afd7d705fbb.jpeg)
函数func = decorate(func) 是在模块加载时执行,得到 func = wrapper, 因此,函数func的实际实现已被替换为wrapper的实现。 当我们调用func(),实际调用的是wrapper(),即先打印"Before func.",再执行原来func(),最后打印"After func.",至此我们得到如上结果。
装饰器可以一次定义多次使用:
![c6b313df67fccbc83a0889c94482dccf.png](https://i-blog.csdnimg.cn/blog_migrate/cb487eefcff9843d1a8c9d23b49a0f56.jpeg)
运行后输出结果:
Before func.
This is func1.
After func.
Before func.
This is func2.
After func.
无参装饰器修饰带参函数
不知道大家注意到没有,上面我们的装饰器修饰的函数没有参数,可以正确运行,如果用我们的装饰器修饰一个带参函数会怎么样呢?
![cf16e86145316400b8a9de671e56f2c2.png](https://i-blog.csdnimg.cn/blog_migrate/987bffbb09003d1993518d0338485ef5.jpeg)
这时Python语法解析器提示wrapper不需要参数,而我们却递给了它一个参数。这里同时也暴露了我们实际上调用的是wrapper这个函数的事实。
知道了原因,我们现在可以修改wrapper函数,使其和被修饰函数func拥有同样的参数,并将参数传递给func:
![4cc1b7e59dc634b7efdc8f5556181c11.png](https://i-blog.csdnimg.cn/blog_migrate/03b41abeacc106a8b5a086d237775963.jpeg)
此时运行正确,得到了期望的结果:
Before func.
This is func1. hello
After func.
现在我们来整理一下无参装饰器修饰带参函数的过程:
调用func('hello')等价于调用wrapper('hello')的结果,过程可以理解为:
func = decorate(func)
func('hello') => decorate(func)('hello')
带参装饰器修饰无参函数
装饰器本身也是一个函数,因此,它自身也可以携带参数:
![f4b694874b4721054fd9c9b12e04b3d2.png](https://i-blog.csdnimg.cn/blog_migrate/dd91eb30b1c34a83e8f815a51874a60f.jpeg)
这个时候装饰器修饰的结果应该等价于:
func = decorate(dec_param)(func)
发挥联想,要使得上式成立,装饰器的实现应该包括三层函数:
- 以装饰器参数为参数的函数,作为整个装饰器运行时环境,此环境以闭包的形式保存传入的装饰器参数 - decorate(desc_param)
- 以修饰函数为参数的函数,以闭包形式保存修饰函数 - wrapper(func)
- 作为结果返回的函数,定义装饰器修饰后的完整功能 - inner()
![2d464c0e9b0d6c46469bc3caa758d9ce.png](https://i-blog.csdnimg.cn/blog_migrate/36c910f4988b5034c0fbb120e138f8d1.jpeg)
上面是带参修饰器修饰无参函数的具体实现,decorate,wrapper函数提供的参数最终都在inner函数中使用,函数inner的实现将替换被修饰函数func的实现。
带参装饰器修饰带参函数
了解了带参装饰器修饰无参函数,我们会很自然联想到带参装饰器修饰带参函数了。这种情况下主要是需要inner函数包含与被修饰函数同样的参数:
![218c5ffe06814d12f5ead3bb32419f24.png](https://i-blog.csdnimg.cn/blog_migrate/73222e33f91e2a9cca9d8163233c6ae9.jpeg)
运行结果为:
I am a decorator: Before func.
This is func. hello
I am a decorator: After func.
基于前面几种情形的分析,我们可以很容易得到等效表达式为:
func = decorate(dec_param)(func)(func_param)
func('hello') =>decorate('I am a decorate')(func)('hello')
装饰器叠加
经过装饰器修饰的结果依然是个函数,因此,我们可以对结果进行二次修饰,也就是装饰器的叠加使用。
![e54b954b23a801acb74011acb9c3e7cf.png](https://i-blog.csdnimg.cn/blog_migrate/a65c7701eb082d4e1d5c77ff20d3cc89.jpeg)
如果大家前面的知识已经完全掌握,应该能得出这种情况的等效结果,需要注意的是越靠近函数的装饰器越早执行,也就是函数func先经过decorate1修饰,再经过decorate2修饰。
等效结果为:
func = decorate2(dec_param2)(decorate1(dec_param1)(func))
func('test') => decorate2('hello')(decorate1('world')(func))('test')
运行结果为:
Decorate 2 start: hello
Decorate 1 start: world
Func executed:test
Decorate 1 end: world
Decorate 2 end: hello
至此,我们已解开了函数装饰器的神秘面纱,装饰器借助一个'@'符号隐式地实现了上述过程。看起来装饰器的各种情形都已经分析过,是不是我们已经完全掌握了装饰器的秘密?等等,对象也可以表现为函数的行为 - 可调用对象,装饰器在对象上也可以发挥一技之长,具体内容在下一篇文章(Python实验室 - 类装饰器)我们再进行分析。
P.S.
- 如果希望装饰器运用在不定参数个数的函数上,并且不太关注函数参数本身的内容,我们可以定义函数为inner(*args, **kwargs)的形式,对参数进行打包和解包,这样,任何函数都可以被该装饰器修饰。
- 调试过程中可能会暴露装饰器替换函数的信息,如果想更好地隐藏此类信息,可以借助于库functools.
![2f1c36217eeb35f9120e7a269d7d02fc.png](https://i-blog.csdnimg.cn/blog_migrate/b14df924e98281a14ca22284ab0a7b59.jpeg)