關(guān)于數(shù)據(jù)型描述器（data descriptor）與實(shí)例屬性的優(yōu)先級問題

這里的官方文檔描述了在形如a.b的過程中都發(fā)生了什么：

首先會嘗試a.__dict__['b']，然后如果沒找到，則type(a).__dict__['b']，再沒找到則順著mro順序逐個(gè)嘗試，直到找到未知。且在找到之后查看這里的b是否定義有描述器相關(guān)的方法__get__ / __set__，如果有的話，則用描述器相關(guān)方法來取代默認(rèn)行為。

有下面這樣一個(gè)簡單例子：

class Descri(object):
    def __get__(self, obj, type=None):
        print("call get")
    
    def __set__(self, obj, value):
        print("call set")

class A(object):
    x = Descri()

a = A()
a.__dict__['x'] = 1

在最后一行執(zhí)行完畢之后，我們獲取a.x。
按照前面說的查找順序，應(yīng)該直接在實(shí)例a的__dict__中就能夠找到x屬性，且其等于1并且沒有定義任何的特殊方法，那么按照查找優(yōu)先級來看應(yīng)該直接返回1，而且不應(yīng)該繼續(xù)查找任何的type(a).__dict__才對。但是實(shí)際卻不是這樣，實(shí)際上依然調(diào)用了Descri.__get__方法。
請問這是為什么？

回答

編輯回答

孤島

先說下描述符的分類：

數(shù)據(jù)描述符
至少實(shí)現(xiàn)了__set__和__get__
非數(shù)據(jù)描述符
只實(shí)現(xiàn)了__get__

再說下描述符的訪問優(yōu)先級：
類.屬性 > 數(shù)據(jù)描述符 > 對象.屬性 > 非數(shù)據(jù)描述符

當(dāng)你用a.__dict__['x'] = 1，會向a的名稱空間寫入{'x': 1}。但是當(dāng)你用a.x訪問時(shí)，由于你實(shí)現(xiàn)的是數(shù)據(jù)描述符，優(yōu)先級高于對象.屬性，此時(shí)會執(zhí)行type(a).__dict__['x'].__get__(a,type(a))，而不是a.__dict__['x']。

如果你希望執(zhí)行a.x時(shí)，返回a.__dict__['x']。把上面的__set__注釋掉就好了。因?yàn)榇藭r(shí)實(shí)現(xiàn)的是非數(shù)據(jù)描述法，優(yōu)先級小于對象.屬性。
希望對你有幫助！

2017年10月14日 20:54

編輯回答

愛礙唉

謝邀，a.x 在實(shí)例屬性的變量空間就命中了，因此不會到上級的類的變量空間再查找了。在我這的測試，也并沒有調(diào)用 Descri.__get__:

圖片描述

本地的 3.6 版本也是一樣的結(jié)果。

======分割線=====
根據(jù)題主說的在最后一行試試 a.x ，還真是執(zhí)行了 Descri.__get__ 。這種詭異的調(diào)用順序其實(shí)是在文檔里就有的解釋的。

一個(gè)屬性的訪問已被描述符協(xié)議方法重寫對象屬性： __get__()，__set__()，和 __delete__()。如果為對象定義了任何這些方法，則稱其為描述符。

一般情況下（我是說一般情況下），a.x 的查找鏈?zhǔn)牵?a.__dict__['x'] 然后再是 type(a).__dict__['x'] ，若沒找到則繼續(xù)通過 type(a) 的基類查找。

但是但是，如果查找的值其中一個(gè)是定義了描述符方法的對象，那么 Python 會覆蓋這個(gè)默認(rèn)行為轉(zhuǎn)而調(diào)用描述符的方法。這種行為也會因?yàn)檎{(diào)用的不同而稍有不一樣：

如果調(diào)用是對象實(shí)例(題目中的調(diào)用方式)，a.x 則轉(zhuǎn)換為調(diào)用：。type(a).__dict__['x'].__get__(a, type(a))
如果調(diào)用的是類屬性, A.x 則轉(zhuǎn)換為：A.__dict__['x'].__get__(None, A)
其他情況

更多參考可見文檔:https://docs.python.org/3/ref...

2017年5月9日 14:04