الوحدة collections.abc‎ في بايثون

من موسوعة حسوب
اذهب إلى: تصفح، ابحث

تقدّم هذه الوحدة مجموعة من الأصناف الأساسية المجرّدة abstract base calsses (يرمز لها ABC اختصارًا) والتي يمكن استخدامها للتأكد ممّا إذا كان صنف معيّن يقدّم واجهة interface معينة، كأن يكون الصنف قابلًا للتقطيع hashable أو أنّه صنف ربط mapping.

ملاحظة: قبل الإصدار 3.3 من اللغة كانت هذه الوحدة جزءًا من وحدة collections.

الأصناف الأساسية المجرّدة في الوحدة collections

تقدّم وحدة collections الأصناف الأساسية المجرّدة التالية:

الصنف الأساسي المجرد يرث من التوابع المجرّدة توابع mixin
Container   __contains__  
Hashable   __hash__  
Iterable   __iter__  
Iterator Iterable __next__ __iter__
Reversible Iterable __reversed__  
Generator Iterator send، throw close، __iter__، __next__‎
Sized   __len__  
Callable   __call__  
Collection 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، reverse، extend، pop، remove، و __iadd__

ByteString Sequence __getitem__، __len__ توابع Sequence الموروثة
Set Collection __contains__ ، __iter__ ،__len __‎ ‎__le__‎, ‎__lt__‎, ‎__eq__‎, ‎__ne__‎,‎__gt__‎, ‎__ge__‎, ‎__and__‎, ‎__or__‎,‎__sub__‎, ‎__xor__‎, isdisjoint
MutableSet Set __contains__ ، __iter__ ،__len__، add،discard توابع Sequence الموروثة إضافة إلى التوابع

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   __len__
ItemsView MappingView،Set   __contains__، __iter__
KeysView MappingView،Set   __contains__، __iter__
ValuesView MappingView،Collection   __contains__، __iter__
Awaitable   __await__  
Coroutine Awaitable send، throw close
AsyncIterable   __aiter__  
AsyncIterator AsyncIterable __anext__ __aiter__
AsyncGenerator AsyncIterator asend، athrow aclose، __aiter__، __anext__‎

الصنف collections.abc.Container

الصنف collections.abc.Hashable

الصنف collections.abc.Sized

الصنف collections.abc.Callable

أصناف أساسية مجرّدة للأصناف التي تقدّم التوابع ‎__contains__()‎، ‎__hash__()‎، ‎__len__()‎ و ‎__call__()‎ على التوالي.

الصنف collections.abc.Iterable

صنف أساسي مجرّد للأصناف التي تقدّم التابع ‎__iter__()‎.

تؤدي عملية التحقّق بواسطة الدالة isinstance(obj، iterable) إلى الكشف عن الأصناف المسجّلة على أنّها صنف Iterable الأساسي المجرّد أو أنّها تمتلك التابع ‎__iter__()‎، ولكنّها لا تكتشف الأصناف التي تجري عملية التكرار بواسطة التابع ‎__getitem__()‎. الطريقة الوحيدة لتحديد ما إذا كان الكائن قابلًا للتكرار هي استدعاء الدالة iter(obj)‎.

الصنف collections.abc.Collection

صنف أساسي مجرّد لأصناف الحاويات التكرارية المحجّمة (sized iterable container classes).

ملاحظة: هذا الصنف جديد في الإصدار 3.6 من بايثون.

الصنف collections.abc.Iterator

صنف أساسي مجرّد للأصناف التي تقدّم التابعين ‎__iter__()‎ و ‎__next__()‎‎.

الصنف collections.abc.Reversible

صنف أساسي مجرّد للأصناف التكرارية التي تقدّم التابع ‎__reversed__()‎.

ملاحظة: هذا الصنف جديد في الإصدار 3.6 من بايثون.

الصنف collections.abc.Generator

صنف أساسي مجرّد لإنشاء أصناف تستخدم البروتوكول المعرّف في PEP 342 والذي يضيف التوابع send()‎ و throw()‎ و close()‎ إلى المكرِّرات.

ملاحظة: هذا الصنف جديد في الإصدار 3.5 من بايثون.

الصنف collections.abc.Sequence

الصنف collections.abc.MutableSequence

الصنف collections.abc.ByteString

أصناف أساسية مجرّدة للتسلسلات التي تكون قابلة للتعديل mutable وللقراءة فقط read-only.

ملاحظة: بعض توابع mixin مثل ‎__iter__()‎ و ‎__reversed__()‎ و index()‎ تجري استدعاءات متكرّرة للتابع الضمني ‎__getitem__()‎. ونتيجة لذلك، إن كان التابع ‎__getitem__()‎ مُستخدمًا بسرعة وصول ثابتة، فإنّ أداء توابع mixin سيكون خطّيًا، ولكن إن كان التابع الضمني خطّيًا (كما هو الحال مع قائمة مرتبطة) فإنّ أداء توابع mixin سيكون تربيعيًا وهنا تظهر الحاجة إلى إعادة تعريفها.

ملاحظة: في الإصدار 3.5 أضيف المعاملان stop و start إلى التابع index()‎.

الصنف collections.abc.Set

الصنف collections.abc.MutableSet

صنف أساسي مجرّد للمجموعات القابلة للتعديل والتي تكون للقراءة فقط.

الصنف collections.abc.Mapping

الصنف collections.abc.MutableMapping

صنف أساسي مجرّد للمجموعات لكائنات الربط القابلة للتعديل والتي تكون للقراءة فقط.

الصنف collections.abc.MappingView

الصنف collections.abc.ItemsView

الصنف collections.abc.KeysView

الصنف collections.abc.ValuesView

