国产xxxx99真实实拍_久久不雅视频_高清韩国a级特黄毛片_嗯老师别我我受不了了小说

資訊專欄INFORMATION COLUMN

深度剖析isinstance的檢查機制

Cheriselalala / 3500人閱讀

摘要:的源碼在文件中這是一種快速匹配的方式,等價于,這種快速的方式僅當(dāng)匹配成功,并不會去優(yōu)先檢查,所以文檔中有誤。除了類聲明里指定外基本都是由直接構(gòu)造的。繼續(xù)往下看顯然,這邊才是獲得的地方,為了讓檢查流程走到這里,定義的類要指明。

起步

通過內(nèi)建方法 isinstance(object, classinfo) 可以判斷一個對象是否是某個類的實例。但你是否想過關(guān)于鴨子協(xié)議的對象是如何進(jìn)行判斷的呢? 比如 list 類的父類是繼 object 類的,但通過 isinstance([], typing.Iterable) 返回的卻是真,難道 list 是可迭代的子類?學(xué)過Python的面向?qū)ο髴?yīng)該知道,list的基類是object的。

根據(jù) PEP 3119 的描述中得知實例的檢查是允許重載的:

The primary mechanism proposed here is to allow overloading the built-in functions isinstance() and issubclass(). The overloading works as follows: The call isinstance(x, C) first checks whether C.__instancecheck__ exists, and if so, calls C.__instancecheck__(x) instead of its normal implementation.

這段話的意思是,當(dāng)調(diào)用 isinstance(x, C) 進(jìn)行檢測時,會優(yōu)先檢查是否存在 C.__instancecheck__ ,如果存在則調(diào)用 C.__instancecheck__(x) ,返回的結(jié)果便是實例檢測的結(jié)果,默認(rèn)的判斷方式就沒有了。

這種方式有助于我們來檢查鴨子類型,我用代碼測了一下。

class Sizeable(object):
    def __instancecheck__(cls, instance):
        print("__instancecheck__ call")
        return hasattr(instance, "__len__")

class B(object):
    pass

b = B()
print(isinstance(b, Sizeable)) # output:False

只打印了 False,并且 __instancecheck__ 沒有調(diào)用。 這是怎么回事。可見文檔描述并不清楚。打破砂鍋問到底的原則我從源碼中觀察 isinstance 的檢測過程。

從源碼來看 isinstance 的檢測過程

這部分的內(nèi)容可能比較難,如果讀者覺得閱讀有難度可以跳過,直接看結(jié)論。isinstance 的源碼在 abstract.c 文件中:

[abstract.c]
int
PyObject_IsInstance(PyObject *inst, PyObject *cls)
{
    _Py_IDENTIFIER(__instancecheck__);
    PyObject *checker;

    /* Quick test for an exact match */
    if (Py_TYPE(inst) == (PyTypeObject *)cls)
        return 1;
    ....
}

Py_TYPE(inst) == (PyTypeObject *)cls 這是一種快速匹配的方式,等價于 type(inst) is cls ,這種快速的方式僅當(dāng) inst = cls() 匹配成功,并不會去優(yōu)先檢查 __instancecheck__ ,所以文檔中有誤。繼續(xù)向下看源碼:

    /* We know what type"s __instancecheck__ does. */
    if (PyType_CheckExact(cls)) {
        return recursive_isinstance(inst, cls);
    }

展開宏 PyType_CheckExact :

[object.h]
#define PyType_CheckExact(op) (Py_TYPE(op) == &PyType_Type)

也就是說 cls 是由 type 直接構(gòu)造出來的類,則判斷語言成立。除了類聲明里指定 metaclass 外基本都是由 type 直接構(gòu)造的。從測試代碼中得知判斷成立,進(jìn)入 recursive_isinstance。但是這個函數(shù)里面我卻沒找到有關(guān) __instancecheck__ 的代碼,recursive_isinstance 的判斷邏輯大致是:

def recursive_isinstance(inst, cls):
    return pyType_IsSubtype(inst, cls)

def pyType_IsSubtype(a, b):
    for mro in a.__class__.__mro__:
        if mro is b:
            return True
    return False

是從 __mro__ 繼承順序來判斷的,__mro__ 是一個元組,它表示類的繼承順序,這個元組的中類的順序也決定了屬性查找順序。回到 PyObject_IsInstance 函數(shù)往下看:

if (PyTuple_Check(cls)) {
    ...
}

這是當(dāng) instance(x, C) 第二個參數(shù)是元組的情況,里面的處理方式是遞歸調(diào)用 PyObject_IsInstance(inst, item) 。繼續(xù)往下看:

checker = _PyObject_LookupSpecial(cls, &PyId___instancecheck__);
if (checker != NULL) {
    res = PyObject_CallFunctionObjArgs(checker, inst, NULL);
    ok = PyObject_IsTrue(res);
    return ok;
}

顯然,這邊才是獲得 __instancecheck__ 的地方,為了讓檢查流程走到這里,定義的類要指明 metaclass 。剩下就是跟蹤下 _PyObject_LookupSpecial 就可以了:

[typeobject.c]
PyObject *
_PyObject_LookupSpecial(PyObject *self, _Py_Identifier *attrid)
{
    PyObject *res;

    res = _PyType_LookupId(Py_TYPE(self), attrid);
    // 有回調(diào)的話處理回調(diào)
    // ...
    return res;
}

