前面我们通过几篇文章介绍了关于高阶函数中装饰器的内容,我们已经能够实现对函数的动态增强,在遵从开闭原则的基础上,动态提高代码的可复用性。如果对装饰器的基础不太了解,可以回看前面几篇文章。
装饰器的引入带了极大的便利,但是,有一个小小的缺陷,可能对函数的使用者带来不便,也就是原函数的元数据会丢失,毕竟函数对象已经发生了变更。
此外,如果函数调用方写了一些依赖函数元数据的操作,就不是小小的不便了,而是可能是大大的bug了。
本文的主要内容有:
1、函数对象的主要元数据
2、装饰器导致的元数据丢失
3、修复函数元数据问题的3种方法
函数对象的主要元数据关于函数对象的元数据的内容,之前也有介绍过,这里通过代码,简单回顾一下。
执行结果:
通常情况下,更常用的可能是__doc__,因为我们要使用一个函数,还是需要看一下函数的docstring(如果有的话……)。
这里,就不再展开了,可以稍作了解就可以了。
装饰器导致的元数据丢失其实,使用装饰器会导致函数的元数据丢失,应该比较好理解。
毕竟,虽然函数名还是同样的名字,但是与这个名称绑定的函数对象,已经是另一个新的对象了。
以代码为例:
执行结果:
执行装饰的那一行代码,或者对应的@装饰器名的语法糖,就会导致函数对象发生变更。
这个问题的更加准确的描述是,并不是原函数对象的元数据丢失了,只是函数对象本身变了,通过新的函数对象不可能获取到原函数对象的元数据。
所以,从研发的视角来看,这个不应该叫bug,应该是新需求:
怎么把装饰器装饰的原函数的元数据添加到新函数对象中。
修复函数元数据问题的3种方法其实这个需求比较简单,最简单的方式是,我们直接把对应的元数据原样存下来就好了,所以,这就有了第一种简单粗暴的方法。
方法1:
执行结果:
简单粗暴,想保留哪个元数据,就保留哪个。
但是,有点麻烦,这种方法意味着,我们每次创建一个装饰器,都要写这么几行没有营养的重复代码……
基于尽量能够偷懒的原则,有了后面两种方法。
方法2:
我们开始使用functools模块中的update_wrapper()来来完成这个需求。
首先,我们来看下update_wrapper()的定义:
从定义中可以看到,本质上还是进行遍历,从原函数对象进行getattr(),然后对装饰器内部函数进行setattr()。
接下来,我们通过update_wrapper()函数来实现:
修改的代码只有这里:
执行结果也是相同的,这里就不贴图了。
方法3:
同样是通过functools模块,但是,不再是调用函数。我们经常说,“只有魔法才能打败魔法”,装饰器引发的问题,我们还是通过装饰器来解决吧。
直接看代码:
执行结果:
需要说明的是,之所以__default__属性没有同步保存,是由于不管是update_wrapper()函数还是wraps()函数,都有一个默认的参数:assigned:
如果有需要保存的其他元数据,只需要自行指定这个参数即可。
总结本文简单回顾了函数对象中主要的元数据(本质上就是对象中的属性),然后正视了装饰器的引入所导致的函数对象元数据丢失同步的问题。最后,通过3个方法实现了装饰器内部函数与原始函数的元数据同步的需求。
感谢您的拨冗阅读,希望对您有所帮助!