浅谈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生成随机mac地址的方法
Mar 16 Python
把项目从Python2.x移植到Python3.x的经验总结
Apr 20 Python
python的random模块及加权随机算法的python实现方法
Jan 04 Python
Python3 获取一大段文本之间两个关键字之间的内容方法
Oct 11 Python
Python拼接字符串的7种方法总结
Nov 01 Python
使用Python向DataFrame中指定位置添加一列或多列的方法
Jan 29 Python
Python常见数字运算操作实例小结
Mar 22 Python
PyQt5实现从主窗口打开子窗口的方法
Jun 19 Python
详解Python中正则匹配TAB及空格的小技巧
Jul 26 Python
多版本python的pip 升级后, pip2 pip3 与python版本失配解决方法
Sep 11 Python
Python+OpenCV图像处理—— 色彩空间转换
Oct 22 Python
Django框架中模型的用法
Jun 10 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实现登陆验证码(类似条行码状)
2006/10/09 PHP
实用函数9
2007/11/08 PHP
关于PHP 如何用 curl 读取 HTTP chunked 数据
2016/02/26 PHP
PHP经典实用正则表达式小结
2017/05/04 PHP
DEFER怎么用?
2006/07/01 Javascript
js不是基础的基础
2006/12/24 Javascript
IE8 引入跨站数据获取功能说明
2008/07/22 Javascript
javascript游戏开发之《三国志曹操传》零部件开发(二)人物行走的实现
2013/01/23 Javascript
使用jquery实现简单的ajax
2013/07/08 Javascript
javascript 中的事件委托详解
2016/10/25 Javascript
js手机号批量滚动抽奖实现代码
2020/04/17 Javascript
js 颜色选择插件
2017/01/23 Javascript
从零开始学习搭建React脚手架项目
2018/08/23 Javascript
代码分析vue中如何配置less
2018/09/28 Javascript
vue封装一个简单的div框选时间的组件的方法
2019/01/06 Javascript
了解javascript中的Dom操作
2019/05/27 Javascript
Nautil 中使用双向数据绑定的实现
2019/10/02 Javascript
vant-ui AddressEdit地址编辑和van-area的用法说明
2020/11/03 Javascript
微信小程序实现天气预报功能(附源码)
2020/12/10 Javascript
[01:34]2014DOTA2 TI预选赛预选赛 选手比赛房大揭秘!
2014/05/20 DOTA
在Django中同时使用多个配置文件的方法
2015/07/22 Python
简单谈谈Python中的反转字符串问题
2016/10/24 Python
python与C互相调用的方法详解
2017/07/14 Python
pyqt5自定义信号实例解析
2018/01/31 Python
python 批量修改 labelImg 生成的xml文件的方法
2019/09/09 Python
HTML最新标准HTML5总结(必看)
2016/06/13 HTML / CSS
美国的Eastbay旗下的运动款子品牌:Final-Score
2018/01/01 全球购物
Cotton On香港网站:澳洲时装连锁品牌
2018/11/01 全球购物
西班牙购买隐形眼镜、眼镜和太阳镜网站:Lentiamo.es
2020/06/11 全球购物
空字符串(“”)和null的区别
2012/11/13 面试题
介绍一下EJB的分类及其各自的功能及应用
2016/08/23 面试题
幼儿如何来做好自我评价
2013/11/05 职场文书
校园餐饮创业计划书
2014/01/10 职场文书
先进党组织事迹材料
2014/12/26 职场文书
2016新年感言
2015/08/03 职场文书
MySQL限制查询和数据排序介绍
2022/03/25 MySQL