blob: 371631ce2661d98cae8ad8421dd770d650999551 [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
Tim Peters5566e962006-07-28 00:23:15 +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
Tim Peters5566e962006-07-28 00:23:15 +000025 * on both ends, algorithms for left and right operations become
Raymond Hettinger61f05fb2004-10-01 06:24:12 +000026 * symmetrical which simplifies the design.
Tim Peters5566e962006-07-28 00:23:15 +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 *
Tim Peters5566e962006-07-28 00:23:15 +000040 * Whenever d.leftblock == d.rightblock,
Raymond Hettinger4ca4c7c2004-10-01 15:14:39 +000041 * d.leftindex + d.len - 1 == d.rightindex.
Tim Peters5566e962006-07-28 00:23:15 +000042 *
Raymond Hettinger4ca4c7c2004-10-01 15:14:39 +000043 * However, when d.leftblock != d.rightblock, d.leftindex and d.rightindex
Tim Peters5566e962006-07-28 00:23:15 +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 Pitrouc83ea132010-05-09 14:46:46 +000049 struct BLOCK *leftlink;
50 struct BLOCK *rightlink;
51 PyObject *data[BLOCKLEN];
Raymond Hettinger756b3f32004-01-29 06:37:52 +000052} block;
53
Raymond Hettingerd3ffd342007-11-10 01:54:03 +000054#define MAXFREEBLOCKS 10
Raymond Hettinger33fcf9d2008-07-24 00:08:18 +000055static Py_ssize_t numfreeblocks = 0;
Raymond Hettingerd3ffd342007-11-10 01:54:03 +000056static block *freeblocks[MAXFREEBLOCKS];
57
Tim Peters6f853562004-10-01 01:04:50 +000058static block *
Raymond Hettinger33fcf9d2008-07-24 00:08:18 +000059newblock(block *leftlink, block *rightlink, Py_ssize_t len) {
Antoine Pitrouc83ea132010-05-09 14:46:46 +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öwis111c1802008-06-13 07:47:47 +000088static void
Raymond Hettingerd3ffd342007-11-10 01:54:03 +000089freeblock(block *b)
90{
Antoine Pitrouc83ea132010-05-09 14:46:46 +000091 if (numfreeblocks < MAXFREEBLOCKS) {
92 freeblocks[numfreeblocks] = b;
93 numfreeblocks++;
94 } else {
95 PyMem_Free(b);
96 }
Raymond Hettingerd3ffd342007-11-10 01:54:03 +000097}
98
Raymond Hettinger756b3f32004-01-29 06:37:52 +000099typedef struct {
Antoine Pitrouc83ea132010-05-09 14:46:46 +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
Raymond Hettingera7fc4b12007-10-05 02:47:07 +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 Pitrouc83ea132010-05-09 14:46:46 +0000113 *
Raymond Hettingera7fc4b12007-10-05 02:47:07 +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 Pitrouc83ea132010-05-09 14:46:46 +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); \
Raymond Hettingera7fc4b12007-10-05 02:47:07 +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 Pitrouc83ea132010-05-09 14:46:46 +0000132 dequeobject *deque;
133 block *b;
Raymond Hettinger756b3f32004-01-29 06:37:52 +0000134
Antoine Pitrouc83ea132010-05-09 14:46:46 +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 Pitrouc83ea132010-05-09 14:46:46 +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 Pitrouc83ea132010-05-09 14:46:46 +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 Pitrouc83ea132010-05-09 14:46:46 +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 Pitrouc83ea132010-05-09 14:46:46 +0000162 PyObject *item;
163 block *prevblock;
Raymond Hettinger756b3f32004-01-29 06:37:52 +0000164
Antoine Pitrouc83ea132010-05-09 14:46:46 +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 Pitrouc83ea132010-05-09 14:46:46 +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 Pitrouc83ea132010-05-09 14:46:46 +0000198 PyObject *item;
199 block *prevblock;
Raymond Hettinger756b3f32004-01-29 06:37:52 +0000200
Antoine Pitrouc83ea132010-05-09 14:46:46 +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 Pitrouc83ea132010-05-09 14:46:46 +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 *
Raymond Hettingera7fc4b12007-10-05 02:47:07 +0000234deque_append(dequeobject *deque, PyObject *item)
235{
Antoine Pitrouc83ea132010-05-09 14:46:46 +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;
Raymond Hettingera7fc4b12007-10-05 02:47:07 +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 Pitrouc83ea132010-05-09 14:46:46 +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;
Raymond Hettingera7fc4b12007-10-05 02:47:07 +0000275}
276
277PyDoc_STRVAR(appendleft_doc, "Add an element to the left side of the deque.");
278
Raymond Hettingerbac769b2009-03-10 09:31:48 +0000279
Antoine Pitrouc83ea132010-05-09 14:46:46 +0000280/* Run an iterator to exhaustion. Shortcut for
Raymond Hettingerbac769b2009-03-10 09:31:48 +0000281 the extend/extendleft methods when maxlen == 0. */
282static PyObject*
283consume_iterator(PyObject *it)
284{
Antoine Pitrouc83ea132010-05-09 14:46:46 +0000285 PyObject *item;
Raymond Hettingerbac769b2009-03-10 09:31:48 +0000286
Antoine Pitrouc83ea132010-05-09 14:46:46 +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 Hettingerbac769b2009-03-10 09:31:48 +0000294}
295
Raymond Hettingera7fc4b12007-10-05 02:47:07 +0000296static PyObject *
Raymond Hettinger3ba85c22004-02-06 19:04:56 +0000297deque_extend(dequeobject *deque, PyObject *iterable)
298{
Antoine Pitrouc83ea132010-05-09 14:46:46 +0000299 PyObject *it, *item;
Raymond Hettinger3ba85c22004-02-06 19:04:56 +0000300
Antoine Pitrouc83ea132010-05-09 14:46:46 +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 Hettinger0b3263b2009-12-10 06:00:33 +0000311
Antoine Pitrouc83ea132010-05-09 14:46:46 +0000312 it = PyObject_GetIter(iterable);
313 if (it == NULL)
314 return NULL;
Raymond Hettinger3ba85c22004-02-06 19:04:56 +0000315
Antoine Pitrouc83ea132010-05-09 14:46:46 +0000316 if (deque->maxlen == 0)
317 return consume_iterator(it);
Raymond Hettingerbac769b2009-03-10 09:31:48 +0000318
Antoine Pitrouc83ea132010-05-09 14:46:46 +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 Pitrouc83ea132010-05-09 14:46:46 +0000351 PyObject *it, *item;
Raymond Hettinger3ba85c22004-02-06 19:04:56 +0000352
Antoine Pitrouc83ea132010-05-09 14:46:46 +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 Hettinger0b3263b2009-12-10 06:00:33 +0000363
Antoine Pitrouc83ea132010-05-09 14:46:46 +0000364 it = PyObject_GetIter(iterable);
365 if (it == NULL)
366 return NULL;
Raymond Hettinger3ba85c22004-02-06 19:04:56 +0000367
Antoine Pitrouc83ea132010-05-09 14:46:46 +0000368 if (deque->maxlen == 0)
369 return consume_iterator(it);
Raymond Hettingerbac769b2009-03-10 09:31:48 +0000370
Antoine Pitrouc83ea132010-05-09 14:46:46 +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 Hettinger0b3263b2009-12-10 06:00:33 +0000400static PyObject *
401deque_inplace_concat(dequeobject *deque, PyObject *other)
402{
Antoine Pitrouc83ea132010-05-09 14:46:46 +0000403 PyObject *result;
Raymond Hettinger0b3263b2009-12-10 06:00:33 +0000404
Antoine Pitrouc83ea132010-05-09 14:46:46 +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 Hettinger0b3263b2009-12-10 06:00:33 +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{
Raymond Hettinger6688bdb2013-02-09 18:55:44 -0500416 Py_ssize_t m, len=deque->len, halflen=len>>1;
Raymond Hettinger5c5eb862004-02-07 21:13:00 +0000417
Raymond Hettinger2cdb6432013-01-12 00:05:00 -0800418 if (len <= 1)
Antoine Pitrouc83ea132010-05-09 14:46:46 +0000419 return 0;
420 if (n > halflen || n < -halflen) {
421 n %= len;
422 if (n > halflen)
423 n -= len;
424 else if (n < -halflen)
425 n += len;
426 }
Raymond Hettinger6688bdb2013-02-09 18:55:44 -0500427 assert(len > 1);
428 assert(-halflen <= n && n <= halflen);
Raymond Hettinger5c5eb862004-02-07 21:13:00 +0000429
Raymond Hettinger2cdb6432013-01-12 00:05:00 -0800430 deque->state++;
Raymond Hettinger6688bdb2013-02-09 18:55:44 -0500431 while (n > 0) {
Raymond Hettinger2cdb6432013-01-12 00:05:00 -0800432 if (deque->leftindex == 0) {
Raymond Hettinger6688bdb2013-02-09 18:55:44 -0500433 block *b = newblock(NULL, deque->leftblock, len);
Raymond Hettinger42645322013-02-02 10:23:37 -0800434 if (b == NULL)
Raymond Hettinger2cdb6432013-01-12 00:05:00 -0800435 return -1;
Raymond Hettinger42645322013-02-02 10:23:37 -0800436 assert(deque->leftblock->leftlink == NULL);
437 deque->leftblock->leftlink = b;
438 deque->leftblock = b;
Raymond Hettinger2cdb6432013-01-12 00:05:00 -0800439 deque->leftindex = BLOCKLEN;
440 }
Raymond Hettinger42645322013-02-02 10:23:37 -0800441 assert(deque->leftindex > 0);
442
Raymond Hettinger6688bdb2013-02-09 18:55:44 -0500443 m = n;
Raymond Hettinger42645322013-02-02 10:23:37 -0800444 if (m > deque->rightindex + 1)
445 m = deque->rightindex + 1;
446 if (m > deque->leftindex)
447 m = deque->leftindex;
Raymond Hettinger6688bdb2013-02-09 18:55:44 -0500448 assert (m > 0 && m <= len);
Raymond Hettinger42645322013-02-02 10:23:37 -0800449 memcpy(&deque->leftblock->data[deque->leftindex - m],
Raymond Hettinger6688bdb2013-02-09 18:55:44 -0500450 &deque->rightblock->data[deque->rightindex + 1 - m],
Raymond Hettinger42645322013-02-02 10:23:37 -0800451 m * sizeof(PyObject *));
452 deque->rightindex -= m;
453 deque->leftindex -= m;
Raymond Hettinger6688bdb2013-02-09 18:55:44 -0500454 n -= m;
Raymond Hettinger42645322013-02-02 10:23:37 -0800455
456 if (deque->rightindex == -1) {
Raymond Hettinger6688bdb2013-02-09 18:55:44 -0500457 block *prevblock = deque->rightblock->leftlink;
Raymond Hettinger42645322013-02-02 10:23:37 -0800458 assert(deque->rightblock != NULL);
Raymond Hettinger42645322013-02-02 10:23:37 -0800459 assert(deque->leftblock != deque->rightblock);
460 freeblock(deque->rightblock);
461 prevblock->rightlink = NULL;
462 deque->rightblock = prevblock;
463 deque->rightindex = BLOCKLEN - 1;
Raymond Hettinger2cdb6432013-01-12 00:05:00 -0800464 }
Raymond Hettinger42645322013-02-02 10:23:37 -0800465 }
Raymond Hettinger6688bdb2013-02-09 18:55:44 -0500466 while (n < 0) {
Raymond Hettinger42645322013-02-02 10:23:37 -0800467 if (deque->rightindex == BLOCKLEN - 1) {
Raymond Hettinger6688bdb2013-02-09 18:55:44 -0500468 block *b = newblock(deque->rightblock, NULL, len);
Raymond Hettinger42645322013-02-02 10:23:37 -0800469 if (b == NULL)
Raymond Hettinger2cdb6432013-01-12 00:05:00 -0800470 return -1;
Raymond Hettinger42645322013-02-02 10:23:37 -0800471 assert(deque->rightblock->rightlink == NULL);
472 deque->rightblock->rightlink = b;
473 deque->rightblock = b;
Raymond Hettinger2cdb6432013-01-12 00:05:00 -0800474 deque->rightindex = -1;
475 }
Raymond Hettinger42645322013-02-02 10:23:37 -0800476 assert (deque->rightindex < BLOCKLEN - 1);
477
Raymond Hettinger6688bdb2013-02-09 18:55:44 -0500478 m = -n;
Raymond Hettinger42645322013-02-02 10:23:37 -0800479 if (m > BLOCKLEN - deque->leftindex)
480 m = BLOCKLEN - deque->leftindex;
481 if (m > BLOCKLEN - 1 - deque->rightindex)
482 m = BLOCKLEN - 1 - deque->rightindex;
Raymond Hettinger6688bdb2013-02-09 18:55:44 -0500483 assert (m > 0 && m <= len);
Raymond Hettinger42645322013-02-02 10:23:37 -0800484 memcpy(&deque->rightblock->data[deque->rightindex + 1],
485 &deque->leftblock->data[deque->leftindex],
486 m * sizeof(PyObject *));
487 deque->leftindex += m;
488 deque->rightindex += m;
Raymond Hettinger6688bdb2013-02-09 18:55:44 -0500489 n += m;
Raymond Hettinger42645322013-02-02 10:23:37 -0800490
491 if (deque->leftindex == BLOCKLEN) {
Raymond Hettinger6688bdb2013-02-09 18:55:44 -0500492 block *nextblock = deque->leftblock->rightlink;
Raymond Hettinger42645322013-02-02 10:23:37 -0800493 assert(deque->leftblock != deque->rightblock);
Raymond Hettinger42645322013-02-02 10:23:37 -0800494 freeblock(deque->leftblock);
Raymond Hettinger6688bdb2013-02-09 18:55:44 -0500495 assert(nextblock != NULL);
496 nextblock->leftlink = NULL;
497 deque->leftblock = nextblock;
Raymond Hettinger42645322013-02-02 10:23:37 -0800498 deque->leftindex = 0;
499 }
Antoine Pitrouc83ea132010-05-09 14:46:46 +0000500 }
501 return 0;
Raymond Hettingerdcb9d942004-10-09 16:02:18 +0000502}
503
504static PyObject *
505deque_rotate(dequeobject *deque, PyObject *args)
506{
Antoine Pitrouc83ea132010-05-09 14:46:46 +0000507 Py_ssize_t n=1;
Raymond Hettingerdcb9d942004-10-09 16:02:18 +0000508
Antoine Pitrouc83ea132010-05-09 14:46:46 +0000509 if (!PyArg_ParseTuple(args, "|n:rotate", &n))
510 return NULL;
511 if (_deque_rotate(deque, n) == 0)
512 Py_RETURN_NONE;
513 return NULL;
Raymond Hettinger5c5eb862004-02-07 21:13:00 +0000514}
515
Tim Peters1065f752004-10-01 01:03:29 +0000516PyDoc_STRVAR(rotate_doc,
Raymond Hettingeree33b272004-02-08 04:05:26 +0000517"Rotate the deque n steps to the right (default n=1). If n is negative, rotates left.");
Raymond Hettinger5c5eb862004-02-07 21:13:00 +0000518
Raymond Hettingera5fd24e2009-12-10 06:42:54 +0000519static PyObject *
520deque_reverse(dequeobject *deque, PyObject *unused)
521{
Antoine Pitrouc83ea132010-05-09 14:46:46 +0000522 block *leftblock = deque->leftblock;
523 block *rightblock = deque->rightblock;
524 Py_ssize_t leftindex = deque->leftindex;
525 Py_ssize_t rightindex = deque->rightindex;
526 Py_ssize_t n = (deque->len)/2;
527 Py_ssize_t i;
528 PyObject *tmp;
Raymond Hettingera5fd24e2009-12-10 06:42:54 +0000529
Antoine Pitrouc83ea132010-05-09 14:46:46 +0000530 for (i=0 ; i<n ; i++) {
531 /* Validate that pointers haven't met in the middle */
532 assert(leftblock != rightblock || leftindex < rightindex);
Raymond Hettingera5fd24e2009-12-10 06:42:54 +0000533
Antoine Pitrouc83ea132010-05-09 14:46:46 +0000534 /* Swap */
535 tmp = leftblock->data[leftindex];
536 leftblock->data[leftindex] = rightblock->data[rightindex];
537 rightblock->data[rightindex] = tmp;
Raymond Hettingera5fd24e2009-12-10 06:42:54 +0000538
Antoine Pitrouc83ea132010-05-09 14:46:46 +0000539 /* Advance left block/index pair */
540 leftindex++;
541 if (leftindex == BLOCKLEN) {
Raymond Hettinger57a86892011-01-25 21:43:29 +0000542 if (leftblock->rightlink == NULL)
543 break;
Antoine Pitrouc83ea132010-05-09 14:46:46 +0000544 leftblock = leftblock->rightlink;
545 leftindex = 0;
546 }
Raymond Hettingera5fd24e2009-12-10 06:42:54 +0000547
Antoine Pitrouc83ea132010-05-09 14:46:46 +0000548 /* Step backwards with the right block/index pair */
549 rightindex--;
550 if (rightindex == -1) {
Raymond Hettinger57a86892011-01-25 21:43:29 +0000551 if (rightblock->leftlink == NULL)
552 break;
Antoine Pitrouc83ea132010-05-09 14:46:46 +0000553 rightblock = rightblock->leftlink;
554 rightindex = BLOCKLEN - 1;
555 }
556 }
557 Py_RETURN_NONE;
Raymond Hettingera5fd24e2009-12-10 06:42:54 +0000558}
559
560PyDoc_STRVAR(reverse_doc,
561"D.reverse() -- reverse *IN PLACE*");
562
Raymond Hettinger5f516ed2010-04-03 18:10:37 +0000563static PyObject *
564deque_count(dequeobject *deque, PyObject *v)
565{
Antoine Pitrouc83ea132010-05-09 14:46:46 +0000566 block *leftblock = deque->leftblock;
567 Py_ssize_t leftindex = deque->leftindex;
Raymond Hettinger57a86892011-01-25 21:43:29 +0000568 Py_ssize_t n = deque->len;
Antoine Pitrouc83ea132010-05-09 14:46:46 +0000569 Py_ssize_t i;
570 Py_ssize_t count = 0;
571 PyObject *item;
572 long start_state = deque->state;
573 int cmp;
Raymond Hettinger5f516ed2010-04-03 18:10:37 +0000574
Antoine Pitrouc83ea132010-05-09 14:46:46 +0000575 for (i=0 ; i<n ; i++) {
576 item = leftblock->data[leftindex];
577 cmp = PyObject_RichCompareBool(item, v, Py_EQ);
578 if (cmp > 0)
579 count++;
580 else if (cmp < 0)
581 return NULL;
Raymond Hettinger5f516ed2010-04-03 18:10:37 +0000582
Antoine Pitrouc83ea132010-05-09 14:46:46 +0000583 if (start_state != deque->state) {
584 PyErr_SetString(PyExc_RuntimeError,
585 "deque mutated during iteration");
586 return NULL;
587 }
Raymond Hettinger5f516ed2010-04-03 18:10:37 +0000588
Antoine Pitrouc83ea132010-05-09 14:46:46 +0000589 /* Advance left block/index pair */
590 leftindex++;
591 if (leftindex == BLOCKLEN) {
Raymond Hettinger57a86892011-01-25 21:43:29 +0000592 if (leftblock->rightlink == NULL) /* can occur when i==n-1 */
593 break;
Antoine Pitrouc83ea132010-05-09 14:46:46 +0000594 leftblock = leftblock->rightlink;
595 leftindex = 0;
596 }
597 }
598 return PyInt_FromSsize_t(count);
Raymond Hettinger5f516ed2010-04-03 18:10:37 +0000599}
600
601PyDoc_STRVAR(count_doc,
602"D.count(value) -> integer -- return number of occurrences of value");
603
Martin v. Löwis18e16552006-02-15 17:27:45 +0000604static Py_ssize_t
Raymond Hettinger756b3f32004-01-29 06:37:52 +0000605deque_len(dequeobject *deque)
606{
Antoine Pitrouc83ea132010-05-09 14:46:46 +0000607 return deque->len;
Raymond Hettinger756b3f32004-01-29 06:37:52 +0000608}
609
Raymond Hettinger4aec61e2005-03-18 21:20:23 +0000610static PyObject *
611deque_remove(dequeobject *deque, PyObject *value)
612{
Antoine Pitrouc83ea132010-05-09 14:46:46 +0000613 Py_ssize_t i, n=deque->len;
Raymond Hettinger4aec61e2005-03-18 21:20:23 +0000614
Antoine Pitrouc83ea132010-05-09 14:46:46 +0000615 for (i=0 ; i<n ; i++) {
616 PyObject *item = deque->leftblock->data[deque->leftindex];
617 int cmp = PyObject_RichCompareBool(item, value, Py_EQ);
Raymond Hettingerd73202c2005-03-19 00:00:51 +0000618
Antoine Pitrouc83ea132010-05-09 14:46:46 +0000619 if (deque->len != n) {
620 PyErr_SetString(PyExc_IndexError,
621 "deque mutated during remove().");
622 return NULL;
623 }
624 if (cmp > 0) {
625 PyObject *tgt = deque_popleft(deque, NULL);
626 assert (tgt != NULL);
627 Py_DECREF(tgt);
628 if (_deque_rotate(deque, i) == -1)
629 return NULL;
630 Py_RETURN_NONE;
631 }
632 else if (cmp < 0) {
633 _deque_rotate(deque, i);
634 return NULL;
635 }
636 _deque_rotate(deque, -1);
637 }
638 PyErr_SetString(PyExc_ValueError, "deque.remove(x): x not in deque");
639 return NULL;
Raymond Hettinger4aec61e2005-03-18 21:20:23 +0000640}
641
642PyDoc_STRVAR(remove_doc,
643"D.remove(value) -- remove first occurrence of value.");
644
Benjamin Peterson40056de2013-01-12 21:22:18 -0500645static void
Raymond Hettinger756b3f32004-01-29 06:37:52 +0000646deque_clear(dequeobject *deque)
647{
Antoine Pitrouc83ea132010-05-09 14:46:46 +0000648 PyObject *item;
Raymond Hettinger756b3f32004-01-29 06:37:52 +0000649
Antoine Pitrouc83ea132010-05-09 14:46:46 +0000650 while (deque->len) {
651 item = deque_pop(deque, NULL);
652 assert (item != NULL);
653 Py_DECREF(item);
654 }
655 assert(deque->leftblock == deque->rightblock &&
656 deque->leftindex - 1 == deque->rightindex &&
657 deque->len == 0);
Raymond Hettinger756b3f32004-01-29 06:37:52 +0000658}
659
660static PyObject *
Raymond Hettinger33fcf9d2008-07-24 00:08:18 +0000661deque_item(dequeobject *deque, Py_ssize_t i)
Raymond Hettinger0a4977c2004-03-01 23:16:22 +0000662{
Antoine Pitrouc83ea132010-05-09 14:46:46 +0000663 block *b;
664 PyObject *item;
665 Py_ssize_t n, index=i;
Raymond Hettinger0a4977c2004-03-01 23:16:22 +0000666
Antoine Pitrouc83ea132010-05-09 14:46:46 +0000667 if (i < 0 || i >= deque->len) {
668 PyErr_SetString(PyExc_IndexError,
669 "deque index out of range");
670 return NULL;
671 }
Raymond Hettinger0a4977c2004-03-01 23:16:22 +0000672
Antoine Pitrouc83ea132010-05-09 14:46:46 +0000673 if (i == 0) {
674 i = deque->leftindex;
675 b = deque->leftblock;
676 } else if (i == deque->len - 1) {
677 i = deque->rightindex;
678 b = deque->rightblock;
679 } else {
680 i += deque->leftindex;
681 n = i / BLOCKLEN;
682 i %= BLOCKLEN;
683 if (index < (deque->len >> 1)) {
684 b = deque->leftblock;
685 while (n--)
686 b = b->rightlink;
687 } else {
688 n = (deque->leftindex + deque->len - 1) / BLOCKLEN - n;
689 b = deque->rightblock;
690 while (n--)
691 b = b->leftlink;
692 }
693 }
694 item = b->data[i];
695 Py_INCREF(item);
696 return item;
Raymond Hettinger0a4977c2004-03-01 23:16:22 +0000697}
698
Raymond Hettinger616f4f62004-06-26 04:42:06 +0000699/* delitem() implemented in terms of rotate for simplicity and reasonable
700 performance near the end points. If for some reason this method becomes
Tim Peters1065f752004-10-01 01:03:29 +0000701 popular, it is not hard to re-implement this using direct data movement
Raymond Hettinger616f4f62004-06-26 04:42:06 +0000702 (similar to code in list slice assignment) and achieve a two or threefold
703 performance boost.
704*/
705
Raymond Hettinger0a4977c2004-03-01 23:16:22 +0000706static int
Martin v. Löwis18e16552006-02-15 17:27:45 +0000707deque_del_item(dequeobject *deque, Py_ssize_t i)
Raymond Hettinger0e371f22004-05-12 20:55:56 +0000708{
Antoine Pitrouc83ea132010-05-09 14:46:46 +0000709 PyObject *item;
Raymond Hettinger0e371f22004-05-12 20:55:56 +0000710
Antoine Pitrouc83ea132010-05-09 14:46:46 +0000711 assert (i >= 0 && i < deque->len);
712 if (_deque_rotate(deque, -i) == -1)
713 return -1;
Raymond Hettinger0e371f22004-05-12 20:55:56 +0000714
Antoine Pitrouc83ea132010-05-09 14:46:46 +0000715 item = deque_popleft(deque, NULL);
716 assert (item != NULL);
717 Py_DECREF(item);
Raymond Hettinger0e371f22004-05-12 20:55:56 +0000718
Antoine Pitrouc83ea132010-05-09 14:46:46 +0000719 return _deque_rotate(deque, i);
Raymond Hettinger0e371f22004-05-12 20:55:56 +0000720}
721
722static int
Martin v. Löwis18e16552006-02-15 17:27:45 +0000723deque_ass_item(dequeobject *deque, Py_ssize_t i, PyObject *v)
Raymond Hettinger0a4977c2004-03-01 23:16:22 +0000724{
Antoine Pitrouc83ea132010-05-09 14:46:46 +0000725 PyObject *old_value;
726 block *b;
727 Py_ssize_t n, len=deque->len, halflen=(len+1)>>1, index=i;
Raymond Hettinger0a4977c2004-03-01 23:16:22 +0000728
Antoine Pitrouc83ea132010-05-09 14:46:46 +0000729 if (i < 0 || i >= len) {
730 PyErr_SetString(PyExc_IndexError,
731 "deque index out of range");
732 return -1;
733 }
734 if (v == NULL)
735 return deque_del_item(deque, i);
Raymond Hettinger0e371f22004-05-12 20:55:56 +0000736
Antoine Pitrouc83ea132010-05-09 14:46:46 +0000737 i += deque->leftindex;
738 n = i / BLOCKLEN;
739 i %= BLOCKLEN;
740 if (index <= halflen) {
741 b = deque->leftblock;
742 while (n--)
743 b = b->rightlink;
744 } else {
745 n = (deque->leftindex + len - 1) / BLOCKLEN - n;
746 b = deque->rightblock;
747 while (n--)
748 b = b->leftlink;
749 }
750 Py_INCREF(v);
751 old_value = b->data[i];
752 b->data[i] = v;
753 Py_DECREF(old_value);
754 return 0;
Raymond Hettinger0a4977c2004-03-01 23:16:22 +0000755}
756
757static PyObject *
Raymond Hettinger756b3f32004-01-29 06:37:52 +0000758deque_clearmethod(dequeobject *deque)
759{
Benjamin Peterson40056de2013-01-12 21:22:18 -0500760 deque_clear(deque);
Antoine Pitrouc83ea132010-05-09 14:46:46 +0000761 Py_RETURN_NONE;
Raymond Hettinger756b3f32004-01-29 06:37:52 +0000762}
763
764PyDoc_STRVAR(clear_doc, "Remove all elements from the deque.");
765
766static void
767deque_dealloc(dequeobject *deque)
768{
Antoine Pitrouc83ea132010-05-09 14:46:46 +0000769 PyObject_GC_UnTrack(deque);
770 if (deque->weakreflist != NULL)
771 PyObject_ClearWeakRefs((PyObject *) deque);
772 if (deque->leftblock != NULL) {
773 deque_clear(deque);
774 assert(deque->leftblock != NULL);
775 freeblock(deque->leftblock);
776 }
777 deque->leftblock = NULL;
778 deque->rightblock = NULL;
779 Py_TYPE(deque)->tp_free(deque);
Raymond Hettinger756b3f32004-01-29 06:37:52 +0000780}
781
782static int
Raymond Hettinger0a4977c2004-03-01 23:16:22 +0000783deque_traverse(dequeobject *deque, visitproc visit, void *arg)
Raymond Hettinger756b3f32004-01-29 06:37:52 +0000784{
Antoine Pitrouc83ea132010-05-09 14:46:46 +0000785 block *b;
786 PyObject *item;
787 Py_ssize_t index;
788 Py_ssize_t indexlo = deque->leftindex;
Raymond Hettinger756b3f32004-01-29 06:37:52 +0000789
Antoine Pitrouc83ea132010-05-09 14:46:46 +0000790 for (b = deque->leftblock; b != NULL; b = b->rightlink) {
791 const Py_ssize_t indexhi = b == deque->rightblock ?
792 deque->rightindex :
793 BLOCKLEN - 1;
Tim Peters10c7e862004-10-01 02:01:04 +0000794
Antoine Pitrouc83ea132010-05-09 14:46:46 +0000795 for (index = indexlo; index <= indexhi; ++index) {
796 item = b->data[index];
797 Py_VISIT(item);
798 }
799 indexlo = 0;
800 }
801 return 0;
Raymond Hettinger756b3f32004-01-29 06:37:52 +0000802}
803
Raymond Hettinger756b3f32004-01-29 06:37:52 +0000804static PyObject *
805deque_copy(PyObject *deque)
806{
Antoine Pitrouc83ea132010-05-09 14:46:46 +0000807 if (((dequeobject *)deque)->maxlen == -1)
808 return PyObject_CallFunction((PyObject *)(Py_TYPE(deque)), "O", deque, NULL);
809 else
810 return PyObject_CallFunction((PyObject *)(Py_TYPE(deque)), "Oi",
811 deque, ((dequeobject *)deque)->maxlen, NULL);
Raymond Hettinger756b3f32004-01-29 06:37:52 +0000812}
813
814PyDoc_STRVAR(copy_doc, "Return a shallow copy of a deque.");
815
816static PyObject *
817deque_reduce(dequeobject *deque)
818{
Antoine Pitrouc83ea132010-05-09 14:46:46 +0000819 PyObject *dict, *result, *aslist;
Raymond Hettinger756b3f32004-01-29 06:37:52 +0000820
Antoine Pitrouc83ea132010-05-09 14:46:46 +0000821 dict = PyObject_GetAttrString((PyObject *)deque, "__dict__");
822 if (dict == NULL)
823 PyErr_Clear();
824 aslist = PySequence_List((PyObject *)deque);
825 if (aslist == NULL) {
826 Py_XDECREF(dict);
827 return NULL;
828 }
829 if (dict == NULL) {
830 if (deque->maxlen == -1)
831 result = Py_BuildValue("O(O)", Py_TYPE(deque), aslist);
832 else
833 result = Py_BuildValue("O(On)", Py_TYPE(deque), aslist, deque->maxlen);
834 } else {
835 if (deque->maxlen == -1)
836 result = Py_BuildValue("O(OO)O", Py_TYPE(deque), aslist, Py_None, dict);
837 else
838 result = Py_BuildValue("O(On)O", Py_TYPE(deque), aslist, deque->maxlen, dict);
839 }
840 Py_XDECREF(dict);
841 Py_DECREF(aslist);
842 return result;
Raymond Hettinger756b3f32004-01-29 06:37:52 +0000843}
844
845PyDoc_STRVAR(reduce_doc, "Return state information for pickling.");
846
847static PyObject *
848deque_repr(PyObject *deque)
849{
Antoine Pitrouc83ea132010-05-09 14:46:46 +0000850 PyObject *aslist, *result, *fmt;
851 int i;
Raymond Hettinger756b3f32004-01-29 06:37:52 +0000852
Antoine Pitrouc83ea132010-05-09 14:46:46 +0000853 i = Py_ReprEnter(deque);
854 if (i != 0) {
855 if (i < 0)
856 return NULL;
857 return PyString_FromString("[...]");
858 }
Raymond Hettinger756b3f32004-01-29 06:37:52 +0000859
Antoine Pitrouc83ea132010-05-09 14:46:46 +0000860 aslist = PySequence_List(deque);
861 if (aslist == NULL) {
862 Py_ReprLeave(deque);
863 return NULL;
864 }
865 if (((dequeobject *)deque)->maxlen != -1)
866 fmt = PyString_FromFormat("deque(%%r, maxlen=%zd)",
867 ((dequeobject *)deque)->maxlen);
868 else
869 fmt = PyString_FromString("deque(%r)");
870 if (fmt == NULL) {
871 Py_DECREF(aslist);
872 Py_ReprLeave(deque);
873 return NULL;
874 }
875 result = PyString_Format(fmt, aslist);
876 Py_DECREF(fmt);
877 Py_DECREF(aslist);
878 Py_ReprLeave(deque);
879 return result;
Raymond Hettinger756b3f32004-01-29 06:37:52 +0000880}
881
882static int
883deque_tp_print(PyObject *deque, FILE *fp, int flags)
884{
Antoine Pitrouc83ea132010-05-09 14:46:46 +0000885 PyObject *it, *item;
886 char *emit = ""; /* No separator emitted on first pass */
887 char *separator = ", ";
888 int i;
Raymond Hettinger756b3f32004-01-29 06:37:52 +0000889
Antoine Pitrouc83ea132010-05-09 14:46:46 +0000890 i = Py_ReprEnter(deque);
891 if (i != 0) {
892 if (i < 0)
893 return i;
894 Py_BEGIN_ALLOW_THREADS
895 fputs("[...]", fp);
896 Py_END_ALLOW_THREADS
897 return 0;
898 }
Raymond Hettinger756b3f32004-01-29 06:37:52 +0000899
Antoine Pitrouc83ea132010-05-09 14:46:46 +0000900 it = PyObject_GetIter(deque);
901 if (it == NULL)
902 return -1;
Raymond Hettinger756b3f32004-01-29 06:37:52 +0000903
Antoine Pitrouc83ea132010-05-09 14:46:46 +0000904 Py_BEGIN_ALLOW_THREADS
905 fputs("deque([", fp);
906 Py_END_ALLOW_THREADS
907 while ((item = PyIter_Next(it)) != NULL) {
908 Py_BEGIN_ALLOW_THREADS
909 fputs(emit, fp);
910 Py_END_ALLOW_THREADS
911 emit = separator;
912 if (PyObject_Print(item, fp, 0) != 0) {
913 Py_DECREF(item);
914 Py_DECREF(it);
915 Py_ReprLeave(deque);
916 return -1;
917 }
918 Py_DECREF(item);
919 }
920 Py_ReprLeave(deque);
921 Py_DECREF(it);
922 if (PyErr_Occurred())
923 return -1;
Raymond Hettingera7fc4b12007-10-05 02:47:07 +0000924
Antoine Pitrouc83ea132010-05-09 14:46:46 +0000925 Py_BEGIN_ALLOW_THREADS
926 if (((dequeobject *)deque)->maxlen == -1)
927 fputs("])", fp);
928 else
929 fprintf(fp, "], maxlen=%" PY_FORMAT_SIZE_T "d)", ((dequeobject *)deque)->maxlen);
930 Py_END_ALLOW_THREADS
931 return 0;
Raymond Hettinger756b3f32004-01-29 06:37:52 +0000932}
933
Raymond Hettinger738ec902004-02-29 02:15:56 +0000934static PyObject *
935deque_richcompare(PyObject *v, PyObject *w, int op)
936{
Antoine Pitrouc83ea132010-05-09 14:46:46 +0000937 PyObject *it1=NULL, *it2=NULL, *x, *y;
938 Py_ssize_t vs, ws;
939 int b, cmp=-1;
Raymond Hettinger738ec902004-02-29 02:15:56 +0000940
Antoine Pitrouc83ea132010-05-09 14:46:46 +0000941 if (!PyObject_TypeCheck(v, &deque_type) ||
942 !PyObject_TypeCheck(w, &deque_type)) {
943 Py_INCREF(Py_NotImplemented);
944 return Py_NotImplemented;
945 }
Raymond Hettinger738ec902004-02-29 02:15:56 +0000946
Antoine Pitrouc83ea132010-05-09 14:46:46 +0000947 /* Shortcuts */
948 vs = ((dequeobject *)v)->len;
949 ws = ((dequeobject *)w)->len;
950 if (op == Py_EQ) {
951 if (v == w)
952 Py_RETURN_TRUE;
953 if (vs != ws)
954 Py_RETURN_FALSE;
955 }
956 if (op == Py_NE) {
957 if (v == w)
958 Py_RETURN_FALSE;
959 if (vs != ws)
960 Py_RETURN_TRUE;
961 }
Raymond Hettinger738ec902004-02-29 02:15:56 +0000962
Antoine Pitrouc83ea132010-05-09 14:46:46 +0000963 /* Search for the first index where items are different */
964 it1 = PyObject_GetIter(v);
965 if (it1 == NULL)
966 goto done;
967 it2 = PyObject_GetIter(w);
968 if (it2 == NULL)
969 goto done;
970 for (;;) {
971 x = PyIter_Next(it1);
972 if (x == NULL && PyErr_Occurred())
973 goto done;
974 y = PyIter_Next(it2);
975 if (x == NULL || y == NULL)
976 break;
977 b = PyObject_RichCompareBool(x, y, Py_EQ);
978 if (b == 0) {
979 cmp = PyObject_RichCompareBool(x, y, op);
980 Py_DECREF(x);
981 Py_DECREF(y);
982 goto done;
983 }
984 Py_DECREF(x);
985 Py_DECREF(y);
986 if (b == -1)
987 goto done;
988 }
989 /* We reached the end of one deque or both */
990 Py_XDECREF(x);
991 Py_XDECREF(y);
992 if (PyErr_Occurred())
993 goto done;
994 switch (op) {
995 case Py_LT: cmp = y != NULL; break; /* if w was longer */
996 case Py_LE: cmp = x == NULL; break; /* if v was not longer */
997 case Py_EQ: cmp = x == y; break; /* if we reached the end of both */
998 case Py_NE: cmp = x != y; break; /* if one deque continues */
999 case Py_GT: cmp = x != NULL; break; /* if v was longer */
1000 case Py_GE: cmp = y == NULL; break; /* if w was not longer */
1001 }
Tim Peters1065f752004-10-01 01:03:29 +00001002
Raymond Hettinger738ec902004-02-29 02:15:56 +00001003done:
Antoine Pitrouc83ea132010-05-09 14:46:46 +00001004 Py_XDECREF(it1);
1005 Py_XDECREF(it2);
1006 if (cmp == 1)
1007 Py_RETURN_TRUE;
1008 if (cmp == 0)
1009 Py_RETURN_FALSE;
1010 return NULL;
Raymond Hettinger738ec902004-02-29 02:15:56 +00001011}
1012
Raymond Hettinger756b3f32004-01-29 06:37:52 +00001013static int
Raymond Hettingera7fc4b12007-10-05 02:47:07 +00001014deque_init(dequeobject *deque, PyObject *args, PyObject *kwdargs)
Raymond Hettinger756b3f32004-01-29 06:37:52 +00001015{
Antoine Pitrouc83ea132010-05-09 14:46:46 +00001016 PyObject *iterable = NULL;
1017 PyObject *maxlenobj = NULL;
1018 Py_ssize_t maxlen = -1;
1019 char *kwlist[] = {"iterable", "maxlen", 0};
Raymond Hettinger756b3f32004-01-29 06:37:52 +00001020
Antoine Pitrouc83ea132010-05-09 14:46:46 +00001021 if (!PyArg_ParseTupleAndKeywords(args, kwdargs, "|OO:deque", kwlist, &iterable, &maxlenobj))
1022 return -1;
1023 if (maxlenobj != NULL && maxlenobj != Py_None) {
1024 maxlen = PyInt_AsSsize_t(maxlenobj);
1025 if (maxlen == -1 && PyErr_Occurred())
1026 return -1;
1027 if (maxlen < 0) {
1028 PyErr_SetString(PyExc_ValueError, "maxlen must be non-negative");
1029 return -1;
1030 }
1031 }
1032 deque->maxlen = maxlen;
1033 deque_clear(deque);
1034 if (iterable != NULL) {
1035 PyObject *rv = deque_extend(deque, iterable);
1036 if (rv == NULL)
1037 return -1;
1038 Py_DECREF(rv);
1039 }
1040 return 0;
Raymond Hettinger756b3f32004-01-29 06:37:52 +00001041}
1042
Raymond Hettinger56411aa2009-03-10 12:50:59 +00001043static PyObject *
Jesus Cead4e58dc2012-08-03 14:48:23 +02001044deque_sizeof(dequeobject *deque, void *unused)
1045{
1046 Py_ssize_t res;
1047 Py_ssize_t blocks;
1048
1049 res = sizeof(dequeobject);
1050 blocks = (deque->leftindex + deque->len + BLOCKLEN - 1) / BLOCKLEN;
1051 assert(deque->leftindex + deque->len - 1 ==
1052 (blocks - 1) * BLOCKLEN + deque->rightindex);
1053 res += blocks * sizeof(block);
1054 return PyLong_FromSsize_t(res);
1055}
1056
1057PyDoc_STRVAR(sizeof_doc,
1058"D.__sizeof__() -- size of D in memory, in bytes");
1059
1060static PyObject *
Raymond Hettinger56411aa2009-03-10 12:50:59 +00001061deque_get_maxlen(dequeobject *deque)
1062{
Antoine Pitrouc83ea132010-05-09 14:46:46 +00001063 if (deque->maxlen == -1)
1064 Py_RETURN_NONE;
1065 return PyInt_FromSsize_t(deque->maxlen);
Raymond Hettinger56411aa2009-03-10 12:50:59 +00001066}
1067
1068static PyGetSetDef deque_getset[] = {
Antoine Pitrouc83ea132010-05-09 14:46:46 +00001069 {"maxlen", (getter)deque_get_maxlen, (setter)NULL,
1070 "maximum size of a deque or None if unbounded"},
1071 {0}
Raymond Hettinger56411aa2009-03-10 12:50:59 +00001072};
1073
Raymond Hettinger756b3f32004-01-29 06:37:52 +00001074static PySequenceMethods deque_as_sequence = {
Antoine Pitrouc83ea132010-05-09 14:46:46 +00001075 (lenfunc)deque_len, /* sq_length */
1076 0, /* sq_concat */
1077 0, /* sq_repeat */
1078 (ssizeargfunc)deque_item, /* sq_item */
1079 0, /* sq_slice */
1080 (ssizeobjargproc)deque_ass_item, /* sq_ass_item */
1081 0, /* sq_ass_slice */
1082 0, /* sq_contains */
1083 (binaryfunc)deque_inplace_concat, /* sq_inplace_concat */
1084 0, /* sq_inplace_repeat */
Raymond Hettinger0b3263b2009-12-10 06:00:33 +00001085
Raymond Hettinger756b3f32004-01-29 06:37:52 +00001086};
1087
1088/* deque object ********************************************************/
1089
1090static PyObject *deque_iter(dequeobject *deque);
Raymond Hettinger1e5809f2004-03-18 11:04:57 +00001091static PyObject *deque_reviter(dequeobject *deque);
Tim Peters1065f752004-10-01 01:03:29 +00001092PyDoc_STRVAR(reversed_doc,
Antoine Pitrouc83ea132010-05-09 14:46:46 +00001093 "D.__reversed__() -- return a reverse iterator over the deque");
Raymond Hettinger756b3f32004-01-29 06:37:52 +00001094
1095static PyMethodDef deque_methods[] = {
Antoine Pitrouc83ea132010-05-09 14:46:46 +00001096 {"append", (PyCFunction)deque_append,
1097 METH_O, append_doc},
1098 {"appendleft", (PyCFunction)deque_appendleft,
1099 METH_O, appendleft_doc},
1100 {"clear", (PyCFunction)deque_clearmethod,
1101 METH_NOARGS, clear_doc},
1102 {"__copy__", (PyCFunction)deque_copy,
1103 METH_NOARGS, copy_doc},
1104 {"count", (PyCFunction)deque_count,
1105 METH_O, count_doc},
1106 {"extend", (PyCFunction)deque_extend,
1107 METH_O, extend_doc},
1108 {"extendleft", (PyCFunction)deque_extendleft,
1109 METH_O, extendleft_doc},
1110 {"pop", (PyCFunction)deque_pop,
1111 METH_NOARGS, pop_doc},
1112 {"popleft", (PyCFunction)deque_popleft,
1113 METH_NOARGS, popleft_doc},
1114 {"__reduce__", (PyCFunction)deque_reduce,
1115 METH_NOARGS, reduce_doc},
1116 {"remove", (PyCFunction)deque_remove,
1117 METH_O, remove_doc},
1118 {"__reversed__", (PyCFunction)deque_reviter,
1119 METH_NOARGS, reversed_doc},
1120 {"reverse", (PyCFunction)deque_reverse,
1121 METH_NOARGS, reverse_doc},
1122 {"rotate", (PyCFunction)deque_rotate,
Jesus Cead4e58dc2012-08-03 14:48:23 +02001123 METH_VARARGS, rotate_doc},
1124 {"__sizeof__", (PyCFunction)deque_sizeof,
1125 METH_NOARGS, sizeof_doc},
Antoine Pitrouc83ea132010-05-09 14:46:46 +00001126 {NULL, NULL} /* sentinel */
Raymond Hettinger756b3f32004-01-29 06:37:52 +00001127};
1128
1129PyDoc_STRVAR(deque_doc,
Andrew Svetlov227f59b2012-10-31 11:50:00 +02001130"deque([iterable[, maxlen]]) --> deque object\n\
Raymond Hettinger756b3f32004-01-29 06:37:52 +00001131\n\
Raymond Hettingerdb9d64b2011-03-29 17:28:25 -07001132Build an ordered collection with optimized access from its endpoints.");
Raymond Hettinger756b3f32004-01-29 06:37:52 +00001133
Neal Norwitz87f10132004-02-29 15:40:53 +00001134static PyTypeObject deque_type = {
Antoine Pitrouc83ea132010-05-09 14:46:46 +00001135 PyVarObject_HEAD_INIT(NULL, 0)
1136 "collections.deque", /* tp_name */
1137 sizeof(dequeobject), /* tp_basicsize */
1138 0, /* tp_itemsize */
1139 /* methods */
1140 (destructor)deque_dealloc, /* tp_dealloc */
1141 deque_tp_print, /* tp_print */
1142 0, /* tp_getattr */
1143 0, /* tp_setattr */
1144 0, /* tp_compare */
1145 deque_repr, /* tp_repr */
1146 0, /* tp_as_number */
1147 &deque_as_sequence, /* tp_as_sequence */
1148 0, /* tp_as_mapping */
1149 (hashfunc)PyObject_HashNotImplemented, /* tp_hash */
1150 0, /* tp_call */
1151 0, /* tp_str */
1152 PyObject_GenericGetAttr, /* tp_getattro */
1153 0, /* tp_setattro */
1154 0, /* tp_as_buffer */
1155 Py_TPFLAGS_DEFAULT | Py_TPFLAGS_BASETYPE | Py_TPFLAGS_HAVE_GC |
1156 Py_TPFLAGS_HAVE_WEAKREFS, /* tp_flags */
1157 deque_doc, /* tp_doc */
1158 (traverseproc)deque_traverse, /* tp_traverse */
1159 (inquiry)deque_clear, /* tp_clear */
1160 (richcmpfunc)deque_richcompare, /* tp_richcompare */
1161 offsetof(dequeobject, weakreflist), /* tp_weaklistoffset*/
1162 (getiterfunc)deque_iter, /* tp_iter */
1163 0, /* tp_iternext */
1164 deque_methods, /* tp_methods */
1165 0, /* tp_members */
1166 deque_getset, /* tp_getset */
1167 0, /* tp_base */
1168 0, /* tp_dict */
1169 0, /* tp_descr_get */
1170 0, /* tp_descr_set */
1171 0, /* tp_dictoffset */
1172 (initproc)deque_init, /* tp_init */
1173 PyType_GenericAlloc, /* tp_alloc */
1174 deque_new, /* tp_new */
1175 PyObject_GC_Del, /* tp_free */
Raymond Hettinger756b3f32004-01-29 06:37:52 +00001176};
1177
1178/*********************** Deque Iterator **************************/
1179
1180typedef struct {
Antoine Pitrouc83ea132010-05-09 14:46:46 +00001181 PyObject_HEAD
1182 Py_ssize_t index;
1183 block *b;
1184 dequeobject *deque;
1185 long state; /* state when the iterator is created */
1186 Py_ssize_t counter; /* number of items remaining for iteration */
Raymond Hettinger756b3f32004-01-29 06:37:52 +00001187} dequeiterobject;
1188
Martin v. Löwis111c1802008-06-13 07:47:47 +00001189static PyTypeObject dequeiter_type;
Raymond Hettinger756b3f32004-01-29 06:37:52 +00001190
1191static PyObject *
1192deque_iter(dequeobject *deque)
1193{
Antoine Pitrouc83ea132010-05-09 14:46:46 +00001194 dequeiterobject *it;
Raymond Hettinger756b3f32004-01-29 06:37:52 +00001195
Antoine Pitrouc83ea132010-05-09 14:46:46 +00001196 it = PyObject_GC_New(dequeiterobject, &dequeiter_type);
1197 if (it == NULL)
1198 return NULL;
1199 it->b = deque->leftblock;
1200 it->index = deque->leftindex;
1201 Py_INCREF(deque);
1202 it->deque = deque;
1203 it->state = deque->state;
1204 it->counter = deque->len;
1205 PyObject_GC_Track(it);
1206 return (PyObject *)it;
Raymond Hettinger756b3f32004-01-29 06:37:52 +00001207}
1208
Antoine Pitrouaa687902009-01-01 14:11:22 +00001209static int
1210dequeiter_traverse(dequeiterobject *dio, visitproc visit, void *arg)
1211{
Antoine Pitrouc83ea132010-05-09 14:46:46 +00001212 Py_VISIT(dio->deque);
1213 return 0;
Antoine Pitrouaa687902009-01-01 14:11:22 +00001214}
1215
Raymond Hettinger756b3f32004-01-29 06:37:52 +00001216static void
1217dequeiter_dealloc(dequeiterobject *dio)
1218{
Antoine Pitrouc83ea132010-05-09 14:46:46 +00001219 Py_XDECREF(dio->deque);
1220 PyObject_GC_Del(dio);
Raymond Hettinger756b3f32004-01-29 06:37:52 +00001221}
1222
1223static PyObject *
1224dequeiter_next(dequeiterobject *it)
1225{
Antoine Pitrouc83ea132010-05-09 14:46:46 +00001226 PyObject *item;
Raymond Hettingerd1b3d882004-10-02 00:43:13 +00001227
Antoine Pitrouc83ea132010-05-09 14:46:46 +00001228 if (it->deque->state != it->state) {
1229 it->counter = 0;
1230 PyErr_SetString(PyExc_RuntimeError,
1231 "deque mutated during iteration");
1232 return NULL;
1233 }
1234 if (it->counter == 0)
1235 return NULL;
1236 assert (!(it->b == it->deque->rightblock &&
1237 it->index > it->deque->rightindex));
Raymond Hettinger756b3f32004-01-29 06:37:52 +00001238
Antoine Pitrouc83ea132010-05-09 14:46:46 +00001239 item = it->b->data[it->index];
1240 it->index++;
1241 it->counter--;
1242 if (it->index == BLOCKLEN && it->counter > 0) {
1243 assert (it->b->rightlink != NULL);
1244 it->b = it->b->rightlink;
1245 it->index = 0;
1246 }
1247 Py_INCREF(item);
1248 return item;
Raymond Hettinger756b3f32004-01-29 06:37:52 +00001249}
1250
Raymond Hettinger6b27cda2005-09-24 21:23:05 +00001251static PyObject *
Raymond Hettinger1e5809f2004-03-18 11:04:57 +00001252dequeiter_len(dequeiterobject *it)
1253{
Antoine Pitrouc83ea132010-05-09 14:46:46 +00001254 return PyInt_FromLong(it->counter);
Raymond Hettinger1e5809f2004-03-18 11:04:57 +00001255}
1256
Armin Rigof5b3e362006-02-11 21:32:43 +00001257PyDoc_STRVAR(length_hint_doc, "Private method returning an estimate of len(list(it)).");
Raymond Hettinger6b27cda2005-09-24 21:23:05 +00001258
1259static PyMethodDef dequeiter_methods[] = {
Antoine Pitrouc83ea132010-05-09 14:46:46 +00001260 {"__length_hint__", (PyCFunction)dequeiter_len, METH_NOARGS, length_hint_doc},
1261 {NULL, NULL} /* sentinel */
Raymond Hettinger1e5809f2004-03-18 11:04:57 +00001262};
1263
Martin v. Löwis111c1802008-06-13 07:47:47 +00001264static PyTypeObject dequeiter_type = {
Antoine Pitrouc83ea132010-05-09 14:46:46 +00001265 PyVarObject_HEAD_INIT(NULL, 0)
1266 "deque_iterator", /* tp_name */
1267 sizeof(dequeiterobject), /* tp_basicsize */
1268 0, /* tp_itemsize */
1269 /* methods */
1270 (destructor)dequeiter_dealloc, /* tp_dealloc */
1271 0, /* tp_print */
1272 0, /* tp_getattr */
1273 0, /* tp_setattr */
1274 0, /* tp_compare */
1275 0, /* tp_repr */
1276 0, /* tp_as_number */
1277 0, /* tp_as_sequence */
1278 0, /* tp_as_mapping */
1279 0, /* tp_hash */
1280 0, /* tp_call */
1281 0, /* tp_str */
1282 PyObject_GenericGetAttr, /* tp_getattro */
1283 0, /* tp_setattro */
1284 0, /* tp_as_buffer */
1285 Py_TPFLAGS_DEFAULT | Py_TPFLAGS_HAVE_GC,/* tp_flags */
1286 0, /* tp_doc */
1287 (traverseproc)dequeiter_traverse, /* tp_traverse */
1288 0, /* tp_clear */
1289 0, /* tp_richcompare */
1290 0, /* tp_weaklistoffset */
1291 PyObject_SelfIter, /* tp_iter */
1292 (iternextfunc)dequeiter_next, /* tp_iternext */
1293 dequeiter_methods, /* tp_methods */
1294 0,
Raymond Hettinger756b3f32004-01-29 06:37:52 +00001295};
1296
Raymond Hettinger1e5809f2004-03-18 11:04:57 +00001297/*********************** Deque Reverse Iterator **************************/
1298
Martin v. Löwis111c1802008-06-13 07:47:47 +00001299static PyTypeObject dequereviter_type;
Raymond Hettinger1e5809f2004-03-18 11:04:57 +00001300
1301static PyObject *
1302deque_reviter(dequeobject *deque)
1303{
Antoine Pitrouc83ea132010-05-09 14:46:46 +00001304 dequeiterobject *it;
Raymond Hettinger1e5809f2004-03-18 11:04:57 +00001305
Antoine Pitrouc83ea132010-05-09 14:46:46 +00001306 it = PyObject_GC_New(dequeiterobject, &dequereviter_type);
1307 if (it == NULL)
1308 return NULL;
1309 it->b = deque->rightblock;
1310 it->index = deque->rightindex;
1311 Py_INCREF(deque);
1312 it->deque = deque;
1313 it->state = deque->state;
1314 it->counter = deque->len;
1315 PyObject_GC_Track(it);
1316 return (PyObject *)it;
Raymond Hettinger1e5809f2004-03-18 11:04:57 +00001317}
1318
1319static PyObject *
1320dequereviter_next(dequeiterobject *it)
1321{
Antoine Pitrouc83ea132010-05-09 14:46:46 +00001322 PyObject *item;
1323 if (it->counter == 0)
1324 return NULL;
Raymond Hettinger1e5809f2004-03-18 11:04:57 +00001325
Antoine Pitrouc83ea132010-05-09 14:46:46 +00001326 if (it->deque->state != it->state) {
1327 it->counter = 0;
1328 PyErr_SetString(PyExc_RuntimeError,
1329 "deque mutated during iteration");
1330 return NULL;
1331 }
1332 assert (!(it->b == it->deque->leftblock &&
1333 it->index < it->deque->leftindex));
Raymond Hettinger1e5809f2004-03-18 11:04:57 +00001334
Antoine Pitrouc83ea132010-05-09 14:46:46 +00001335 item = it->b->data[it->index];
1336 it->index--;
1337 it->counter--;
1338 if (it->index == -1 && it->counter > 0) {
1339 assert (it->b->leftlink != NULL);
1340 it->b = it->b->leftlink;
1341 it->index = BLOCKLEN - 1;
1342 }
1343 Py_INCREF(item);
1344 return item;
Raymond Hettinger1e5809f2004-03-18 11:04:57 +00001345}
1346
Martin v. Löwis111c1802008-06-13 07:47:47 +00001347static PyTypeObject dequereviter_type = {
Antoine Pitrouc83ea132010-05-09 14:46:46 +00001348 PyVarObject_HEAD_INIT(NULL, 0)
1349 "deque_reverse_iterator", /* tp_name */
1350 sizeof(dequeiterobject), /* tp_basicsize */
1351 0, /* tp_itemsize */
1352 /* methods */
1353 (destructor)dequeiter_dealloc, /* tp_dealloc */
1354 0, /* tp_print */
1355 0, /* tp_getattr */
1356 0, /* tp_setattr */
1357 0, /* tp_compare */
1358 0, /* tp_repr */
1359 0, /* tp_as_number */
1360 0, /* tp_as_sequence */
1361 0, /* tp_as_mapping */
1362 0, /* tp_hash */
1363 0, /* tp_call */
1364 0, /* tp_str */
1365 PyObject_GenericGetAttr, /* tp_getattro */
1366 0, /* tp_setattro */
1367 0, /* tp_as_buffer */
1368 Py_TPFLAGS_DEFAULT | Py_TPFLAGS_HAVE_GC,/* tp_flags */
1369 0, /* tp_doc */
1370 (traverseproc)dequeiter_traverse, /* tp_traverse */
1371 0, /* tp_clear */
1372 0, /* tp_richcompare */
1373 0, /* tp_weaklistoffset */
1374 PyObject_SelfIter, /* tp_iter */
1375 (iternextfunc)dequereviter_next, /* tp_iternext */
1376 dequeiter_methods, /* tp_methods */
1377 0,
Raymond Hettinger1e5809f2004-03-18 11:04:57 +00001378};
1379
Guido van Rossum1968ad32006-02-25 22:38:04 +00001380/* defaultdict type *********************************************************/
1381
1382typedef struct {
Antoine Pitrouc83ea132010-05-09 14:46:46 +00001383 PyDictObject dict;
1384 PyObject *default_factory;
Guido van Rossum1968ad32006-02-25 22:38:04 +00001385} defdictobject;
1386
1387static PyTypeObject defdict_type; /* Forward */
1388
1389PyDoc_STRVAR(defdict_missing_doc,
1390"__missing__(key) # Called by __getitem__ for missing key; pseudo-code:\n\
Georg Brandlb51a57e2007-03-06 13:32:52 +00001391 if self.default_factory is None: raise KeyError((key,))\n\
Guido van Rossum1968ad32006-02-25 22:38:04 +00001392 self[key] = value = self.default_factory()\n\
1393 return value\n\
1394");
1395
1396static PyObject *
1397defdict_missing(defdictobject *dd, PyObject *key)
1398{
Antoine Pitrouc83ea132010-05-09 14:46:46 +00001399 PyObject *factory = dd->default_factory;
1400 PyObject *value;
1401 if (factory == NULL || factory == Py_None) {
1402 /* XXX Call dict.__missing__(key) */
1403 PyObject *tup;
1404 tup = PyTuple_Pack(1, key);
1405 if (!tup) return NULL;
1406 PyErr_SetObject(PyExc_KeyError, tup);
1407 Py_DECREF(tup);
1408 return NULL;
1409 }
1410 value = PyEval_CallObject(factory, NULL);
1411 if (value == NULL)
1412 return value;
1413 if (PyObject_SetItem((PyObject *)dd, key, value) < 0) {
1414 Py_DECREF(value);
1415 return NULL;
1416 }
1417 return value;
Guido van Rossum1968ad32006-02-25 22:38:04 +00001418}
1419
1420PyDoc_STRVAR(defdict_copy_doc, "D.copy() -> a shallow copy of D.");
1421
1422static PyObject *
1423defdict_copy(defdictobject *dd)
1424{
Antoine Pitrouc83ea132010-05-09 14:46:46 +00001425 /* This calls the object's class. That only works for subclasses
1426 whose class constructor has the same signature. Subclasses that
1427 define a different constructor signature must override copy().
1428 */
Raymond Hettinger8fdab952009-08-04 19:08:05 +00001429
Antoine Pitrouc83ea132010-05-09 14:46:46 +00001430 if (dd->default_factory == NULL)
1431 return PyObject_CallFunctionObjArgs((PyObject*)Py_TYPE(dd), Py_None, dd, NULL);
1432 return PyObject_CallFunctionObjArgs((PyObject*)Py_TYPE(dd),
1433 dd->default_factory, dd, NULL);
Guido van Rossum1968ad32006-02-25 22:38:04 +00001434}
1435
1436static PyObject *
1437defdict_reduce(defdictobject *dd)
1438{
Antoine Pitrouc83ea132010-05-09 14:46:46 +00001439 /* __reduce__ must return a 5-tuple as follows:
Guido van Rossum1968ad32006-02-25 22:38:04 +00001440
Antoine Pitrouc83ea132010-05-09 14:46:46 +00001441 - factory function
1442 - tuple of args for the factory function
1443 - additional state (here None)
1444 - sequence iterator (here None)
1445 - dictionary iterator (yielding successive (key, value) pairs
Guido van Rossum1968ad32006-02-25 22:38:04 +00001446
Antoine Pitrouc83ea132010-05-09 14:46:46 +00001447 This API is used by pickle.py and copy.py.
Guido van Rossum1968ad32006-02-25 22:38:04 +00001448
Antoine Pitrouc83ea132010-05-09 14:46:46 +00001449 For this to be useful with pickle.py, the default_factory
1450 must be picklable; e.g., None, a built-in, or a global
1451 function in a module or package.
Guido van Rossum1968ad32006-02-25 22:38:04 +00001452
Antoine Pitrouc83ea132010-05-09 14:46:46 +00001453 Both shallow and deep copying are supported, but for deep
1454 copying, the default_factory must be deep-copyable; e.g. None,
1455 or a built-in (functions are not copyable at this time).
Guido van Rossum1968ad32006-02-25 22:38:04 +00001456
Antoine Pitrouc83ea132010-05-09 14:46:46 +00001457 This only works for subclasses as long as their constructor
1458 signature is compatible; the first argument must be the
1459 optional default_factory, defaulting to None.
1460 */
1461 PyObject *args;
1462 PyObject *items;
1463 PyObject *result;
1464 if (dd->default_factory == NULL || dd->default_factory == Py_None)
1465 args = PyTuple_New(0);
1466 else
1467 args = PyTuple_Pack(1, dd->default_factory);
1468 if (args == NULL)
1469 return NULL;
1470 items = PyObject_CallMethod((PyObject *)dd, "iteritems", "()");
1471 if (items == NULL) {
1472 Py_DECREF(args);
1473 return NULL;
1474 }
1475 result = PyTuple_Pack(5, Py_TYPE(dd), args,
1476 Py_None, Py_None, items);
1477 Py_DECREF(items);
1478 Py_DECREF(args);
1479 return result;
Guido van Rossum1968ad32006-02-25 22:38:04 +00001480}
1481
1482static PyMethodDef defdict_methods[] = {
Antoine Pitrouc83ea132010-05-09 14:46:46 +00001483 {"__missing__", (PyCFunction)defdict_missing, METH_O,
1484 defdict_missing_doc},
1485 {"copy", (PyCFunction)defdict_copy, METH_NOARGS,
1486 defdict_copy_doc},
1487 {"__copy__", (PyCFunction)defdict_copy, METH_NOARGS,
1488 defdict_copy_doc},
1489 {"__reduce__", (PyCFunction)defdict_reduce, METH_NOARGS,
1490 reduce_doc},
1491 {NULL}
Guido van Rossum1968ad32006-02-25 22:38:04 +00001492};
1493
1494static PyMemberDef defdict_members[] = {
Antoine Pitrouc83ea132010-05-09 14:46:46 +00001495 {"default_factory", T_OBJECT,
1496 offsetof(defdictobject, default_factory), 0,
1497 PyDoc_STR("Factory for default value called by __missing__().")},
1498 {NULL}
Guido van Rossum1968ad32006-02-25 22:38:04 +00001499};
1500
1501static void
1502defdict_dealloc(defdictobject *dd)
1503{
Antoine Pitrouc83ea132010-05-09 14:46:46 +00001504 Py_CLEAR(dd->default_factory);
1505 PyDict_Type.tp_dealloc((PyObject *)dd);
Guido van Rossum1968ad32006-02-25 22:38:04 +00001506}
1507
1508static int
1509defdict_print(defdictobject *dd, FILE *fp, int flags)
1510{
Antoine Pitrouc83ea132010-05-09 14:46:46 +00001511 int sts;
1512 Py_BEGIN_ALLOW_THREADS
1513 fprintf(fp, "defaultdict(");
1514 Py_END_ALLOW_THREADS
1515 if (dd->default_factory == NULL) {
1516 Py_BEGIN_ALLOW_THREADS
1517 fprintf(fp, "None");
1518 Py_END_ALLOW_THREADS
1519 } else {
1520 PyObject_Print(dd->default_factory, fp, 0);
1521 }
1522 Py_BEGIN_ALLOW_THREADS
1523 fprintf(fp, ", ");
1524 Py_END_ALLOW_THREADS
1525 sts = PyDict_Type.tp_print((PyObject *)dd, fp, 0);
1526 Py_BEGIN_ALLOW_THREADS
1527 fprintf(fp, ")");
1528 Py_END_ALLOW_THREADS
1529 return sts;
Guido van Rossum1968ad32006-02-25 22:38:04 +00001530}
1531
1532static PyObject *
1533defdict_repr(defdictobject *dd)
1534{
Antoine Pitrouc83ea132010-05-09 14:46:46 +00001535 PyObject *defrepr;
1536 PyObject *baserepr;
1537 PyObject *result;
1538 baserepr = PyDict_Type.tp_repr((PyObject *)dd);
1539 if (baserepr == NULL)
1540 return NULL;
1541 if (dd->default_factory == NULL)
1542 defrepr = PyString_FromString("None");
1543 else
1544 {
1545 int status = Py_ReprEnter(dd->default_factory);
1546 if (status != 0) {
Antoine Pitrouc39cd782012-02-15 02:42:46 +01001547 if (status < 0) {
1548 Py_DECREF(baserepr);
Antoine Pitrouc83ea132010-05-09 14:46:46 +00001549 return NULL;
Antoine Pitrouc39cd782012-02-15 02:42:46 +01001550 }
Antoine Pitrouc83ea132010-05-09 14:46:46 +00001551 defrepr = PyString_FromString("...");
1552 }
1553 else
1554 defrepr = PyObject_Repr(dd->default_factory);
1555 Py_ReprLeave(dd->default_factory);
1556 }
1557 if (defrepr == NULL) {
1558 Py_DECREF(baserepr);
1559 return NULL;
1560 }
1561 result = PyString_FromFormat("defaultdict(%s, %s)",
1562 PyString_AS_STRING(defrepr),
1563 PyString_AS_STRING(baserepr));
1564 Py_DECREF(defrepr);
1565 Py_DECREF(baserepr);
1566 return result;
Guido van Rossum1968ad32006-02-25 22:38:04 +00001567}
1568
1569static int
1570defdict_traverse(PyObject *self, visitproc visit, void *arg)
1571{
Antoine Pitrouc83ea132010-05-09 14:46:46 +00001572 Py_VISIT(((defdictobject *)self)->default_factory);
1573 return PyDict_Type.tp_traverse(self, visit, arg);
Guido van Rossum1968ad32006-02-25 22:38:04 +00001574}
1575
1576static int
1577defdict_tp_clear(defdictobject *dd)
1578{
Antoine Pitrouc83ea132010-05-09 14:46:46 +00001579 Py_CLEAR(dd->default_factory);
1580 return PyDict_Type.tp_clear((PyObject *)dd);
Guido van Rossum1968ad32006-02-25 22:38:04 +00001581}
1582
1583static int
1584defdict_init(PyObject *self, PyObject *args, PyObject *kwds)
1585{
Antoine Pitrouc83ea132010-05-09 14:46:46 +00001586 defdictobject *dd = (defdictobject *)self;
1587 PyObject *olddefault = dd->default_factory;
1588 PyObject *newdefault = NULL;
1589 PyObject *newargs;
1590 int result;
1591 if (args == NULL || !PyTuple_Check(args))
1592 newargs = PyTuple_New(0);
1593 else {
1594 Py_ssize_t n = PyTuple_GET_SIZE(args);
1595 if (n > 0) {
1596 newdefault = PyTuple_GET_ITEM(args, 0);
1597 if (!PyCallable_Check(newdefault) && newdefault != Py_None) {
1598 PyErr_SetString(PyExc_TypeError,
1599 "first argument must be callable");
1600 return -1;
1601 }
1602 }
1603 newargs = PySequence_GetSlice(args, 1, n);
1604 }
1605 if (newargs == NULL)
1606 return -1;
1607 Py_XINCREF(newdefault);
1608 dd->default_factory = newdefault;
1609 result = PyDict_Type.tp_init(self, newargs, kwds);
1610 Py_DECREF(newargs);
1611 Py_XDECREF(olddefault);
1612 return result;
Guido van Rossum1968ad32006-02-25 22:38:04 +00001613}
1614
1615PyDoc_STRVAR(defdict_doc,
1616"defaultdict(default_factory) --> dict with default factory\n\
1617\n\
1618The default factory is called without arguments to produce\n\
1619a new value when a key is not present, in __getitem__ only.\n\
1620A defaultdict compares equal to a dict with the same items.\n\
1621");
1622
Anthony Baxter3b8ff312006-04-04 15:05:23 +00001623/* See comment in xxsubtype.c */
1624#define DEFERRED_ADDRESS(ADDR) 0
1625
Guido van Rossum1968ad32006-02-25 22:38:04 +00001626static PyTypeObject defdict_type = {
Antoine Pitrouc83ea132010-05-09 14:46:46 +00001627 PyVarObject_HEAD_INIT(DEFERRED_ADDRESS(&PyType_Type), 0)
1628 "collections.defaultdict", /* tp_name */
1629 sizeof(defdictobject), /* tp_basicsize */
1630 0, /* tp_itemsize */
1631 /* methods */
1632 (destructor)defdict_dealloc, /* tp_dealloc */
1633 (printfunc)defdict_print, /* tp_print */
1634 0, /* tp_getattr */
1635 0, /* tp_setattr */
1636 0, /* tp_compare */
1637 (reprfunc)defdict_repr, /* tp_repr */
1638 0, /* tp_as_number */
1639 0, /* tp_as_sequence */
1640 0, /* tp_as_mapping */
1641 0, /* tp_hash */
1642 0, /* tp_call */
1643 0, /* tp_str */
1644 PyObject_GenericGetAttr, /* tp_getattro */
1645 0, /* tp_setattro */
1646 0, /* tp_as_buffer */
1647 Py_TPFLAGS_DEFAULT | Py_TPFLAGS_BASETYPE | Py_TPFLAGS_HAVE_GC |
1648 Py_TPFLAGS_HAVE_WEAKREFS, /* tp_flags */
1649 defdict_doc, /* tp_doc */
1650 defdict_traverse, /* tp_traverse */
1651 (inquiry)defdict_tp_clear, /* tp_clear */
1652 0, /* tp_richcompare */
1653 0, /* tp_weaklistoffset*/
1654 0, /* tp_iter */
1655 0, /* tp_iternext */
1656 defdict_methods, /* tp_methods */
1657 defdict_members, /* tp_members */
1658 0, /* tp_getset */
1659 DEFERRED_ADDRESS(&PyDict_Type), /* tp_base */
1660 0, /* tp_dict */
1661 0, /* tp_descr_get */
1662 0, /* tp_descr_set */
1663 0, /* tp_dictoffset */
1664 defdict_init, /* tp_init */
1665 PyType_GenericAlloc, /* tp_alloc */
1666 0, /* tp_new */
1667 PyObject_GC_Del, /* tp_free */
Guido van Rossum1968ad32006-02-25 22:38:04 +00001668};
1669
Raymond Hettinger756b3f32004-01-29 06:37:52 +00001670/* module level code ********************************************************/
1671
1672PyDoc_STRVAR(module_doc,
Guido van Rossum1968ad32006-02-25 22:38:04 +00001673"High performance data structures.\n\
1674- deque: ordered collection accessible from endpoints only\n\
1675- defaultdict: dict subclass with a default value factory\n\
Raymond Hettinger756b3f32004-01-29 06:37:52 +00001676");
1677
1678PyMODINIT_FUNC
Raymond Hettingereb979882007-02-28 18:37:52 +00001679init_collections(void)
Raymond Hettinger756b3f32004-01-29 06:37:52 +00001680{
Antoine Pitrouc83ea132010-05-09 14:46:46 +00001681 PyObject *m;
Raymond Hettinger756b3f32004-01-29 06:37:52 +00001682
Antoine Pitrouc83ea132010-05-09 14:46:46 +00001683 m = Py_InitModule3("_collections", NULL, module_doc);
1684 if (m == NULL)
1685 return;
Raymond Hettinger756b3f32004-01-29 06:37:52 +00001686
Antoine Pitrouc83ea132010-05-09 14:46:46 +00001687 if (PyType_Ready(&deque_type) < 0)
1688 return;
1689 Py_INCREF(&deque_type);
1690 PyModule_AddObject(m, "deque", (PyObject *)&deque_type);
Raymond Hettinger756b3f32004-01-29 06:37:52 +00001691
Antoine Pitrouc83ea132010-05-09 14:46:46 +00001692 defdict_type.tp_base = &PyDict_Type;
1693 if (PyType_Ready(&defdict_type) < 0)
1694 return;
1695 Py_INCREF(&defdict_type);
1696 PyModule_AddObject(m, "defaultdict", (PyObject *)&defdict_type);
Guido van Rossum1968ad32006-02-25 22:38:04 +00001697
Antoine Pitrouc83ea132010-05-09 14:46:46 +00001698 if (PyType_Ready(&dequeiter_type) < 0)
1699 return;
Raymond Hettinger756b3f32004-01-29 06:37:52 +00001700
Antoine Pitrouc83ea132010-05-09 14:46:46 +00001701 if (PyType_Ready(&dequereviter_type) < 0)
1702 return;
Raymond Hettinger1e5809f2004-03-18 11:04:57 +00001703
Antoine Pitrouc83ea132010-05-09 14:46:46 +00001704 return;
Raymond Hettinger756b3f32004-01-29 06:37:52 +00001705}