深入理解 Python 中的抽象类

前言

在Python中,抽象类是一种重要的概念,日常用法对于一个经常使用Python的人来说并不陌生,这里我们不说基础使用,聊一聊抽象类的特殊机制。

抽象类

灵活的子类化机制

常见的方式通过继承基类来创建自类。当然灵活并不是指这常见的方式。我们看下面的例子:

在鸭子类型中提到是不会使用isinstance()来判断类型的,因为这与鸭子类型理念不同。但出现抽象类后,isinstance()派上用场了。

我们先看看个案例,

ruby 复制代码
class StringList:
    def __init__(self, strings):
        self.strings = strings
​
    def read(self):
        return ''.join(self.strings)
​
    def __iter__(self):
        for s in self.strings:
            yield s
​
print(isinstance(StringList('a'), Iterable))  # True

结果返回True,是不是很诧异,StringList这个类并没有继承Iterable,为啥会是Iterable类型呢?翻开Iterable的源码一探究竟

python 复制代码
def _check_methods(C, *methods):
    mro = C.__mro__
    for method in methods:
        for B in mro:
            if method in B.__dict__:
                if B.__dict__[method] is None:
                    return NotImplemented
                break
        else:
            return NotImplemented
    return True
  
class Iterable(metaclass=ABCMeta):
​
    ......
​
    @classmethod
    def __subclasshook__(cls, C):
        if cls is Iterable:
            return _check_methods(C, "__iter__")
        return NotImplemented

方法 __subclasshook__ 用于判断一个类是否为另一个类的子类。

具体来说,当一个类调用另一个类的 issubclass() 方法时,如果第一个类没有直接继承第二个类,Python 解释器会按照该类的方法解析顺序(Method Resolution Order, MRO)依次查找所有可能的基类,以确定是否存在与第二个类匹配的基类。

__subclasshook__ 方法会在这个过程中被调用,它的参数 C 表示待检查的类。该方法会遍历 C 的方法解析顺序,检查其中是否有任何基类拥有一个名为 __iter__ 的属性(即检查 __iter__ 是否在基类的 __dict__ 属性中),如果有则返回 True,表示 C 是基类的子类;否则返回 False,表示不是。

在 Python 中,C.__mro__ 是用于获取类 C 的方法解析顺序(Method Resolution Order, MRO)的属性。

方法解析顺序定义了 Python 在查找方法和属性时的顺序,它是基于类的继承关系确定的。在 Python 中,采用 C3 线性化算法来计算方法解析顺序,确保在多重继承的情况下能够准确地确定方法的调用顺序。

通过访问 C.__mro__ 属性,可以获得一个元组,其中包含了类 C 及其所有基类的顺序。这个顺序是根据 C3 算法计算得出的,并且保证了在多重继承的情况下,无论调用哪个基类的方法,都能够按照一致的顺序进行方法解析。

例如,假设有如下的类继承关系:

kotlin 复制代码
class A:
    pass
​
class B(A):
    pass
​
class C(A):
    pass
​
class D(B, C):
    pass

那么对于类 D,通过访问 D.__mro__,可以获取到方法解析顺序。在这个例子中,D.__mro__ 的结果是 (D, B, C, A, object),这表示了方法解析的顺序。

我们也可以按照Iterable逻辑,简单实现一下,便于理解

python 复制代码
from abc import ABC, abstractmethod
​
​
class AbstractClassExample(ABC):
​
    @classmethod
    def __subclasshook__(cls, C):
        if any("do_something" in B.__dict__ for B in C.__mro__):
            return True
        return NotImplemented
​
    @abstractmethod
    def do_something(self):
        pass
      
      
class StringList:
    def __init__(self, strings):
        self.strings = strings
​
    def do_something(self):
        pass
​
​
print(isinstance(StringList('a'), AbstractClassExample))  # True

any() 是一个 Python 内置函数,用于判断可迭代对象中是否存在至少一个为真的元素。

any() 函数接受一个可迭代对象(如列表、元组、集合等),并返回一个布尔值。当可迭代对象中至少存在一个元素为真(非零、非空、非None)时,返回 True;否则,返回 False

总结:这是因为这种灵活的子类化机制,使得isinstance()变得灵活更契合鸭子类型

@abstractmethod装饰器

这个装饰器主要作用是将某个方法标记为抽象方法。如果抽象类的子类没有重写抽象方法,那将无法正常实例化。比如这个案例:

ruby 复制代码
class AbstractClassExample(ABC):
​
    @classmethod
    def __subclasshook__(cls, C):
        if any("do_something" in B.__dict__ for B in C.__mro__):
            return True
        return NotImplemented
​
    @abstractmethod
    def do_something(self):
        pass
​
​
class StringList(AbstractClassExample):
    def __init__(self, strings):
        self.strings = strings
​
​
StringList('a')

StringList虽然继承了AbstractClassExample抽象类,但没有重写抽象方法,实例化StringList对象时会报错TypeError: Can't instantiate abstract class StringList with abstract methods do_something

优势:帮助我们更好的控制子类的继承行为,强制要求重写某些方法

最后

想要使用好抽象类,需要多看一些优秀的开源项目,多加练习,才能体会其中的奥秘。

相关推荐
葬爱家族小阿杰23 分钟前
python执行测试用例,allure报乱码且未成功生成报告
开发语言·python·测试用例
xx155802862xx24 分钟前
Python如何给视频添加音频和字幕
java·python·音视频
酷爱码25 分钟前
Python实现简单音频数据压缩与解压算法
开发语言·python
陪我一起学编程1 小时前
关于nvm与node.js
vue.js·后端·npm·node.js
花果山总钻风1 小时前
SQLAlchemy 中的 func 函数使用指南
python
知识中的海王1 小时前
Python html 库用法详解
开发语言·python
舒一笑1 小时前
基于KubeSphere平台快速搭建单节点向量数据库Milvus
后端
面朝大海,春不暖,花不开1 小时前
使用 Python 正则表达式实现文本替换与电话号码规范化
python·mysql·正则表达式
淘小白_TXB21961 小时前
Python网页自动化Selenium中文文档
python·selenium·自动化·网页自动化
JavaBuild2 小时前
时隔半年,拾笔分享:来自一个大龄程序员的迷茫自问
后端·程序员·创业