浅谈Python中重载isinstance继承关系的问题


Posted in Python onMay 04, 2018

判断继承关系

通过内建方法 isinstance(object, classinfo) 可以判断一个对象是否是某个类的实例。这个关系可以是直接,间接或抽象。

实例的检查是允许重载的,可见文档customizing-instance-and-subclass-checks 。根据 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.

这段话的意思是,当调用 isinstance(x, C) 进行检测时,会优先检查是否存在 C.__instancecheck__ ,如果存在则调用 C.__instancecheck__(x) ,返回的结果便是实例检测的结果,默认的判断方式就没有了。

这种方式有助于我们来检查鸭子类型,我用代码测了一下。

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__ 没有调用。 这是怎么回事。

没有运行的 __instancecheck__

可见文档写得并不清楚,为了找出问题,我们从 isinstance 源码开始进行跟踪。

[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 ,这种快速的方式匹配成功的话,也不会去检查 __instancecheck__ 。所以文档中的优先检查是否存在 C.__instancecheck__ 有误。继续向下看源码:

/* 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 直接构造出来的类,则判断语言成立。除了类声明里指定 metaclass 外基本都是由 type 直接构造的。从测试代码中得知判断成立,进入 recursive_isinstance。但是这个函数里面我却没找到有关 __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__ 继承顺序来判断的。回到 PyObject_IsInstance 函数往下看:

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

这是当 instance(x, C) 第二个参数是元组的情况,里面的处理方式是递归调用 PyObject_IsInstance(inst, item) 。继续往下看:

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);
  // 有回调的话处理回调
  // ...
  return res;
}

取的是 Py_TYPE(self) ,也就是说指定的 metaclass 里面需要定义 __instancecheck__ 。

总结

至此,总结一下要重载 isinstance(x, C) 行为的条件:

  1. x 对象不能是由 C 直接实例化;
  2. C 类指定 metaclass ;
  3. 指定的 metaclass 类中定义了 __instancecheck__ 。

测试代码:

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

文档可能有点老旧了。本次测试的环境是Python3.6。

以上就是本文的全部内容,希望对大家的学习有所帮助,也希望大家多多支持三水点靠木。

Python 相关文章推荐
Python的Django框架中的URL配置与松耦合
Jul 15 Python
python字符串的常用操作方法小结
May 21 Python
Python获取当前路径实现代码
May 08 Python
Python设计模式之中介模式简单示例
Jan 09 Python
Python中多个数组行合并及列合并的方法总结
Apr 12 Python
PyTorch线性回归和逻辑回归实战示例
May 22 Python
python频繁写入文件时提速的方法
Jun 26 Python
pytorch 共享参数的示例
Aug 17 Python
Python while循环使用else语句代码实例
Feb 07 Python
pytorch实现保证每次运行使用的随机数都相同
Feb 20 Python
python对文件的操作方法汇总
Feb 28 Python
Python实现GIF图倒放
Jul 16 Python
对Python 2.7 pandas 中的read_excel详解
May 04 #Python
Python3读取Excel数据存入MySQL的方法
May 04 #Python
详解Django之admin组件的使用和源码剖析
May 04 #Python
Python实现正弦信号的时域波形和频谱图示例【基于matplotlib】
May 04 #Python
使用python3+xlrd解析Excel的实例
May 04 #Python
对python中的xlsxwriter库简单分析
May 04 #Python
使用实现XlsxWriter创建Excel文件并编辑
May 04 #Python
You might like
浅谈PHP 闭包特性在实际应用中的问题
2009/10/30 PHP
Base64在线编码解码实现代码 演示与下载
2011/01/08 PHP
Smarty缓存机制实例详解【三种缓存方式】
2019/07/20 PHP
调用js时ie6和ie7,ff的区别
2009/08/19 Javascript
3款实用的在线JS代码工具(国外)
2012/03/15 Javascript
js变换显示图片的实例
2013/04/16 Javascript
Jquery动态添加及删除页面节点元素示例代码
2014/06/16 Javascript
使用jquery操作session方法分享
2015/01/22 Javascript
JS实现判断碰撞的方法
2015/02/11 Javascript
jQuery图片拖动组件Dropzone用法示例
2017/01/17 Javascript
vue.js从安装到搭建过程详解
2017/03/17 Javascript
Vue.js划分组件的方法
2017/10/29 Javascript
vue2.x+webpack快速搭建前端项目框架详解
2017/11/30 Javascript
微信小程序在地图选择地址并返回经纬度简单示例
2018/12/03 Javascript
JS中数据结构之栈
2019/01/01 Javascript
从0到1搭建element后台框架优化篇(打包优化)
2019/05/12 Javascript
vue中使用腾讯云Im的示例
2020/10/23 Javascript
小程序中手机号识别的示例
2020/12/14 Javascript
python结合selenium获取XX省交通违章数据的实现思路及代码
2016/06/26 Python
解决Scrapy安装错误:Microsoft Visual C++ 14.0 is required...
2017/10/01 Python
简单了解django缓存方式及配置
2019/07/19 Python
TensorFLow 数学运算的示例代码
2020/04/21 Python
Python图像阈值化处理及算法比对实例解析
2020/06/19 Python
python 多线程死锁问题的解决方案
2020/08/25 Python
python3爬虫中引用Queue的实例讲解
2020/11/24 Python
css3新单位vw、vh的使用教程
2018/03/23 HTML / CSS
Gap加拿大官网:Gap Canada
2017/08/24 全球购物
管理部副部长岗位职责范文
2014/03/09 职场文书
秸秆管理实施方案
2014/03/15 职场文书
金融专业毕业生自荐信
2014/06/26 职场文书
2014年政教处工作总结
2014/12/20 职场文书
道德模范事迹材料
2014/12/20 职场文书
先进典型发言材料
2014/12/30 职场文书
会计工作态度自我评价
2015/03/06 职场文书
MySQL中使用or、in与union all在查询命令下的效率对比
2021/05/26 MySQL
【海涛DOTA】D-cup邀请赛NV.cn vs DT.Love
2022/04/01 DOTA