
有朋友说看到《Python CookBook》的装饰器部分有些迷糊,究其原因是没有清晰地理解Python装饰器是什么,能干什么。于是有了本文。看此文时,从头到尾跟着思路走,应该会对Python装饰器有更明白深刻的认识。新手不要跳读,新手不要跳读,新手不要跳读。
本文假定你已经明白了Python中什么叫做函数,变量的作用域、解析规则及生存周期。阿驹还是简单阐述一下:
- 作用域: 变量起作用的范围, 也称之为命名空间。以方法、类、函数、模块、包、Python内置环境(当前Python解释器的Python Path里所包含的)这几个的程序结构为单元,以
大结构包含小结构,外层包含内层的方式,把变量放置在这样一个个的空间中,一个程序结构单元就对应一个作用域(命名空间)。每个变量,不加global和nonlocal关键字时,只属于声明该变量的这层作用域。 - 变量解析规则: 根据上述可知,作用域是可以相互独立,也可以是相互嵌套存在的。而变量的解析,是从自身所在的作用域出发,逐层往上寻找。并不能去查找和自己独立并列的作用域。
- 变量生存周期:变量随着它所在的程序结构单元(方法、类、函数、模块、包)的调用而生,随着调用结束而消。调用开始前和结束后试图操作该作用域内的变量,都将出错。
一定要深刻理解以上三点。一定要深刻理解以上三点。一定要深刻理解以上三点。
在正式讲解装饰器之前解释上面三个概念的原因是装饰器就是根据这三个概念玩的花样。也是《Python之禅》中最后一句话“Namespaces are one honking great idea – let’s do more of those!”的一个具体体现。
Python函数的特点
- 是对象,与其他对象无异,具有属性,可以作为参数传递、返回等
- 函数里可以再声明函数(嵌套)
函数闭包
一个来自于Scheme的概念,被诸多函数式编程语言实现。也许你听说过装饰器是基于闭包实现的,那么闭包的本质是什么呢?我们先不对闭包下定义。(翠花儿,上代码!)
1 |
def (): |
仔细看上述代码。在inner中使用变量y时,根据解析规则,因为inner自己的作用域中未找到,故而到上层的outer的作用域中查找,打印的两行结果也是正确的。
但是,但是,但是,有一个问题,我们说过变量的生存周期。不是说函数调用结束时,变量就销毁了吗? f = outer() 执行完时按理说x, y, z及内部的inner函数都应当被销毁了呀?!你也许会想,调用结束时把inner返回给了f呀,当然能执行。思考一个问题,f 是 inner 吗?换个问法,这里等号赋值,是把inner的引用传递给了f吗?f 不是 inner ,因为inner只包含其def声明开始,函数体结束为止的内容,其作用域中只有a,b两个变量,在我们调用f时,却正确打印出了outer作用域中的变量。
似乎,f 是 inner 加上 y 的合体。对了,这就引出了闭包的概念,f是一个闭包。下面来给闭包概念做个确切的表述。
嵌套定义在非全局作用域中的函数,当它的外部函数被调用就会生成一个闭包,闭包中包含了这个子函数本身的代码与其依赖的外部变量的引用。
注:Python的一个py文件就是一个模块,就是一个全局作用域。闭包不是这个子函数, 而是这个子程序与其依赖的外部变量构成的整体。这个整体构成了一个新的封闭的作用域,所以叫闭包。上例中,inner子程序并没依赖外部的x和z,所以这个闭包中不包含x,z。也可以把闭包当做一个新的函数来对待,不过这个新函数的逻辑代码还是原来的子函数代码,但其作用域,却包含了原子函数的变量和其依赖的外部变量。
另外,每次调用外部函数,其内部函数都会被重新定义,就会生成一个新的闭包。 这是同一个装饰器可以作用于不同的函数的基础。如下例,其本质不是分别传递参数1,2给inner,而是生成了两个能打印各自数字的闭包。
1 |
def (x): |
“纯手工”装饰器
在上例中,我们给outer函数传递的参数是一个整数,然后对这个整数进行了处理(某种装饰和加强,虽然这里只是print了一下)。如果我们传递的是一个函数呢?那它就成了装饰器!我们可以在inner内部执行额外的操作,再返回一个闭包。而这个返回的闭包,就是原函数被装饰后的版本(代替加强版)。装饰器的本质就是函数闭包,或者说利用了函数闭包的特性。
1 |
def (function): |
上例就是纯手工实现的一个最简单的装饰器。装饰器函数outer并没有修改被装饰函数wait_for_deco,但我们调用被装饰后的decorated函数闭包却能够得到原函数的加强版结果,还能进行额外的操作。
为了让返回的闭包函数看起来就像是原函数的加强版,我们只需要像下面这么做。
1 |
wait_for_deco = outer(wait_for_deco) |
为了简化代码,Python为我们提供了装饰符@,只需要在wait_for_deco上面加上@outer就可以了。实际上装饰符@就仅仅是帮我们自动地把返回的闭包函数名字替换为原函数的名字。 使返回后的新函数(闭包)看起来就是原函数,不过是加强了的。
1 |
# outer 函数不变 |
以上,装饰器的来龙去脉就讲清楚了。但是它太简单了,被装饰的函数没有参数,装饰器也没有参数。接下来就是对装饰器进行扩展。比如写出能接受任何函数的装饰器,以及装饰器本身可以带参数,以及用类作装饰器,还有装饰器的实际应用。
支持带参数的函数
刚才我们提到,装饰器最终返回的是一个闭包,而这个闭包可以看做一个函数,它是原函数的加强版。即是,调用原函数,变成了调用这个被装饰后的闭包。那么原函数的参数如果能够按原样传递给这个闭包函数的话,那么在装饰器中我们应该在其内部函数的定义中按原函数的格式写上参数。这样调用这个闭包时就可以按原来的样子传递参数了。
1 |
# 例如为下面的函数写一个装饰器,应该在内部的wapper中按原样传递参数 |
按照上面这种写法虽然可以传参了但有个缺陷,参数个数不确定的函数就没法使用这个装饰器了。比如,原函数有x, y, z三个参数,也想有把结果放大两倍的装饰器呢?能写出通用装饰器吗?能。
1 |
def decorator(func): |
现在我们可以让装饰器装饰任何形式传参的函数了。而以上两个被装饰的原函数也可以根据任意参数的匹配来简化为一个函数,不属于本文探讨的内容了。*args, **kwargs 的具体使用方法和原理,这是Python基础内容,不明白的可以看《Python学习手册》作用域和参数那一章。
装饰器带参数
前文中讲解了,装饰符@只是帮我们把返回的闭包名字替换为了和原函数一样的名字。像下面这种操作:
1 |
after_decorated = decorator(origin_func) |
我们只需要记住一点,最终装饰器需要返回一个可调用的对象(闭包函数),我们才能把原函数作为第一个参数传进去。而要装饰器支持参数,类似于下面这样:
1 |
@decorator(args) |
按照我们上面讲的@的作用,解释器会把上面这个带参数的装饰器像下面这样执行:
1 |
wait_for_deco = decorator(args)(x, y) |
聪明的你已经想到了,decrator(args)返回的是最终需要的装饰器就好了。所以,带参数的装饰器就需要写成下面这样:
1 |
def decorator(name): |




近期评论