Python 模块:abc

2019-07-26 17:51:29 浏览数 (1)

模块abc提供了在 Python 中定义 抽象基类 (ABC) 的组件,在 PEP 3119 中已有概述。查看 PEP 文档了解为什么需要在 Python 中增加这个模块。(也可查看 PEP 3141 以及 numbers 模块了解基于 ABC 的数字类型继承关系。)

collections 模块中有一些派生自 ABC 的具体类;当然这些类还可以进一步被派生。此外,collections.abc 子模块中有一些 ABC 可被用于测试一个类或实例是否提供特定的接口,例如它是否可哈希或它是否为映射等。

该模块提供了一个元类 ABCMeta,可以用来定义抽象类,另外还提供一个工具类 ABC,可以用它以继承的方式定义抽象基类。

class abc.ABC

一个使用 ABCMeta 作为元类的工具类。抽象基类可以通过从 ABC 派生来简单地创建,这就避免了在某些情况下会令人混淆的元类用法,例如:

代码语言:javascript复制
from abc import ABC


class MyABC(ABC):
    pass

注意 ABC 的类型仍然是 ABCMeta,因此继承 ABC 仍然需要关注元类使用中的注意事项,比如可能会导致元类冲突的多重继承。当然你也可以直接使用 ABCMeta 作为元类来定义抽象基类,例如:

代码语言:javascript复制
from abc import ABCMeta


class MyABC(metaclass=ABCMeta):
    pass

class abc.ABCMeta

用于定义抽象基类(ABC)的元类。

使用该元类以创建抽象基类。抽象基类可以像 mix-in 类一样直接被子类继承。你也可以将不相关的具体类(包括内建类)和抽象基类注册为“抽象子类” —— 这些类以及它们的子类会被内建函数 issubclass() 识别为对应的抽象基类的子类,但是该抽象基类不会出现在其 MRO(Method Resolution Order,方法解析顺序)中,抽象基类中实现的方法也不可调用(即使通过 super() 调用也不行)。

使用 ABCMeta 作为元类创建的类含有如下方法:

register(subclass)

将“子类”注册为该抽象基类的“抽象子类”,例如:

代码语言:javascript复制
from abc import ABC


class MyABC(ABC):
    pass


# noinspection PyUnresolvedReferences
MyABC.register(tuple)
assert issubclass(tuple, MyABC)
assert isinstance((), MyABC)

你也可以在虚基类中重载这个方法。

__subclasshook__(subclass)

(必须定义为类方法。)

检查 subclass 是否是该抽象基类的子类。也就是说对于那些你希望定义为该抽象基类的子类的类,你不用对每个类都调用 register() 方法了,而是可以直接自定义 issubclass 的行为。(这个类方法是在抽象基类的 __subclasscheck__() 方法中调用的。)

该方法必须返回 True, False 或是 NotImplemented。如果返回 True,subclass 就会被认为是这个抽象基类的子类。如果返回 False,无论正常情况是否应该认为是其子类,统一视为不是。如果返回 NotImplemented,子类检查会按照正常机制继续执行。

为了对这些概念做一演示,请看以下定义 ABC 的示例:

代码语言:javascript复制
from abc import ABC, abstractmethod


class Foo:
    def __getitem__(self, index):
        ...

    def __len__(self):
        ...

    def get_iterator(self):
        return iter(self)


class MyIterable(ABC):
    @abstractmethod
    def __iter__(self):
        while False:
            yield None

    def get_iterator(self):
        return self.__iter__()

    @classmethod
    def __subclasshook__(cls, c):
        if cls is MyIterable:
            if any("__iter__" in B.__dict__ for B in c.__mro__):
                return True
        return NotImplemented


# noinspection PyUnresolvedReferences
MyIterable.register(Foo)

ABC MyIterable 定义了标准的迭代方法 __iter__() 作为一个抽象方法。这里给出的实现仍可在子类中被调用。get_iterator() 方法也是 MyIterable 抽象基类的一部分,但它并非必须被非抽象派生类所重载。

在这里定义的__subclasshook__()类方法表示,在其__dict__中有__iter__()方法的任何类(或其基类之一的,通过__mro__列表访问)也被认为是一个 MyIterable 对象。

最后,最后一行使 Foo 称为 MyIterable 的虚子类,尽管它没有定义一个__iter__()方法(它使用了旧式可迭代协议,定义了__len__()方法和__getitem__()方法)。注意,这不会使 get_iterator 作为 Foo 的实例方法可用,因此它是单独提供的。

此外,abc 模块还提供了装饰器:

@abc.abstractmethod

用于声明抽象方法的装饰器。

使用此装饰器要求类的元类是 ABCMeta 或是从该类派生。一个具有派生自 ABCMeta 的元类的类不可以被实例化,除非它全部的抽象方法和特征属性均已被重载。抽象方法可通过任何普通的“super”调用机制来调用。abstractmethod() 可被用于声明特性属性和描述器的抽象方法。

不支持向类动态添加抽象方法,也不支持在创建方法或类时尝试修改其抽象状态。abstractmethod()只影响使用正规继承派生的子类,注册在 ABC's register()方法的虚子类不受影响

When abstractmethod() is applied in combination with other method descriptors, it should be applied as the innermost decorator, as shown in the following usage examples:

当 abstractmethod()与其他方法描述符结合应用时,它应该作为最内部的装饰符应用,如下面的用法示例所示:

代码语言:javascript复制
from abc import ABC, abstractmethod


class C(ABC):
    @abstractmethod
    def my_abstract_method(self):
        ...
    
    @classmethod
    @abstractmethod
    def my_abstract_classmethod(cls):
        ...
    
    @staticmethod
    @abstractmethod
    def my_abstract_staticmethod():
        ...

    @property
    @abstractmethod
    def my_abstract_property(self):
        ...
    
    @my_abstract_property.setter
    @abstractmethod
    def my_abstract_property(self, val):
        ...

    @abstractmethod
    def _get_x(self):
        ...
    
    @abstractmethod
    def _set_x(self, val):
        ...
    x = property(_get_x, _set_x)

为了与抽象基类机械地正确地交互,描述符必须使用__isabstractmethod__将自己标识为抽象。一般来说,如果组成描述符的任何方法都是抽象的,则该属性应该是真,Python 的内置属性相当于下面这个示例:

代码语言:javascript复制
class Descriptor:
    def _fget(self):
        pass
    
    def _fset(self):
        pass
    
    def _fdel(self):
        pass
    
    @property
    def __isabstractmethod__(self):
        return any(getattr(f, '__isabstractmethod__', False) for f in (self._fget, self._fset, self._fdel))

注解:与 Java 抽象方法不同,这些抽象方法可能有一个实现。这个实现可以通过 super()机制从重写它的类调用。这可以作为在使用协作的多重继承框架中的超类调用的终点。

abc 模块还提供了这些函数:

abc.get_cache_token()

返回当前抽象基类的缓存令牌

令牌是一个不透明对象(它支持等式测试),用于标识虚拟子类的抽象基类缓存的当前副本,每次调用 ABCMeta.register()时,任何在 ABC 上的令牌都会发生变化。

0 人点赞