Документация Python неофициальный перевод
Содержание страницы

collections.abc – Абстрактные базовые классы для контейнеровcollections.abc – Abstract Base Classes for Containers

Добавлено в версии 3.3: Ранее этот модуль был частью модуля collections.

Исходный код: Lib/_collections_abc.py


Этот модуль предоставляет абстрактные базовые классы, которые можно использовать для проверки, предоставляет ли класс определённый интерфейс; например, является ли он хешируемым или отображением.

Проверка issubclass() или isinstance() для интерфейса работает одним из трёх способов.

  1. Новый класс может наследовать напрямую от одного из абстрактных базовых классов. Класс должен предоставлять требуемые абстрактные методы. Остальные методы-примеси наследуются и могут быть переопределены при необходимости. Другие методы могут быть добавлены по мере необходимости:

    class C(Sequence):                      # Прямое наследование
        def __init__(self): ...             # Дополнительный метод, не требуемый ABC
        def __getitem__(self, index):  ...  # Обязательный абстрактный метод
        def __len__(self):  ...             # Обязательный абстрактный метод
        def count(self, value): ...         # Необязательное переопределение метода-примеси
    
    >>> issubclass(C, Sequence)
    True
    >>> isinstance(C(), Sequence)
    True
    
  2. Существующие и встроенные классы могут быть зарегистрированы как «виртуальные подклассы» ABC. Эти классы должны определять полный API, включая все абстрактные методы и все методы-примеси. Это позволяет пользователям полагаться на проверки issubclass() или isinstance(), чтобы определить, поддерживается ли полный интерфейс. Исключением из этого правила являются методы, которые автоматически выводятся из остального API:

    class D:                                 # Нет наследования
        def __init__(self): ...              # Дополнительный метод, не требуемый ABC
        def __getitem__(self, index):  ...   # Обязательный абстрактный метод
        def __len__(self):  ...              # Обязательный абстрактный метод
        def count(self, value): ...          # Метод-примесь
        def index(self, value): ...          # Метод-примесь
    
    Sequence.register(D)                     # Регистрация вместо наследования
    
    >>> issubclass(D, Sequence)
    True
    >>> isinstance(D(), Sequence)
    True
    

    В этом примере классу D не нужно определять __contains__, __iter__ и __reversed__, потому что оператор in, логика итерации и функция reversed() автоматически используют __getitem__ и __len__.

  3. Некоторые простые интерфейсы напрямую распознаются по наличию требуемых методов (если только эти методы не были установлены в None):

    class E:
        def __iter__(self): ...
        def __next__(self): ...
    
    >>> issubclass(E, Iterable)
    True
    >>> isinstance(E(), Iterable)
    True
    

    Сложные интерфейсы не поддерживают этот последний приём, потому что интерфейс – это не просто наличие имён методов. Интерфейсы определяют семантику и взаимосвязи между методами, которые невозможно вывести только по наличию конкретных имён методов. Например, знания того, что класс предоставляет __getitem__, __len__ и __iter__, недостаточно, чтобы отличить Sequence от Mapping.

Добавлено в версии 3.9: Теперь эти абстрактные классы поддерживают []. См. Generic Alias Type и PEP 585.

Абстрактные базовые классы коллекцийCollections Abstract Base Classes

Модуль collections предоставляет следующие абстрактные базовые классы:

ABC

Наследует от

Абстрактные методы

Методы-примеси

Container [1]

__contains__

Hashable [1]

__hash__

Iterable [1] [2]

__iter__

Iterator [1]

Iterable

__next__

__iter__

Reversible [1]

Iterable

__reversed__

Generator [1]

Iterator

send, throw

close, __iter__, __next__

Sized [1]

__len__

Callable [1]

__call__

Collection [1]

Sized, Iterable, Container

__contains__, __iter__, __len__

Sequence

Reversible, Collection

__getitem__, __len__

__contains__, __iter__, __reversed__, index и count

MutableSequence

Sequence

__getitem__, __setitem__, __delitem__, __len__, insert

Унаследованные методы Sequence и append, clear, reverse, extend, pop, remove и __iadd__

ByteString

Sequence

__getitem__, __len__

Унаследованные методы Sequence

Set

Collection

__contains__, __iter__, __len__

__le__, __lt__, __eq__, __ne__, __gt__, __ge__, __and__, __or__, __sub__, __rsub__, __xor__, __rxor__ и isdisjoint

MutableSet

Set

__contains__, __iter__, __len__, add, discard

Унаследованные методы Set и clear, pop, remove, __ior__, __iand__, __ixor__ и __isub__

Mapping

Collection

__getitem__, __iter__, __len__

