Raymond Hettinger | e52f3b1 | 2004-01-29 07:27:45 +0000 | [diff] [blame] | 1 | \section{\module{collections} --- |
Raymond Hettinger | 5c5eb86 | 2004-02-07 21:13:00 +0000 | [diff] [blame] | 2 | High-performance container datatypes} |
Raymond Hettinger | e52f3b1 | 2004-01-29 07:27:45 +0000 | [diff] [blame] | 3 | |
| 4 | \declaremodule{standard}{collections} |
| 5 | \modulesynopsis{High-performance datatypes} |
| 6 | \moduleauthor{Raymond Hettinger}{python@rcn.com} |
| 7 | \sectionauthor{Raymond Hettinger}{python@rcn.com} |
| 8 | \versionadded{2.4} |
| 9 | |
| 10 | |
Raymond Hettinger | 5c5eb86 | 2004-02-07 21:13:00 +0000 | [diff] [blame] | 11 | This module implements high-performance container datatypes. Currently, the |
Raymond Hettinger | e52f3b1 | 2004-01-29 07:27:45 +0000 | [diff] [blame] | 12 | only datatype is a deque. Future additions may include B-trees |
| 13 | and Fibonacci heaps. |
| 14 | |
| 15 | \begin{funcdesc}{deque}{\optional{iterable}} |
| 16 | Returns a new deque objected initialized left-to-right (using |
| 17 | \method{append()}) with data from \var{iterable}. If \var{iterable} |
| 18 | is not specified, the new deque is empty. |
| 19 | |
Raymond Hettinger | 5c5eb86 | 2004-02-07 21:13:00 +0000 | [diff] [blame] | 20 | Deques are a generalization of stacks and queues (the name is pronounced |
| 21 | ``deck'' and is short for ``double-ended queue''). Deques support |
| 22 | thread-safe, memory efficient appends and pops from either side of the deque |
| 23 | with approximately the same \code{O(1)} performance in either direction. |
| 24 | |
| 25 | Though \class{list} objects support similar operations, they are optimized |
| 26 | for fast fixed-length operations and incur \code{O(n)} memory movement costs |
| 27 | for \samp{pop(0)} and \samp{insert(0, v)} operations which change both the |
| 28 | size and position of the underlying data representation. |
Raymond Hettinger | e52f3b1 | 2004-01-29 07:27:45 +0000 | [diff] [blame] | 29 | \versionadded{2.4} |
| 30 | \end{funcdesc} |
| 31 | |
| 32 | Deque objects support the following methods: |
| 33 | |
| 34 | \begin{methoddesc}{append}{x} |
| 35 | Add \var{x} to the right side of the deque. |
| 36 | \end{methoddesc} |
| 37 | |
| 38 | \begin{methoddesc}{appendleft}{x} |
| 39 | Add \var{x} to the left side of the deque. |
| 40 | \end{methoddesc} |
| 41 | |
| 42 | \begin{methoddesc}{clear}{} |
| 43 | Remove all elements from the deque leaving it with length 0. |
| 44 | \end{methoddesc} |
| 45 | |
Raymond Hettinger | 3ba85c2 | 2004-02-06 19:04:56 +0000 | [diff] [blame] | 46 | \begin{methoddesc}{extend}{iterable} |
| 47 | Extend the right side of the deque by appending elements from |
| 48 | the iterable argument. |
| 49 | \end{methoddesc} |
| 50 | |
| 51 | \begin{methoddesc}{extendleft}{iterable} |
| 52 | Extend the left side of the deque by appending elements from |
| 53 | \var{iterable}. Note, the series of left appends results in |
| 54 | reversing the order of elements in the iterable argument. |
| 55 | \end{methoddesc} |
| 56 | |
Raymond Hettinger | e52f3b1 | 2004-01-29 07:27:45 +0000 | [diff] [blame] | 57 | \begin{methoddesc}{pop}{} |
| 58 | Remove and return an element from the right side of the deque. |
Raymond Hettinger | 738ec90 | 2004-02-29 02:15:56 +0000 | [diff] [blame] | 59 | If no elements are present, raises a \exception{IndexError}. |
Raymond Hettinger | e52f3b1 | 2004-01-29 07:27:45 +0000 | [diff] [blame] | 60 | \end{methoddesc} |
| 61 | |
| 62 | \begin{methoddesc}{popleft}{} |
| 63 | Remove and return an element from the left side of the deque. |
Raymond Hettinger | 738ec90 | 2004-02-29 02:15:56 +0000 | [diff] [blame] | 64 | If no elements are present, raises a \exception{IndexError}. |
| 65 | \end{methoddesc} |
| 66 | |
Raymond Hettinger | 5c5eb86 | 2004-02-07 21:13:00 +0000 | [diff] [blame] | 67 | \begin{methoddesc}{rotate}{n} |
| 68 | Rotate the deque \var{n} steps to the right. If \var{n} is |
| 69 | negative, rotate to the left. Rotating one step to the right |
Raymond Hettinger | f5f9a370 | 2004-04-30 22:52:50 +0000 | [diff] [blame] | 70 | is equivalent to: \samp{d.appendleft(d.pop())}. |
Raymond Hettinger | 5c5eb86 | 2004-02-07 21:13:00 +0000 | [diff] [blame] | 71 | \end{methoddesc} |
| 72 | |
| 73 | In addition to the above, deques support iteration, pickling, \samp{len(d)}, |
Raymond Hettinger | 0a4977c | 2004-03-01 23:16:22 +0000 | [diff] [blame] | 74 | \samp{reversed(d)}, \samp{copy.copy(d)}, \samp{copy.deepcopy(d)}, |
| 75 | membership testing with the \keyword{in} operator, and subscript references |
| 76 | such as \samp{d[-1]}. |
Raymond Hettinger | e52f3b1 | 2004-01-29 07:27:45 +0000 | [diff] [blame] | 77 | |
| 78 | Example: |
| 79 | |
| 80 | \begin{verbatim} |
| 81 | >>> from collections import deque |
Raymond Hettinger | 5c5eb86 | 2004-02-07 21:13:00 +0000 | [diff] [blame] | 82 | >>> d = deque('ghi') # make a new deque with three items |
| 83 | >>> for elem in d: # iterate over the deque's elements |
Raymond Hettinger | 738ec90 | 2004-02-29 02:15:56 +0000 | [diff] [blame] | 84 | ... print elem.upper() |
Raymond Hettinger | e52f3b1 | 2004-01-29 07:27:45 +0000 | [diff] [blame] | 85 | G |
| 86 | H |
| 87 | I |
Raymond Hettinger | 738ec90 | 2004-02-29 02:15:56 +0000 | [diff] [blame] | 88 | |
Raymond Hettinger | 5c5eb86 | 2004-02-07 21:13:00 +0000 | [diff] [blame] | 89 | >>> d.append('j') # add a new entry to the right side |
| 90 | >>> d.appendleft('f') # add a new entry to the left side |
| 91 | >>> d # show the representation of the deque |
Raymond Hettinger | e52f3b1 | 2004-01-29 07:27:45 +0000 | [diff] [blame] | 92 | deque(['f', 'g', 'h', 'i', 'j']) |
Raymond Hettinger | 738ec90 | 2004-02-29 02:15:56 +0000 | [diff] [blame] | 93 | |
Raymond Hettinger | 5c5eb86 | 2004-02-07 21:13:00 +0000 | [diff] [blame] | 94 | >>> d.pop() # return and remove the rightmost item |
Raymond Hettinger | e52f3b1 | 2004-01-29 07:27:45 +0000 | [diff] [blame] | 95 | 'j' |
Raymond Hettinger | 5c5eb86 | 2004-02-07 21:13:00 +0000 | [diff] [blame] | 96 | >>> d.popleft() # return and remove the leftmost item |
Raymond Hettinger | e52f3b1 | 2004-01-29 07:27:45 +0000 | [diff] [blame] | 97 | 'f' |
Raymond Hettinger | 5c5eb86 | 2004-02-07 21:13:00 +0000 | [diff] [blame] | 98 | >>> list(d) # list the contents of the deque |
Raymond Hettinger | e52f3b1 | 2004-01-29 07:27:45 +0000 | [diff] [blame] | 99 | ['g', 'h', 'i'] |
Raymond Hettinger | 0a4977c | 2004-03-01 23:16:22 +0000 | [diff] [blame] | 100 | >>> d[0] # peek at leftmost item |
Raymond Hettinger | 738ec90 | 2004-02-29 02:15:56 +0000 | [diff] [blame] | 101 | 'g' |
Raymond Hettinger | 0a4977c | 2004-03-01 23:16:22 +0000 | [diff] [blame] | 102 | >>> d[-1] # peek at rightmost item |
Raymond Hettinger | 738ec90 | 2004-02-29 02:15:56 +0000 | [diff] [blame] | 103 | 'i' |
Raymond Hettinger | 0a4977c | 2004-03-01 23:16:22 +0000 | [diff] [blame] | 104 | |
Raymond Hettinger | 5c5eb86 | 2004-02-07 21:13:00 +0000 | [diff] [blame] | 105 | >>> list(reversed(d)) # list the contents of a deque in reverse |
Raymond Hettinger | c058fd1 | 2004-02-07 02:45:22 +0000 | [diff] [blame] | 106 | ['i', 'h', 'g'] |
Raymond Hettinger | 5c5eb86 | 2004-02-07 21:13:00 +0000 | [diff] [blame] | 107 | >>> 'h' in d # search the deque |
Raymond Hettinger | e52f3b1 | 2004-01-29 07:27:45 +0000 | [diff] [blame] | 108 | True |
Raymond Hettinger | 5c5eb86 | 2004-02-07 21:13:00 +0000 | [diff] [blame] | 109 | >>> d.extend('jkl') # add multiple elements at once |
Raymond Hettinger | e52f3b1 | 2004-01-29 07:27:45 +0000 | [diff] [blame] | 110 | >>> d |
| 111 | deque(['g', 'h', 'i', 'j', 'k', 'l']) |
Raymond Hettinger | 5c5eb86 | 2004-02-07 21:13:00 +0000 | [diff] [blame] | 112 | >>> d.rotate(1) # right rotation |
| 113 | >>> d |
| 114 | deque(['l', 'g', 'h', 'i', 'j', 'k']) |
| 115 | >>> d.rotate(-1) # left rotation |
| 116 | >>> d |
| 117 | deque(['g', 'h', 'i', 'j', 'k', 'l']) |
Raymond Hettinger | 738ec90 | 2004-02-29 02:15:56 +0000 | [diff] [blame] | 118 | |
Raymond Hettinger | 5c5eb86 | 2004-02-07 21:13:00 +0000 | [diff] [blame] | 119 | >>> deque(reversed(d)) # make a new deque in reverse order |
| 120 | deque(['l', 'k', 'j', 'i', 'h', 'g']) |
| 121 | >>> d.clear() # empty the deque |
| 122 | >>> d.pop() # cannot pop from an empty deque |
Raymond Hettinger | e52f3b1 | 2004-01-29 07:27:45 +0000 | [diff] [blame] | 123 | Traceback (most recent call last): |
| 124 | File "<pyshell#6>", line 1, in -toplevel- |
| 125 | d.pop() |
Raymond Hettinger | 738ec90 | 2004-02-29 02:15:56 +0000 | [diff] [blame] | 126 | IndexError: pop from an empty deque |
Raymond Hettinger | 3ba85c2 | 2004-02-06 19:04:56 +0000 | [diff] [blame] | 127 | |
Raymond Hettinger | 5c5eb86 | 2004-02-07 21:13:00 +0000 | [diff] [blame] | 128 | >>> d.extendleft('abc') # extendleft() reverses the input order |
Raymond Hettinger | 3ba85c2 | 2004-02-06 19:04:56 +0000 | [diff] [blame] | 129 | >>> d |
| 130 | deque(['c', 'b', 'a']) |
Raymond Hettinger | f5f9a370 | 2004-04-30 22:52:50 +0000 | [diff] [blame] | 131 | \end{verbatim} |
Raymond Hettinger | 3ba85c2 | 2004-02-06 19:04:56 +0000 | [diff] [blame] | 132 | |
Raymond Hettinger | e7169eb | 2004-05-09 01:15:01 +0000 | [diff] [blame] | 133 | \subsection{Recipes \label{deque-recipes}} |
| 134 | |
| 135 | This section shows various approaches to working with deques. |
| 136 | |
| 137 | The \method{rotate()} method provides a way to implement \class{deque} |
| 138 | slicing and deletion: |
| 139 | |
Raymond Hettinger | 0e371f2 | 2004-05-12 20:55:56 +0000 | [diff] [blame] | 140 | This pure python implementation of \code{del d[n]} shows how to use the |
| 141 | \method{rotate()} method as a building block for implementing a variety |
| 142 | of class{deque} operations: |
| 143 | |
Raymond Hettinger | e7169eb | 2004-05-09 01:15:01 +0000 | [diff] [blame] | 144 | \begin{verbatim} |
| 145 | def delete_nth(d, n): |
Raymond Hettinger | e7169eb | 2004-05-09 01:15:01 +0000 | [diff] [blame] | 146 | d.rotate(-n) |
| 147 | d.popleft() |
| 148 | d.rotate(n) |
Raymond Hettinger | e7169eb | 2004-05-09 01:15:01 +0000 | [diff] [blame] | 149 | \end{verbatim} |
| 150 | |
Raymond Hettinger | 0e371f2 | 2004-05-12 20:55:56 +0000 | [diff] [blame] | 151 | To implement \class{deque} slicing, use a similar approach applying |
| 152 | \method{rotate()} to bring a target element to the left side of the deque. |
| 153 | Remove old entries with \method{popleft()}, add new entries with |
| 154 | \method{extend()}, and then reverse the rotation. |
Raymond Hettinger | e7169eb | 2004-05-09 01:15:01 +0000 | [diff] [blame] | 155 | |
| 156 | With minor variations on that approach, it is easy to implement Forth style |
| 157 | stack manipulations such as \code{dup}, \code{drop}, \code{swap}, \code{over}, |
| 158 | \code{pick}, \code{rot}, and \code{roll}. |
Raymond Hettinger | f5f9a370 | 2004-04-30 22:52:50 +0000 | [diff] [blame] | 159 | |
| 160 | A roundrobin task server can be built from a \class{deque} using |
| 161 | \method{popleft()} to select the current task and \method{append()} |
| 162 | to add it back to the tasklist if the input stream is not exhausted: |
| 163 | |
| 164 | \begin{verbatim} |
| 165 | def roundrobin(*iterables): |
| 166 | pending = deque(iter(i) for i in iterables) |
| 167 | while pending: |
| 168 | task = pending.popleft() |
| 169 | try: |
| 170 | yield task.next() |
| 171 | except StopIteration: |
| 172 | continue |
| 173 | pending.append(task) |
| 174 | |
| 175 | >>> for value in roundrobin('abc', 'd', 'efgh'): |
Raymond Hettinger | e7169eb | 2004-05-09 01:15:01 +0000 | [diff] [blame] | 176 | ... print value |
Raymond Hettinger | f5f9a370 | 2004-04-30 22:52:50 +0000 | [diff] [blame] | 177 | |
| 178 | a |
| 179 | d |
| 180 | e |
| 181 | b |
| 182 | f |
| 183 | c |
| 184 | g |
| 185 | h |
| 186 | |
| 187 | \end{verbatim} |
Raymond Hettinger | e7169eb | 2004-05-09 01:15:01 +0000 | [diff] [blame] | 188 | |
| 189 | |
| 190 | Multi-pass data reduction algorithms can be succinctly expressed and |
| 191 | efficiently coded by extracting elements using multiple calls to |
| 192 | \method{popleft()}, applying the reduction function, and using |
| 193 | \method{append()} for adding the result back to the queue. |
| 194 | |
| 195 | For example, building a balanced binary tree of nested lists entails |
| 196 | reducing two adjacent nodes into one by grouping them in a list: |
| 197 | |
| 198 | \begin{verbatim} |
| 199 | def maketree(iterable): |
| 200 | d = deque(iterable) |
| 201 | while len(d) > 1: |
| 202 | pair = [d.popleft(), d.popleft()] |
| 203 | d.append(pair) |
| 204 | return list(d) |
| 205 | |
| 206 | >>> print maketree('abcdefgh') |
| 207 | [[[['a', 'b'], ['c', 'd']], [['e', 'f'], ['g', 'h']]]] |
| 208 | |
| 209 | \end{verbatim} |