取的是 Py_TYPE(self) ,也就是說指定的 metaclass 里面需要定義 __instancecheck__ ,獲得該屬性后,通過 PyObject_CallFunctionObjArgs 調(diào)用,調(diào)用的內(nèi)容才是用戶自定義的重載方法。

檢查機制總結(jié)

至此,isinstance 的檢測過程基本清晰了,為了便于理解,也得益于python很強的自解釋能力,我用python代碼來簡化 isinstance 的過程:

def _isinstance(x, C):
    # 快速匹配
    if type(x) is C:
        return True

    # 如果是由元類 type 直接構(gòu)造的類
    if type(C) is type:
        return C in x.__class__.__mro__

    # 如果第二個參數(shù)是元組, 則遞歸調(diào)用
    if type(C) is tuple:
        for item in C:
            r = _isinstance(x, item)
            if r:
                return r

    # 用戶自定義檢測規(guī)則
    if hasattr(C, "__instancecheck__"):
        return C.__instancecheck__(x)

    # 默認(rèn)行為
    return C in x.__class__.__mro__

判斷的過程中有5個步驟,而用戶自定義的 __instancecheck__ 則比較靠后,這個檢測過程主要還是以默認(rèn)的行為來進(jìn)行的,用戶行為并不優(yōu)先。

重載 isinstance(x, C)

因此,要想重載 isinstance(x, C) ,讓用戶能自定義判斷結(jié)果,就需要滿足以下條件:

x 對象不能是由 C 直接實例化;

C 類指定 metaclass ;

指定的 metaclass 類中定義了 __instancecheck__

滿足這些條件后,比如對鴨子協(xié)議如何判斷就比較清楚了:

class MetaSizeable(type):
    def __instancecheck__(cls, instance):
        print("__instancecheck__ call")
        return hasattr(instance, "__len__")

class Sizeable(metaclass=MetaSizeable):
    pass

class B(object):
    pass

b = B()
print(isinstance(b, Sizeable))  # output: False
print(isinstance([], Sizeable)) # output: True
參考閱讀

customizing-instance-and-subclass-checks

class.__mro__

文章版權(quán)歸作者所有,未經(jīng)允許請勿轉(zhuǎn)載,若此文章存在違規(guī)行為,您可以聯(lián)系管理員刪除。

轉(zhuǎn)載請注明本文地址:http://specialneedsforspecialkids.com/yun/41672.html

相關(guān)文章

  • 深度剖析Spring Boot自動裝配機制實現(xiàn)原理

    摘要:所以,所謂的自動裝配,實際上就是如何自動將裝載到容器中來。實際上在版本中,模塊驅(qū)動注解的出現(xiàn),已經(jīng)有了一定的自動裝配的雛形,而真正能夠?qū)崿F(xiàn)這一機制,還是在版本中,條件注解的出現(xiàn)。,我們來看一下的自動裝配是怎么一回事。在前面的分析中,Spring Framework一直在致力于解決一個問題,就是如何讓bean的管理變得更簡單,如何讓開發(fā)者盡可能的少關(guān)注一些基礎(chǔ)化的bean的配置,從而實現(xiàn)自動裝...

    不知名網(wǎng)友 評論0 收藏0
  • python基礎(chǔ)教程:類繼承

    摘要:類的繼承,說明了不同類直接的關(guān)系,派生類復(fù)用了基類的代碼同時也繼承了基類的屬性和方法。派生類的實例化會創(chuàng)建該類的一個新實例。派生類既可以單獨繼承一個基類,也可以多重繼承多個基類。 面向?qū)ο笳Z言的一個特性就是類的繼承。繼承的關(guān)系跟人類繁衍的關(guān)系相似,被繼承的類稱為基類(也叫做父類),繼承而得的類叫派生類(也叫子類),這種關(guān)系就像人類的父子關(guān)系。 showImg(https://segme...

    XFLY 評論0 收藏0
  • 《Java編程思想》筆記14.類型信息

    摘要:接口與類型信息關(guān)鍵字的一種重要目標(biāo)就是允許程序員隔離構(gòu)件,進(jìn)而降低耦合性。如果你編寫接口,那么就可以實現(xiàn)這一目標(biāo),但是通過類型信息,這種耦合性還是會傳播出去接口并非是對解耦的一種無懈可擊的保障。 點擊進(jìn)入我的博客 運行時類型信息使得你可以在運行時發(fā)現(xiàn)和使用類型信息,主要有兩種方式: 傳統(tǒng)的RTTI,它假定我們在編譯時已經(jīng)知道了所有的類型; 反射機制,它允許我們在運行時發(fā)現(xiàn)和使用類的...

    Hwg 評論0 收藏0
  • 取之開源,用之開源——深度剖析阿里巴巴對Apache Flink優(yōu)化與改進(jìn)

    摘要:基于在阿里巴巴搭建的平臺于年正式上線,并從阿里巴巴的搜索和推薦這兩大場景開始實現(xiàn)。在經(jīng)過一番調(diào)研之后,阿里巴巴實時計算認(rèn)為是一個非常適合的選擇。接下來,我們聊聊阿里巴巴在層對又大刀闊斧地進(jìn)行了哪些改進(jìn)。 Apache Flink 概述 Apache Flink(以下簡稱Flink)是誕生于歐洲的一個大數(shù)據(jù)研究項目,原名StratoSphere。該項目是柏林工業(yè)大學(xué)的一個研究性項目,早期...

    YJNldm 評論0 收藏0

發(fā)表評論

0條評論

最新活動
閱讀需要支付1元查看
<