浅谈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爬虫入门教程之点点美女图片爬虫代码分享
Sep 02 Python
Python利用ansible分发处理任务
Aug 04 Python
R vs. Python 数据分析中谁与争锋?
Oct 18 Python
TensorFlow实现卷积神经网络CNN
Mar 09 Python
Python基于生成器迭代实现的八皇后问题示例
May 23 Python
Python3.5文件读与写操作经典实例详解
May 01 Python
浅析PyTorch中nn.Module的使用
Aug 18 Python
Python中xml和dict格式转换的示例代码
Nov 07 Python
python__new__内置静态方法使用解析
Jan 07 Python
Python正则re模块使用步骤及原理解析
Aug 18 Python
解决Python3.7.0 SSL低版本导致Pip无法使用问题
Sep 03 Python
解决Python保存文件名太长OSError: [Errno 36] File name too long
May 11 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编程过程中需要了解的this,self,parent的区别
2009/12/30 PHP
php header函数的常用http头设置
2015/06/25 PHP
PHP 读取文本文件内容并分页显示
2016/01/02 PHP
Yii2针对游客、用户防范规则和限制的解决方法分析
2016/10/08 PHP
Laravel学习教程之从入口到输出过程详解
2017/08/27 PHP
PHP MVC框架中类的自动加载机制实例分析
2019/09/18 PHP
常见JS效果之图片减速度滚动实现代码
2011/12/08 Javascript
jquery实现的带缩略图的焦点图片切换(自动播放/响应鼠标动作)
2013/01/23 Javascript
jQuery怎么解析Json字符串(Json格式/Json对象)
2013/08/09 Javascript
JavaScript获取网页表单提交方式的方法
2015/04/02 Javascript
js实现不重复导入的方法
2016/03/02 Javascript
实例讲解JavaScript中的this指向错误解决方法
2016/06/13 Javascript
详解Vue自定义过滤器的实现
2017/01/10 Javascript
Angular2搜索和重置按钮过场动画
2017/05/24 Javascript
jQuery Masonry瀑布流布局神器使用详解
2017/05/25 jQuery
解决vue打包 npm run build-test突然不动了的问题
2020/11/13 Javascript
python中使用序列的方法
2015/08/03 Python
Python实现二叉树结构与进行二叉树遍历的方法详解
2016/05/24 Python
Python采用Django开发自己的博客系统
2020/09/29 Python
Python如何判断数独是否合法
2016/09/08 Python
对python opencv 添加文字 cv2.putText 的各参数介绍
2018/12/05 Python
python和mysql交互操作实例详解【基于pymysql库】
2019/06/04 Python
jupyter notebook 中输出pyecharts图实例
2020/04/23 Python
pytorch sampler对数据进行采样的实现
2019/12/31 Python
解决json中ensure_ascii=False的问题
2020/04/03 Python
Python OrderedDict字典排序方法详解
2020/05/21 Python
推荐一些比较有用的css3新属性
2014/11/11 HTML / CSS
美国马匹用品和骑马配件购物网站:Horse.com
2018/01/08 全球购物
中学运动会广播稿
2014/01/19 职场文书
捐款倡议书怎么写
2014/05/13 职场文书
学校爱心捐款倡议书
2014/05/13 职场文书
计算机应用应届生求职信
2014/07/12 职场文书
低碳环保演讲稿
2014/08/28 职场文书
2014院党委领导班子对照检查材料思想汇报
2014/09/24 职场文书
Python网络编程之ZeroMQ知识总结
2021/04/25 Python
win10键盘驱动怎么修复?Win10键盘驱动修复小技巧
2022/04/06 数码科技