29.7.abc — Abstract Base Classes¶
Source code:Lib/abc.py
This module provides the infrastructure for definingabstract baseclasses (ABCs) in Python, as outlined inPEP 3119;see the PEP for why this was added to Python. (See alsoPEP 3141 and thenumbers module regarding a type hierarchy for numbers based on ABCs.)
Thecollections module has some concrete classes that derive fromABCs; these can, of course, be further derived. In addition thecollections.abc submodule has some ABCs that can be used to test whethera class or instance provides a particular interface, for example, is ithashable or a mapping.
This module provides the following classes:
- class
abc.ABCMeta¶ Metaclass for defining Abstract Base Classes (ABCs).
Use this metaclass to create an ABC. An ABC can be subclassed directly, andthen acts as a mix-in class. You can also register unrelated concreteclasses (even built-in classes) and unrelated ABCs as “virtual subclasses” –these and their descendants will be considered subclasses of the registeringABC by the built-in
issubclass()function, but the registering ABCwon’t show up in their MRO (Method Resolution Order) nor will methodimplementations defined by the registering ABC be callable (not even viasuper()).[1]Classes created with a metaclass of
ABCMetahave the following method:register(subclass)¶Registersubclass as a “virtual subclass” of this ABC. Forexample:
fromabcimportABCMetaclassMyABC(metaclass=ABCMeta):passMyABC.register(tuple)assertissubclass(tuple,MyABC)assertisinstance((),MyABC)
Changed in version 3.3:Returns the registered subclass, to allow usage as a class decorator.
Changed in version 3.4:To detect calls to
register(), you can use theget_cache_token()function.
You can also override this method in an abstract base class:
__subclasshook__(subclass)¶(Must be defined as a class method.)
Check whethersubclass is considered a subclass of this ABC. This meansthat you can customize the behavior of
issubclassfurther without theneed to callregister()on every class you want to consider asubclass of the ABC. (This class method is called from the__subclasscheck__()method of the ABC.)This method should return
True,FalseorNotImplemented. Ifit returnsTrue, thesubclass is considered a subclass of this ABC.If it returnsFalse, thesubclass is not considered a subclass ofthis ABC, even if it would normally be one. If it returnsNotImplemented, the subclass check is continued with the usualmechanism.
For a demonstration of these concepts, look at this example ABC definition:
classFoo:def__getitem__(self,index):...def__len__(self):...defget_iterator(self):returniter(self)classMyIterable(metaclass=ABCMeta):@abstractmethoddef__iter__(self):whileFalse:yieldNonedefget_iterator(self):returnself.__iter__()@classmethoddef__subclasshook__(cls,C):ifclsisMyIterable:ifany("__iter__"inB.__dict__forBinC.__mro__):returnTruereturnNotImplementedMyIterable.register(Foo)
The ABC
MyIterabledefines the standard iterable method,__iter__(), as an abstract method. The implementation givenhere can still be called from subclasses. Theget_iterator()methodis also part of theMyIterableabstract base class, but it does not haveto be overridden in non-abstract derived classes.The
__subclasshook__()class method defined here says that any classthat has an__iter__()method in its__dict__(or in that of one of its base classes, accessedvia the__mro__list) is considered aMyIterabletoo.Finally, the last line makes
Fooa virtual subclass ofMyIterable,even though it does not define an__iter__()method (it usesthe old-style iterable protocol, defined in terms of__len__()and__getitem__()). Note that this will not makeget_iteratoravailable as a method ofFoo, so it is provided separately.
- class
abc.ABC¶ A helper class that has
ABCMetaas its metaclass. With this class,an abstract base class can be created by simply deriving fromABC,avoiding sometimes confusing metaclass usage.Note that the type of
ABCis stillABCMeta, thereforeinheriting fromABCrequires the usual precautions regarding metaclassusage, as multiple inheritance may lead to metaclass conflicts.New in version 3.4.
Theabc module also provides the following decorators:
@abc.abstractmethod¶A decorator indicating abstract methods.
Using this decorator requires that the class’s metaclass is
ABCMetaor is derived from it. A class that has a metaclass derived fromABCMetacannot be instantiated unless all of its abstract methodsand properties are overridden. The abstract methods can be called using anyof the normal ‘super’ call mechanisms.abstractmethod()may be usedto declare abstract methods for properties and descriptors.Dynamically adding abstract methods to a class, or attempting to modify theabstraction status of a method or class once it is created, are notsupported. The
abstractmethod()only affects subclasses derived usingregular inheritance; “virtual subclasses” registered with the ABC’sregister()method are not affected.When
abstractmethod()is applied in combination with other methoddescriptors, it should be applied as the innermost decorator, as shown inthe following usage examples:classC(metaclass=ABCMeta):@abstractmethoddefmy_abstract_method(self,...):...@classmethod@abstractmethoddefmy_abstract_classmethod(cls,...):...@staticmethod@abstractmethoddefmy_abstract_staticmethod(...):...@property@abstractmethoddefmy_abstract_property(self):...@my_abstract_property.setter@abstractmethoddefmy_abstract_property(self,val):...@abstractmethoddef_get_x(self):...@abstractmethoddef_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 beTrueif any of the methods used to compose the descriptor are abstract. Forexample, Python’s built-in property does the equivalent of:classDescriptor:...@propertydef__isabstractmethod__(self):returnany(getattr(f,'__isabstractmethod__',False)forfin(self._fget,self._fset,self._fdel))
Note
Unlike Java abstract methods, these abstractmethods may have an implementation. This implementation can becalled via the
super()mechanism from the class thatoverrides it. This could be useful as an end-point for asuper-call in a framework that uses cooperativemultiple-inheritance.
@abc.abstractclassmethod¶A subclass of the built-in
classmethod(), indicating an abstractclassmethod. Otherwise it is similar toabstractmethod().This special case is deprecated, as the
classmethod()decoratoris now correctly identified as abstract when applied to an abstractmethod:classC(metaclass=ABCMeta):@classmethod@abstractmethoddefmy_abstract_classmethod(cls,...):...
New in version 3.2.
Deprecated since version 3.3:It is now possible to use
classmethodwithabstractmethod(), making this decorator redundant.
@abc.abstractstaticmethod¶A subclass of the built-in
staticmethod(), indicating an abstractstaticmethod. Otherwise it is similar toabstractmethod().This special case is deprecated, as the
staticmethod()decoratoris now correctly identified as abstract when applied to an abstractmethod:classC(metaclass=ABCMeta):@staticmethod@abstractmethoddefmy_abstract_staticmethod(...):...
New in version 3.2.
Deprecated since version 3.3:It is now possible to use
staticmethodwithabstractmethod(), making this decorator redundant.
@abc.abstractproperty(fget=None,fset=None,fdel=None,doc=None)¶A subclass of the built-in
property(), indicating an abstractproperty.Using this function requires that the class’s metaclass is
ABCMetaor is derived from it. A class that has a metaclass derived fromABCMetacannot be instantiated unless all of its abstract methodsand properties are overridden. The abstract properties can be called usingany of the normal ‘super’ call mechanisms.This special case is deprecated, as the
property()decoratoris now correctly identified as abstract when applied to an abstractmethod:classC(metaclass=ABCMeta):@property@abstractmethoddefmy_abstract_property(self):...
The above example defines a read-only property; you can also define aread-write abstract property by appropriately marking one or more of theunderlying methods as abstract:
classC(metaclass=ABCMeta):@propertydefx(self):...@x.setter@abstractmethoddefx(self,val):...
If only some components are abstract, only those components need to beupdated to create a concrete property in a subclass:
classD(C):@C.x.setterdefx(self,val):...
Deprecated since version 3.3:It is now possible to use
property,property.getter(),property.setter()andproperty.deleter()withabstractmethod(), making this decorator redundant.
Theabc 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) identifyingthe current version of the abstract base class cache for virtual subclasses.The token changes with every call to
ABCMeta.register()on any ABC.New in version 3.4.
Footnotes
| [1] | C++ programmers should note that Python’s virtual base classconcept is not the same as C++’s. |
