collections.abc —- 容器的抽象基类

Added in version 3.3: 该模块曾是 collections 模块的组成部分。

源代码: Lib/_collections_abc.py


本模块提供了一些 抽象基类,它们可被用于测试一个类是否提供某个特定的接口;例如,它是否为 hashable 或是否为 mapping 等。

一个接口的 issubclass()isinstance() 测试采用以下三种方式之一。

1) A newly written class can inherit directly from one of the abstract base classes. The class must supply the required abstract methods. The remaining mixin methods come from inheritance and can be overridden if desired. Other methods may be added as needed:

  1. class C(Sequence): # 直接继承
  2. def __init__(self): ... # ABC 所不需要的额外方法
  3. def __getitem__(self, index): ... # 需要的抽象方法
  4. def __len__(self): ... # 需要的抽象方法
  5. def count(self, value): ... # 可选覆盖一个混入方法
  1. >>> issubclass(C, Sequence)
  2. True
  3. >>> isinstance(C(), Sequence)
  4. True

2) Existing classes and built-in classes can be registered as “virtual subclasses” of the ABCs. Those classes should define the full API including all of the abstract methods and all of the mixin methods. This lets users rely on issubclass() or isinstance() tests to determine whether the full interface is supported. The exception to this rule is for methods that are automatically inferred from the rest of the API:

  1. class D: # 无继承
  2. def __init__(self): ... # ABC 所不需要的额外方法
  3. def __getitem__(self, index): ... # 抽象方法
  4. def __len__(self): ... # 抽象方法
  5. def count(self, value): ... # 混入方法
  6. def index(self, value): ... # 混入方法
  7. Sequence.register(D) # 注册而非继承
  1. >>> issubclass(D, Sequence)
  2. True
  3. >>> isinstance(D(), Sequence)
  4. True

在这个例子中,D 类不需要定义 __contains__, __iter____reversed__,因为 in 运算符, 迭代 逻辑和 reversed() 函数会自动回退为使用 __getitem____len__

3) Some simple interfaces are directly recognizable by the presence of the required methods (unless those methods have been set to None):

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

复杂的接口不支持最后这种技术手段因为接口并不只是作为方法名称存在。 接口指明了方法之间的语义和关系,这些是无法根据特定方法名称的存在推断出来的。 例如,知道一个类提供了 __getitem__, __len____iter__ 并不足以区分 SequenceMapping

Added in version 3.9: 这些抽象类现在都支持 []。 参见 GenericAlias 类型PEP 585

容器抽象基类

这个容器模块提供了以下 ABCs:

抽象基类

继承自

抽象方法

Mixin 方法

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, and count

MutableSequence

Sequence

getitem, setitem, delitem, len, insert

继承了 Sequence 的方法以及 append, clear, reverse, extend, pop, removeiadd

ByteString

Sequence

getitem, len

继承自 Sequence 的方法

Set

Collection

contains, iter, len

le, lt, eq, ne, gt, ge, and, or, sub, xor, and 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, and ne

MutableMapping

Mapping

getitem, setitem, delitem, iter, len

继承自 Mapping 的方法以及 pop, popitem, clear, update,和 setdefault

MappingView

Sized

len

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

附注

[1] (1,2,3,4,5,6,7,8,9,10,11,12,13,14,15)

这些 ABC 重写了 __subclasshook__() 以便支持通过验证所需的方法是否存在并且没有被设为 None 来测试一个接口。 这只适用于简单的接口。 更复杂的接口需要注册或者直接子类化。

[2]

检查 isinstance(obj, Iterable) 是否侦测到被注册为 Iterable 或者具有 __iter__() 方法的类,但它不能侦测到使用 __getitem__() 方法进行迭代的类。 确定一个对象是否为 iterable 的唯一可靠方式是调用 iter(obj)

多项集抽象基类 — 详细描述

class collections.abc.Container

提供了 __contains__() 方法的抽象基类。

class collections.abc.Hashable

提供了 __hash__() 方法的抽象基类。

class collections.abc.Sized

用于提供 __len__() 方法的类的 ABC

class collections.abc.Callable

用于提供 __call__() 方法的类的 ABC

有关如何在类型标注中使用 Callable 的详细信息请参阅 标注可调用对象

class collections.abc.Iterable

用于提供 __iter__() 方法的类的 ABC

检查 isinstance(obj, Iterable) 是否侦测到被注册为 Iterable 或者具有 __iter__() 方法的类,但它不能侦测到使用 __getitem__() 方法进行迭代的类。 确定一个对象是否为 iterable 的唯一可靠方式是调用 iter(obj)

class collections.abc.Collection

集合了 Sized 和 Iterable 类的抽象基类。

Added in version 3.6.

class collections.abc.Iterator

提供了 __iter__()__next__() 方法的抽象基类。参见 iterator 的定义。

class collections.abc.Reversible

用于同时提供了 __reversed__() 方法的可迭代类的 ABC

Added in version 3.6.

class collections.abc.Generator

用于实现了 PEP 342 中定义的协议的 generator 类的 ABC,它通过 send(), throw()close() 方法对 迭代器 进行了扩展。

有关在类型标注中使用 Generator 的详细信息请参阅 标注生成器和协程

Added in version 3.5.

class collections.abc.Sequence

class collections.abc.MutableSequence

class collections.abc.ByteString

