Guido van Rossum | 0531148 | 2001-04-20 21:06:46 +0000 | [diff] [blame] | 1 | /* Iterator objects */ |
| 2 | |
| 3 | #include "Python.h" |
Victor Stinner | bcda8f1 | 2018-11-21 22:27:47 +0100 | [diff] [blame] | 4 | #include "pycore_object.h" |
Victor Stinner | 621cebe | 2018-11-12 16:53:38 +0100 | [diff] [blame] | 5 | #include "pycore_pymem.h" |
| 6 | #include "pycore_pystate.h" |
Guido van Rossum | 0531148 | 2001-04-20 21:06:46 +0000 | [diff] [blame] | 7 | |
| 8 | typedef struct { |
Antoine Pitrou | f95a1b3 | 2010-05-09 15:52:27 +0000 | [diff] [blame] | 9 | PyObject_HEAD |
Victor Stinner | e0b99ba | 2013-06-04 23:02:46 +0200 | [diff] [blame] | 10 | Py_ssize_t it_index; |
Antoine Pitrou | f95a1b3 | 2010-05-09 15:52:27 +0000 | [diff] [blame] | 11 | PyObject *it_seq; /* Set to NULL when iterator is exhausted */ |
Guido van Rossum | 213c7a6 | 2001-04-23 14:08:49 +0000 | [diff] [blame] | 12 | } seqiterobject; |
Guido van Rossum | 0531148 | 2001-04-20 21:06:46 +0000 | [diff] [blame] | 13 | |
Hai Shi | 46874c2 | 2020-01-30 17:20:25 -0600 | [diff] [blame^] | 14 | _Py_IDENTIFIER(iter); |
| 15 | |
Guido van Rossum | 0531148 | 2001-04-20 21:06:46 +0000 | [diff] [blame] | 16 | PyObject * |
Guido van Rossum | 213c7a6 | 2001-04-23 14:08:49 +0000 | [diff] [blame] | 17 | PySeqIter_New(PyObject *seq) |
Guido van Rossum | 0531148 | 2001-04-20 21:06:46 +0000 | [diff] [blame] | 18 | { |
Antoine Pitrou | f95a1b3 | 2010-05-09 15:52:27 +0000 | [diff] [blame] | 19 | seqiterobject *it; |
Martin v. Löwis | 01f94bd | 2002-05-08 08:44:21 +0000 | [diff] [blame] | 20 | |
Antoine Pitrou | f95a1b3 | 2010-05-09 15:52:27 +0000 | [diff] [blame] | 21 | if (!PySequence_Check(seq)) { |
| 22 | PyErr_BadInternalCall(); |
| 23 | return NULL; |
| 24 | } |
| 25 | it = PyObject_GC_New(seqiterobject, &PySeqIter_Type); |
| 26 | if (it == NULL) |
| 27 | return NULL; |
| 28 | it->it_index = 0; |
| 29 | Py_INCREF(seq); |
| 30 | it->it_seq = seq; |
| 31 | _PyObject_GC_TRACK(it); |
| 32 | return (PyObject *)it; |
Guido van Rossum | 0531148 | 2001-04-20 21:06:46 +0000 | [diff] [blame] | 33 | } |
Guido van Rossum | 613bed3 | 2002-07-16 20:24:46 +0000 | [diff] [blame] | 34 | |
Guido van Rossum | 0531148 | 2001-04-20 21:06:46 +0000 | [diff] [blame] | 35 | static void |
Guido van Rossum | 213c7a6 | 2001-04-23 14:08:49 +0000 | [diff] [blame] | 36 | iter_dealloc(seqiterobject *it) |
Guido van Rossum | 0531148 | 2001-04-20 21:06:46 +0000 | [diff] [blame] | 37 | { |
Antoine Pitrou | f95a1b3 | 2010-05-09 15:52:27 +0000 | [diff] [blame] | 38 | _PyObject_GC_UNTRACK(it); |
| 39 | Py_XDECREF(it->it_seq); |
| 40 | PyObject_GC_Del(it); |
Guido van Rossum | 0531148 | 2001-04-20 21:06:46 +0000 | [diff] [blame] | 41 | } |
| 42 | |
Neil Schemenauer | 7eac9b7 | 2001-07-12 13:27:25 +0000 | [diff] [blame] | 43 | static int |
| 44 | iter_traverse(seqiterobject *it, visitproc visit, void *arg) |
| 45 | { |
Antoine Pitrou | f95a1b3 | 2010-05-09 15:52:27 +0000 | [diff] [blame] | 46 | Py_VISIT(it->it_seq); |
| 47 | return 0; |
Neil Schemenauer | 7eac9b7 | 2001-07-12 13:27:25 +0000 | [diff] [blame] | 48 | } |
| 49 | |
Guido van Rossum | 0531148 | 2001-04-20 21:06:46 +0000 | [diff] [blame] | 50 | static PyObject * |
Guido van Rossum | 213c7a6 | 2001-04-23 14:08:49 +0000 | [diff] [blame] | 51 | iter_iternext(PyObject *iterator) |
| 52 | { |
Antoine Pitrou | f95a1b3 | 2010-05-09 15:52:27 +0000 | [diff] [blame] | 53 | seqiterobject *it; |
| 54 | PyObject *seq; |
| 55 | PyObject *result; |
Guido van Rossum | 213c7a6 | 2001-04-23 14:08:49 +0000 | [diff] [blame] | 56 | |
Antoine Pitrou | f95a1b3 | 2010-05-09 15:52:27 +0000 | [diff] [blame] | 57 | assert(PySeqIter_Check(iterator)); |
| 58 | it = (seqiterobject *)iterator; |
| 59 | seq = it->it_seq; |
| 60 | if (seq == NULL) |
| 61 | return NULL; |
Serhiy Storchaka | 4faf5c5 | 2015-05-21 20:50:25 +0300 | [diff] [blame] | 62 | if (it->it_index == PY_SSIZE_T_MAX) { |
| 63 | PyErr_SetString(PyExc_OverflowError, |
| 64 | "iter index too large"); |
| 65 | return NULL; |
| 66 | } |
Guido van Rossum | 213c7a6 | 2001-04-23 14:08:49 +0000 | [diff] [blame] | 67 | |
Antoine Pitrou | f95a1b3 | 2010-05-09 15:52:27 +0000 | [diff] [blame] | 68 | result = PySequence_GetItem(seq, it->it_index); |
| 69 | if (result != NULL) { |
| 70 | it->it_index++; |
| 71 | return result; |
| 72 | } |
| 73 | if (PyErr_ExceptionMatches(PyExc_IndexError) || |
| 74 | PyErr_ExceptionMatches(PyExc_StopIteration)) |
| 75 | { |
| 76 | PyErr_Clear(); |
Antoine Pitrou | f95a1b3 | 2010-05-09 15:52:27 +0000 | [diff] [blame] | 77 | it->it_seq = NULL; |
Serhiy Storchaka | fbb1c5e | 2016-03-30 20:40:02 +0300 | [diff] [blame] | 78 | Py_DECREF(seq); |
Antoine Pitrou | f95a1b3 | 2010-05-09 15:52:27 +0000 | [diff] [blame] | 79 | } |
| 80 | return NULL; |
Guido van Rossum | 213c7a6 | 2001-04-23 14:08:49 +0000 | [diff] [blame] | 81 | } |
| 82 | |
Raymond Hettinger | 6b27cda | 2005-09-24 21:23:05 +0000 | [diff] [blame] | 83 | static PyObject * |
Siddhesh Poyarekar | 55edd0c | 2018-04-30 00:29:33 +0530 | [diff] [blame] | 84 | iter_len(seqiterobject *it, PyObject *Py_UNUSED(ignored)) |
Raymond Hettinger | 435bf58 | 2004-03-18 22:43:10 +0000 | [diff] [blame] | 85 | { |
Antoine Pitrou | f95a1b3 | 2010-05-09 15:52:27 +0000 | [diff] [blame] | 86 | Py_ssize_t seqsize, len; |
Raymond Hettinger | 7892b1c | 2004-04-12 18:10:01 +0000 | [diff] [blame] | 87 | |
Antoine Pitrou | f95a1b3 | 2010-05-09 15:52:27 +0000 | [diff] [blame] | 88 | if (it->it_seq) { |
Armin Ronacher | aa9a79d | 2012-10-06 14:03:24 +0200 | [diff] [blame] | 89 | if (_PyObject_HasLen(it->it_seq)) { |
| 90 | seqsize = PySequence_Size(it->it_seq); |
| 91 | if (seqsize == -1) |
| 92 | return NULL; |
| 93 | } |
| 94 | else { |
Armin Ronacher | 23c5bb4 | 2012-10-06 14:30:32 +0200 | [diff] [blame] | 95 | Py_RETURN_NOTIMPLEMENTED; |
Armin Ronacher | aa9a79d | 2012-10-06 14:03:24 +0200 | [diff] [blame] | 96 | } |
Antoine Pitrou | f95a1b3 | 2010-05-09 15:52:27 +0000 | [diff] [blame] | 97 | len = seqsize - it->it_index; |
| 98 | if (len >= 0) |
| 99 | return PyLong_FromSsize_t(len); |
| 100 | } |
| 101 | return PyLong_FromLong(0); |
Raymond Hettinger | 435bf58 | 2004-03-18 22:43:10 +0000 | [diff] [blame] | 102 | } |
| 103 | |
Armin Rigo | f5b3e36 | 2006-02-11 21:32:43 +0000 | [diff] [blame] | 104 | PyDoc_STRVAR(length_hint_doc, "Private method returning an estimate of len(list(it))."); |
Raymond Hettinger | 6b27cda | 2005-09-24 21:23:05 +0000 | [diff] [blame] | 105 | |
Kristján Valur Jónsson | 31668b8 | 2012-04-03 10:49:41 +0000 | [diff] [blame] | 106 | static PyObject * |
Siddhesh Poyarekar | 55edd0c | 2018-04-30 00:29:33 +0530 | [diff] [blame] | 107 | iter_reduce(seqiterobject *it, PyObject *Py_UNUSED(ignored)) |
Kristján Valur Jónsson | 31668b8 | 2012-04-03 10:49:41 +0000 | [diff] [blame] | 108 | { |
| 109 | if (it->it_seq != NULL) |
Serhiy Storchaka | bb86bf4 | 2018-12-11 08:28:18 +0200 | [diff] [blame] | 110 | return Py_BuildValue("N(O)n", _PyEval_GetBuiltinId(&PyId_iter), |
Kristján Valur Jónsson | 31668b8 | 2012-04-03 10:49:41 +0000 | [diff] [blame] | 111 | it->it_seq, it->it_index); |
| 112 | else |
Serhiy Storchaka | bb86bf4 | 2018-12-11 08:28:18 +0200 | [diff] [blame] | 113 | return Py_BuildValue("N(())", _PyEval_GetBuiltinId(&PyId_iter)); |
Kristján Valur Jónsson | 31668b8 | 2012-04-03 10:49:41 +0000 | [diff] [blame] | 114 | } |
| 115 | |
| 116 | PyDoc_STRVAR(reduce_doc, "Return state information for pickling."); |
| 117 | |
| 118 | static PyObject * |
| 119 | iter_setstate(seqiterobject *it, PyObject *state) |
| 120 | { |
| 121 | Py_ssize_t index = PyLong_AsSsize_t(state); |
| 122 | if (index == -1 && PyErr_Occurred()) |
| 123 | return NULL; |
| 124 | if (it->it_seq != NULL) { |
| 125 | if (index < 0) |
| 126 | index = 0; |
| 127 | it->it_index = index; |
| 128 | } |
| 129 | Py_RETURN_NONE; |
| 130 | } |
| 131 | |
| 132 | PyDoc_STRVAR(setstate_doc, "Set state information for unpickling."); |
| 133 | |
Raymond Hettinger | 6b27cda | 2005-09-24 21:23:05 +0000 | [diff] [blame] | 134 | static PyMethodDef seqiter_methods[] = { |
Antoine Pitrou | f95a1b3 | 2010-05-09 15:52:27 +0000 | [diff] [blame] | 135 | {"__length_hint__", (PyCFunction)iter_len, METH_NOARGS, length_hint_doc}, |
Kristján Valur Jónsson | 31668b8 | 2012-04-03 10:49:41 +0000 | [diff] [blame] | 136 | {"__reduce__", (PyCFunction)iter_reduce, METH_NOARGS, reduce_doc}, |
| 137 | {"__setstate__", (PyCFunction)iter_setstate, METH_O, setstate_doc}, |
Antoine Pitrou | f95a1b3 | 2010-05-09 15:52:27 +0000 | [diff] [blame] | 138 | {NULL, NULL} /* sentinel */ |
Raymond Hettinger | 435bf58 | 2004-03-18 22:43:10 +0000 | [diff] [blame] | 139 | }; |
| 140 | |
Guido van Rossum | 213c7a6 | 2001-04-23 14:08:49 +0000 | [diff] [blame] | 141 | PyTypeObject PySeqIter_Type = { |
Antoine Pitrou | f95a1b3 | 2010-05-09 15:52:27 +0000 | [diff] [blame] | 142 | PyVarObject_HEAD_INIT(&PyType_Type, 0) |
| 143 | "iterator", /* tp_name */ |
| 144 | sizeof(seqiterobject), /* tp_basicsize */ |
| 145 | 0, /* tp_itemsize */ |
| 146 | /* methods */ |
| 147 | (destructor)iter_dealloc, /* tp_dealloc */ |
Jeroen Demeyer | 530f506 | 2019-05-31 04:13:39 +0200 | [diff] [blame] | 148 | 0, /* tp_vectorcall_offset */ |
Antoine Pitrou | f95a1b3 | 2010-05-09 15:52:27 +0000 | [diff] [blame] | 149 | 0, /* tp_getattr */ |
| 150 | 0, /* tp_setattr */ |
Jeroen Demeyer | 530f506 | 2019-05-31 04:13:39 +0200 | [diff] [blame] | 151 | 0, /* tp_as_async */ |
Antoine Pitrou | f95a1b3 | 2010-05-09 15:52:27 +0000 | [diff] [blame] | 152 | 0, /* tp_repr */ |
| 153 | 0, /* tp_as_number */ |
| 154 | 0, /* tp_as_sequence */ |
| 155 | 0, /* tp_as_mapping */ |
| 156 | 0, /* tp_hash */ |
| 157 | 0, /* tp_call */ |
| 158 | 0, /* tp_str */ |
| 159 | PyObject_GenericGetAttr, /* tp_getattro */ |
| 160 | 0, /* tp_setattro */ |
| 161 | 0, /* tp_as_buffer */ |
| 162 | Py_TPFLAGS_DEFAULT | Py_TPFLAGS_HAVE_GC,/* tp_flags */ |
| 163 | 0, /* tp_doc */ |
| 164 | (traverseproc)iter_traverse, /* tp_traverse */ |
| 165 | 0, /* tp_clear */ |
| 166 | 0, /* tp_richcompare */ |
| 167 | 0, /* tp_weaklistoffset */ |
| 168 | PyObject_SelfIter, /* tp_iter */ |
| 169 | iter_iternext, /* tp_iternext */ |
| 170 | seqiter_methods, /* tp_methods */ |
| 171 | 0, /* tp_members */ |
Guido van Rossum | 0531148 | 2001-04-20 21:06:46 +0000 | [diff] [blame] | 172 | }; |
| 173 | |
| 174 | /* -------------------------------------- */ |
| 175 | |
| 176 | typedef struct { |
Antoine Pitrou | f95a1b3 | 2010-05-09 15:52:27 +0000 | [diff] [blame] | 177 | PyObject_HEAD |
| 178 | PyObject *it_callable; /* Set to NULL when iterator is exhausted */ |
| 179 | PyObject *it_sentinel; /* Set to NULL when iterator is exhausted */ |
Guido van Rossum | 0531148 | 2001-04-20 21:06:46 +0000 | [diff] [blame] | 180 | } calliterobject; |
| 181 | |
| 182 | PyObject * |
| 183 | PyCallIter_New(PyObject *callable, PyObject *sentinel) |
| 184 | { |
Antoine Pitrou | f95a1b3 | 2010-05-09 15:52:27 +0000 | [diff] [blame] | 185 | calliterobject *it; |
| 186 | it = PyObject_GC_New(calliterobject, &PyCallIter_Type); |
| 187 | if (it == NULL) |
| 188 | return NULL; |
| 189 | Py_INCREF(callable); |
| 190 | it->it_callable = callable; |
| 191 | Py_INCREF(sentinel); |
| 192 | it->it_sentinel = sentinel; |
| 193 | _PyObject_GC_TRACK(it); |
| 194 | return (PyObject *)it; |
Guido van Rossum | 0531148 | 2001-04-20 21:06:46 +0000 | [diff] [blame] | 195 | } |
| 196 | static void |
| 197 | calliter_dealloc(calliterobject *it) |
| 198 | { |
Antoine Pitrou | f95a1b3 | 2010-05-09 15:52:27 +0000 | [diff] [blame] | 199 | _PyObject_GC_UNTRACK(it); |
| 200 | Py_XDECREF(it->it_callable); |
| 201 | Py_XDECREF(it->it_sentinel); |
| 202 | PyObject_GC_Del(it); |
Guido van Rossum | 0531148 | 2001-04-20 21:06:46 +0000 | [diff] [blame] | 203 | } |
Guido van Rossum | 213c7a6 | 2001-04-23 14:08:49 +0000 | [diff] [blame] | 204 | |
Neil Schemenauer | 7eac9b7 | 2001-07-12 13:27:25 +0000 | [diff] [blame] | 205 | static int |
| 206 | calliter_traverse(calliterobject *it, visitproc visit, void *arg) |
| 207 | { |
Antoine Pitrou | f95a1b3 | 2010-05-09 15:52:27 +0000 | [diff] [blame] | 208 | Py_VISIT(it->it_callable); |
| 209 | Py_VISIT(it->it_sentinel); |
| 210 | return 0; |
Neil Schemenauer | 7eac9b7 | 2001-07-12 13:27:25 +0000 | [diff] [blame] | 211 | } |
| 212 | |
Guido van Rossum | 0531148 | 2001-04-20 21:06:46 +0000 | [diff] [blame] | 213 | static PyObject * |
Guido van Rossum | 213c7a6 | 2001-04-23 14:08:49 +0000 | [diff] [blame] | 214 | calliter_iternext(calliterobject *it) |
| 215 | { |
Victor Stinner | 99ee9c7 | 2016-08-19 18:47:10 +0200 | [diff] [blame] | 216 | PyObject *result; |
| 217 | |
| 218 | if (it->it_callable == NULL) { |
| 219 | return NULL; |
| 220 | } |
| 221 | |
Victor Stinner | 559bb6a | 2016-08-22 22:48:54 +0200 | [diff] [blame] | 222 | result = _PyObject_CallNoArg(it->it_callable); |
Victor Stinner | 99ee9c7 | 2016-08-19 18:47:10 +0200 | [diff] [blame] | 223 | if (result != NULL) { |
| 224 | int ok; |
| 225 | |
| 226 | ok = PyObject_RichCompareBool(it->it_sentinel, result, Py_EQ); |
| 227 | if (ok == 0) { |
| 228 | return result; /* Common case, fast path */ |
Antoine Pitrou | f95a1b3 | 2010-05-09 15:52:27 +0000 | [diff] [blame] | 229 | } |
Victor Stinner | 99ee9c7 | 2016-08-19 18:47:10 +0200 | [diff] [blame] | 230 | |
| 231 | Py_DECREF(result); |
| 232 | if (ok > 0) { |
Antoine Pitrou | f95a1b3 | 2010-05-09 15:52:27 +0000 | [diff] [blame] | 233 | Py_CLEAR(it->it_callable); |
| 234 | Py_CLEAR(it->it_sentinel); |
| 235 | } |
| 236 | } |
Victor Stinner | 99ee9c7 | 2016-08-19 18:47:10 +0200 | [diff] [blame] | 237 | else if (PyErr_ExceptionMatches(PyExc_StopIteration)) { |
| 238 | PyErr_Clear(); |
| 239 | Py_CLEAR(it->it_callable); |
| 240 | Py_CLEAR(it->it_sentinel); |
| 241 | } |
Antoine Pitrou | f95a1b3 | 2010-05-09 15:52:27 +0000 | [diff] [blame] | 242 | return NULL; |
Guido van Rossum | 213c7a6 | 2001-04-23 14:08:49 +0000 | [diff] [blame] | 243 | } |
| 244 | |
Kristján Valur Jónsson | 31668b8 | 2012-04-03 10:49:41 +0000 | [diff] [blame] | 245 | static PyObject * |
Siddhesh Poyarekar | 55edd0c | 2018-04-30 00:29:33 +0530 | [diff] [blame] | 246 | calliter_reduce(calliterobject *it, PyObject *Py_UNUSED(ignored)) |
Kristján Valur Jónsson | 31668b8 | 2012-04-03 10:49:41 +0000 | [diff] [blame] | 247 | { |
| 248 | if (it->it_callable != NULL && it->it_sentinel != NULL) |
Serhiy Storchaka | bb86bf4 | 2018-12-11 08:28:18 +0200 | [diff] [blame] | 249 | return Py_BuildValue("N(OO)", _PyEval_GetBuiltinId(&PyId_iter), |
Kristján Valur Jónsson | 31668b8 | 2012-04-03 10:49:41 +0000 | [diff] [blame] | 250 | it->it_callable, it->it_sentinel); |
| 251 | else |
Serhiy Storchaka | bb86bf4 | 2018-12-11 08:28:18 +0200 | [diff] [blame] | 252 | return Py_BuildValue("N(())", _PyEval_GetBuiltinId(&PyId_iter)); |
Kristján Valur Jónsson | 31668b8 | 2012-04-03 10:49:41 +0000 | [diff] [blame] | 253 | } |
| 254 | |
| 255 | static PyMethodDef calliter_methods[] = { |
| 256 | {"__reduce__", (PyCFunction)calliter_reduce, METH_NOARGS, reduce_doc}, |
| 257 | {NULL, NULL} /* sentinel */ |
| 258 | }; |
| 259 | |
Guido van Rossum | 0531148 | 2001-04-20 21:06:46 +0000 | [diff] [blame] | 260 | PyTypeObject PyCallIter_Type = { |
Antoine Pitrou | f95a1b3 | 2010-05-09 15:52:27 +0000 | [diff] [blame] | 261 | PyVarObject_HEAD_INIT(&PyType_Type, 0) |
| 262 | "callable_iterator", /* tp_name */ |
| 263 | sizeof(calliterobject), /* tp_basicsize */ |
| 264 | 0, /* tp_itemsize */ |
| 265 | /* methods */ |
| 266 | (destructor)calliter_dealloc, /* tp_dealloc */ |
Jeroen Demeyer | 530f506 | 2019-05-31 04:13:39 +0200 | [diff] [blame] | 267 | 0, /* tp_vectorcall_offset */ |
Antoine Pitrou | f95a1b3 | 2010-05-09 15:52:27 +0000 | [diff] [blame] | 268 | 0, /* tp_getattr */ |
| 269 | 0, /* tp_setattr */ |
Jeroen Demeyer | 530f506 | 2019-05-31 04:13:39 +0200 | [diff] [blame] | 270 | 0, /* tp_as_async */ |
Antoine Pitrou | f95a1b3 | 2010-05-09 15:52:27 +0000 | [diff] [blame] | 271 | 0, /* tp_repr */ |
| 272 | 0, /* tp_as_number */ |
| 273 | 0, /* tp_as_sequence */ |
| 274 | 0, /* tp_as_mapping */ |
| 275 | 0, /* tp_hash */ |
| 276 | 0, /* tp_call */ |
| 277 | 0, /* tp_str */ |
| 278 | PyObject_GenericGetAttr, /* tp_getattro */ |
| 279 | 0, /* tp_setattro */ |
| 280 | 0, /* tp_as_buffer */ |
| 281 | Py_TPFLAGS_DEFAULT | Py_TPFLAGS_HAVE_GC,/* tp_flags */ |
| 282 | 0, /* tp_doc */ |
| 283 | (traverseproc)calliter_traverse, /* tp_traverse */ |
| 284 | 0, /* tp_clear */ |
| 285 | 0, /* tp_richcompare */ |
| 286 | 0, /* tp_weaklistoffset */ |
| 287 | PyObject_SelfIter, /* tp_iter */ |
| 288 | (iternextfunc)calliter_iternext, /* tp_iternext */ |
Kristján Valur Jónsson | 31668b8 | 2012-04-03 10:49:41 +0000 | [diff] [blame] | 289 | calliter_methods, /* tp_methods */ |
Guido van Rossum | 0531148 | 2001-04-20 21:06:46 +0000 | [diff] [blame] | 290 | }; |
Guido van Rossum | b65fb33 | 2006-08-25 23:26:40 +0000 | [diff] [blame] | 291 | |
| 292 | |