moduł abc — abstrakcyjne podstawowe uogólnienia

Source code: Lib/abc.py


This module provides the infrastructure for defining abstract base classes (ABCs) in Python, as outlined in PEP 3119; see the PEP for why this was added to Python. (See also PEP 3141 and the numbers module regarding a type hierarchy for numbers based on ABCs.)

The collections module has some concrete classes that derive from ABCs; these can, of course, be further derived. In addition, the collections.abc submodule has some ABCs that can be used to test whether a class or instance provides a particular interface, for example, if it is hashable or if it is a mapping.

This module provides the metaclass ABCMeta for defining ABCs and a helper class ABC to alternatively define ABCs through inheritance:

class abc.ABC

A helper class that has ABCMeta as its metaclass. With this class, an abstract base class can be created by simply deriving from ABC avoiding sometimes confusing metaclass usage, for example:

from abc import ABC

class MyABC(ABC):
    pass

Note that the type of ABC is still ABCMeta, therefore inheriting from ABC requires the usual precautions regarding metaclass usage, as multiple inheritance may lead to metaclass conflicts. One may also define an abstract base class by passing the metaclass keyword and using ABCMeta directly, for example:

from abc import ABCMeta

class MyABC(metaclass=ABCMeta):
    pass

Nowe w wersji 3.4.

class abc.ABCMeta

Pośrednie uogólnienie dla definiowania abstrakcyjnych uogólnień podstawowych (w skr. z ang. - ABC - Abstract Base Class).

Używaj tego uogólnienia pośredniego aby utworzyć abstrakcyjne uogólnienie podstawowe (w skr. z ang. ABC). ABC może być wykorzystane do tworzenia następnych uogólnień bezpośrednio, i wtedy działa jako uogólnienie domieszki. Możesz także zarejestrować niezwiązane uogólnienia konkretne (nawet wbudowane uogólnienia) i niezwiązane abstrakcyjne uogólnienia podstawowe jako „sztuczne podrzędne uogólnienia” – te uogólnienia i pochodne po nich będą uznawane za podrzędne uogólnienia rejestrowanego uogólnienia podstawowego abstrakcyjnego przez wbudowane zadanie issubclass(), ale rejestrowanie abstrakcyjnego uogólnienia bazowego nie pokaże się w ich sposobie rozwiązywania sposobów postępowania (w skr. MRO - z ang. - Method Resolution Order) ani też wypełnienia sposobów postępowania określone przez rejestrowanie abstrakcyjnych bazowych uogólnień nie będą wywoływalne (nawet nie przez użycie super()). 1

Uogólnienia stworzone za pomocą pośredniego uogólnienia ABCMeta mają następujący sposób postępowania:

register(subclass)

Zarejestruj podrzędne uogólnienie jako „wirtualne podrzędne uogólnienie” tego uogólnienia abstrakcyjnego podstawowego. Na przykład:

from abc import ABC

class MyABC(ABC):
    pass

MyABC.register(tuple)

assert issubclass(tuple, MyABC)
assert isinstance((), MyABC)

Zmienione w wersji 3.3: Returns the registered subclass, to allow usage as a class decorator.

Zmienione w wersji 3.4: To detect calls to register(), you can use the get_cache_token() function.

Możesz także obejść ten sposób postępowania w abstrakcyjnym bazowym uogólnieniu:

__subclasshook__(subclass)

(Musi być określona jako sposób postępowania uogólnienia.)

Sprawdzi czy podrzędne uogólnienie jest uważane za podrzędne względem tego abstrakcyjnego uogólnienia bazowego. To oznacza, że możesz dostosować zachowanie issubclass, dalej bez konieczności wzywania sposobu postępowania register() w każdym uogólnieniu które chcesz uważać za podrzędne uogólnienie względem tego abstrakcyjnego uogólnienia podstawowego. (Ten sposób postępowania uogólnienia jest wzywany ze sposobu postępowania __subclasscheck__() tego abstrakcyjnego uogólnienia podstawowego.)

Ten sposób postępowania powinien zwrócić Prawdę - z ang. - True, Fałsz - z ang. - False lub niewypełnione - z ang. - NotImplemented. Jeśli zwraca True, podrzędne uogólnienie jest uważanie za podrzędne względem tego abstrakcyjnego uogólnienia podstawowego. Jeśli zwraca Fałsz, podrzędne uogólnienie nie jest uważane za podrzędne względem tego abstrakcyjnego uogólnienia podstawowego, nawet jeśli zwykle byłoby takim. Jeśli zwraca NotImplemented, sprawdzenie podrzędnego uogólnienia jest kontynuowane z typowym mechanizmem.

Dla demonstracji tych pomysłów, popatrz na tę przykładową definicję abstrakcyjnego uogólnienia podstawowego:

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

MyIterable.register(Foo)

The ABC MyIterable defines the standard iterable method, __iter__(), as an abstract method. The implementation given here can still be called from subclasses. The get_iterator() method is also part of the MyIterable abstract base class, but it does not have to be overridden in non-abstract derived classes.