只读的与可变的 序列 的抽象基类。

实现注意事项:某些混入方法,如 __iter__(), __reversed__()index(),会重复调用下层的 __getitem__() 方法。 因此,如果 __getitem__() 被实现为常数级访问速度,则混入方法的性能将为线性级;但是,如果下层的方法是线性的(例如链表就是如此),则混入方法的性能将为平方级并可能需要被重写。

在 3.5 版本发生变更: index() 方法支持 stopstart 参数。

Deprecated since version 3.12, will be removed in version 3.14: ByteString ABC 已被弃用。 当用于类型标注时,建议改为并集形式,如 bytes | bytearray,或 collections.abc.Buffer。 当用作 ABC 时,建议改为 Sequencecollections.abc.Buffer

class collections.abc.Set

class collections.abc.MutableSet

用于只读和可变 集合 的 ABC。

class collections.abc.Mapping

class collections.abc.MutableMapping

只读的与可变的 映射 的抽象基类。

class collections.abc.MappingView

class collections.abc.ItemsView

class collections.abc.KeysView

class collections.abc.ValuesView

映射及其键和值的 视图 的抽象基类。

class collections.abc.Awaitable

针对 awaitable 对象的 ABC,它可被用于 await 表达式。 根据惯例所有实现都必须提供 __await__() 方法。

协程 对象和 Coroutine ABC 的实例都是这个 ABC 的实例。

备注

在 CPython 中,基于生成器的协程 (使用 @types.coroutine 装饰的 生成器) 都是 可等待对象,即使它们没有 __await__() 方法。 对它们使用 isinstance(gencoro, Awaitable) 将返回 False。 请使用 inspect.isawaitable() 来检测它们。

Added in version 3.5.

class collections.abc.Coroutine

用于 coroutine 兼容类的 ABC。 实现了如下定义在 协程对象 里的方法: send(), throw()close()。 根据惯例所有实现都还需要实现 __await__()。 所有的 Coroutine 实例同时也是 Awaitable 的实例。

备注

在 CPython 中,基于生成器的协程 (使用 @types.coroutine 装饰的 生成器) 都是 可等待对象,即使它们没有 __await__() 方法。 对它们使用 isinstance(gencoro, Coroutine) 将返回 False。 请使用 inspect.isawaitable() 来检测它们。

有关在类型标注中使用 Coroutine 的详细信息请参阅 标注生成器和协程。 类型形参的变化和顺序与 Generator 的相对应。

Added in version 3.5.

class collections.abc.AsyncIterable

针对提供了 __aiter__ 方法的类的 ABC。 另请参阅 asynchronous iterable 的定义。

Added in version 3.5.

class collections.abc.AsyncIterator

提供了 __aiter____anext__ 方法的抽象基类。参见 asynchronous iterator 的定义。

Added in version 3.5.

class collections.abc.AsyncGenerator

针对实现了在 PEP 525PEP 492 中定义的协议的 asynchronous generator 类的 ABC。

有关在类型标注中使用 AsyncGenerator 的详细信息请参阅 标注生成器和协程

Added in version 3.6.

class collections.abc.Buffer

针对提供 __buffer__() 方法的类的 ABC,实现了 缓冲区协议。 参见 PEP 688

Added in version 3.12.

例子和配方

ABC 允许我们询问类或实例是否提供特定的功能,例如:

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

有些 ABC 还适用于作为混入类,这可以更容易地开发支持容器 API 的类。 例如,要写一个支持完整 Set API 的类,只需要提供三个下层抽象方法: __contains__(), __iter__()__len__()。 ABC 会提供其余的方法如 __and__()isdisjoint():

  1. class ListBasedSet(collections.abc.Set):
  2. ''' 空间重于速度并且不要求集合元素可哈希的
  3. 替代性集合实现。 '''
  4. def __init__(self, iterable):
  5. self.elements = lst = []
  6. for value in iterable:
  7. if value not in lst:
  8. lst.append(value)
  9. def __iter__(self):
  10. return iter(self.elements)
  11. def __contains__(self, value):
  12. return value in self.elements
  13. def __len__(self):
  14. return len(self.elements)
  15. s1 = ListBasedSet('abcdef')
  16. s2 = ListBasedSet('defghi')
  17. overlap = s1 & s2 # 自动支持 __and__() 方法

当把 SetMutableSet 用作混入类时需注意:

  1. 由于某些集合操作会创建新的集合,默认的混入方法需要一种根据 iterable 创建新实例的方式。 类构造器应当具有 ClassName(iterable) 形式的签名。 这样它将被重构为一个执行 _from_iterable() 的内部 classmethod,该方法会调用 cls(iterable) 来产生一个新的集合。 如果 Set 混入类在具有不同构造器签名的类中被使用,你将需要通过一个能根据可迭代对象参数构造新实例的类方法或常规方法来重写 _from_iterable()

  2. 要重写比较运算(应该是为了提高速度,因为其语义是固定的),请重新定义 __le__()__ge__(),然后其他运算将自动跟进。

  3. Set 混入类提供了一个 _hash() 方法为集合计算哈希值;但是,__hash__() 没有被定义因为并非所有集合都是 hashable 或不可变对象。 要使用混入类为集合添加可哈希性,请同时继承 Set()Hashable(),然后定义 __hash__ = Set._hash

参见