__contains__, keys, items, values, get, __eq__ и __ne__

MutableMapping

Mapping

__getitem__, __setitem__, __delitem__, __iter__, __len__

Унаследованные методы Mapping и pop, popitem, clear, update, и setdefault

MappingView

Sized

__init__, __len__ и __repr__

ItemsView

MappingView, Set

__contains__, __iter__

KeysView

MappingView, Set

__contains__, __iter__

ValuesView

MappingView, Collection

__contains__, __iter__

Awaitable [1]

__await__

Coroutine [1]

Awaitable

send, throw

close

AsyncIterable [1]

__aiter__

AsyncIterator [1]

AsyncIterable

__anext__

__aiter__

AsyncGenerator [1]

AsyncIterator

asend, athrow

aclose, __aiter__, __anext__

Buffer [1]

__buffer__

Сноски

Абстрактные базовые классы коллекций – Подробные описанияCollections Abstract Base Classes – Detailed Descriptions

class collections.abc.Container

ABC для классов, которые предоставляют метод __contains__().

class collections.abc.Hashable

ABC для классов, которые предоставляют метод __hash__().

class collections.abc.Sized

ABC для классов, которые предоставляют метод __len__().

class collections.abc.Callable

ABC для классов, которые предоставляют метод __call__().

См. Аннотирование вызываемых объектов для получения подробной информации о том, как использовать Callable в аннотациях типов.

class collections.abc.Iterable

ABC для классов, которые предоставляют метод __iter__().

Проверка isinstance(obj, Iterable) обнаруживает классы, которые зарегистрированы как Iterable или имеют метод __iter__(), но не обнаруживает классы, которые выполняют итерацию с помощью метода __getitem__(). Единственный надёжный способ определить, является ли объект итерируемым, – это вызвать iter(obj).

class collections.abc.Collection

ABC для классов-контейнеров, которые поддерживают итерирование и определение размера.

Добавлено в версии 3.6.

class collections.abc.Iterator

ABC для классов, которые предоставляют методы __iter__() и __next__(). См. также определение итератора.

class collections.abc.Reversible

ABC для итерируемых классов, которые также предоставляют метод __reversed__().

Добавлено в версии 3.6.

class collections.abc.Generator

ABC для классов генераторов, реализующих протокол, определённый в PEP 342, который расширяет итераторы методами send(), throw() и close().

См. Аннотирование генераторов и корутин для подробностей об использовании Generator в аннотациях типов.

Добавлено в версии 3.5.

class collections.abc.Sequence
class collections.abc.MutableSequence
class collections.abc.ByteString

ABC для неизменяемых и изменяемых последовательностей.

Примечание по реализации: Некоторые методы-примеси, такие как __iter__(), __reversed__(), и index(), многократно вызывают нижележащий метод __getitem__(). Следовательно, если __getitem__() реализован с константной скоростью доступа, производительность методов-примесей будет линейной; однако если нижележащий метод является линейным (как в случае со связным списком), производительность примесей будет квадратичной, и, скорее всего, их потребуется переопределить.

index(value, start=0, stop=None)

Возвращает индекс первого вхождения value.

Возбуждает ValueError, если значение отсутствует.

Поддержка аргументов start и stop является необязательной, но рекомендуется.

Изменено в версии 3.5: Метод index() получил поддержку аргументов stop и start.

Устарело с версии 3.12, будет удалено в версии 3.17: ABC ByteString устарел.

Используйте isinstance(obj, collections.abc.Buffer) для проверки, реализует ли obj буферный протокол во время выполнения. Для использования в аннотациях типов либо используйте Buffer, либо объединение, которое явно указывает типы, поддерживаемые вашим кодом (например, bytes | bytearray | memoryview).

ByteString изначально задумывался как абстрактный класс, который должен был служить супертипом как для bytes, так и для bytearray. Однако, поскольку ABC никогда не имел методов, знание того, что объект является экземпляром ByteString, на самом деле никогда не давало полезной информации об объекте. Другие распространённые буферные типы, такие как memoryview, также никогда не рассматривались как подтипы ByteString (ни во время выполнения, ни статическими проверяльщиками типов).

См. PEP 688 для получения дополнительных сведений.

class collections.abc.Set
class collections.abc.MutableSet

ABC для неизменяемых и изменяемых множеств.

class collections.abc.Mapping
class collections.abc.MutableMapping

ABC для неизменяемых и изменяемых отображений.

class collections.abc.MappingView
class collections.abc.ItemsView
class collections.abc.KeysView
class collections.abc.ValuesView

ABC для представлений отображений, элементов, ключей и значений.

class collections.abc.Awaitable

