blob: cc4c4423e8a60807901b7434f2c47144b53b5206 [file] [log] [blame]
Guido van Rossumcd16bf62007-06-13 18:07:49 +00001# Copyright 2007 Google, Inc. All Rights Reserved.
2# Licensed to PSF under a Contributor Agreement.
3
4"""Abstract Base Classes (ABCs) for collections, according to PEP 3119.
5
6DON'T USE THIS MODULE DIRECTLY! The classes here should be imported
Guido van Rossum7eaf8222007-06-18 17:58:50 +00007via collections; they are defined here only to alleviate certain
Guido van Rossumcd16bf62007-06-13 18:07:49 +00008bootstrapping issues. Unit tests are in test_collections.
9"""
10
11from abc import ABCMeta, abstractmethod
12
13__all__ = ["Hashable", "Iterable", "Iterator",
14 "Sized", "Container", "Callable",
15 "Set", "MutableSet",
16 "Mapping", "MutableMapping",
17 "MappingView", "KeysView", "ItemsView", "ValuesView",
18 "Sequence", "MutableSequence",
Guido van Rossumd05eb002007-11-21 22:26:24 +000019 "ByteString",
Christian Heimesf83be4e2007-11-28 09:44:38 +000020 "bytearray_iterator", "bytes_iterator", "dict_itemiterator",
Christian Heimes0db38532007-11-29 16:21:13 +000021 "dict_items", "dict_keyiterator", "dict_keys", "dict_proxy",
Christian Heimesf83be4e2007-11-28 09:44:38 +000022 "dict_valueiterator", "dict_values", "list_iterator",
23 "list_reverseiterator", "range_iterator", "set_iterator",
24 "str_iterator", "tuple_iterator", "zip_iterator",
Guido van Rossumcd16bf62007-06-13 18:07:49 +000025 ]
26
Christian Heimesf83be4e2007-11-28 09:44:38 +000027
28### collection related types which are not exposed through builtin ###
29## iterators ##
30bytes_iterator = type(iter(b''))
31bytearray_iterator = type(iter(bytearray()))
32#callable_iterator = ???
33dict_keyiterator = type(iter({}.keys()))
34dict_valueiterator = type(iter({}.values()))
35dict_itemiterator = type(iter({}.items()))
36list_iterator = type(iter([]))
37list_reverseiterator = type(iter(reversed([])))
38range_iterator = type(iter(range(0)))
39set_iterator = type(iter(set()))
40str_iterator = type(iter(""))
41tuple_iterator = type(iter(()))
42zip_iterator = type(iter(zip()))
43## views ##
44dict_keys = type({}.keys())
45dict_values = type({}.values())
46dict_items = type({}.items())
Christian Heimes0db38532007-11-29 16:21:13 +000047## misc ##
48dict_proxy = type(type.__dict__)
Christian Heimesf83be4e2007-11-28 09:44:38 +000049
50
Guido van Rossumcd16bf62007-06-13 18:07:49 +000051### ONE-TRICK PONIES ###
52
53class Hashable(metaclass=ABCMeta):
54
55 @abstractmethod
56 def __hash__(self):
57 return 0
58
59 @classmethod
60 def __subclasshook__(cls, C):
61 if cls is Hashable:
62 for B in C.__mro__:
63 if "__hash__" in B.__dict__:
64 if B.__dict__["__hash__"]:
65 return True
66 break
67 return NotImplemented
68
69
70class Iterable(metaclass=ABCMeta):
71
72 @abstractmethod
73 def __iter__(self):
74 while False:
75 yield None
76
77 @classmethod
78 def __subclasshook__(cls, C):
79 if cls is Iterable:
80 if any("__iter__" in B.__dict__ for B in C.__mro__):
81 return True
82 return NotImplemented
83
Guido van Rossumcd16bf62007-06-13 18:07:49 +000084
Raymond Hettinger74b64952008-02-09 02:53:48 +000085class Iterator(Iterable):
Guido van Rossumcd16bf62007-06-13 18:07:49 +000086
87 @abstractmethod
88 def __next__(self):
89 raise StopIteration
90
91 def __iter__(self):
92 return self
93
94 @classmethod
95 def __subclasshook__(cls, C):
96 if cls is Iterator:
97 if any("__next__" in B.__dict__ for B in C.__mro__):
98 return True
99 return NotImplemented
100
Christian Heimesf83be4e2007-11-28 09:44:38 +0000101Iterator.register(bytes_iterator)
102Iterator.register(bytearray_iterator)
103#Iterator.register(callable_iterator)
104Iterator.register(dict_keyiterator)
105Iterator.register(dict_valueiterator)
106Iterator.register(dict_itemiterator)
107Iterator.register(list_iterator)
108Iterator.register(list_reverseiterator)
109Iterator.register(range_iterator)
110Iterator.register(set_iterator)
111Iterator.register(str_iterator)
112Iterator.register(tuple_iterator)
113Iterator.register(zip_iterator)
Guido van Rossumcd16bf62007-06-13 18:07:49 +0000114
115class Sized(metaclass=ABCMeta):
116
117 @abstractmethod
118 def __len__(self):
119 return 0
120
121 @classmethod
122 def __subclasshook__(cls, C):
123 if cls is Sized:
124 if any("__len__" in B.__dict__ for B in C.__mro__):
125 return True
126 return NotImplemented
127
128
129class Container(metaclass=ABCMeta):
130
131 @abstractmethod
132 def __contains__(self, x):
133 return False
134
135 @classmethod
136 def __subclasshook__(cls, C):
137 if cls is Container:
138 if any("__contains__" in B.__dict__ for B in C.__mro__):
139 return True
140 return NotImplemented
141
142
143class Callable(metaclass=ABCMeta):
144
145 @abstractmethod
146 def __contains__(self, x):
147 return False
148
149 @classmethod
150 def __subclasshook__(cls, C):
151 if cls is Callable:
152 if any("__call__" in B.__dict__ for B in C.__mro__):
153 return True
154 return NotImplemented
155
156
157### SETS ###
158
159
Raymond Hettinger74b64952008-02-09 02:53:48 +0000160class Set(Sized, Iterable, Container):
Guido van Rossumcd16bf62007-06-13 18:07:49 +0000161
162 """A set is a finite, iterable container.
163
164 This class provides concrete generic implementations of all
165 methods except for __contains__, __iter__ and __len__.
166
167 To override the comparisons (presumably for speed, as the
168 semantics are fixed), all you have to do is redefine __le__ and
169 then the other operations will automatically follow suit.
170 """
171
Guido van Rossumcd16bf62007-06-13 18:07:49 +0000172 def __le__(self, other):
173 if not isinstance(other, Set):
174 return NotImplemented
175 if len(self) > len(other):
176 return False
177 for elem in self:
178 if elem not in other:
179 return False
180 return True
181
182 def __lt__(self, other):
183 if not isinstance(other, Set):
184 return NotImplemented
185 return len(self) < len(other) and self.__le__(other)
186
Raymond Hettinger71909422008-02-09 00:08:16 +0000187 def __gt__(self, other):
188 if not isinstance(other, Set):
189 return NotImplemented
190 return other < self
191
192 def __ge__(self, other):
193 if not isinstance(other, Set):
194 return NotImplemented
195 return other <= self
196
Guido van Rossumcd16bf62007-06-13 18:07:49 +0000197 def __eq__(self, other):
198 if not isinstance(other, Set):
199 return NotImplemented
200 return len(self) == len(other) and self.__le__(other)
201
Raymond Hettinger71909422008-02-09 00:08:16 +0000202 def __ne__(self, other):
203 return not (self == other)
204
Guido van Rossumcd16bf62007-06-13 18:07:49 +0000205 @classmethod
206 def _from_iterable(cls, it):
Raymond Hettinger8284c4a2008-02-06 20:47:09 +0000207 '''Construct an instance of the class from any iterable input.
208
209 Must override this method if the class constructor signature
Raymond Hettinger7aebb642008-02-09 03:25:08 +0000210 does not accept an iterable for an input.
Raymond Hettinger8284c4a2008-02-06 20:47:09 +0000211 '''
Raymond Hettinger7aebb642008-02-09 03:25:08 +0000212 return cls(it)
Guido van Rossumcd16bf62007-06-13 18:07:49 +0000213
214 def __and__(self, other):
215 if not isinstance(other, Iterable):
216 return NotImplemented
217 return self._from_iterable(value for value in other if value in self)
218
Christian Heimes190d79e2008-01-30 11:58:22 +0000219 def isdisjoint(self, other):
220 for value in other:
221 if value in self:
222 return False
223 return True
224
Guido van Rossumcd16bf62007-06-13 18:07:49 +0000225 def __or__(self, other):
226 if not isinstance(other, Iterable):
227 return NotImplemented
228 return self._from_iterable(itertools.chain(self, other))
229
230 def __sub__(self, other):
231 if not isinstance(other, Set):
232 if not isinstance(other, Iterable):
233 return NotImplemented
234 other = self._from_iterable(other)
235 return self._from_iterable(value for value in self
236 if value not in other)
237
238 def __xor__(self, other):
239 if not isinstance(other, Set):
240 if not isinstance(other, Iterable):
241 return NotImplemented
242 other = self._from_iterable(other)
243 return (self - other) | (other - self)
244
245 def _hash(self):
246 """Compute the hash value of a set.
247
248 Note that we don't define __hash__: not all sets are hashable.
249 But if you define a hashable set type, its __hash__ should
250 call this function.
251
252 This must be compatible __eq__.
253
254 All sets ought to compare equal if they contain the same
255 elements, regardless of how they are implemented, and
256 regardless of the order of the elements; so there's not much
257 freedom for __eq__ or __hash__. We match the algorithm used
258 by the built-in frozenset type.
259 """
Christian Heimesa37d4c62007-12-04 23:02:19 +0000260 MAX = sys.maxsize
Guido van Rossumcd16bf62007-06-13 18:07:49 +0000261 MASK = 2 * MAX + 1
262 n = len(self)
263 h = 1927868237 * (n + 1)
264 h &= MASK
265 for x in self:
266 hx = hash(x)
267 h ^= (hx ^ (hx << 16) ^ 89869747) * 3644798167
268 h &= MASK
269 h = h * 69069 + 907133923
270 h &= MASK
271 if h > MAX:
272 h -= MASK + 1
273 if h == -1:
274 h = 590923713
275 return h
276
277Set.register(frozenset)
278
279
280class MutableSet(Set):
281
282 @abstractmethod
283 def add(self, value):
284 """Return True if it was added, False if already there."""
285 raise NotImplementedError
286
287 @abstractmethod
288 def discard(self, value):
289 """Return True if it was deleted, False if not there."""
290 raise NotImplementedError
291
Christian Heimes190d79e2008-01-30 11:58:22 +0000292 def remove(self, value):
293 """Remove an element. If not a member, raise a KeyError."""
294 if value not in self:
295 raise KeyError(value)
296 self.discard(value)
297
Guido van Rossumcd16bf62007-06-13 18:07:49 +0000298 def pop(self):
299 """Return the popped value. Raise KeyError if empty."""
300 it = iter(self)
301 try:
302 value = it.__next__()
303 except StopIteration:
304 raise KeyError
305 self.discard(value)
306 return value
307
Guido van Rossumcd16bf62007-06-13 18:07:49 +0000308 def clear(self):
309 """This is slow (creates N new iterators!) but effective."""
310 try:
311 while True:
312 self.pop()
313 except KeyError:
314 pass
315
316 def __ior__(self, it: Iterable):
317 for value in it:
318 self.add(value)
319 return self
320
321 def __iand__(self, c: Container):
322 for value in self:
323 if value not in c:
324 self.discard(value)
325 return self
326
327 def __ixor__(self, it: Iterable):
Christian Heimes7b3ce6a2008-01-31 14:31:45 +0000328 if not isinstance(it, Set):
329 it = self._from_iterable(it)
Guido van Rossumcd16bf62007-06-13 18:07:49 +0000330 for value in it:
Christian Heimes7b3ce6a2008-01-31 14:31:45 +0000331 if value in self:
332 self.discard(value)
333 else:
334 self.add(value)
Guido van Rossumcd16bf62007-06-13 18:07:49 +0000335 return self
336
337 def __isub__(self, it: Iterable):
338 for value in it:
339 self.discard(value)
340 return self
341
342MutableSet.register(set)
343
344
345### MAPPINGS ###
346
347
Raymond Hettinger74b64952008-02-09 02:53:48 +0000348class Mapping(Sized, Iterable, Container):
Guido van Rossumcd16bf62007-06-13 18:07:49 +0000349
350 @abstractmethod
351 def __getitem__(self, key):
352 raise KeyError
353
354 def get(self, key, default=None):
355 try:
356 return self[key]
357 except KeyError:
358 return default
359
360 def __contains__(self, key):
361 try:
362 self[key]
363 except KeyError:
364 return False
365 else:
366 return True
367
Guido van Rossumcd16bf62007-06-13 18:07:49 +0000368 def keys(self):
369 return KeysView(self)
370
371 def items(self):
372 return ItemsView(self)
373
374 def values(self):
375 return ValuesView(self)
376
Raymond Hettingerb9da9bc2008-02-04 20:44:31 +0000377 def __eq__(self, other):
Raymond Hettinger554c8b82008-02-05 22:54:43 +0000378 return isinstance(other, Mapping) and \
379 dict(self.items()) == dict(other.items())
Raymond Hettingerb9da9bc2008-02-04 20:44:31 +0000380
381 def __ne__(self, other):
Raymond Hettinger554c8b82008-02-05 22:54:43 +0000382 return not (self == other)
Guido van Rossumcd16bf62007-06-13 18:07:49 +0000383
Christian Heimes2202f872008-02-06 14:31:34 +0000384
Raymond Hettingerbfd06122008-02-09 10:04:32 +0000385class MappingView(Sized):
Guido van Rossumcd16bf62007-06-13 18:07:49 +0000386
387 def __init__(self, mapping):
388 self._mapping = mapping
389
390 def __len__(self):
391 return len(self._mapping)
392
393
394class KeysView(MappingView, Set):
395
396 def __contains__(self, key):
397 return key in self._mapping
398
399 def __iter__(self):
400 for key in self._mapping:
401 yield key
402
Christian Heimesf83be4e2007-11-28 09:44:38 +0000403KeysView.register(dict_keys)
Guido van Rossumcd16bf62007-06-13 18:07:49 +0000404
405
406class ItemsView(MappingView, Set):
407
408 def __contains__(self, item):
409 key, value = item
410 try:
411 v = self._mapping[key]
412 except KeyError:
413 return False
414 else:
415 return v == value
416
417 def __iter__(self):
418 for key in self._mapping:
419 yield (key, self._mapping[key])
420
Christian Heimesf83be4e2007-11-28 09:44:38 +0000421ItemsView.register(dict_items)
Guido van Rossumcd16bf62007-06-13 18:07:49 +0000422
423
424class ValuesView(MappingView):
425
426 def __contains__(self, value):
427 for key in self._mapping:
428 if value == self._mapping[key]:
429 return True
430 return False
431
432 def __iter__(self):
433 for key in self._mapping:
434 yield self._mapping[key]
435
Christian Heimesf83be4e2007-11-28 09:44:38 +0000436ValuesView.register(dict_values)
Guido van Rossumcd16bf62007-06-13 18:07:49 +0000437
438
439class MutableMapping(Mapping):
440
441 @abstractmethod
442 def __setitem__(self, key, value):
443 raise KeyError
444
445 @abstractmethod
446 def __delitem__(self, key):
447 raise KeyError
448
449 __marker = object()
450
451 def pop(self, key, default=__marker):
452 try:
453 value = self[key]
454 except KeyError:
455 if default is self.__marker:
456 raise
457 return default
458 else:
459 del self[key]
460 return value
461
462 def popitem(self):
463 try:
464 key = next(iter(self))
465 except StopIteration:
466 raise KeyError
467 value = self[key]
468 del self[key]
469 return key, value
470
471 def clear(self):
472 try:
473 while True:
474 self.popitem()
475 except KeyError:
476 pass
477
478 def update(self, other=(), **kwds):
479 if isinstance(other, Mapping):
480 for key in other:
481 self[key] = other[key]
482 elif hasattr(other, "keys"):
483 for key in other.keys():
484 self[key] = other[key]
485 else:
486 for key, value in other:
487 self[key] = value
488 for key, value in kwds.items():
489 self[key] = value
490
Raymond Hettingerb9da9bc2008-02-04 20:44:31 +0000491 def setdefault(self, key, default=None):
492 try:
493 return self[key]
494 except KeyError:
495 self[key] = default
496 return default
497
Guido van Rossumcd16bf62007-06-13 18:07:49 +0000498MutableMapping.register(dict)
499
500
501### SEQUENCES ###
502
503
Raymond Hettinger74b64952008-02-09 02:53:48 +0000504class Sequence(Sized, Iterable, Container):
Guido van Rossumcd16bf62007-06-13 18:07:49 +0000505
506 """All the operations on a read-only sequence.
507
508 Concrete subclasses must override __new__ or __init__,
509 __getitem__, and __len__.
510 """
511
512 @abstractmethod
513 def __getitem__(self, index):
514 raise IndexError
515
Guido van Rossumcd16bf62007-06-13 18:07:49 +0000516 def __iter__(self):
517 i = 0
Raymond Hettinger71909422008-02-09 00:08:16 +0000518 try:
519 while True:
Guido van Rossumcd16bf62007-06-13 18:07:49 +0000520 v = self[i]
Raymond Hettinger71909422008-02-09 00:08:16 +0000521 yield v
522 i += 1
523 except IndexError:
524 return
Guido van Rossumcd16bf62007-06-13 18:07:49 +0000525
526 def __contains__(self, value):
527 for v in self:
528 if v == value:
529 return True
530 return False
531
532 def __reversed__(self):
533 for i in reversed(range(len(self))):
534 yield self[i]
535
536 def index(self, value):
537 for i, v in enumerate(self):
538 if v == value:
539 return i
540 raise ValueError
541
542 def count(self, value):
543 return sum(1 for v in self if v == value)
544
545Sequence.register(tuple)
Guido van Rossum3172c5d2007-10-16 18:12:55 +0000546Sequence.register(str)
Guido van Rossumd05eb002007-11-21 22:26:24 +0000547
548
549class ByteString(Sequence):
550
551 """This unifies bytes and bytearray.
552
553 XXX Should add all their methods.
554 """
555
556ByteString.register(bytes)
557ByteString.register(bytearray)
Guido van Rossumcd16bf62007-06-13 18:07:49 +0000558
559
560class MutableSequence(Sequence):
561
562 @abstractmethod
563 def __setitem__(self, index, value):
564 raise IndexError
565
566 @abstractmethod
567 def __delitem__(self, index):
568 raise IndexError
569
570 @abstractmethod
571 def insert(self, index, value):
572 raise IndexError
573
574 def append(self, value):
575 self.insert(len(self), value)
576
577 def reverse(self):
578 n = len(self)
579 for i in range(n//2):
580 self[i], self[n-i-1] = self[n-i-1], self[i]
581
582 def extend(self, values):
583 for v in values:
584 self.append(v)
585
586 def pop(self, index=-1):
587 v = self[index]
588 del self[index]
589 return v
590
591 def remove(self, value):
592 del self[self.index(value)]
593
594 def __iadd__(self, values):
595 self.extend(values)
596
597MutableSequence.register(list)
Guido van Rossumd05eb002007-11-21 22:26:24 +0000598MutableSequence.register(bytearray) # Multiply inheriting, see ByteString