أصناف أساسية مجرّد لعروض كائنات الربط والعناصر items والمفاتيح keys والقيم values.

الصنف collections.abc.Awaitable

صنف أساسي مجرّد لكائنات awaitable، والتي يمكن استخدامها في تعابير await. يجب أن يقدّم الاستخدام المخصّص لهذا الصنف التابع ‎__await__‎()‎.

كائنات Coroutine و نسخ الصنف الأساسي المجرّد Couroutine هي كلّها نسخ من هذا الصنف الأساسي المجرّد.

ملاحظة:

تكون الـ coroutines المستندة على المولدات في CPython (المولّدات المزخرفة بواسطة التابع types.coroutine()‎ أو asyncio.coroutine()‎) من نوع awaitable على الرغم من عدم احتوائها على التابع ‎__await__()‎. تعيد الدالة isinstance(gencoro، Awaitable)‎ القيمة False، ويجب استخدام التابع Useinspect.isawaitable()‎ للكشف عنها.

ملاحظة: هذا الصنف جديد في الإصدار 3.5 من بايثون.

الصنف collections.abc.Coroutine

صنف أساسي مجرّد للأصناف المتوافقة مع الـ coroutine. تستخدم هذه الأصناف التوابع send()‎ و throw()‎ و close()‎ والمعرّفة في كائنات Coroutine. إلى جانب ذلك يجب أن يتضمّن الاستخدام المخصّص لهذا الصنف الأساسي المجرد تضمين التابع ‎__await__()‎. جميع نسخ الصنف Coroutine هي نسخ للصنف Awaitable أيضًا.

ملاحظة:

تكون الـ coroutines المستندة على المولدات في CPython (المولّدات المزخرفة بواسطة التابع types.coroutine()‎ أو asyncio.coroutine()‎) من نوع awaitable على الرغم من عدم احتوائها على التابع ‎__await__()‎. تعيد الدالة isinstance(gencoro، Coroutine)‎ القيمة False، ويجب استخدام التابع Useinspect.isawaitable()‎ للكشف عنها.

ملاحظة: هذا الصنف جديد في الإصدار 3.5 من بايثون.

الصنف collections.abc.AsyncIterable

صنف أساسي مجرّد للأصناف التي تقدّم التابع ‎__aiter__‎.

ملاحظة: هذا الصنف جديد في الإصدار 3.5 من بايثون.

الصنف collections.abc.AsyncIterator

صنف أساسي مجرّد للأصناف التي تقدّم التابعين ‎__aiter__‎ و ‎__anext__‎.

ملاحظة: هذا الصنف جديد في الإصدار 3.5 من بايثون.

الصنف collections.abc.AsyncGenerator

صنف أساسي مجرّد للأصناف المولّدة غير المتزامنة asynchronous generator classes والتي تعتمد البروتوكول المعرف في PEP 525 و PEP 492.

ملاحظة: هذا الصنف جديد في الإصدار 3.6 من بايثون.

تتيح هذه الأصناف الأساسية المجرّد معرفةما إذا كانت الأصناف أو النسخ تقدّم وظيفة معيّنة، فعلى سبيل المثال:
size = None
if isinstance(myvar, collections.abc.Sized):
    size = len(myvar)
هناك عدد من الأصناف الأساسية المجرّدة التي يمكن الاستفادة منها كـ mixin تسهّل عملية تطوير أصناف تدعم الواجهات البرمجية الخاصة بالصنف الحاوي. فمثلًا، لكتابة صنف يدعم الواجهة البرمجية الكامل للصنف الأساسي المجرد Set، يكفي تزويد الصنف بالتوابع الضمنية المجرّدة التالية: ‎__contains__()‎ و ‎__iter__()‎ و ‎__len__()‎، ويزوّد الصنف الأساسي المجرد بقية التوابع مثل ‎‎__and__‎()‎ و isdisjoint()‎:
class ListBasedSet(collections.abc.Set):
    ''' Alternate set implementation favoring space over speed
        and not requiring the set elements to be hashable. '''
    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 كـ mixin:

  1. لمّا كانت بعض عمليات المجموعات تنشئ مجموعات جديدة فإنّ توابع mixin الافتراضية تكون بحاجة إلى إنشاء نسخ جديدة من المكرِّر. ويُفترض أن تتضمّن الدالة البانية للصنف توقيعًا بالصيغةClassName(iterable)‎. يجري تحليل ذلك الافتراض إلى تابع صنف داخلي يدعى ‎_from_iterable()‎ والذي يستدعي الدالة cls(iterable)‎ لإنشاء مجموعة جديدة. إن استخدم Set mixin في صنف ذي توقع مختلف في دالته البانية، فيجب إعادة تعريف override التابع ‎_from_iterable()‎ بتابع صنف يمكنه بناء نسخ جديد من معامل مكرِّر iterable argument.
  2. لإعادة تعريف عمليات المقارنة (لأغراض السرعة على الأرجح وذلك لأنّها عمليات ثابتة) يجب إعادة تعريف التابعين ‎__le__‎()‎ و ‎__ge__()‎ وستتبع بقية العمليات هذين التابعين بصورة تلقائية.
  3. يقدّم Set mixin تابع ‎_hash()‎ لحساب قيمة hash للمجموعة، ولكن لا يجري تعريف التابع ‎__hash__()‎ لأنّ جميع المجموعات تكون قابلة للتقطيع hashable أو غير قابلة للتعديل immutable. ولإضافة قابلية التقطيع باستخدام mixins، يمكن الوراثة من الصنفين Set()‎ و Hashable()‎ ثم تعريف القيمة ‎__hash__ ‎ = Set._hash.

انظر أيضًا

مصادر