判斷繼承關(guān)系

通過(guò)內(nèi)建方法 isinstance(object, classinfo) 可以判斷一個(gè)對(duì)象是否是某個(gè)類(lèi)的實(shí)例。這個(gè)關(guān)系可以是直接，間接或抽象。

實(shí)例的檢查是允許重載的，可見(jiàn)文檔customizing-instance-and-subclass-checks 。根據(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)行檢測(cè)時(shí)，會(huì)優(yōu)先檢查是否存在 C.__instancecheck__ ，如果存在則調(diào)用 C.__instancecheck__(x) ，返回的結(jié)果便是實(shí)例檢測(cè)的結(jié)果，默認(rèn)的判斷方式就沒(méi)有了。

這種方式有助于我們來(lái)檢查鴨子類(lèi)型，我用代碼測(cè)了一下。

class Sizeable(object):  def __instancecheck__(cls, instance):    print("__instancecheck__ call")    return hasattr(instance, "__len__")class B(object):  passb = B()print(isinstance(b, Sizeable)) # output:False

只打印了 False，并且 __instancecheck__ 沒(méi)有調(diào)用。 這是怎么回事。

沒(méi)有運(yùn)行的 __instancecheck__

可見(jiàn)文檔寫(xiě)得并不清楚，為了找出問(wèn)題，我們從 isinstance 源碼開(kāi)始進(jìn)行跟蹤。

[abstract.c]intPyObject_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 這是一種快速匹配的方式，等價(jià)于 type(inst) is cls ，這種快速的方式匹配成功的話，也不會(huì)去檢查 __instancecheck__ 。所以文檔中的優(yōu)先檢查是否存在 C.__instancecheck__ 有誤。繼續(xù)向下看源碼：

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

展開(kāi)宏 PyType_CheckExact :

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

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

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

是從 __mro__ 繼承順序來(lái)判斷的。回到 PyObject_IsInstance 函數(shù)往下看：

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