blob: 1ff95fff51068c2dbce9acc381654fdc22a05931 [file] [log] [blame]
Raymond Hettinger756b3f32004-01-29 06:37:52 +00001#include "Python.h"
Raymond Hettinger691d8052004-05-30 07:26:47 +00002#include "structmember.h"
Raymond Hettinger756b3f32004-01-29 06:37:52 +00003
4/* collections module implementation of a deque() datatype
5 Written and maintained by Raymond D. Hettinger <python@rcn.com>
6 Copyright (c) 2004 Python Software Foundation.
7 All rights reserved.
8*/
9
Raymond Hettinger77e8bf12004-10-01 15:25:53 +000010/* The block length may be set to any number over 1. Larger numbers
11 * reduce the number of calls to the memory allocator but take more
12 * memory. Ideally, BLOCKLEN should be set with an eye to the
Thomas Wouters0e3f5912006-08-11 14:57:12 +000013 * length of a cache line.
Raymond Hettinger77e8bf12004-10-01 15:25:53 +000014 */
15
Raymond Hettinger7d112df2004-11-02 02:11:35 +000016#define BLOCKLEN 62
Raymond Hettinger61f05fb2004-10-01 06:24:12 +000017#define CENTER ((BLOCKLEN - 1) / 2)
Raymond Hettinger756b3f32004-01-29 06:37:52 +000018
Tim Petersd8768d32004-10-01 01:32:53 +000019/* A `dequeobject` is composed of a doubly-linked list of `block` nodes.
20 * This list is not circular (the leftmost block has leftlink==NULL,
21 * and the rightmost block has rightlink==NULL). A deque d's first
22 * element is at d.leftblock[leftindex] and its last element is at
23 * d.rightblock[rightindex]; note that, unlike as for Python slice
Raymond Hettinger61f05fb2004-10-01 06:24:12 +000024 * indices, these indices are inclusive on both ends. By being inclusive
Thomas Wouters0e3f5912006-08-11 14:57:12 +000025 * on both ends, algorithms for left and right operations become
Raymond Hettinger61f05fb2004-10-01 06:24:12 +000026 * symmetrical which simplifies the design.
Thomas Wouters0e3f5912006-08-11 14:57:12 +000027 *
Raymond Hettinger61f05fb2004-10-01 06:24:12 +000028 * The list of blocks is never empty, so d.leftblock and d.rightblock
29 * are never equal to NULL.
30 *
31 * The indices, d.leftindex and d.rightindex are always in the range
32 * 0 <= index < BLOCKLEN.
Raymond Hettinger4ca4c7c2004-10-01 15:14:39 +000033 * Their exact relationship is:
34 * (d.leftindex + d.len - 1) % BLOCKLEN == d.rightindex.
Raymond Hettinger61f05fb2004-10-01 06:24:12 +000035 *
36 * Empty deques have d.len == 0; d.leftblock==d.rightblock;
37 * d.leftindex == CENTER+1; and d.rightindex == CENTER.
38 * Checking for d.len == 0 is the intended way to see whether d is empty.
39 *
Thomas Wouters0e3f5912006-08-11 14:57:12 +000040 * Whenever d.leftblock == d.rightblock,
Raymond Hettinger4ca4c7c2004-10-01 15:14:39 +000041 * d.leftindex + d.len - 1 == d.rightindex.
Thomas Wouters0e3f5912006-08-11 14:57:12 +000042 *
Raymond Hettinger4ca4c7c2004-10-01 15:14:39 +000043 * However, when d.leftblock != d.rightblock, d.leftindex and d.rightindex
Thomas Wouters0e3f5912006-08-11 14:57:12 +000044 * become indices into distinct blocks and either may be larger than the
Raymond Hettinger4ca4c7c2004-10-01 15:14:39 +000045 * other.
Tim Petersd8768d32004-10-01 01:32:53 +000046 */
47
Raymond Hettinger756b3f32004-01-29 06:37:52 +000048typedef struct BLOCK {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +000049 struct BLOCK *leftlink;
50 struct BLOCK *rightlink;
51 PyObject *data[BLOCKLEN];
Raymond Hettinger756b3f32004-01-29 06:37:52 +000052} block;
53
Guido van Rossum58da9312007-11-10 23:39:45 +000054#define MAXFREEBLOCKS 10
Benjamin Petersond6313712008-07-31 16:23:04 +000055static Py_ssize_t numfreeblocks = 0;
Guido van Rossum58da9312007-11-10 23:39:45 +000056static block *freeblocks[MAXFREEBLOCKS];
57
Tim Peters6f853562004-10-01 01:04:50 +000058static block *
Benjamin Petersond6313712008-07-31 16:23:04 +000059newblock(block *leftlink, block *rightlink, Py_ssize_t len) {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +000060 block *b;
61 /* To prevent len from overflowing PY_SSIZE_T_MAX on 64-bit machines, we
62 * refuse to allocate new blocks if the current len is dangerously
63 * close. There is some extra margin to prevent spurious arithmetic
64 * overflows at various places. The following check ensures that
65 * the blocks allocated to the deque, in the worst case, can only
66 * have PY_SSIZE_T_MAX-2 entries in total.
67 */
68 if (len >= PY_SSIZE_T_MAX - 2*BLOCKLEN) {
69 PyErr_SetString(PyExc_OverflowError,
70 "cannot add more blocks to the deque");
71 return NULL;
72 }
73 if (numfreeblocks) {
74 numfreeblocks -= 1;
75 b = freeblocks[numfreeblocks];
76 } else {
77 b = PyMem_Malloc(sizeof(block));
78 if (b == NULL) {
79 PyErr_NoMemory();
80 return NULL;
81 }
82 }
83 b->leftlink = leftlink;
84 b->rightlink = rightlink;
85 return b;
Raymond Hettinger756b3f32004-01-29 06:37:52 +000086}
87
Martin v. Löwis59683e82008-06-13 07:50:45 +000088static void
Guido van Rossum58da9312007-11-10 23:39:45 +000089freeblock(block *b)
90{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +000091 if (numfreeblocks < MAXFREEBLOCKS) {
92 freeblocks[numfreeblocks] = b;
93 numfreeblocks++;
94 } else {
95 PyMem_Free(b);
96 }
Guido van Rossum58da9312007-11-10 23:39:45 +000097}
98
Raymond Hettinger756b3f32004-01-29 06:37:52 +000099typedef struct {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000100 PyObject_HEAD
101 block *leftblock;
102 block *rightblock;
103 Py_ssize_t leftindex; /* in range(BLOCKLEN) */
104 Py_ssize_t rightindex; /* in range(BLOCKLEN) */
105 Py_ssize_t len;
106 Py_ssize_t maxlen;
107 long state; /* incremented whenever the indices move */
108 PyObject *weakreflist; /* List of weak references */
Raymond Hettinger756b3f32004-01-29 06:37:52 +0000109} dequeobject;
110
Guido van Rossum8ce8a782007-11-01 19:42:39 +0000111/* The deque's size limit is d.maxlen. The limit can be zero or positive.
112 * If there is no limit, then d.maxlen == -1.
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000113 *
Guido van Rossum8ce8a782007-11-01 19:42:39 +0000114 * After an item is added to a deque, we check to see if the size has grown past
115 * the limit. If it has, we get the size back down to the limit by popping an
116 * item off of the opposite end. The methods that can trigger this are append(),
117 * appendleft(), extend(), and extendleft().
118 */
119
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000120#define TRIM(d, popfunction) \
121 if (d->maxlen != -1 && d->len > d->maxlen) { \
122 PyObject *rv = popfunction(d, NULL); \
123 assert(rv != NULL && d->len <= d->maxlen); \
124 Py_DECREF(rv); \
Guido van Rossum8ce8a782007-11-01 19:42:39 +0000125 }
126
Neal Norwitz87f10132004-02-29 15:40:53 +0000127static PyTypeObject deque_type;
Raymond Hettinger738ec902004-02-29 02:15:56 +0000128
Raymond Hettinger756b3f32004-01-29 06:37:52 +0000129static PyObject *
130deque_new(PyTypeObject *type, PyObject *args, PyObject *kwds)
131{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000132 dequeobject *deque;
133 block *b;
Raymond Hettinger756b3f32004-01-29 06:37:52 +0000134
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000135 /* create dequeobject structure */
136 deque = (dequeobject *)type->tp_alloc(type, 0);
137 if (deque == NULL)
138 return NULL;
Tim Peters1065f752004-10-01 01:03:29 +0000139
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000140 b = newblock(NULL, NULL, 0);
141 if (b == NULL) {
142 Py_DECREF(deque);
143 return NULL;
144 }
Raymond Hettinger756b3f32004-01-29 06:37:52 +0000145
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000146 assert(BLOCKLEN >= 2);
147 deque->leftblock = b;
148 deque->rightblock = b;
149 deque->leftindex = CENTER + 1;
150 deque->rightindex = CENTER;
151 deque->len = 0;
152 deque->state = 0;
153 deque->weakreflist = NULL;
154 deque->maxlen = -1;
Raymond Hettinger756b3f32004-01-29 06:37:52 +0000155
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000156 return (PyObject *)deque;
Raymond Hettinger756b3f32004-01-29 06:37:52 +0000157}
158
159static PyObject *
Raymond Hettinger756b3f32004-01-29 06:37:52 +0000160deque_pop(dequeobject *deque, PyObject *unused)
161{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000162 PyObject *item;
163 block *prevblock;
Raymond Hettinger756b3f32004-01-29 06:37:52 +0000164
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000165 if (deque->len == 0) {
166 PyErr_SetString(PyExc_IndexError, "pop from an empty deque");
167 return NULL;
168 }
169 item = deque->rightblock->data[deque->rightindex];
170 deque->rightindex--;
171 deque->len--;
172 deque->state++;
Raymond Hettinger756b3f32004-01-29 06:37:52 +0000173
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000174 if (deque->rightindex == -1) {
175 if (deque->len == 0) {
176 assert(deque->leftblock == deque->rightblock);
177 assert(deque->leftindex == deque->rightindex+1);
178 /* re-center instead of freeing a block */
179 deque->leftindex = CENTER + 1;
180 deque->rightindex = CENTER;
181 } else {
182 prevblock = deque->rightblock->leftlink;
183 assert(deque->leftblock != deque->rightblock);
184 freeblock(deque->rightblock);
185 prevblock->rightlink = NULL;
186 deque->rightblock = prevblock;
187 deque->rightindex = BLOCKLEN - 1;
188 }
189 }
190 return item;
Raymond Hettinger756b3f32004-01-29 06:37:52 +0000191}
192
193PyDoc_STRVAR(pop_doc, "Remove and return the rightmost element.");
194
195static PyObject *
196deque_popleft(dequeobject *deque, PyObject *unused)
197{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000198 PyObject *item;
199 block *prevblock;
Raymond Hettinger756b3f32004-01-29 06:37:52 +0000200
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000201 if (deque->len == 0) {
202 PyErr_SetString(PyExc_IndexError, "pop from an empty deque");
203 return NULL;
204 }
205 assert(deque->leftblock != NULL);
206 item = deque->leftblock->data[deque->leftindex];
207 deque->leftindex++;
208 deque->len--;
209 deque->state++;
Raymond Hettinger756b3f32004-01-29 06:37:52 +0000210
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000211 if (deque->leftindex == BLOCKLEN) {
212 if (deque->len == 0) {
213 assert(deque->leftblock == deque->rightblock);
214 assert(deque->leftindex == deque->rightindex+1);
215 /* re-center instead of freeing a block */
216 deque->leftindex = CENTER + 1;
217 deque->rightindex = CENTER;
218 } else {
219 assert(deque->leftblock != deque->rightblock);
220 prevblock = deque->leftblock->rightlink;
221 freeblock(deque->leftblock);
222 assert(prevblock != NULL);
223 prevblock->leftlink = NULL;
224 deque->leftblock = prevblock;
225 deque->leftindex = 0;
226 }
227 }
228 return item;
Raymond Hettinger756b3f32004-01-29 06:37:52 +0000229}
230
231PyDoc_STRVAR(popleft_doc, "Remove and return the leftmost element.");
232
Raymond Hettinger3ba85c22004-02-06 19:04:56 +0000233static PyObject *
Guido van Rossum8ce8a782007-11-01 19:42:39 +0000234deque_append(dequeobject *deque, PyObject *item)
235{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000236 deque->state++;
237 if (deque->rightindex == BLOCKLEN-1) {
238 block *b = newblock(deque->rightblock, NULL, deque->len);
239 if (b == NULL)
240 return NULL;
241 assert(deque->rightblock->rightlink == NULL);
242 deque->rightblock->rightlink = b;
243 deque->rightblock = b;
244 deque->rightindex = -1;
245 }
246 Py_INCREF(item);
247 deque->len++;
248 deque->rightindex++;
249 deque->rightblock->data[deque->rightindex] = item;
250 TRIM(deque, deque_popleft);
251 Py_RETURN_NONE;
Guido van Rossum8ce8a782007-11-01 19:42:39 +0000252}
253
254PyDoc_STRVAR(append_doc, "Add an element to the right side of the deque.");
255
256static PyObject *
257deque_appendleft(dequeobject *deque, PyObject *item)
258{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000259 deque->state++;
260 if (deque->leftindex == 0) {
261 block *b = newblock(NULL, deque->leftblock, deque->len);
262 if (b == NULL)
263 return NULL;
264 assert(deque->leftblock->leftlink == NULL);
265 deque->leftblock->leftlink = b;
266 deque->leftblock = b;
267 deque->leftindex = BLOCKLEN;
268 }
269 Py_INCREF(item);
270 deque->len++;
271 deque->leftindex--;
272 deque->leftblock->data[deque->leftindex] = item;
273 TRIM(deque, deque_pop);
274 Py_RETURN_NONE;
Guido van Rossum8ce8a782007-11-01 19:42:39 +0000275}
276
277PyDoc_STRVAR(appendleft_doc, "Add an element to the left side of the deque.");
278
Raymond Hettinger060c7f62009-03-10 09:36:07 +0000279
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000280/* Run an iterator to exhaustion. Shortcut for
Raymond Hettinger060c7f62009-03-10 09:36:07 +0000281 the extend/extendleft methods when maxlen == 0. */
282static PyObject*
283consume_iterator(PyObject *it)
284{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000285 PyObject *item;
Raymond Hettinger060c7f62009-03-10 09:36:07 +0000286
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000287 while ((item = PyIter_Next(it)) != NULL) {
288 Py_DECREF(item);
289 }
290 Py_DECREF(it);
291 if (PyErr_Occurred())
292 return NULL;
293 Py_RETURN_NONE;
Raymond Hettinger060c7f62009-03-10 09:36:07 +0000294}
295
Guido van Rossum8ce8a782007-11-01 19:42:39 +0000296static PyObject *
Raymond Hettinger3ba85c22004-02-06 19:04:56 +0000297deque_extend(dequeobject *deque, PyObject *iterable)
298{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000299 PyObject *it, *item;
Raymond Hettinger3ba85c22004-02-06 19:04:56 +0000300
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000301 /* Handle case where id(deque) == id(iterable) */
302 if ((PyObject *)deque == iterable) {
303 PyObject *result;
304 PyObject *s = PySequence_List(iterable);
305 if (s == NULL)
306 return NULL;
307 result = deque_extend(deque, s);
308 Py_DECREF(s);
309 return result;
310 }
Raymond Hettinger3f9afd82009-12-10 03:03:02 +0000311
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000312 it = PyObject_GetIter(iterable);
313 if (it == NULL)
314 return NULL;
Raymond Hettinger3ba85c22004-02-06 19:04:56 +0000315
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000316 if (deque->maxlen == 0)
317 return consume_iterator(it);
Raymond Hettinger060c7f62009-03-10 09:36:07 +0000318
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000319 while ((item = PyIter_Next(it)) != NULL) {
320 deque->state++;
321 if (deque->rightindex == BLOCKLEN-1) {
322 block *b = newblock(deque->rightblock, NULL,
323 deque->len);
324 if (b == NULL) {
325 Py_DECREF(item);
326 Py_DECREF(it);
327 return NULL;
328 }
329 assert(deque->rightblock->rightlink == NULL);
330 deque->rightblock->rightlink = b;
331 deque->rightblock = b;
332 deque->rightindex = -1;
333 }
334 deque->len++;
335 deque->rightindex++;
336 deque->rightblock->data[deque->rightindex] = item;
337 TRIM(deque, deque_popleft);
338 }
339 Py_DECREF(it);
340 if (PyErr_Occurred())
341 return NULL;
342 Py_RETURN_NONE;
Raymond Hettinger3ba85c22004-02-06 19:04:56 +0000343}
344
Tim Peters1065f752004-10-01 01:03:29 +0000345PyDoc_STRVAR(extend_doc,
Raymond Hettinger3ba85c22004-02-06 19:04:56 +0000346"Extend the right side of the deque with elements from the iterable");
347
348static PyObject *
349deque_extendleft(dequeobject *deque, PyObject *iterable)
350{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000351 PyObject *it, *item;
Raymond Hettinger3ba85c22004-02-06 19:04:56 +0000352
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000353 /* Handle case where id(deque) == id(iterable) */
354 if ((PyObject *)deque == iterable) {
355 PyObject *result;
356 PyObject *s = PySequence_List(iterable);
357 if (s == NULL)
358 return NULL;
359 result = deque_extendleft(deque, s);
360 Py_DECREF(s);
361 return result;
362 }
Raymond Hettinger3f9afd82009-12-10 03:03:02 +0000363
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000364 it = PyObject_GetIter(iterable);
365 if (it == NULL)
366 return NULL;
Raymond Hettinger3ba85c22004-02-06 19:04:56 +0000367
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000368 if (deque->maxlen == 0)
369 return consume_iterator(it);
Raymond Hettinger060c7f62009-03-10 09:36:07 +0000370
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000371 while ((item = PyIter_Next(it)) != NULL) {
372 deque->state++;
373 if (deque->leftindex == 0) {
374 block *b = newblock(NULL, deque->leftblock,
375 deque->len);
376 if (b == NULL) {
377 Py_DECREF(item);
378 Py_DECREF(it);
379 return NULL;
380 }
381 assert(deque->leftblock->leftlink == NULL);
382 deque->leftblock->leftlink = b;
383 deque->leftblock = b;
384 deque->leftindex = BLOCKLEN;
385 }
386 deque->len++;
387 deque->leftindex--;
388 deque->leftblock->data[deque->leftindex] = item;
389 TRIM(deque, deque_pop);
390 }
391 Py_DECREF(it);
392 if (PyErr_Occurred())
393 return NULL;
394 Py_RETURN_NONE;
Raymond Hettinger3ba85c22004-02-06 19:04:56 +0000395}
396
Tim Peters1065f752004-10-01 01:03:29 +0000397PyDoc_STRVAR(extendleft_doc,
Raymond Hettinger3ba85c22004-02-06 19:04:56 +0000398"Extend the left side of the deque with elements from the iterable");
399
Raymond Hettinger3f9afd82009-12-10 03:03:02 +0000400static PyObject *
401deque_inplace_concat(dequeobject *deque, PyObject *other)
402{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000403 PyObject *result;
Raymond Hettinger3f9afd82009-12-10 03:03:02 +0000404
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000405 result = deque_extend(deque, other);
406 if (result == NULL)
407 return result;
408 Py_DECREF(result);
409 Py_INCREF(deque);
410 return (PyObject *)deque;
Raymond Hettinger3f9afd82009-12-10 03:03:02 +0000411}
412
Raymond Hettingerdcb9d942004-10-09 16:02:18 +0000413static int
Martin v. Löwis18e16552006-02-15 17:27:45 +0000414_deque_rotate(dequeobject *deque, Py_ssize_t n)
Raymond Hettinger5c5eb862004-02-07 21:13:00 +0000415{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000416 Py_ssize_t i, len=deque->len, halflen=(len+1)>>1;
417 PyObject *item, *rv;
Raymond Hettinger5c5eb862004-02-07 21:13:00 +0000418
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000419 if (len == 0)
420 return 0;
421 if (n > halflen || n < -halflen) {
422 n %= len;
423 if (n > halflen)
424 n -= len;
425 else if (n < -halflen)
426 n += len;
427 }
Raymond Hettinger5c5eb862004-02-07 21:13:00 +0000428
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000429 for (i=0 ; i<n ; i++) {
430 item = deque_pop(deque, NULL);
431 assert (item != NULL);
432 rv = deque_appendleft(deque, item);
433 Py_DECREF(item);
434 if (rv == NULL)
435 return -1;
436 Py_DECREF(rv);
437 }
438 for (i=0 ; i>n ; i--) {
439 item = deque_popleft(deque, NULL);
440 assert (item != NULL);
441 rv = deque_append(deque, item);
442 Py_DECREF(item);
443 if (rv == NULL)
444 return -1;
445 Py_DECREF(rv);
446 }
447 return 0;
Raymond Hettingerdcb9d942004-10-09 16:02:18 +0000448}
449
450static PyObject *
451deque_rotate(dequeobject *deque, PyObject *args)
452{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000453 Py_ssize_t n=1;
Raymond Hettingerdcb9d942004-10-09 16:02:18 +0000454
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000455 if (!PyArg_ParseTuple(args, "|n:rotate", &n))
456 return NULL;
457 if (_deque_rotate(deque, n) == 0)
458 Py_RETURN_NONE;
459 return NULL;
Raymond Hettinger5c5eb862004-02-07 21:13:00 +0000460}
461
Tim Peters1065f752004-10-01 01:03:29 +0000462PyDoc_STRVAR(rotate_doc,
Raymond Hettingeree33b272004-02-08 04:05:26 +0000463"Rotate the deque n steps to the right (default n=1). If n is negative, rotates left.");
Raymond Hettinger5c5eb862004-02-07 21:13:00 +0000464
Raymond Hettingere5fdedb2009-12-10 00:47:21 +0000465static PyObject *
466deque_reverse(dequeobject *deque, PyObject *unused)
467{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000468 block *leftblock = deque->leftblock;
469 block *rightblock = deque->rightblock;
470 Py_ssize_t leftindex = deque->leftindex;
471 Py_ssize_t rightindex = deque->rightindex;
472 Py_ssize_t n = (deque->len)/2;
473 Py_ssize_t i;
474 PyObject *tmp;
Raymond Hettingere5fdedb2009-12-10 00:47:21 +0000475
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000476 for (i=0 ; i<n ; i++) {
477 /* Validate that pointers haven't met in the middle */
478 assert(leftblock != rightblock || leftindex < rightindex);
Raymond Hettingere5fdedb2009-12-10 00:47:21 +0000479
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000480 /* Swap */
481 tmp = leftblock->data[leftindex];
482 leftblock->data[leftindex] = rightblock->data[rightindex];
483 rightblock->data[rightindex] = tmp;
Raymond Hettingere5fdedb2009-12-10 00:47:21 +0000484
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000485 /* Advance left block/index pair */
486 leftindex++;
487 if (leftindex == BLOCKLEN) {
Raymond Hettinger512d2cc2011-01-25 21:32:39 +0000488 if (leftblock->rightlink == NULL)
489 break;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000490 leftblock = leftblock->rightlink;
491 leftindex = 0;
492 }
Raymond Hettingere5fdedb2009-12-10 00:47:21 +0000493
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000494 /* Step backwards with the right block/index pair */
495 rightindex--;
496 if (rightindex == -1) {
Raymond Hettinger512d2cc2011-01-25 21:32:39 +0000497 if (rightblock->leftlink == NULL)
498 break;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000499 rightblock = rightblock->leftlink;
500 rightindex = BLOCKLEN - 1;
501 }
502 }
503 Py_RETURN_NONE;
Raymond Hettingere5fdedb2009-12-10 00:47:21 +0000504}
505
506PyDoc_STRVAR(reverse_doc,
507"D.reverse() -- reverse *IN PLACE*");
508
Raymond Hettinger44459de2010-04-03 23:20:46 +0000509static PyObject *
510deque_count(dequeobject *deque, PyObject *v)
511{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000512 block *leftblock = deque->leftblock;
513 Py_ssize_t leftindex = deque->leftindex;
Raymond Hettinger512d2cc2011-01-25 21:32:39 +0000514 Py_ssize_t n = deque->len;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000515 Py_ssize_t i;
516 Py_ssize_t count = 0;
517 PyObject *item;
518 long start_state = deque->state;
519 int cmp;
Raymond Hettinger44459de2010-04-03 23:20:46 +0000520
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000521 for (i=0 ; i<n ; i++) {
522 item = leftblock->data[leftindex];
523 cmp = PyObject_RichCompareBool(item, v, Py_EQ);
524 if (cmp > 0)
525 count++;
526 else if (cmp < 0)
527 return NULL;
Raymond Hettinger44459de2010-04-03 23:20:46 +0000528
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000529 if (start_state != deque->state) {
530 PyErr_SetString(PyExc_RuntimeError,
531 "deque mutated during iteration");
532 return NULL;
533 }
Raymond Hettinger44459de2010-04-03 23:20:46 +0000534
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000535 /* Advance left block/index pair */
536 leftindex++;
537 if (leftindex == BLOCKLEN) {
Raymond Hettinger512d2cc2011-01-25 21:32:39 +0000538 if (leftblock->rightlink == NULL) /* can occur when i==n-1 */
539 break;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000540 leftblock = leftblock->rightlink;
541 leftindex = 0;
542 }
543 }
544 return PyLong_FromSsize_t(count);
Raymond Hettinger44459de2010-04-03 23:20:46 +0000545}
546
547PyDoc_STRVAR(count_doc,
548"D.count(value) -> integer -- return number of occurrences of value");
549
Martin v. Löwis18e16552006-02-15 17:27:45 +0000550static Py_ssize_t
Raymond Hettinger756b3f32004-01-29 06:37:52 +0000551deque_len(dequeobject *deque)
552{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000553 return deque->len;
Raymond Hettinger756b3f32004-01-29 06:37:52 +0000554}
555
Raymond Hettinger4aec61e2005-03-18 21:20:23 +0000556static PyObject *
557deque_remove(dequeobject *deque, PyObject *value)
558{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000559 Py_ssize_t i, n=deque->len;
Raymond Hettinger4aec61e2005-03-18 21:20:23 +0000560
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000561 for (i=0 ; i<n ; i++) {
562 PyObject *item = deque->leftblock->data[deque->leftindex];
563 int cmp = PyObject_RichCompareBool(item, value, Py_EQ);
Raymond Hettingerd73202c2005-03-19 00:00:51 +0000564
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000565 if (deque->len != n) {
566 PyErr_SetString(PyExc_IndexError,
567 "deque mutated during remove().");
568 return NULL;
569 }
570 if (cmp > 0) {
571 PyObject *tgt = deque_popleft(deque, NULL);
572 assert (tgt != NULL);
573 Py_DECREF(tgt);
574 if (_deque_rotate(deque, i) == -1)
575 return NULL;
576 Py_RETURN_NONE;
577 }
578 else if (cmp < 0) {
579 _deque_rotate(deque, i);
580 return NULL;
581 }
582 _deque_rotate(deque, -1);
583 }
584 PyErr_SetString(PyExc_ValueError, "deque.remove(x): x not in deque");
585 return NULL;
Raymond Hettinger4aec61e2005-03-18 21:20:23 +0000586}
587
588PyDoc_STRVAR(remove_doc,
589"D.remove(value) -- remove first occurrence of value.");
590
Raymond Hettinger756b3f32004-01-29 06:37:52 +0000591static int
592deque_clear(dequeobject *deque)
593{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000594 PyObject *item;
Raymond Hettinger756b3f32004-01-29 06:37:52 +0000595
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000596 while (deque->len) {
597 item = deque_pop(deque, NULL);
598 assert (item != NULL);
599 Py_DECREF(item);
600 }
601 assert(deque->leftblock == deque->rightblock &&
602 deque->leftindex - 1 == deque->rightindex &&
603 deque->len == 0);
604 return 0;
Raymond Hettinger756b3f32004-01-29 06:37:52 +0000605}
606
607static PyObject *
Benjamin Petersond6313712008-07-31 16:23:04 +0000608deque_item(dequeobject *deque, Py_ssize_t i)
Raymond Hettinger0a4977c2004-03-01 23:16:22 +0000609{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000610 block *b;
611 PyObject *item;
612 Py_ssize_t n, index=i;
Raymond Hettinger0a4977c2004-03-01 23:16:22 +0000613
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000614 if (i < 0 || i >= deque->len) {
615 PyErr_SetString(PyExc_IndexError,
616 "deque index out of range");
617 return NULL;
618 }
Raymond Hettinger0a4977c2004-03-01 23:16:22 +0000619
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000620 if (i == 0) {
621 i = deque->leftindex;
622 b = deque->leftblock;
623 } else if (i == deque->len - 1) {
624 i = deque->rightindex;
625 b = deque->rightblock;
626 } else {
627 i += deque->leftindex;
628 n = i / BLOCKLEN;
629 i %= BLOCKLEN;
630 if (index < (deque->len >> 1)) {
631 b = deque->leftblock;
632 while (n--)
633 b = b->rightlink;
634 } else {
635 n = (deque->leftindex + deque->len - 1) / BLOCKLEN - n;
636 b = deque->rightblock;
637 while (n--)
638 b = b->leftlink;
639 }
640 }
641 item = b->data[i];
642 Py_INCREF(item);
643 return item;
Raymond Hettinger0a4977c2004-03-01 23:16:22 +0000644}
645
Raymond Hettinger616f4f62004-06-26 04:42:06 +0000646/* delitem() implemented in terms of rotate for simplicity and reasonable
647 performance near the end points. If for some reason this method becomes
Tim Peters1065f752004-10-01 01:03:29 +0000648 popular, it is not hard to re-implement this using direct data movement
Raymond Hettinger616f4f62004-06-26 04:42:06 +0000649 (similar to code in list slice assignment) and achieve a two or threefold
650 performance boost.
651*/
652
Raymond Hettinger0a4977c2004-03-01 23:16:22 +0000653static int
Martin v. Löwis18e16552006-02-15 17:27:45 +0000654deque_del_item(dequeobject *deque, Py_ssize_t i)
Raymond Hettinger0e371f22004-05-12 20:55:56 +0000655{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000656 PyObject *item;
Raymond Hettinger0e371f22004-05-12 20:55:56 +0000657
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000658 assert (i >= 0 && i < deque->len);
659 if (_deque_rotate(deque, -i) == -1)
660 return -1;
Raymond Hettinger0e371f22004-05-12 20:55:56 +0000661
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000662 item = deque_popleft(deque, NULL);
663 assert (item != NULL);
664 Py_DECREF(item);
Raymond Hettinger0e371f22004-05-12 20:55:56 +0000665
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000666 return _deque_rotate(deque, i);
Raymond Hettinger0e371f22004-05-12 20:55:56 +0000667}
668
669static int
Martin v. Löwis18e16552006-02-15 17:27:45 +0000670deque_ass_item(dequeobject *deque, Py_ssize_t i, PyObject *v)
Raymond Hettinger0a4977c2004-03-01 23:16:22 +0000671{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000672 PyObject *old_value;
673 block *b;
674 Py_ssize_t n, len=deque->len, halflen=(len+1)>>1, index=i;
Raymond Hettinger0a4977c2004-03-01 23:16:22 +0000675
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000676 if (i < 0 || i >= len) {
677 PyErr_SetString(PyExc_IndexError,
678 "deque index out of range");
679 return -1;
680 }
681 if (v == NULL)
682 return deque_del_item(deque, i);
Raymond Hettinger0e371f22004-05-12 20:55:56 +0000683
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000684 i += deque->leftindex;
685 n = i / BLOCKLEN;
686 i %= BLOCKLEN;
687 if (index <= halflen) {
688 b = deque->leftblock;
689 while (n--)
690 b = b->rightlink;
691 } else {
692 n = (deque->leftindex + len - 1) / BLOCKLEN - n;
693 b = deque->rightblock;
694 while (n--)
695 b = b->leftlink;
696 }
697 Py_INCREF(v);
698 old_value = b->data[i];
699 b->data[i] = v;
700 Py_DECREF(old_value);
701 return 0;
Raymond Hettinger0a4977c2004-03-01 23:16:22 +0000702}
703
704static PyObject *
Raymond Hettinger756b3f32004-01-29 06:37:52 +0000705deque_clearmethod(dequeobject *deque)
706{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000707 int rv;
Raymond Hettingera435c532004-07-09 04:10:20 +0000708
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000709 rv = deque_clear(deque);
710 assert (rv != -1);
711 Py_RETURN_NONE;
Raymond Hettinger756b3f32004-01-29 06:37:52 +0000712}
713
714PyDoc_STRVAR(clear_doc, "Remove all elements from the deque.");
715
716static void
717deque_dealloc(dequeobject *deque)
718{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000719 PyObject_GC_UnTrack(deque);
720 if (deque->weakreflist != NULL)
721 PyObject_ClearWeakRefs((PyObject *) deque);
722 if (deque->leftblock != NULL) {
723 deque_clear(deque);
724 assert(deque->leftblock != NULL);
725 freeblock(deque->leftblock);
726 }
727 deque->leftblock = NULL;
728 deque->rightblock = NULL;
729 Py_TYPE(deque)->tp_free(deque);
Raymond Hettinger756b3f32004-01-29 06:37:52 +0000730}
731
732static int
Raymond Hettinger0a4977c2004-03-01 23:16:22 +0000733deque_traverse(dequeobject *deque, visitproc visit, void *arg)
Raymond Hettinger756b3f32004-01-29 06:37:52 +0000734{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000735 block *b;
736 PyObject *item;
737 Py_ssize_t index;
738 Py_ssize_t indexlo = deque->leftindex;
Raymond Hettinger756b3f32004-01-29 06:37:52 +0000739
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000740 for (b = deque->leftblock; b != NULL; b = b->rightlink) {
741 const Py_ssize_t indexhi = b == deque->rightblock ?
742 deque->rightindex :
743 BLOCKLEN - 1;
Tim Peters10c7e862004-10-01 02:01:04 +0000744
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000745 for (index = indexlo; index <= indexhi; ++index) {
746 item = b->data[index];
747 Py_VISIT(item);
748 }
749 indexlo = 0;
750 }
751 return 0;
Raymond Hettinger756b3f32004-01-29 06:37:52 +0000752}
753
Raymond Hettinger756b3f32004-01-29 06:37:52 +0000754static PyObject *
755deque_copy(PyObject *deque)
756{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000757 if (((dequeobject *)deque)->maxlen == -1)
758 return PyObject_CallFunction((PyObject *)(Py_TYPE(deque)), "O", deque, NULL);
759 else
760 return PyObject_CallFunction((PyObject *)(Py_TYPE(deque)), "Oi",
761 deque, ((dequeobject *)deque)->maxlen, NULL);
Raymond Hettinger756b3f32004-01-29 06:37:52 +0000762}
763
764PyDoc_STRVAR(copy_doc, "Return a shallow copy of a deque.");
765
766static PyObject *
767deque_reduce(dequeobject *deque)
768{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000769 PyObject *dict, *result, *aslist;
Martin v. Löwisbd928fe2011-10-14 10:20:37 +0200770 _Py_IDENTIFIER(__dict__);
Raymond Hettinger756b3f32004-01-29 06:37:52 +0000771
Martin v. Löwis1ee1b6f2011-10-10 18:11:30 +0200772 dict = _PyObject_GetAttrId((PyObject *)deque, &PyId___dict__);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000773 if (dict == NULL)
774 PyErr_Clear();
775 aslist = PySequence_List((PyObject *)deque);
776 if (aslist == NULL) {
777 Py_XDECREF(dict);
778 return NULL;
779 }
780 if (dict == NULL) {
781 if (deque->maxlen == -1)
782 result = Py_BuildValue("O(O)", Py_TYPE(deque), aslist);
783 else
784 result = Py_BuildValue("O(On)", Py_TYPE(deque), aslist, deque->maxlen);
785 } else {
786 if (deque->maxlen == -1)
787 result = Py_BuildValue("O(OO)O", Py_TYPE(deque), aslist, Py_None, dict);
788 else
789 result = Py_BuildValue("O(On)O", Py_TYPE(deque), aslist, deque->maxlen, dict);
790 }
791 Py_XDECREF(dict);
792 Py_DECREF(aslist);
793 return result;
Raymond Hettinger756b3f32004-01-29 06:37:52 +0000794}
795
796PyDoc_STRVAR(reduce_doc, "Return state information for pickling.");
797
798static PyObject *
799deque_repr(PyObject *deque)
800{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000801 PyObject *aslist, *result;
802 int i;
Raymond Hettinger756b3f32004-01-29 06:37:52 +0000803
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000804 i = Py_ReprEnter(deque);
805 if (i != 0) {
806 if (i < 0)
807 return NULL;
808 return PyUnicode_FromString("[...]");
809 }
Raymond Hettinger756b3f32004-01-29 06:37:52 +0000810
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000811 aslist = PySequence_List(deque);
812 if (aslist == NULL) {
813 Py_ReprLeave(deque);
814 return NULL;
815 }
816 if (((dequeobject *)deque)->maxlen != -1)
Benjamin Petersona786b022008-08-25 21:05:21 +0000817
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000818 result = PyUnicode_FromFormat("deque(%R, maxlen=%zd)",
819 aslist, ((dequeobject *)deque)->maxlen);
820 else
821 result = PyUnicode_FromFormat("deque(%R)", aslist);
822 Py_DECREF(aslist);
823 Py_ReprLeave(deque);
824 return result;
Raymond Hettinger756b3f32004-01-29 06:37:52 +0000825}
826
Raymond Hettinger738ec902004-02-29 02:15:56 +0000827static PyObject *
828deque_richcompare(PyObject *v, PyObject *w, int op)
829{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000830 PyObject *it1=NULL, *it2=NULL, *x, *y;
831 Py_ssize_t vs, ws;
832 int b, cmp=-1;
Raymond Hettinger738ec902004-02-29 02:15:56 +0000833
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000834 if (!PyObject_TypeCheck(v, &deque_type) ||
835 !PyObject_TypeCheck(w, &deque_type)) {
Brian Curtindfc80e32011-08-10 20:28:54 -0500836 Py_RETURN_NOTIMPLEMENTED;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000837 }
Raymond Hettinger738ec902004-02-29 02:15:56 +0000838
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000839 /* Shortcuts */
840 vs = ((dequeobject *)v)->len;
841 ws = ((dequeobject *)w)->len;
842 if (op == Py_EQ) {
843 if (v == w)
844 Py_RETURN_TRUE;
845 if (vs != ws)
846 Py_RETURN_FALSE;
847 }
848 if (op == Py_NE) {
849 if (v == w)
850 Py_RETURN_FALSE;
851 if (vs != ws)
852 Py_RETURN_TRUE;
853 }
Raymond Hettinger738ec902004-02-29 02:15:56 +0000854
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000855 /* Search for the first index where items are different */
856 it1 = PyObject_GetIter(v);
857 if (it1 == NULL)
858 goto done;
859 it2 = PyObject_GetIter(w);
860 if (it2 == NULL)
861 goto done;
862 for (;;) {
863 x = PyIter_Next(it1);
864 if (x == NULL && PyErr_Occurred())
865 goto done;
866 y = PyIter_Next(it2);
867 if (x == NULL || y == NULL)
868 break;
869 b = PyObject_RichCompareBool(x, y, Py_EQ);
870 if (b == 0) {
871 cmp = PyObject_RichCompareBool(x, y, op);
872 Py_DECREF(x);
873 Py_DECREF(y);
874 goto done;
875 }
876 Py_DECREF(x);
877 Py_DECREF(y);
878 if (b == -1)
879 goto done;
880 }
881 /* We reached the end of one deque or both */
882 Py_XDECREF(x);
883 Py_XDECREF(y);
884 if (PyErr_Occurred())
885 goto done;
886 switch (op) {
887 case Py_LT: cmp = y != NULL; break; /* if w was longer */
888 case Py_LE: cmp = x == NULL; break; /* if v was not longer */
889 case Py_EQ: cmp = x == y; break; /* if we reached the end of both */
890 case Py_NE: cmp = x != y; break; /* if one deque continues */
891 case Py_GT: cmp = x != NULL; break; /* if v was longer */
892 case Py_GE: cmp = y == NULL; break; /* if w was not longer */
893 }
Tim Peters1065f752004-10-01 01:03:29 +0000894
Raymond Hettinger738ec902004-02-29 02:15:56 +0000895done:
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000896 Py_XDECREF(it1);
897 Py_XDECREF(it2);
898 if (cmp == 1)
899 Py_RETURN_TRUE;
900 if (cmp == 0)
901 Py_RETURN_FALSE;
902 return NULL;
Raymond Hettinger738ec902004-02-29 02:15:56 +0000903}
904
Raymond Hettinger756b3f32004-01-29 06:37:52 +0000905static int
Guido van Rossum8ce8a782007-11-01 19:42:39 +0000906deque_init(dequeobject *deque, PyObject *args, PyObject *kwdargs)
Raymond Hettinger756b3f32004-01-29 06:37:52 +0000907{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000908 PyObject *iterable = NULL;
909 PyObject *maxlenobj = NULL;
910 Py_ssize_t maxlen = -1;
911 char *kwlist[] = {"iterable", "maxlen", 0};
Raymond Hettinger756b3f32004-01-29 06:37:52 +0000912
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000913 if (!PyArg_ParseTupleAndKeywords(args, kwdargs, "|OO:deque", kwlist, &iterable, &maxlenobj))
914 return -1;
915 if (maxlenobj != NULL && maxlenobj != Py_None) {
916 maxlen = PyLong_AsSsize_t(maxlenobj);
917 if (maxlen == -1 && PyErr_Occurred())
918 return -1;
919 if (maxlen < 0) {
920 PyErr_SetString(PyExc_ValueError, "maxlen must be non-negative");
921 return -1;
922 }
923 }
924 deque->maxlen = maxlen;
925 deque_clear(deque);
926 if (iterable != NULL) {
927 PyObject *rv = deque_extend(deque, iterable);
928 if (rv == NULL)
929 return -1;
930 Py_DECREF(rv);
931 }
932 return 0;
Raymond Hettinger756b3f32004-01-29 06:37:52 +0000933}
934
Raymond Hettinger5bb0f0e2009-03-10 12:56:32 +0000935static PyObject *
Jesus Cea16e2fca2012-08-03 14:49:42 +0200936deque_sizeof(dequeobject *deque, void *unused)
937{
938 Py_ssize_t res;
939 Py_ssize_t blocks;
940
941 res = sizeof(dequeobject);
942 blocks = (deque->leftindex + deque->len + BLOCKLEN - 1) / BLOCKLEN;
943 assert(deque->leftindex + deque->len - 1 ==
944 (blocks - 1) * BLOCKLEN + deque->rightindex);
945 res += blocks * sizeof(block);
946 return PyLong_FromSsize_t(res);
947}
948
949PyDoc_STRVAR(sizeof_doc,
950"D.__sizeof__() -- size of D in memory, in bytes");
951
952static PyObject *
Raymond Hettinger5bb0f0e2009-03-10 12:56:32 +0000953deque_get_maxlen(dequeobject *deque)
954{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000955 if (deque->maxlen == -1)
956 Py_RETURN_NONE;
957 return PyLong_FromSsize_t(deque->maxlen);
Raymond Hettinger5bb0f0e2009-03-10 12:56:32 +0000958}
959
960static PyGetSetDef deque_getset[] = {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000961 {"maxlen", (getter)deque_get_maxlen, (setter)NULL,
962 "maximum size of a deque or None if unbounded"},
963 {0}
Raymond Hettinger5bb0f0e2009-03-10 12:56:32 +0000964};
965
Raymond Hettinger756b3f32004-01-29 06:37:52 +0000966static PySequenceMethods deque_as_sequence = {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000967 (lenfunc)deque_len, /* sq_length */
968 0, /* sq_concat */
969 0, /* sq_repeat */
970 (ssizeargfunc)deque_item, /* sq_item */
971 0, /* sq_slice */
972 (ssizeobjargproc)deque_ass_item, /* sq_ass_item */
973 0, /* sq_ass_slice */
974 0, /* sq_contains */
975 (binaryfunc)deque_inplace_concat, /* sq_inplace_concat */
976 0, /* sq_inplace_repeat */
Raymond Hettinger3f9afd82009-12-10 03:03:02 +0000977
Raymond Hettinger756b3f32004-01-29 06:37:52 +0000978};
979
980/* deque object ********************************************************/
981
982static PyObject *deque_iter(dequeobject *deque);
Raymond Hettinger1e5809f2004-03-18 11:04:57 +0000983static PyObject *deque_reviter(dequeobject *deque);
Tim Peters1065f752004-10-01 01:03:29 +0000984PyDoc_STRVAR(reversed_doc,
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000985 "D.__reversed__() -- return a reverse iterator over the deque");
Raymond Hettinger756b3f32004-01-29 06:37:52 +0000986
987static PyMethodDef deque_methods[] = {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000988 {"append", (PyCFunction)deque_append,
989 METH_O, append_doc},
990 {"appendleft", (PyCFunction)deque_appendleft,
991 METH_O, appendleft_doc},
992 {"clear", (PyCFunction)deque_clearmethod,
993 METH_NOARGS, clear_doc},
994 {"__copy__", (PyCFunction)deque_copy,
995 METH_NOARGS, copy_doc},
996 {"count", (PyCFunction)deque_count,
997 METH_O, count_doc},
998 {"extend", (PyCFunction)deque_extend,
999 METH_O, extend_doc},
1000 {"extendleft", (PyCFunction)deque_extendleft,
1001 METH_O, extendleft_doc},
1002 {"pop", (PyCFunction)deque_pop,
1003 METH_NOARGS, pop_doc},
1004 {"popleft", (PyCFunction)deque_popleft,
1005 METH_NOARGS, popleft_doc},
1006 {"__reduce__", (PyCFunction)deque_reduce,
1007 METH_NOARGS, reduce_doc},
1008 {"remove", (PyCFunction)deque_remove,
1009 METH_O, remove_doc},
1010 {"__reversed__", (PyCFunction)deque_reviter,
1011 METH_NOARGS, reversed_doc},
1012 {"reverse", (PyCFunction)deque_reverse,
1013 METH_NOARGS, reverse_doc},
1014 {"rotate", (PyCFunction)deque_rotate,
Jesus Cea16e2fca2012-08-03 14:49:42 +02001015 METH_VARARGS, rotate_doc},
1016 {"__sizeof__", (PyCFunction)deque_sizeof,
1017 METH_NOARGS, sizeof_doc},
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001018 {NULL, NULL} /* sentinel */
Raymond Hettinger756b3f32004-01-29 06:37:52 +00001019};
1020
1021PyDoc_STRVAR(deque_doc,
Andrew Svetlov6a5c7c32012-10-31 11:50:40 +02001022"deque([iterable[, maxlen]]) --> deque object\n\
Raymond Hettinger756b3f32004-01-29 06:37:52 +00001023\n\
Raymond Hettinger49747052011-03-29 17:36:31 -07001024Build an ordered collection with optimized access from its endpoints.");
Raymond Hettinger756b3f32004-01-29 06:37:52 +00001025
Neal Norwitz87f10132004-02-29 15:40:53 +00001026static PyTypeObject deque_type = {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001027 PyVarObject_HEAD_INIT(NULL, 0)
1028 "collections.deque", /* tp_name */
1029 sizeof(dequeobject), /* tp_basicsize */
1030 0, /* tp_itemsize */
1031 /* methods */
1032 (destructor)deque_dealloc, /* tp_dealloc */
1033 0, /* tp_print */
1034 0, /* tp_getattr */
1035 0, /* tp_setattr */
1036 0, /* tp_reserved */
1037 deque_repr, /* tp_repr */
1038 0, /* tp_as_number */
1039 &deque_as_sequence, /* tp_as_sequence */
1040 0, /* tp_as_mapping */
Georg Brandlf038b322010-10-18 07:35:09 +00001041 PyObject_HashNotImplemented, /* tp_hash */
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001042 0, /* tp_call */
1043 0, /* tp_str */
1044 PyObject_GenericGetAttr, /* tp_getattro */
1045 0, /* tp_setattro */
1046 0, /* tp_as_buffer */
1047 Py_TPFLAGS_DEFAULT | Py_TPFLAGS_BASETYPE | Py_TPFLAGS_HAVE_GC,
Georg Brandlf038b322010-10-18 07:35:09 +00001048 /* tp_flags */
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001049 deque_doc, /* tp_doc */
1050 (traverseproc)deque_traverse, /* tp_traverse */
1051 (inquiry)deque_clear, /* tp_clear */
1052 (richcmpfunc)deque_richcompare, /* tp_richcompare */
Georg Brandlf038b322010-10-18 07:35:09 +00001053 offsetof(dequeobject, weakreflist), /* tp_weaklistoffset*/
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001054 (getiterfunc)deque_iter, /* tp_iter */
1055 0, /* tp_iternext */
1056 deque_methods, /* tp_methods */
1057 0, /* tp_members */
Georg Brandlf038b322010-10-18 07:35:09 +00001058 deque_getset, /* tp_getset */
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001059 0, /* tp_base */
1060 0, /* tp_dict */
1061 0, /* tp_descr_get */
1062 0, /* tp_descr_set */
1063 0, /* tp_dictoffset */
1064 (initproc)deque_init, /* tp_init */
1065 PyType_GenericAlloc, /* tp_alloc */
1066 deque_new, /* tp_new */
1067 PyObject_GC_Del, /* tp_free */
Raymond Hettinger756b3f32004-01-29 06:37:52 +00001068};
1069
1070/*********************** Deque Iterator **************************/
1071
1072typedef struct {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001073 PyObject_HEAD
1074 Py_ssize_t index;
1075 block *b;
1076 dequeobject *deque;
1077 long state; /* state when the iterator is created */
1078 Py_ssize_t counter; /* number of items remaining for iteration */
Raymond Hettinger756b3f32004-01-29 06:37:52 +00001079} dequeiterobject;
1080
Martin v. Löwis59683e82008-06-13 07:50:45 +00001081static PyTypeObject dequeiter_type;
Raymond Hettinger756b3f32004-01-29 06:37:52 +00001082
1083static PyObject *
1084deque_iter(dequeobject *deque)
1085{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001086 dequeiterobject *it;
Raymond Hettinger756b3f32004-01-29 06:37:52 +00001087
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001088 it = PyObject_GC_New(dequeiterobject, &dequeiter_type);
1089 if (it == NULL)
1090 return NULL;
1091 it->b = deque->leftblock;
1092 it->index = deque->leftindex;
1093 Py_INCREF(deque);
1094 it->deque = deque;
1095 it->state = deque->state;
1096 it->counter = deque->len;
1097 PyObject_GC_Track(it);
1098 return (PyObject *)it;
Raymond Hettinger756b3f32004-01-29 06:37:52 +00001099}
1100
Antoine Pitrou7ddda782009-01-01 15:35:33 +00001101static int
1102dequeiter_traverse(dequeiterobject *dio, visitproc visit, void *arg)
1103{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001104 Py_VISIT(dio->deque);
1105 return 0;
Antoine Pitrou7ddda782009-01-01 15:35:33 +00001106}
1107
Raymond Hettinger756b3f32004-01-29 06:37:52 +00001108static void
1109dequeiter_dealloc(dequeiterobject *dio)
1110{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001111 Py_XDECREF(dio->deque);
1112 PyObject_GC_Del(dio);
Raymond Hettinger756b3f32004-01-29 06:37:52 +00001113}
1114
1115static PyObject *
1116dequeiter_next(dequeiterobject *it)
1117{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001118 PyObject *item;
Raymond Hettingerd1b3d882004-10-02 00:43:13 +00001119
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001120 if (it->deque->state != it->state) {
1121 it->counter = 0;
1122 PyErr_SetString(PyExc_RuntimeError,
1123 "deque mutated during iteration");
1124 return NULL;
1125 }
1126 if (it->counter == 0)
1127 return NULL;
1128 assert (!(it->b == it->deque->rightblock &&
1129 it->index > it->deque->rightindex));
Raymond Hettinger756b3f32004-01-29 06:37:52 +00001130
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001131 item = it->b->data[it->index];
1132 it->index++;
1133 it->counter--;
1134 if (it->index == BLOCKLEN && it->counter > 0) {
1135 assert (it->b->rightlink != NULL);
1136 it->b = it->b->rightlink;
1137 it->index = 0;
1138 }
1139 Py_INCREF(item);
1140 return item;
Raymond Hettinger756b3f32004-01-29 06:37:52 +00001141}
1142
Raymond Hettinger6b27cda2005-09-24 21:23:05 +00001143static PyObject *
Kristján Valur Jónsson31668b82012-04-03 10:49:41 +00001144dequeiter_new(PyTypeObject *type, PyObject *args, PyObject *kwds)
1145{
1146 Py_ssize_t i, index=0;
1147 PyObject *deque;
1148 dequeiterobject *it;
1149 if (!PyArg_ParseTuple(args, "O!|n", &deque_type, &deque, &index))
1150 return NULL;
1151 assert(type == &dequeiter_type);
1152
1153 it = (dequeiterobject*)deque_iter((dequeobject *)deque);
1154 if (!it)
1155 return NULL;
1156 /* consume items from the queue */
1157 for(i=0; i<index; i++) {
1158 PyObject *item = dequeiter_next(it);
1159 if (item) {
1160 Py_DECREF(item);
1161 } else {
1162 if (it->counter) {
1163 Py_DECREF(it);
1164 return NULL;
1165 } else
1166 break;
1167 }
1168 }
1169 return (PyObject*)it;
1170}
1171
1172static PyObject *
Raymond Hettinger1e5809f2004-03-18 11:04:57 +00001173dequeiter_len(dequeiterobject *it)
1174{
Antoine Pitrou554f3342010-08-17 18:30:06 +00001175 return PyLong_FromSsize_t(it->counter);
Raymond Hettinger1e5809f2004-03-18 11:04:57 +00001176}
1177
Armin Rigof5b3e362006-02-11 21:32:43 +00001178PyDoc_STRVAR(length_hint_doc, "Private method returning an estimate of len(list(it)).");
Raymond Hettinger6b27cda2005-09-24 21:23:05 +00001179
Kristján Valur Jónsson31668b82012-04-03 10:49:41 +00001180static PyObject *
1181dequeiter_reduce(dequeiterobject *it)
1182{
1183 return Py_BuildValue("O(On)", Py_TYPE(it), it->deque, it->deque->len - it->counter);
1184}
1185
Raymond Hettinger6b27cda2005-09-24 21:23:05 +00001186static PyMethodDef dequeiter_methods[] = {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001187 {"__length_hint__", (PyCFunction)dequeiter_len, METH_NOARGS, length_hint_doc},
Kristján Valur Jónsson31668b82012-04-03 10:49:41 +00001188 {"__reduce__", (PyCFunction)dequeiter_reduce, METH_NOARGS, reduce_doc},
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001189 {NULL, NULL} /* sentinel */
Raymond Hettinger1e5809f2004-03-18 11:04:57 +00001190};
1191
Martin v. Löwis59683e82008-06-13 07:50:45 +00001192static PyTypeObject dequeiter_type = {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001193 PyVarObject_HEAD_INIT(NULL, 0)
Kristján Valur Jónsson31668b82012-04-03 10:49:41 +00001194 "_collections._deque_iterator", /* tp_name */
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001195 sizeof(dequeiterobject), /* tp_basicsize */
1196 0, /* tp_itemsize */
1197 /* methods */
1198 (destructor)dequeiter_dealloc, /* tp_dealloc */
1199 0, /* tp_print */
1200 0, /* tp_getattr */
1201 0, /* tp_setattr */
1202 0, /* tp_reserved */
1203 0, /* tp_repr */
1204 0, /* tp_as_number */
1205 0, /* tp_as_sequence */
1206 0, /* tp_as_mapping */
1207 0, /* tp_hash */
1208 0, /* tp_call */
1209 0, /* tp_str */
1210 PyObject_GenericGetAttr, /* tp_getattro */
1211 0, /* tp_setattro */
1212 0, /* tp_as_buffer */
1213 Py_TPFLAGS_DEFAULT | Py_TPFLAGS_HAVE_GC,/* tp_flags */
1214 0, /* tp_doc */
1215 (traverseproc)dequeiter_traverse, /* tp_traverse */
1216 0, /* tp_clear */
1217 0, /* tp_richcompare */
1218 0, /* tp_weaklistoffset */
1219 PyObject_SelfIter, /* tp_iter */
1220 (iternextfunc)dequeiter_next, /* tp_iternext */
1221 dequeiter_methods, /* tp_methods */
Kristján Valur Jónsson31668b82012-04-03 10:49:41 +00001222 0, /* tp_members */
1223 0, /* tp_getset */
1224 0, /* tp_base */
1225 0, /* tp_dict */
1226 0, /* tp_descr_get */
1227 0, /* tp_descr_set */
1228 0, /* tp_dictoffset */
1229 0, /* tp_init */
1230 0, /* tp_alloc */
1231 dequeiter_new, /* tp_new */
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001232 0,
Raymond Hettinger756b3f32004-01-29 06:37:52 +00001233};
1234
Raymond Hettinger1e5809f2004-03-18 11:04:57 +00001235/*********************** Deque Reverse Iterator **************************/
1236
Martin v. Löwis59683e82008-06-13 07:50:45 +00001237static PyTypeObject dequereviter_type;
Raymond Hettinger1e5809f2004-03-18 11:04:57 +00001238
1239static PyObject *
1240deque_reviter(dequeobject *deque)
1241{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001242 dequeiterobject *it;
Raymond Hettinger1e5809f2004-03-18 11:04:57 +00001243
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001244 it = PyObject_GC_New(dequeiterobject, &dequereviter_type);
1245 if (it == NULL)
1246 return NULL;
1247 it->b = deque->rightblock;
1248 it->index = deque->rightindex;
1249 Py_INCREF(deque);
1250 it->deque = deque;
1251 it->state = deque->state;
1252 it->counter = deque->len;
1253 PyObject_GC_Track(it);
1254 return (PyObject *)it;
Raymond Hettinger1e5809f2004-03-18 11:04:57 +00001255}
1256
1257static PyObject *
1258dequereviter_next(dequeiterobject *it)
1259{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001260 PyObject *item;
1261 if (it->counter == 0)
1262 return NULL;
Raymond Hettinger1e5809f2004-03-18 11:04:57 +00001263
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001264 if (it->deque->state != it->state) {
1265 it->counter = 0;
1266 PyErr_SetString(PyExc_RuntimeError,
1267 "deque mutated during iteration");
1268 return NULL;
1269 }
1270 assert (!(it->b == it->deque->leftblock &&
1271 it->index < it->deque->leftindex));
Raymond Hettinger1e5809f2004-03-18 11:04:57 +00001272
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001273 item = it->b->data[it->index];
1274 it->index--;
1275 it->counter--;
1276 if (it->index == -1 && it->counter > 0) {
1277 assert (it->b->leftlink != NULL);
1278 it->b = it->b->leftlink;
1279 it->index = BLOCKLEN - 1;
1280 }
1281 Py_INCREF(item);
1282 return item;
Raymond Hettinger1e5809f2004-03-18 11:04:57 +00001283}
1284
Kristján Valur Jónsson31668b82012-04-03 10:49:41 +00001285static PyObject *
1286dequereviter_new(PyTypeObject *type, PyObject *args, PyObject *kwds)
1287{
1288 Py_ssize_t i, index=0;
1289 PyObject *deque;
1290 dequeiterobject *it;
1291 if (!PyArg_ParseTuple(args, "O!|n", &deque_type, &deque, &index))
1292 return NULL;
1293 assert(type == &dequereviter_type);
1294
1295 it = (dequeiterobject*)deque_reviter((dequeobject *)deque);
1296 if (!it)
1297 return NULL;
1298 /* consume items from the queue */
1299 for(i=0; i<index; i++) {
1300 PyObject *item = dequereviter_next(it);
1301 if (item) {
1302 Py_DECREF(item);
1303 } else {
1304 if (it->counter) {
1305 Py_DECREF(it);
1306 return NULL;
1307 } else
1308 break;
1309 }
1310 }
1311 return (PyObject*)it;
1312}
1313
Martin v. Löwis59683e82008-06-13 07:50:45 +00001314static PyTypeObject dequereviter_type = {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001315 PyVarObject_HEAD_INIT(NULL, 0)
Kristján Valur Jónsson31668b82012-04-03 10:49:41 +00001316 "_collections._deque_reverse_iterator", /* tp_name */
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001317 sizeof(dequeiterobject), /* tp_basicsize */
1318 0, /* tp_itemsize */
1319 /* methods */
1320 (destructor)dequeiter_dealloc, /* tp_dealloc */
1321 0, /* tp_print */
1322 0, /* tp_getattr */
1323 0, /* tp_setattr */
1324 0, /* tp_reserved */
1325 0, /* tp_repr */
1326 0, /* tp_as_number */
1327 0, /* tp_as_sequence */
1328 0, /* tp_as_mapping */
1329 0, /* tp_hash */
1330 0, /* tp_call */
1331 0, /* tp_str */
1332 PyObject_GenericGetAttr, /* tp_getattro */
1333 0, /* tp_setattro */
1334 0, /* tp_as_buffer */
1335 Py_TPFLAGS_DEFAULT | Py_TPFLAGS_HAVE_GC,/* tp_flags */
1336 0, /* tp_doc */
1337 (traverseproc)dequeiter_traverse, /* tp_traverse */
1338 0, /* tp_clear */
1339 0, /* tp_richcompare */
1340 0, /* tp_weaklistoffset */
1341 PyObject_SelfIter, /* tp_iter */
1342 (iternextfunc)dequereviter_next, /* tp_iternext */
1343 dequeiter_methods, /* tp_methods */
Kristján Valur Jónsson31668b82012-04-03 10:49:41 +00001344 0, /* tp_members */
1345 0, /* tp_getset */
1346 0, /* tp_base */
1347 0, /* tp_dict */
1348 0, /* tp_descr_get */
1349 0, /* tp_descr_set */
1350 0, /* tp_dictoffset */
1351 0, /* tp_init */
1352 0, /* tp_alloc */
1353 dequereviter_new, /* tp_new */
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001354 0,
Raymond Hettinger1e5809f2004-03-18 11:04:57 +00001355};
1356
Guido van Rossum1968ad32006-02-25 22:38:04 +00001357/* defaultdict type *********************************************************/
1358
1359typedef struct {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001360 PyDictObject dict;
1361 PyObject *default_factory;
Guido van Rossum1968ad32006-02-25 22:38:04 +00001362} defdictobject;
1363
1364static PyTypeObject defdict_type; /* Forward */
1365
1366PyDoc_STRVAR(defdict_missing_doc,
1367"__missing__(key) # Called by __getitem__ for missing key; pseudo-code:\n\
Guido van Rossumd8faa362007-04-27 19:54:29 +00001368 if self.default_factory is None: raise KeyError((key,))\n\
Guido van Rossum1968ad32006-02-25 22:38:04 +00001369 self[key] = value = self.default_factory()\n\
1370 return value\n\
1371");
1372
1373static PyObject *
1374defdict_missing(defdictobject *dd, PyObject *key)
1375{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001376 PyObject *factory = dd->default_factory;
1377 PyObject *value;
1378 if (factory == NULL || factory == Py_None) {
1379 /* XXX Call dict.__missing__(key) */
1380 PyObject *tup;
1381 tup = PyTuple_Pack(1, key);
1382 if (!tup) return NULL;
1383 PyErr_SetObject(PyExc_KeyError, tup);
1384 Py_DECREF(tup);
1385 return NULL;
1386 }
1387 value = PyEval_CallObject(factory, NULL);
1388 if (value == NULL)
1389 return value;
1390 if (PyObject_SetItem((PyObject *)dd, key, value) < 0) {
1391 Py_DECREF(value);
1392 return NULL;
1393 }
1394 return value;
Guido van Rossum1968ad32006-02-25 22:38:04 +00001395}
1396
1397PyDoc_STRVAR(defdict_copy_doc, "D.copy() -> a shallow copy of D.");
1398
1399static PyObject *
1400defdict_copy(defdictobject *dd)
1401{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001402 /* This calls the object's class. That only works for subclasses
1403 whose class constructor has the same signature. Subclasses that
1404 define a different constructor signature must override copy().
1405 */
Raymond Hettinger54628fa2009-08-04 19:16:39 +00001406
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001407 if (dd->default_factory == NULL)
1408 return PyObject_CallFunctionObjArgs((PyObject*)Py_TYPE(dd), Py_None, dd, NULL);
1409 return PyObject_CallFunctionObjArgs((PyObject*)Py_TYPE(dd),
1410 dd->default_factory, dd, NULL);
Guido van Rossum1968ad32006-02-25 22:38:04 +00001411}
1412
1413static PyObject *
1414defdict_reduce(defdictobject *dd)
1415{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001416 /* __reduce__ must return a 5-tuple as follows:
Guido van Rossum1968ad32006-02-25 22:38:04 +00001417
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001418 - factory function
1419 - tuple of args for the factory function
1420 - additional state (here None)
1421 - sequence iterator (here None)
1422 - dictionary iterator (yielding successive (key, value) pairs
Guido van Rossum1968ad32006-02-25 22:38:04 +00001423
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001424 This API is used by pickle.py and copy.py.
Guido van Rossum1968ad32006-02-25 22:38:04 +00001425
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001426 For this to be useful with pickle.py, the default_factory
1427 must be picklable; e.g., None, a built-in, or a global
1428 function in a module or package.
Guido van Rossum1968ad32006-02-25 22:38:04 +00001429
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001430 Both shallow and deep copying are supported, but for deep
1431 copying, the default_factory must be deep-copyable; e.g. None,
1432 or a built-in (functions are not copyable at this time).
Guido van Rossum1968ad32006-02-25 22:38:04 +00001433
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001434 This only works for subclasses as long as their constructor
1435 signature is compatible; the first argument must be the
1436 optional default_factory, defaulting to None.
1437 */
1438 PyObject *args;
1439 PyObject *items;
1440 PyObject *iter;
1441 PyObject *result;
Martin v. Löwisbd928fe2011-10-14 10:20:37 +02001442 _Py_IDENTIFIER(items);
Martin v. Löwisafe55bb2011-10-09 10:38:36 +02001443
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001444 if (dd->default_factory == NULL || dd->default_factory == Py_None)
1445 args = PyTuple_New(0);
1446 else
1447 args = PyTuple_Pack(1, dd->default_factory);
1448 if (args == NULL)
1449 return NULL;
Martin v. Löwisafe55bb2011-10-09 10:38:36 +02001450 items = _PyObject_CallMethodId((PyObject *)dd, &PyId_items, "()");
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001451 if (items == NULL) {
1452 Py_DECREF(args);
1453 return NULL;
1454 }
1455 iter = PyObject_GetIter(items);
1456 if (iter == NULL) {
1457 Py_DECREF(items);
1458 Py_DECREF(args);
1459 return NULL;
1460 }
1461 result = PyTuple_Pack(5, Py_TYPE(dd), args,
1462 Py_None, Py_None, iter);
1463 Py_DECREF(iter);
1464 Py_DECREF(items);
1465 Py_DECREF(args);
1466 return result;
Guido van Rossum1968ad32006-02-25 22:38:04 +00001467}
1468
1469static PyMethodDef defdict_methods[] = {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001470 {"__missing__", (PyCFunction)defdict_missing, METH_O,
1471 defdict_missing_doc},
1472 {"copy", (PyCFunction)defdict_copy, METH_NOARGS,
1473 defdict_copy_doc},
1474 {"__copy__", (PyCFunction)defdict_copy, METH_NOARGS,
1475 defdict_copy_doc},
1476 {"__reduce__", (PyCFunction)defdict_reduce, METH_NOARGS,
1477 reduce_doc},
1478 {NULL}
Guido van Rossum1968ad32006-02-25 22:38:04 +00001479};
1480
1481static PyMemberDef defdict_members[] = {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001482 {"default_factory", T_OBJECT,
1483 offsetof(defdictobject, default_factory), 0,
1484 PyDoc_STR("Factory for default value called by __missing__().")},
1485 {NULL}
Guido van Rossum1968ad32006-02-25 22:38:04 +00001486};
1487
1488static void
1489defdict_dealloc(defdictobject *dd)
1490{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001491 Py_CLEAR(dd->default_factory);
1492 PyDict_Type.tp_dealloc((PyObject *)dd);
Guido van Rossum1968ad32006-02-25 22:38:04 +00001493}
1494
Guido van Rossum1968ad32006-02-25 22:38:04 +00001495static PyObject *
1496defdict_repr(defdictobject *dd)
1497{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001498 PyObject *baserepr;
1499 PyObject *defrepr;
1500 PyObject *result;
1501 baserepr = PyDict_Type.tp_repr((PyObject *)dd);
1502 if (baserepr == NULL)
1503 return NULL;
1504 if (dd->default_factory == NULL)
1505 defrepr = PyUnicode_FromString("None");
1506 else
1507 {
1508 int status = Py_ReprEnter(dd->default_factory);
1509 if (status != 0) {
Antoine Pitrouf5f1fe02012-02-15 02:42:46 +01001510 if (status < 0) {
1511 Py_DECREF(baserepr);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001512 return NULL;
Antoine Pitrouf5f1fe02012-02-15 02:42:46 +01001513 }
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001514 defrepr = PyUnicode_FromString("...");
1515 }
1516 else
1517 defrepr = PyObject_Repr(dd->default_factory);
1518 Py_ReprLeave(dd->default_factory);
1519 }
1520 if (defrepr == NULL) {
1521 Py_DECREF(baserepr);
1522 return NULL;
1523 }
1524 result = PyUnicode_FromFormat("defaultdict(%U, %U)",
1525 defrepr, baserepr);
1526 Py_DECREF(defrepr);
1527 Py_DECREF(baserepr);
1528 return result;
Guido van Rossum1968ad32006-02-25 22:38:04 +00001529}
1530
1531static int
1532defdict_traverse(PyObject *self, visitproc visit, void *arg)
1533{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001534 Py_VISIT(((defdictobject *)self)->default_factory);
1535 return PyDict_Type.tp_traverse(self, visit, arg);
Guido van Rossum1968ad32006-02-25 22:38:04 +00001536}
1537
1538static int
1539defdict_tp_clear(defdictobject *dd)
1540{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001541 Py_CLEAR(dd->default_factory);
1542 return PyDict_Type.tp_clear((PyObject *)dd);
Guido van Rossum1968ad32006-02-25 22:38:04 +00001543}
1544
1545static int
1546defdict_init(PyObject *self, PyObject *args, PyObject *kwds)
1547{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001548 defdictobject *dd = (defdictobject *)self;
1549 PyObject *olddefault = dd->default_factory;
1550 PyObject *newdefault = NULL;
1551 PyObject *newargs;
1552 int result;
1553 if (args == NULL || !PyTuple_Check(args))
1554 newargs = PyTuple_New(0);
1555 else {
1556 Py_ssize_t n = PyTuple_GET_SIZE(args);
1557 if (n > 0) {
1558 newdefault = PyTuple_GET_ITEM(args, 0);
1559 if (!PyCallable_Check(newdefault) && newdefault != Py_None) {
1560 PyErr_SetString(PyExc_TypeError,
1561 "first argument must be callable");
1562 return -1;
1563 }
1564 }
1565 newargs = PySequence_GetSlice(args, 1, n);
1566 }
1567 if (newargs == NULL)
1568 return -1;
1569 Py_XINCREF(newdefault);
1570 dd->default_factory = newdefault;
1571 result = PyDict_Type.tp_init(self, newargs, kwds);
1572 Py_DECREF(newargs);
1573 Py_XDECREF(olddefault);
1574 return result;
Guido van Rossum1968ad32006-02-25 22:38:04 +00001575}
1576
1577PyDoc_STRVAR(defdict_doc,
1578"defaultdict(default_factory) --> dict with default factory\n\
1579\n\
1580The default factory is called without arguments to produce\n\
1581a new value when a key is not present, in __getitem__ only.\n\
1582A defaultdict compares equal to a dict with the same items.\n\
1583");
1584
Thomas Wouters49fd7fa2006-04-21 10:40:58 +00001585/* See comment in xxsubtype.c */
1586#define DEFERRED_ADDRESS(ADDR) 0
1587
Guido van Rossum1968ad32006-02-25 22:38:04 +00001588static PyTypeObject defdict_type = {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001589 PyVarObject_HEAD_INIT(DEFERRED_ADDRESS(&PyType_Type), 0)
1590 "collections.defaultdict", /* tp_name */
1591 sizeof(defdictobject), /* tp_basicsize */
1592 0, /* tp_itemsize */
1593 /* methods */
1594 (destructor)defdict_dealloc, /* tp_dealloc */
1595 0, /* tp_print */
1596 0, /* tp_getattr */
1597 0, /* tp_setattr */
1598 0, /* tp_reserved */
1599 (reprfunc)defdict_repr, /* tp_repr */
1600 0, /* tp_as_number */
1601 0, /* tp_as_sequence */
1602 0, /* tp_as_mapping */
1603 0, /* tp_hash */
1604 0, /* tp_call */
1605 0, /* tp_str */
1606 PyObject_GenericGetAttr, /* tp_getattro */
1607 0, /* tp_setattro */
1608 0, /* tp_as_buffer */
1609 Py_TPFLAGS_DEFAULT | Py_TPFLAGS_BASETYPE | Py_TPFLAGS_HAVE_GC,
1610 /* tp_flags */
1611 defdict_doc, /* tp_doc */
1612 defdict_traverse, /* tp_traverse */
1613 (inquiry)defdict_tp_clear, /* tp_clear */
1614 0, /* tp_richcompare */
1615 0, /* tp_weaklistoffset*/
1616 0, /* tp_iter */
1617 0, /* tp_iternext */
1618 defdict_methods, /* tp_methods */
1619 defdict_members, /* tp_members */
1620 0, /* tp_getset */
1621 DEFERRED_ADDRESS(&PyDict_Type), /* tp_base */
1622 0, /* tp_dict */
1623 0, /* tp_descr_get */
1624 0, /* tp_descr_set */
1625 0, /* tp_dictoffset */
1626 defdict_init, /* tp_init */
1627 PyType_GenericAlloc, /* tp_alloc */
1628 0, /* tp_new */
1629 PyObject_GC_Del, /* tp_free */
Guido van Rossum1968ad32006-02-25 22:38:04 +00001630};
1631
Raymond Hettinger96f34102010-12-15 16:30:37 +00001632/* helper function for Counter *********************************************/
1633
1634PyDoc_STRVAR(_count_elements_doc,
1635"_count_elements(mapping, iterable) -> None\n\
1636\n\
1637Count elements in the iterable, updating the mappping");
1638
1639static PyObject *
1640_count_elements(PyObject *self, PyObject *args)
1641{
1642 PyObject *it, *iterable, *mapping, *oldval;
1643 PyObject *newval = NULL;
1644 PyObject *key = NULL;
1645 PyObject *one = NULL;
1646
1647 if (!PyArg_UnpackTuple(args, "_count_elements", 2, 2, &mapping, &iterable))
1648 return NULL;
1649
Raymond Hettinger96f34102010-12-15 16:30:37 +00001650 it = PyObject_GetIter(iterable);
1651 if (it == NULL)
1652 return NULL;
Raymond Hettinger426e0522011-01-03 02:12:02 +00001653
Raymond Hettinger96f34102010-12-15 16:30:37 +00001654 one = PyLong_FromLong(1);
1655 if (one == NULL) {
1656 Py_DECREF(it);
1657 return NULL;
1658 }
Raymond Hettinger426e0522011-01-03 02:12:02 +00001659
1660 if (PyDict_CheckExact(mapping)) {
1661 while (1) {
1662 key = PyIter_Next(it);
Victor Stinnera154b5c2011-04-20 23:23:52 +02001663 if (key == NULL)
1664 break;
Raymond Hettinger426e0522011-01-03 02:12:02 +00001665 oldval = PyDict_GetItem(mapping, key);
1666 if (oldval == NULL) {
1667 if (PyDict_SetItem(mapping, key, one) == -1)
1668 break;
1669 } else {
1670 newval = PyNumber_Add(oldval, one);
1671 if (newval == NULL)
1672 break;
1673 if (PyDict_SetItem(mapping, key, newval) == -1)
1674 break;
1675 Py_CLEAR(newval);
1676 }
1677 Py_DECREF(key);
Raymond Hettinger96f34102010-12-15 16:30:37 +00001678 }
Raymond Hettinger426e0522011-01-03 02:12:02 +00001679 } else {
1680 while (1) {
1681 key = PyIter_Next(it);
Victor Stinnera154b5c2011-04-20 23:23:52 +02001682 if (key == NULL)
1683 break;
Raymond Hettinger426e0522011-01-03 02:12:02 +00001684 oldval = PyObject_GetItem(mapping, key);
1685 if (oldval == NULL) {
1686 if (!PyErr_Occurred() || !PyErr_ExceptionMatches(PyExc_KeyError))
1687 break;
1688 PyErr_Clear();
1689 Py_INCREF(one);
1690 newval = one;
1691 } else {
1692 newval = PyNumber_Add(oldval, one);
1693 Py_DECREF(oldval);
1694 if (newval == NULL)
1695 break;
1696 }
1697 if (PyObject_SetItem(mapping, key, newval) == -1)
Raymond Hettinger96f34102010-12-15 16:30:37 +00001698 break;
1699 Py_CLEAR(newval);
Raymond Hettinger426e0522011-01-03 02:12:02 +00001700 Py_DECREF(key);
Raymond Hettinger96f34102010-12-15 16:30:37 +00001701 }
Raymond Hettinger96f34102010-12-15 16:30:37 +00001702 }
Raymond Hettinger426e0522011-01-03 02:12:02 +00001703
Raymond Hettinger96f34102010-12-15 16:30:37 +00001704 Py_DECREF(it);
1705 Py_XDECREF(key);
1706 Py_XDECREF(newval);
1707 Py_DECREF(one);
1708 if (PyErr_Occurred())
1709 return NULL;
1710 Py_RETURN_NONE;
1711}
1712
Raymond Hettinger756b3f32004-01-29 06:37:52 +00001713/* module level code ********************************************************/
1714
1715PyDoc_STRVAR(module_doc,
Guido van Rossum1968ad32006-02-25 22:38:04 +00001716"High performance data structures.\n\
1717- deque: ordered collection accessible from endpoints only\n\
1718- defaultdict: dict subclass with a default value factory\n\
Raymond Hettinger756b3f32004-01-29 06:37:52 +00001719");
1720
Raymond Hettinger96f34102010-12-15 16:30:37 +00001721static struct PyMethodDef module_functions[] = {
1722 {"_count_elements", _count_elements, METH_VARARGS, _count_elements_doc},
1723 {NULL, NULL} /* sentinel */
1724};
Martin v. Löwis1a214512008-06-11 05:26:20 +00001725
1726static struct PyModuleDef _collectionsmodule = {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001727 PyModuleDef_HEAD_INIT,
1728 "_collections",
1729 module_doc,
1730 -1,
Raymond Hettinger96f34102010-12-15 16:30:37 +00001731 module_functions,
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001732 NULL,
1733 NULL,
1734 NULL,
1735 NULL
Martin v. Löwis1a214512008-06-11 05:26:20 +00001736};
1737
Raymond Hettinger756b3f32004-01-29 06:37:52 +00001738PyMODINIT_FUNC
Martin v. Löwis1a214512008-06-11 05:26:20 +00001739PyInit__collections(void)
Raymond Hettinger756b3f32004-01-29 06:37:52 +00001740{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001741 PyObject *m;
Raymond Hettinger756b3f32004-01-29 06:37:52 +00001742
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001743 m = PyModule_Create(&_collectionsmodule);
1744 if (m == NULL)
1745 return NULL;
Raymond Hettinger756b3f32004-01-29 06:37:52 +00001746
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001747 if (PyType_Ready(&deque_type) < 0)
1748 return NULL;
1749 Py_INCREF(&deque_type);
1750 PyModule_AddObject(m, "deque", (PyObject *)&deque_type);
Raymond Hettinger756b3f32004-01-29 06:37:52 +00001751
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001752 defdict_type.tp_base = &PyDict_Type;
1753 if (PyType_Ready(&defdict_type) < 0)
1754 return NULL;
1755 Py_INCREF(&defdict_type);
1756 PyModule_AddObject(m, "defaultdict", (PyObject *)&defdict_type);
Guido van Rossum1968ad32006-02-25 22:38:04 +00001757
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001758 if (PyType_Ready(&dequeiter_type) < 0)
1759 return NULL;
Kristján Valur Jónsson31668b82012-04-03 10:49:41 +00001760 Py_INCREF(&dequeiter_type);
1761 PyModule_AddObject(m, "_deque_iterator", (PyObject *)&dequeiter_type);
Raymond Hettinger756b3f32004-01-29 06:37:52 +00001762
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001763 if (PyType_Ready(&dequereviter_type) < 0)
1764 return NULL;
Kristján Valur Jónsson31668b82012-04-03 10:49:41 +00001765 Py_INCREF(&dequereviter_type);
1766 PyModule_AddObject(m, "_deque_reverse_iterator", (PyObject *)&dequereviter_type);
Raymond Hettinger1e5809f2004-03-18 11:04:57 +00001767
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001768 return m;
Raymond Hettinger756b3f32004-01-29 06:37:52 +00001769}