The __subclasshook__() class method defined here says that any class that has an __iter__() method in its __dict__ (or in that of one of its base classes, accessed via the __mro__ list) is considered a MyIterable too.

Finally, the last line makes Foo a virtual subclass of MyIterable, even though it does not define an __iter__() method (it uses the old-style iterable protocol, defined in terms of __len__() and __getitem__()). Note that this will not make get_iterator available as a method of Foo, so it is provided separately.

The abc module also provides the following decorator:

@abc.abstractmethod

Dekorator wskazujący abstrakcyjne sposoby postępowania.

Using this decorator requires that the class’s metaclass is ABCMeta or is derived from it. A class that has a metaclass derived from ABCMeta cannot be instantiated unless all of its abstract methods and properties are overridden. The abstract methods can be called using any of the normal «super» call mechanisms. abstractmethod() may be used to declare abstract methods for properties and descriptors.

Dynamiczne dodawanie abstrakcyjnych sposobów postępowania do uogólnienia, lub próbowanie modyfikacji statusu abstrakcji sposobu postępowania lub uogólnienia gdy już zostanie utworzone nie jest wspierane. Zadanie abstractmethod() dotyczy tylko podrzędnych uogólnień odziedziczonych przy użyciu zwykłego dziedziczenia; „sztucznego podrzędnego uogólnienia” ( - z ang. - „virtual subclasses”) zarejestrowanego za pomocą sposobu postępowania register() należącego do abstrakcyjnego uogólnienia podstawowego ten sposób postępowania nie dotyczy.

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:

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)

In order to correctly interoperate with the abstract base class machinery, the descriptor must identify itself as abstract using __isabstractmethod__. In general, this attribute should be True if any of the methods used to compose the descriptor are abstract. For example, Python’s built-in property does the equivalent of:

class Descriptor:
    ...
    @property
    def __isabstractmethod__(self):
        return any(getattr(f, '__isabstractmethod__', False) for
                   f in (self._fget, self._fset, self._fdel))

Informacja

W przeciwieństwie do abstrakcyjnych sposobów postępowania Javy, te abstrakcyjne sposoby postępowania mogą mieć swoje wypełnienie. To wypełnienie może być wzywane przez mechanizm odwołań do zadania super(), z uogólnienia które przesłania taki sposób postępowania. To może być użyteczne jako punkt końcowy super-wywołania w ramach udogodnienia które używa współpracującego wielokrotnego-dziedziczenia.

The abc module also supports the following legacy decorators:

@abc.abstractclassmethod

Nowe w wersji 3.2.

Niezalecane od wersji 3.3: It is now possible to use classmethod with abstractmethod(), making this decorator redundant.

A subclass of the built-in classmethod(), indicating an abstract classmethod. Otherwise it is similar to abstractmethod().

This special case is deprecated, as the classmethod() decorator is now correctly identified as abstract when applied to an abstract method:

class C(ABC):
    @classmethod
    @abstractmethod
    def my_abstract_classmethod(cls, ...):
        ...
@abc.abstractstaticmethod

Nowe w wersji 3.2.

Niezalecane od wersji 3.3: It is now possible to use staticmethod with abstractmethod(), making this decorator redundant.

A subclass of the built-in staticmethod(), indicating an abstract staticmethod. Otherwise it is similar to abstractmethod().

This special case is deprecated, as the staticmethod() decorator is now correctly identified as abstract when applied to an abstract method:

class C(ABC):
    @staticmethod
    @abstractmethod
    def my_abstract_staticmethod(...):
        ...
@abc.abstractproperty

Niezalecane od wersji 3.3: It is now possible to use property, property.getter(), property.setter() and property.deleter() with abstractmethod(), making this decorator redundant.

Podrzędne uogólnienie wbudowanego zadania property() wskazujące abstrakcyjną właściwość.

This special case is deprecated, as the property() decorator is now correctly identified as abstract when applied to an abstract method:

class C(ABC):
    @property
    @abstractmethod
    def my_abstract_property(self):
        ...

The above example defines a read-only property; you can also define a read-write abstract property by appropriately marking one or more of the underlying methods as abstract:

class C(ABC):
    @property
    def x(self):
        ...

    @x.setter
    @abstractmethod
    def x(self, val):
        ...

If only some components are abstract, only those components need to be updated to create a concrete property in a subclass:

class D(C):
    @C.x.setter
    def x(self, val):
        ...

The abc module also provides the following functions:

abc.get_cache_token()

Returns the current abstract base class cache token.

The token is an opaque object (that supports equality testing) identifying the current version of the abstract base class cache for virtual subclasses. The token changes with every call to ABCMeta.register() on any ABC.

Nowe w wersji 3.4.

Przypisy

1

Programiści C++ powinni zauważyć, że koncepcja wirtualnego uogólnienia podstawowego z języka pytonowskiego nie jest tożsame z tym z C++»a.