ABC для ожидаемых объектов, которые можно использовать в выражениях await. Пользовательские реализации должны предоставлять метод __await__().

Объекты Coroutine и экземпляры ABC Coroutine являются экземплярами этого ABC.

Примечание

В CPython корутины на основе генераторов (генераторы, декорированные с помощью @types.coroutine) являются ожидаемыми объектами, даже если они не имеют метода __await__(). Использование isinstance(gencoro, Awaitable) для них вернёт False. Для их обнаружения используется inspect.isawaitable().

Добавлено в версии 3.5.

class collections.abc.Coroutine

ABC для классов, совместимых с корутинами. Они реализуют следующие методы, определённые в Объекты корутины: send(), throw() и close(). Пользовательские реализации также должны реализовать __await__(). Все экземпляры Coroutine также являются экземплярами Awaitable.

Примечание

В CPython корутины на основе генераторов (генераторы, декорированные с помощью @types.coroutine) являются ожидаемыми объектами, даже если они не имеют метода __await__(). Использование isinstance(gencoro, Coroutine) для них вернёт False. Для их обнаружения используется inspect.isawaitable().

См. Аннотирование генераторов и корутин для подробностей об использовании Coroutine в аннотациях типов. Вариантность и порядок параметров типа соответствуют таковым у Generator.

Добавлено в версии 3.5.

class collections.abc.AsyncIterable

ABC для классов, предоставляющих метод __aiter__. См. также определение асинхронного итерируемого объекта.

Добавлено в версии 3.5.

class collections.abc.AsyncIterator

ABC для классов, предоставляющих методы __aiter__ и __anext__. См. также определение асинхронного итератора.

Добавлено в версии 3.5.

class collections.abc.AsyncGenerator

ABC для асинхронных генераторов, которые реализуют протокол, определённый в PEP 525 и PEP 492.

См. Аннотирование генераторов и корутин для подробностей об использовании AsyncGenerator в аннотациях типов.

Добавлено в версии 3.6.

class collections.abc.Buffer

ABC для классов, предоставляющих метод __buffer__(), реализующих протокол буфера. См. PEP 688.

Добавлено в версии 3.12.

Примеры и рецептыExamples and Recipes

ABC позволяют проверить, предоставляют ли классы или их экземпляры определённую функциональность, например:

size = None
if isinstance(myvar, collections.abc.Sized):
    size = len(myvar)

Некоторые ABC также полезны в качестве примесей (mixins), упрощающих разработку классов, поддерживающих API контейнеров. Например, чтобы написать класс, поддерживающий полный API Set, достаточно предоставить три основных абстрактных метода: __contains__(), __iter__() и __len__(). ABC предоставляет остальные методы, такие как __and__() и isdisjoint():

class ListBasedSet(collections.abc.Set):
    ''' Альтернативная реализация множества, ориентированная на экономию памяти, а не на скорость
        и не требующая, чтобы элементы множества были хэшируемыми. '''
    def __init__(self, iterable):
        self.elements = lst = []
        for value in iterable:
            if value not in lst:
                lst.append(value)

    def __iter__(self):
        return iter(self.elements)

    def __contains__(self, value):
        return value in self.elements

    def __len__(self):
        return len(self.elements)

s1 = ListBasedSet('abcdef')
s2 = ListBasedSet('defghi')
overlap = s1 & s2            # Метод __and__() поддерживается автоматически

Замечания по использованию Set и MutableSet в качестве примеси:

  1. Поскольку некоторые операции над множествами создают новые множества, методы по умолчанию в миксинах должны уметь создавать новые экземпляры из итерируемого объекта. Предполагается, что конструктор класса имеет сигнатуру вида ClassName(iterable). Это предположение вынесено во внутренний classmethod, называемый _from_iterable(), который вызывает cls(iterable) для создания нового множества. Если миксин Set используется в классе с другой сигнатурой конструктора, потребуется переопределить _from_iterable() с помощью метода класса или обычного метода, который может создавать новые экземпляры из итерируемого аргумента.

  2. Чтобы переопределить сравнения (предположительно для скорости, так как семантика фиксирована), переопределите __le__() и __ge__(); тогда остальные операции автоматически последуют их примеру.

  3. Миксин Set предоставляет метод _hash() для вычисления хеш-значения множества; однако __hash__() не определён, поскольку не все множества являются хешируемыми или неизменяемыми. Чтобы добавить хешируемость множеству с помощью миксинов, наследуйтесь от обоих Set и Hashable, а затем определите __hash__ = Set._hash.

См. также

  • Рецепт OrderedSet для примера, построенного на MutableSet.

  • Для получения дополнительной информации об ABC см. модуль abc и .