解密Python中的描述符(descriptor)
Python中包含了许多内建的语言特性,它们使得代码简洁且易于理解。这些特性包括列表/集合/字典推导式,属性(property)、以及装饰器(decorator)。对于大部分特性来说,这些“中级”的语言特性有着完善的文档,并且易于学习。
但是这里有个例外,那就是描述符。至少对于我来说,描述符是Python语言核心中困扰我时间最长的一个特性。这里有几点原因如下:
1.有关描述符的官方文档相当难懂,而且没有包含优秀的示例告诉你为什么需要编写描述符(我得为RaymondHettinger辩护一下,他写的其他主题的Python文章和视频对我的帮助还是非常大的)
2.编写描述符的语法显得有些怪异
3.自定义描述符可能是Python中用的最少的特性,因此你很难在开源项目中找到优秀的示例
但是一旦你理解了之后,描述符的确还是有它的应用价值的。这篇文章告诉你描述符可以用来做什么,以及为什么应该引起你的注意。
一句话概括:描述符就是可重用的属性
在这里我要告诉你:从根本上讲,描述符就是可以重复使用的属性。也就是说,描述符可以让你编写这样的代码:
f=Foo() b=f.bar f.bar=c delf.bar
而在解释器执行上述代码时,当发现你试图访问属性(b=f.bar)、对属性赋值(f.bar=c)或者删除一个实例变量的属性(delf.bar)时,就会去调用自定义的方法。
让我们先来解释一下为什么把对函数的调用伪装成对属性的访问是大有好处的。
property——把函数调用伪装成对属性的访问
想象一下你正在编写管理电影信息的代码。你最后写好的Movie类可能看上去是这样的:
classMovie(object): def__init__(self,title,rating,runtime,budget,gross): self.title=title self.rating=rating self.runtime=runtime self.budget=budget self.gross=gross defprofit(self): returnself.gross-self.budget
你开始在项目的其他地方使用这个类,但是之后你意识到:如果不小心给电影打了负分怎么办?你觉得这是错误的行为,希望Movie类可以阻止这个错误。你首先想到的办法是将Movie类修改为这样:
classMovie(object): def__init__(self,title,rating,runtime,budget,gross): self.title=title self.rating=rating self.runtime=runtime self.gross=gross ifbudget<0: raiseValueError("Negativevaluenotallowed:%s"%budget) self.budget=budget defprofit(self): returnself.gross-self.budget
但这行不通。因为其他部分的代码都是直接通过Movie.budget来赋值的——这个新修改的类只会在init方法中捕获错误的数据,但对于已经存在的类实例就无能为力了。如果有人试着运行m.budget=-100,那么谁也没法阻止。作为一个Python程序员同时也是电影迷,你该怎么办?
幸运的是,Python的property解决了这个问题。如果你从未见过property的用法,下面是一个示例:
classMovie(object): def__init__(self,title,rating,runtime,budget,gross): self._budget=None self.title=title self.rating=rating self.runtime=runtime self.gross=gross self.budget=budget @property defbudget(self): returnself._budget @budget.setter defbudget(self,value): ifvalue<0: raiseValueError("Negativevaluenotallowed:%s"%value) self._budget=value defprofit(self): returnself.gross-self.budget m=Movie('Casablanca',97,102,964000,1300000) printm.budget #callsm.budget(),returnsresult try: m.budget=-100 #callsbudget.setter(-100),andraisesValueError exceptValueError: print"Woops.Notallowed" 964000 Woops.Notallowed
我们用@property装饰器指定了一个getter方法,用@budget.setter装饰器指定了一个setter方法。当我们这么做时,每当有人试着访问budget属性,Python就会自动调用相应的getter/setter方法。比方说,当遇到m.budget=value这样的代码时就会自动调用budget.setter。
花点时间来欣赏一下Python这么做是多么的优雅:如果没有property,我们将不得不把所有的实例属性隐藏起来,提供大量显式的类似get_budget和set_budget方法。像这样编写类的话,使用起来就会不断的去调用这些getter/setter方法,这看起来就像臃肿的Java代码一样。更糟的是,如果我们不采用这种编码风格,直接对实例属性进行访问。那么稍后就没法以清晰的方式增加对非负数的条件检查——我们不得不重新创建set_budget方法,然后搜索整个工程中的源代码,将m.budget=value这样的代码替换为m.set_budget(value)。太蛋疼了!!
因此,property让我们将自定义的代码同变量的访问/设定联系在了一起,同时为你的类保持一个简单的访问属性的接口。干得漂亮!
property的不足
对property来说,最大的缺点就是它们不能重复使用。举个例子,假设你想为rating,runtime和gross这些字段也添加非负检查。下面是修改过的新类:
classMovie(object): def__init__(self,title,rating,runtime,budget,gross): self._rating=None self._runtime=None self._budget=None self._gross=None self.title=title self.rating=rating self.runtime=runtime self.gross=gross self.budget=budget #nice @property defbudget(self): returnself._budget @budget.setter defbudget(self,value): ifvalue<0: raiseValueError("Negativevaluenotallowed:%s"%value) self._budget=value #ok @property defrating(self): returnself._rating @rating.setter defrating(self,value): ifvalue<0: raiseValueError("Negativevaluenotallowed:%s"%value) self._rating=value #uhh... @property defruntime(self): returnself._runtime @runtime.setter defruntime(self,value): ifvalue<0: raiseValueError("Negativevaluenotallowed:%s"%value) self._runtime=value #isthisforever? @property defgross(self): returnself._gross @gross.setter defgross(self,value): ifvalue<0: raiseValueError("Negativevaluenotallowed:%s"%value) self._gross=value defprofit(self): returnself.gross-self.budget
可以看到代码增加了不少,但重复的逻辑也出现了不少。虽然property可以让类从外部看起来接口整洁漂亮,但是却做不到内部同样整洁漂亮。
描述符登场(最终的大杀器)
这就是描述符所解决的问题。描述符是property的升级版,允许你为重复的property逻辑编写单独的类来处理。下面的示例展示了描述符是如何工作的(现在还不必担心NonNegative类的实现):
fromweakrefimportWeakKeyDictionary classNonNegative(object): """Adescriptorthatforbidsnegativevalues""" def__init__(self,default): self.default=default self.data=WeakKeyDictionary() def__get__(self,instance,owner): #wegetherewhensomeonecallsx.d,anddisaNonNegativeinstance #instance=x #owner=type(x) returnself.data.get(instance,self.default) def__set__(self,instance,value): #wegetherewhensomeonecallsx.d=val,anddisaNonNegativeinstance #instance=x #value=val ifvalue<0: raiseValueError("Negativevaluenotallowed:%s"%value) self.data[instance]=value classMovie(object): #alwaysputdescriptorsattheclass-level rating=NonNegative(0) runtime=NonNegative(0) budget=NonNegative(0) gross=NonNegative(0) def__init__(self,title,rating,runtime,budget,gross): self.title=title self.rating=rating self.runtime=runtime self.budget=budget self.gross=gross defprofit(self): returnself.gross-self.budget m=Movie('Casablanca',97,102,964000,1300000) printm.budget #callsMovie.budget.__get__(m,Movie) m.rating=100 #callsMovie.budget.__set__(m,100) try: m.rating=-1 #callsMovie.budget.__set__(m,-100) exceptValueError: print"Woops,negativevalue" 964000 Woops,negativevalue
这里引入了一些新的语法,我们一条条的来看:
NonNegative是一个描述符对象,因为它定义了__get__,__set__或__delete__方法。
Movie类现在看起来非常清晰。我们在类的层面上创建了4个描述符,把它们当做普通的实例属性。显然,描述符在这里为我们做非负检查。
访问描述符
当解释器遇到printm.buget时,它就会把budget当作一个带有__get__方法的描述符,调用Movie.budget.__get__方法并将方法的返回值打印出来,而不是直接传递m.budget来打印。这和你访问一个property相似,Python自动调用一个方法,同时返回结果。
__get__接收2个参数:一个是点号左边的实例对象(在这里,就是m.budget中的m),另一个是这个实例的类型(Movie)。在一些Python文档中,Movie被称作描述符的所有者(owner)。如果我们需要访问Movie.budget,Python将会调用Movie.budget.__get__(None,Movie)。可以看到,第一个参数要么是所有者的实例,要么是None。这些输入参数可能看起来很怪,但是这里它们告诉了你描述符属于哪个对象的一部分。当我们看到NonNegative类的实现时这一切就合情合理了。
对描述符赋值
当解释器看到m.rating=100时,Python识别出rating是一个带有set方法的描述符,于是就调用Movie.rating.__set__(m,100)。和__get__一样,__set__的第一个参数是点号左边的类实例(m.rating=100中的m)。第二个参数是所赋的值(100)。
删除描述符
为了说明的完整,这里提一下删除。如果你调用delm.budget,Python就会调用Movie.budget.__delete__(m)。
NonNegative类是如何工作的?
带着前面的困惑,我们终于要揭示NonNegative类是如何工作的了。每个NonNegative的实例都维护着一个字典,其中保存着所有者实例和对应数据的映射关系。当我们调用m.budget时,__get__方法会查找与m相关联的数据,并返回这个结果(如果这个值不存在,则会返回一个默认值)。__set__采用的方式相同,但是这里会包含额外的非负检查。我们使用WeakKeyDictionary来取代普通的字典以防止内存泄露——我们可不想仅仅因为它在描述符的字典中就让一个无用 的实例一直存活着。
使用描述符会有一点别扭。因为它们作用于类的层次上,每一个类实例都共享同一个描述符。这就意味着对不同的实例对象而言,描述符不得不手动地管理不同的状态,同时需要显式的将类实例作为第一个参数准确传递给__get__、__set__以及__delete__方法。
我希望这个例子解释清楚了描述符可以用来做什么——它们提供了一种方法将property的逻辑隔离到单独的类中来处理。如果你发现自己正在不同的property之间重复着相同的逻辑,那么本文也许会成为一个线索供你思考为何用描述符重构代码是值得一试的。
秘诀和陷阱
把描述符放在类的层次上(classlevel)
为了让描述符能够正常工作,它们必须定义在类的层次上。如果你不这么做,那么Python无法自动为你调用__get__和__set__方法。
classBroken(object): y=NonNegative(5) def__init__(self): self.x=NonNegative(0) #NOTagooddescriptor b=Broken() print"Xis%s,Yis%s"%(b.x,b.y) Xis<__main__.NonNegativeobjectat0x10432c250>,Yis5
可以看到,访问类层次上的描述符y可以自动调用__get__。但是访问实例层次上的描述符x只会返回描述符本身,真是魔法一般的存在啊。
确保实例的数据只属于实例本身
你可能会像这样编写NonNegative描述符:
classBrokenNonNegative(object): def__init__(self,default): self.value=default def__get__(self,instance,owner): returnself.value def__set__(self,instance,value): ifvalue<0: raiseValueError("Negativevaluenotallowed:%s"%value) self.value=value classFoo(object): bar=BrokenNonNegative(5) f=Foo() try: f.bar=-1 exceptValueError: print"Caughttheinvalidassignment" Caughttheinvalidassignment
这么做看起来似乎能正常工作。但这里的问题就在于所有Foo的实例都共享相同的bar,这会产生一些令人痛苦的结果:
classFoo(object): bar=BrokenNonNegative(5) f=Foo() g=Foo() print"f.baris%s\ng.baris%s"%(f.bar,g.bar) print"Settingf.barto10" f.bar=10 print"f.baris%s\ng.baris%s"%(f.bar,g.bar) #ouch f.baris5 g.baris5 Settingf.barto10 f.baris10 g.baris10
这就是为什么我们要在NonNegative中使用数据字典的原因。__get__和__set__的第一个参数告诉我们需要关心哪一个实例。NonNegative使用这个参数作为字典的key,为每一个Foo实例单独保存一份数据。
classFoo(object): bar=NonNegative(5) f=Foo() g=Foo() print"f.baris%s\ng.baris%s"%(f.bar,g.bar) print"Settingf.barto10" f.bar=10 print"f.baris%s\ng.baris%s"%(f.bar,g.bar) #better f.baris5 g.baris5 Settingf.barto10 f.baris10 g.baris5
这就是描述符最令人感到别扭的地方(坦白的说,我不理解为什么Python不让你在实例的层次上定义描述符,并且总是需要将实际的处理分发给get和set。这么做行不通一定是有原因的)
注意不可哈希的描述符所有者
NonNegative类使用了一个字典来单独保存专属于实例的数据。这个一般来说是没问题的,除非你用到了不可哈希(unhashable)的对象:
classMoProblems(list): #youcan'tuselistsasdictionarykeys x=NonNegative(5) m=MoProblems() printm.x #wompwomp --------------------------------------------------------------------------- TypeError Traceback(mostrecentcalllast) <ipython-input-8-dd73b177bd8d>in<module>() 3 4m=MoProblems() ---->5printm.x #wompwomp <ipython-input-3-6671804ce5d5>in__get__(self,instance,owner) 9 #instance=x 10 #owner=type(x) --->11 returnself.data.get(instance,self.default) 12 13 def__set__(self,instance,value): TypeError:unhashabletype:'MoProblems'
因为MoProblems的实例(list的子类)是不可哈希的,因此它们不能为MoProblems.x用做数据字典的key。有一些方法可以规避这个问题,但是都不完美。最好的方法可能就是给你的描述符加标签了。
classDescriptor(object): def__init__(self,label): self.label=label def__get__(self,instance,owner): print'__get__',instance,owner returninstance.__dict__.get(self.label) def__set__(self,instance,value): print'__set__' instance.__dict__[self.label]=value classFoo(list): x=Descriptor('x') y=Descriptor('y') f=Foo() f.x=5 printf.x __set__ __get__[]<class'__main__.Foo'> 5
这种方法依赖于Python的方法解析顺序(即,MRO)。我们给Foo中的每个描述符加上一个标签名,名称和我们赋值给描述符的变量名相同,比如x=Descriptor(‘x')。之后,描述符将特定于实例的数据保存在f.__dict__['x']中。这个字典条目通常是当我们请求f.x时Python给出的返回值。然而,由于Foo.x是一个描述符,Python不能正常的使用f.__dict__[‘x'],但是描述符可以安全的在这里存储数据。只是要记住,不要在别的地方也给这个描述符添加标签。
classFoo(object): x=Descriptor('y') f=Foo() f.x=5 printf.x f.y=4 #ohno! printf.x __set__ __get__<__main__.Fooobjectat0x10432c810><class'__main__.Foo'> 5 __get__<__main__.Fooobjectat0x10432c810><class'__main__.Foo'> 4
我不喜欢这种方式,因为这样的代码很脆弱也有很多微妙之处。但这个方法的确很普遍,可以用在不可哈希的所有者类上。DavidBeazley在他的书中用到了这个方法。
在元类中使用带标签的描述符
由于描述符的标签名和赋给它的变量名相同,所以有人使用元类来自动处理这个簿记(bookkeeping)任务。
classDescriptor(object): def__init__(self): #noticewearen'tsettingthelabelhere self.label=None def__get__(self,instance,owner): print'__get__.Label=%s'%self.label returninstance.__dict__.get(self.label,None) def__set__(self,instance,value): print'__set__' instance.__dict__[self.label]=value classDescriptorOwner(type): def__new__(cls,name,bases,attrs): #findalldescriptors,auto-settheirlabels forn,vinattrs.items(): ifisinstance(v,Descriptor): v.label=n returnsuper(DescriptorOwner,cls).__new__(cls,name,bases,attrs) classFoo(object): __metaclass__=DescriptorOwner x=Descriptor() f=Foo() f.x=10 printf.x __set__ __get__.Label=x 10
我不会去解释有关元类的细节——参考文献中DavidBeazley已经在他的文章中解释的很清楚了。需要指出的是元类自动的为描述符添加标签,并且和赋给描述符的变量名字相匹配。
尽管这样解决了描述符的标签和变量名不一致的问题,但是却引入了复杂的元类。虽然我很怀疑,但是你可以自行判断这么做是否值得。
访问描述符的方法
描述符仅仅是类,也许你想要为它们增加一些方法。举个例子,描述符是一个用来回调property的很好的手段。比如我们想要一个类的某个部分的状态发生变化时就立刻通知我们。下面的大部分代码是用来做这个的:
classCallbackProperty(object): """Apropertythatwillalertobserverswhenuponupdates""" def__init__(self,default=None): self.data=WeakKeyDictionary() self.default=default self.callbacks=WeakKeyDictionary() def__get__(self,instance,owner): returnself.data.get(instance,self.default) def__set__(self,instance,value): forcallbackinself.callbacks.get(instance,[]): #alertcallbackfunctionofnewvalue callback(value) self.data[instance]=value defadd_callback(self,instance,callback): """Addanewfunctiontocalleverytimethedescriptorupdates""" #buthowdowegethere?!?! ifinstancenotinself.callbacks: self.callbacks[instance]=[] self.callbacks[instance].append(callback) classBankAccount(object): balance=CallbackProperty(0) deflow_balance_warning(value): ifvalue<100: print"Youarepoor" ba=BankAccount() #willnotwork--tryit #ba.balance.add_callback(ba,low_balance_warning)
这是一个很有吸引力的模式——我们可以自定义回调函数用来响应一个类中的状态变化,而且完全无需修改这个类的代码。这样做可真是替人分忧解难呀。现在,我们所要做的就是调用ba.balance.add_callback(ba,low_balance_warning),以使得每次balance变化时low_balance_warning都会被调用。
但是我们是如何做到的呢?当我们试图访问它们时,描述符总是会调用__get__。就好像add_callback方法是无法触及的一样!其实关键在于利用了一种特殊的情况,即,当从类的层次访问时,__get__方法的第一个参数是None。
classCallbackProperty(object): """Apropertythatwillalertobserverswhenuponupdates""" def__init__(self,default=None): self.data=WeakKeyDictionary() self.default=default self.callbacks=WeakKeyDictionary() def__get__(self,instance,owner): ifinstanceisNone: returnself returnself.data.get(instance,self.default) def__set__(self,instance,value): forcallbackinself.callbacks.get(instance,[]): #alertcallbackfunctionofnewvalue callback(value) self.data[instance]=value defadd_callback(self,instance,callback): """Addanewfunctiontocalleverytimethedescriptorwithininstanceupdates""" ifinstancenotinself.callbacks: self.callbacks[instance]=[] self.callbacks[instance].append(callback) classBankAccount(object): balance=CallbackProperty(0) deflow_balance_warning(value): ifvalue<100: print"Youarenowpoor" ba=BankAccount() BankAccount.balance.add_callback(ba,low_balance_warning) ba.balance=5000 print"Balanceis%s"%ba.balance ba.balance=99 print"Balanceis%s"%ba.balance Balanceis5000 Youarenowpoor Balanceis99
结语
希望你现在对描述符是什么和它们的适用场景有了一个认识。前进吧骚年!