blob: f93d73fa7571ab9c3350ade41ac0db09fa82ceed [file] [log] [blame]
Guido van Rossume15dee51995-07-18 14:12:02 +00001/* Abstract Object Interface (many thanks to Jim Fulton) */
Guido van Rossumcea1c8c1998-05-22 00:47:05 +00002
Guido van Rossume15dee51995-07-18 14:12:02 +00003#include "Python.h"
Victor Stinner621cebe2018-11-12 16:53:38 +01004#include "pycore_pystate.h"
Guido van Rossumfa0b6ab1998-05-22 15:23:36 +00005#include <ctype.h>
Neil Schemenauer5a1f0152001-01-04 01:39:06 +00006#include "structmember.h" /* we need the offsetof() macro from there */
Tim Peters64b5ce32001-09-10 20:52:51 +00007#include "longintrepr.h"
Neil Schemenauer5a1f0152001-01-04 01:39:06 +00008
Thomas Wouters49fd7fa2006-04-21 10:40:58 +00009
Thomas Wouters00ee7ba2006-08-21 19:07:27 +000010
Guido van Rossumcea1c8c1998-05-22 00:47:05 +000011/* Shorthands to return certain errors */
Guido van Rossume15dee51995-07-18 14:12:02 +000012
13static PyObject *
Thomas Wouters0e3f5912006-08-11 14:57:12 +000014type_error(const char *msg, PyObject *obj)
Guido van Rossume15dee51995-07-18 14:12:02 +000015{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +000016 PyErr_Format(PyExc_TypeError, msg, obj->ob_type->tp_name);
17 return NULL;
Guido van Rossume15dee51995-07-18 14:12:02 +000018}
19
Guido van Rossum052b7e11996-11-11 15:08:19 +000020static PyObject *
Fred Drake79912472000-07-09 04:06:11 +000021null_error(void)
Guido van Rossume15dee51995-07-18 14:12:02 +000022{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +000023 if (!PyErr_Occurred())
24 PyErr_SetString(PyExc_SystemError,
25 "null argument to internal routine");
26 return NULL;
Guido van Rossume15dee51995-07-18 14:12:02 +000027}
28
Guido van Rossumcea1c8c1998-05-22 00:47:05 +000029/* Operations on any object */
30
Guido van Rossume15dee51995-07-18 14:12:02 +000031PyObject *
Fred Drake79912472000-07-09 04:06:11 +000032PyObject_Type(PyObject *o)
Guido van Rossume15dee51995-07-18 14:12:02 +000033{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +000034 PyObject *v;
Guido van Rossume15dee51995-07-18 14:12:02 +000035
Victor Stinner71aea8e2016-08-19 16:59:55 +020036 if (o == NULL) {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +000037 return null_error();
Victor Stinner71aea8e2016-08-19 16:59:55 +020038 }
39
Antoine Pitrouf95a1b32010-05-09 15:52:27 +000040 v = (PyObject *)o->ob_type;
41 Py_INCREF(v);
42 return v;
Guido van Rossume15dee51995-07-18 14:12:02 +000043}
44
Martin v. Löwis18e16552006-02-15 17:27:45 +000045Py_ssize_t
Jeremy Hylton6253f832000-07-12 12:56:19 +000046PyObject_Size(PyObject *o)
Guido van Rossume15dee51995-07-18 14:12:02 +000047{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +000048 PySequenceMethods *m;
Guido van Rossume15dee51995-07-18 14:12:02 +000049
Antoine Pitrouf95a1b32010-05-09 15:52:27 +000050 if (o == NULL) {
51 null_error();
52 return -1;
53 }
Guido van Rossume15dee51995-07-18 14:12:02 +000054
Antoine Pitrouf95a1b32010-05-09 15:52:27 +000055 m = o->ob_type->tp_as_sequence;
Serhiy Storchaka813f9432017-04-16 09:21:44 +030056 if (m && m->sq_length) {
57 Py_ssize_t len = m->sq_length(o);
58 assert(len >= 0 || PyErr_Occurred());
59 return len;
60 }
Guido van Rossume15dee51995-07-18 14:12:02 +000061
Antoine Pitrouf95a1b32010-05-09 15:52:27 +000062 return PyMapping_Size(o);
Guido van Rossume15dee51995-07-18 14:12:02 +000063}
64
Marc-André Lemburgcf5f3582000-07-17 09:22:55 +000065#undef PyObject_Length
Martin v. Löwis18e16552006-02-15 17:27:45 +000066Py_ssize_t
Marc-André Lemburgcf5f3582000-07-17 09:22:55 +000067PyObject_Length(PyObject *o)
68{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +000069 return PyObject_Size(o);
Marc-André Lemburgcf5f3582000-07-17 09:22:55 +000070}
71#define PyObject_Length PyObject_Size
72
Armin Ronacheraa9a79d2012-10-06 14:03:24 +020073int
74_PyObject_HasLen(PyObject *o) {
75 return (Py_TYPE(o)->tp_as_sequence && Py_TYPE(o)->tp_as_sequence->sq_length) ||
76 (Py_TYPE(o)->tp_as_mapping && Py_TYPE(o)->tp_as_mapping->mp_length);
77}
Raymond Hettinger6b27cda2005-09-24 21:23:05 +000078
Christian Heimes255f53b2007-12-08 15:33:56 +000079/* The length hint function returns a non-negative value from o.__len__()
Armin Ronacher74b38b12012-10-07 10:29:32 +020080 or o.__length_hint__(). If those methods aren't found the defaultvalue is
81 returned. If one of the calls fails with an exception other than TypeError
82 this function returns -1.
Christian Heimes255f53b2007-12-08 15:33:56 +000083*/
84
85Py_ssize_t
Armin Ronacheraa9a79d2012-10-06 14:03:24 +020086PyObject_LengthHint(PyObject *o, Py_ssize_t defaultvalue)
Christian Heimes255f53b2007-12-08 15:33:56 +000087{
Christian Heimesb70e8a12012-10-06 17:16:39 +020088 PyObject *hint, *result;
Christian Heimes6314d162012-10-06 17:13:29 +020089 Py_ssize_t res;
Benjamin Petersonce798522012-01-22 11:24:29 -050090 _Py_IDENTIFIER(__length_hint__);
Serhiy Storchakaf740d462013-10-24 23:19:51 +030091 if (_PyObject_HasLen(o)) {
92 res = PyObject_Length(o);
Serhiy Storchaka813f9432017-04-16 09:21:44 +030093 if (res < 0) {
94 assert(PyErr_Occurred());
Serhiy Storchakaf740d462013-10-24 23:19:51 +030095 if (!PyErr_ExceptionMatches(PyExc_TypeError)) {
96 return -1;
97 }
98 PyErr_Clear();
Armin Ronacheraa9a79d2012-10-06 14:03:24 +020099 }
Serhiy Storchakaf740d462013-10-24 23:19:51 +0300100 else {
101 return res;
102 }
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000103 }
Christian Heimes6314d162012-10-06 17:13:29 +0200104 hint = _PyObject_LookupSpecial(o, &PyId___length_hint__);
Armin Ronacheraa9a79d2012-10-06 14:03:24 +0200105 if (hint == NULL) {
106 if (PyErr_Occurred()) {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000107 return -1;
Armin Ronacheraa9a79d2012-10-06 14:03:24 +0200108 }
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000109 return defaultvalue;
110 }
Victor Stinnerf17c3de2016-12-06 18:46:19 +0100111 result = _PyObject_CallNoArg(hint);
Armin Ronacheraa9a79d2012-10-06 14:03:24 +0200112 Py_DECREF(hint);
113 if (result == NULL) {
114 if (PyErr_ExceptionMatches(PyExc_TypeError)) {
115 PyErr_Clear();
116 return defaultvalue;
117 }
118 return -1;
119 }
120 else if (result == Py_NotImplemented) {
121 Py_DECREF(result);
122 return defaultvalue;
123 }
124 if (!PyLong_Check(result)) {
Armin Ronacher74b38b12012-10-07 10:29:32 +0200125 PyErr_Format(PyExc_TypeError, "__length_hint__ must be an integer, not %.100s",
Armin Ronacheraa9a79d2012-10-06 14:03:24 +0200126 Py_TYPE(result)->tp_name);
127 Py_DECREF(result);
128 return -1;
129 }
Armin Ronacher74b38b12012-10-07 10:29:32 +0200130 res = PyLong_AsSsize_t(result);
Armin Ronacheraa9a79d2012-10-06 14:03:24 +0200131 Py_DECREF(result);
Armin Ronacher74b38b12012-10-07 10:29:32 +0200132 if (res < 0 && PyErr_Occurred()) {
Armin Ronacheraa9a79d2012-10-06 14:03:24 +0200133 return -1;
134 }
Armin Ronacher74b38b12012-10-07 10:29:32 +0200135 if (res < 0) {
Armin Ronacheraa9a79d2012-10-06 14:03:24 +0200136 PyErr_Format(PyExc_ValueError, "__length_hint__() should return >= 0");
137 return -1;
138 }
Armin Ronacher74b38b12012-10-07 10:29:32 +0200139 return res;
Raymond Hettinger6b27cda2005-09-24 21:23:05 +0000140}
141
Guido van Rossume15dee51995-07-18 14:12:02 +0000142PyObject *
Fred Drake79912472000-07-09 04:06:11 +0000143PyObject_GetItem(PyObject *o, PyObject *key)
Guido van Rossume15dee51995-07-18 14:12:02 +0000144{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000145 PyMappingMethods *m;
Ivan Levkivskyiac281472019-02-17 23:13:46 +0000146 PySequenceMethods *ms;
Guido van Rossume15dee51995-07-18 14:12:02 +0000147
Victor Stinner71aea8e2016-08-19 16:59:55 +0200148 if (o == NULL || key == NULL) {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000149 return null_error();
Victor Stinner71aea8e2016-08-19 16:59:55 +0200150 }
Guido van Rossume15dee51995-07-18 14:12:02 +0000151
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000152 m = o->ob_type->tp_as_mapping;
Victor Stinnere20310f2015-11-05 13:56:58 +0100153 if (m && m->mp_subscript) {
154 PyObject *item = m->mp_subscript(o, key);
155 assert((item != NULL) ^ (PyErr_Occurred() != NULL));
156 return item;
157 }
Guido van Rossume15dee51995-07-18 14:12:02 +0000158
Ivan Levkivskyiac281472019-02-17 23:13:46 +0000159 ms = o->ob_type->tp_as_sequence;
160 if (ms && ms->sq_item) {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000161 if (PyIndex_Check(key)) {
162 Py_ssize_t key_value;
163 key_value = PyNumber_AsSsize_t(key, PyExc_IndexError);
164 if (key_value == -1 && PyErr_Occurred())
165 return NULL;
166 return PySequence_GetItem(o, key_value);
167 }
Ivan Levkivskyiac281472019-02-17 23:13:46 +0000168 else {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000169 return type_error("sequence index must "
170 "be integer, not '%.200s'", key);
Ivan Levkivskyiac281472019-02-17 23:13:46 +0000171 }
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000172 }
Guido van Rossumcea1c8c1998-05-22 00:47:05 +0000173
Ivan Levkivskyi2b5fd1e2017-12-14 23:32:56 +0100174 if (PyType_Check(o)) {
Jeroen Demeyer196a5302019-07-04 12:31:34 +0200175 PyObject *meth, *result;
Ivan Levkivskyi2b5fd1e2017-12-14 23:32:56 +0100176 _Py_IDENTIFIER(__class_getitem__);
Serhiy Storchakaf320be72018-01-25 10:49:40 +0200177 if (_PyObject_LookupAttrId(o, &PyId___class_getitem__, &meth) < 0) {
178 return NULL;
179 }
Ivan Levkivskyi2b5fd1e2017-12-14 23:32:56 +0100180 if (meth) {
Jeroen Demeyer196a5302019-07-04 12:31:34 +0200181 result = _PyObject_CallOneArg(meth, key);
Ivan Levkivskyi2b5fd1e2017-12-14 23:32:56 +0100182 Py_DECREF(meth);
183 return result;
184 }
Ivan Levkivskyi2b5fd1e2017-12-14 23:32:56 +0100185 }
186
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000187 return type_error("'%.200s' object is not subscriptable", o);
Guido van Rossume15dee51995-07-18 14:12:02 +0000188}
189
190int
Fred Drake79912472000-07-09 04:06:11 +0000191PyObject_SetItem(PyObject *o, PyObject *key, PyObject *value)
Guido van Rossume15dee51995-07-18 14:12:02 +0000192{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000193 PyMappingMethods *m;
Guido van Rossume15dee51995-07-18 14:12:02 +0000194
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000195 if (o == NULL || key == NULL || value == NULL) {
196 null_error();
197 return -1;
198 }
199 m = o->ob_type->tp_as_mapping;
200 if (m && m->mp_ass_subscript)
201 return m->mp_ass_subscript(o, key, value);
Guido van Rossume15dee51995-07-18 14:12:02 +0000202
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000203 if (o->ob_type->tp_as_sequence) {
204 if (PyIndex_Check(key)) {
205 Py_ssize_t key_value;
206 key_value = PyNumber_AsSsize_t(key, PyExc_IndexError);
207 if (key_value == -1 && PyErr_Occurred())
208 return -1;
209 return PySequence_SetItem(o, key_value, value);
210 }
211 else if (o->ob_type->tp_as_sequence->sq_ass_item) {
212 type_error("sequence index must be "
213 "integer, not '%.200s'", key);
214 return -1;
215 }
216 }
Guido van Rossumcea1c8c1998-05-22 00:47:05 +0000217
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000218 type_error("'%.200s' object does not support item assignment", o);
219 return -1;
Guido van Rossume15dee51995-07-18 14:12:02 +0000220}
221
Guido van Rossum6cdc6f41996-08-21 17:41:54 +0000222int
Fred Drake79912472000-07-09 04:06:11 +0000223PyObject_DelItem(PyObject *o, PyObject *key)
Guido van Rossum6cdc6f41996-08-21 17:41:54 +0000224{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000225 PyMappingMethods *m;
Guido van Rossum6cdc6f41996-08-21 17:41:54 +0000226
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000227 if (o == NULL || key == NULL) {
228 null_error();
229 return -1;
230 }
231 m = o->ob_type->tp_as_mapping;
232 if (m && m->mp_ass_subscript)
233 return m->mp_ass_subscript(o, key, (PyObject*)NULL);
Guido van Rossum6cdc6f41996-08-21 17:41:54 +0000234
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000235 if (o->ob_type->tp_as_sequence) {
236 if (PyIndex_Check(key)) {
237 Py_ssize_t key_value;
238 key_value = PyNumber_AsSsize_t(key, PyExc_IndexError);
239 if (key_value == -1 && PyErr_Occurred())
240 return -1;
241 return PySequence_DelItem(o, key_value);
242 }
243 else if (o->ob_type->tp_as_sequence->sq_ass_item) {
244 type_error("sequence index must be "
245 "integer, not '%.200s'", key);
246 return -1;
247 }
248 }
Guido van Rossumcea1c8c1998-05-22 00:47:05 +0000249
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000250 type_error("'%.200s' object does not support item deletion", o);
251 return -1;
Guido van Rossum6cdc6f41996-08-21 17:41:54 +0000252}
253
Martin v. Löwisb0d71d02002-01-05 10:50:30 +0000254int
Serhiy Storchakac6792272013-10-19 21:03:34 +0300255PyObject_DelItemString(PyObject *o, const char *key)
Martin v. Löwisb0d71d02002-01-05 10:50:30 +0000256{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000257 PyObject *okey;
258 int ret;
Martin v. Löwisb0d71d02002-01-05 10:50:30 +0000259
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000260 if (o == NULL || key == NULL) {
261 null_error();
262 return -1;
263 }
264 okey = PyUnicode_FromString(key);
265 if (okey == NULL)
266 return -1;
267 ret = PyObject_DelItem(o, okey);
268 Py_DECREF(okey);
269 return ret;
Martin v. Löwisb0d71d02002-01-05 10:50:30 +0000270}
271
Travis E. Oliphantb99f7622007-08-18 11:21:56 +0000272/* We release the buffer right after use of this function which could
Guido van Rossum98297ee2007-11-06 21:34:58 +0000273 cause issues later on. Don't use these functions in new code.
Travis E. Oliphantb99f7622007-08-18 11:21:56 +0000274 */
Thomas Wouters73e5a5b2006-06-08 15:35:45 +0000275int
Jeremy Hylton89c3a222001-11-09 21:59:42 +0000276PyObject_CheckReadBuffer(PyObject *obj)
277{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000278 PyBufferProcs *pb = obj->ob_type->tp_as_buffer;
279 Py_buffer view;
Jeremy Hylton89c3a222001-11-09 21:59:42 +0000280
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000281 if (pb == NULL ||
282 pb->bf_getbuffer == NULL)
283 return 0;
284 if ((*pb->bf_getbuffer)(obj, &view, PyBUF_SIMPLE) == -1) {
285 PyErr_Clear();
286 return 0;
287 }
288 PyBuffer_Release(&view);
289 return 1;
Guido van Rossum4c08d552000-03-10 22:55:18 +0000290}
291
Serhiy Storchaka460bd0d2016-11-20 12:16:46 +0200292static int
293as_read_buffer(PyObject *obj, const void **buffer, Py_ssize_t *buffer_len)
Guido van Rossum4c08d552000-03-10 22:55:18 +0000294{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000295 Py_buffer view;
Guido van Rossum4c08d552000-03-10 22:55:18 +0000296
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000297 if (obj == NULL || buffer == NULL || buffer_len == NULL) {
298 null_error();
299 return -1;
300 }
Serhiy Storchaka4fdb6842015-02-03 01:21:08 +0200301 if (PyObject_GetBuffer(obj, &view, PyBUF_SIMPLE) != 0)
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000302 return -1;
Travis E. Oliphantb99f7622007-08-18 11:21:56 +0000303
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000304 *buffer = view.buf;
305 *buffer_len = view.len;
Serhiy Storchaka4fdb6842015-02-03 01:21:08 +0200306 PyBuffer_Release(&view);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000307 return 0;
Guido van Rossum4c08d552000-03-10 22:55:18 +0000308}
309
Serhiy Storchaka460bd0d2016-11-20 12:16:46 +0200310int
311PyObject_AsCharBuffer(PyObject *obj,
312 const char **buffer,
313 Py_ssize_t *buffer_len)
314{
315 return as_read_buffer(obj, (const void **)buffer, buffer_len);
316}
317
318int PyObject_AsReadBuffer(PyObject *obj,
319 const void **buffer,
320 Py_ssize_t *buffer_len)
321{
322 return as_read_buffer(obj, buffer, buffer_len);
323}
324
Guido van Rossum4c08d552000-03-10 22:55:18 +0000325int PyObject_AsWriteBuffer(PyObject *obj,
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000326 void **buffer,
327 Py_ssize_t *buffer_len)
Guido van Rossum4c08d552000-03-10 22:55:18 +0000328{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000329 PyBufferProcs *pb;
330 Py_buffer view;
Guido van Rossum4c08d552000-03-10 22:55:18 +0000331
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000332 if (obj == NULL || buffer == NULL || buffer_len == NULL) {
333 null_error();
334 return -1;
335 }
336 pb = obj->ob_type->tp_as_buffer;
337 if (pb == NULL ||
338 pb->bf_getbuffer == NULL ||
339 ((*pb->bf_getbuffer)(obj, &view, PyBUF_WRITABLE) != 0)) {
340 PyErr_SetString(PyExc_TypeError,
R David Murray861470c2014-10-05 11:47:01 -0400341 "expected a writable bytes-like object");
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000342 return -1;
343 }
Travis E. Oliphantb99f7622007-08-18 11:21:56 +0000344
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000345 *buffer = view.buf;
346 *buffer_len = view.len;
Serhiy Storchaka4fdb6842015-02-03 01:21:08 +0200347 PyBuffer_Release(&view);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000348 return 0;
Guido van Rossum4c08d552000-03-10 22:55:18 +0000349}
350
Travis E. Oliphantb99f7622007-08-18 11:21:56 +0000351/* Buffer C-API for Python 3.0 */
352
353int
Travis E. Oliphant8ae62b62007-09-23 02:00:13 +0000354PyObject_GetBuffer(PyObject *obj, Py_buffer *view, int flags)
Travis E. Oliphantb99f7622007-08-18 11:21:56 +0000355{
Serhiy Storchaka4fdb6842015-02-03 01:21:08 +0200356 PyBufferProcs *pb = obj->ob_type->tp_as_buffer;
357
358 if (pb == NULL || pb->bf_getbuffer == NULL) {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000359 PyErr_Format(PyExc_TypeError,
R David Murray861470c2014-10-05 11:47:01 -0400360 "a bytes-like object is required, not '%.100s'",
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000361 Py_TYPE(obj)->tp_name);
362 return -1;
363 }
Serhiy Storchaka4fdb6842015-02-03 01:21:08 +0200364 return (*pb->bf_getbuffer)(obj, view, flags);
Travis E. Oliphantb99f7622007-08-18 11:21:56 +0000365}
366
Travis E. Oliphantb99f7622007-08-18 11:21:56 +0000367static int
Stefan Krah9a2d99e2012-02-25 12:24:21 +0100368_IsFortranContiguous(const Py_buffer *view)
Travis E. Oliphantb99f7622007-08-18 11:21:56 +0000369{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000370 Py_ssize_t sd, dim;
371 int i;
Guido van Rossum98297ee2007-11-06 21:34:58 +0000372
Stefan Krah363af442015-02-01 14:53:54 +0100373 /* 1) len = product(shape) * itemsize
374 2) itemsize > 0
375 3) len = 0 <==> exists i: shape[i] = 0 */
376 if (view->len == 0) return 1;
377 if (view->strides == NULL) { /* C-contiguous by definition */
378 /* Trivially F-contiguous */
379 if (view->ndim <= 1) return 1;
380
381 /* ndim > 1 implies shape != NULL */
382 assert(view->shape != NULL);
383
384 /* Effectively 1-d */
385 sd = 0;
386 for (i=0; i<view->ndim; i++) {
387 if (view->shape[i] > 1) sd += 1;
388 }
389 return sd <= 1;
390 }
391
392 /* strides != NULL implies both of these */
393 assert(view->ndim > 0);
394 assert(view->shape != NULL);
Travis E. Oliphantb99f7622007-08-18 11:21:56 +0000395
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000396 sd = view->itemsize;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000397 for (i=0; i<view->ndim; i++) {
398 dim = view->shape[i];
Stefan Krah363af442015-02-01 14:53:54 +0100399 if (dim > 1 && view->strides[i] != sd) {
400 return 0;
401 }
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000402 sd *= dim;
403 }
404 return 1;
Travis E. Oliphantb99f7622007-08-18 11:21:56 +0000405}
406
407static int
Stefan Krah9a2d99e2012-02-25 12:24:21 +0100408_IsCContiguous(const Py_buffer *view)
Travis E. Oliphantb99f7622007-08-18 11:21:56 +0000409{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000410 Py_ssize_t sd, dim;
411 int i;
Guido van Rossum98297ee2007-11-06 21:34:58 +0000412
Stefan Krah363af442015-02-01 14:53:54 +0100413 /* 1) len = product(shape) * itemsize
414 2) itemsize > 0
415 3) len = 0 <==> exists i: shape[i] = 0 */
416 if (view->len == 0) return 1;
417 if (view->strides == NULL) return 1; /* C-contiguous by definition */
418
419 /* strides != NULL implies both of these */
420 assert(view->ndim > 0);
421 assert(view->shape != NULL);
Travis E. Oliphantb99f7622007-08-18 11:21:56 +0000422
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000423 sd = view->itemsize;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000424 for (i=view->ndim-1; i>=0; i--) {
425 dim = view->shape[i];
Stefan Krah363af442015-02-01 14:53:54 +0100426 if (dim > 1 && view->strides[i] != sd) {
427 return 0;
428 }
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000429 sd *= dim;
430 }
431 return 1;
Travis E. Oliphantb99f7622007-08-18 11:21:56 +0000432}
433
434int
Stefan Krah9a2d99e2012-02-25 12:24:21 +0100435PyBuffer_IsContiguous(const Py_buffer *view, char order)
Travis E. Oliphantb99f7622007-08-18 11:21:56 +0000436{
437
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000438 if (view->suboffsets != NULL) return 0;
Travis E. Oliphantb99f7622007-08-18 11:21:56 +0000439
Stefan Krah9a2d99e2012-02-25 12:24:21 +0100440 if (order == 'C')
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000441 return _IsCContiguous(view);
Stefan Krah9a2d99e2012-02-25 12:24:21 +0100442 else if (order == 'F')
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000443 return _IsFortranContiguous(view);
Stefan Krah9a2d99e2012-02-25 12:24:21 +0100444 else if (order == 'A')
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000445 return (_IsCContiguous(view) || _IsFortranContiguous(view));
446 return 0;
Travis E. Oliphantb99f7622007-08-18 11:21:56 +0000447}
448
449
Guido van Rossum98297ee2007-11-06 21:34:58 +0000450void*
Travis E. Oliphant8ae62b62007-09-23 02:00:13 +0000451PyBuffer_GetPointer(Py_buffer *view, Py_ssize_t *indices)
Travis E. Oliphantb99f7622007-08-18 11:21:56 +0000452{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000453 char* pointer;
454 int i;
455 pointer = (char *)view->buf;
456 for (i = 0; i < view->ndim; i++) {
457 pointer += view->strides[i]*indices[i];
458 if ((view->suboffsets != NULL) && (view->suboffsets[i] >= 0)) {
459 pointer = *((char**)pointer) + view->suboffsets[i];
460 }
461 }
462 return (void*)pointer;
Travis E. Oliphantb99f7622007-08-18 11:21:56 +0000463}
464
465
Guido van Rossum98297ee2007-11-06 21:34:58 +0000466void
Antoine Pitrouf68c2a72010-09-01 12:58:21 +0000467_Py_add_one_to_index_F(int nd, Py_ssize_t *index, const Py_ssize_t *shape)
Travis E. Oliphantb99f7622007-08-18 11:21:56 +0000468{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000469 int k;
Guido van Rossum98297ee2007-11-06 21:34:58 +0000470
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000471 for (k=0; k<nd; k++) {
472 if (index[k] < shape[k]-1) {
473 index[k]++;
474 break;
475 }
476 else {
477 index[k] = 0;
478 }
479 }
Travis E. Oliphantb99f7622007-08-18 11:21:56 +0000480}
481
Guido van Rossum98297ee2007-11-06 21:34:58 +0000482void
Antoine Pitrouf68c2a72010-09-01 12:58:21 +0000483_Py_add_one_to_index_C(int nd, Py_ssize_t *index, const Py_ssize_t *shape)
Travis E. Oliphantb99f7622007-08-18 11:21:56 +0000484{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000485 int k;
Travis E. Oliphantb99f7622007-08-18 11:21:56 +0000486
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000487 for (k=nd-1; k>=0; k--) {
488 if (index[k] < shape[k]-1) {
489 index[k]++;
490 break;
491 }
492 else {
493 index[k] = 0;
494 }
495 }
Travis E. Oliphantb99f7622007-08-18 11:21:56 +0000496}
497
Travis E. Oliphantb99f7622007-08-18 11:21:56 +0000498int
Travis E. Oliphant8ae62b62007-09-23 02:00:13 +0000499PyBuffer_FromContiguous(Py_buffer *view, void *buf, Py_ssize_t len, char fort)
Travis E. Oliphantb99f7622007-08-18 11:21:56 +0000500{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000501 int k;
Antoine Pitrouf68c2a72010-09-01 12:58:21 +0000502 void (*addone)(int, Py_ssize_t *, const Py_ssize_t *);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000503 Py_ssize_t *indices, elements;
504 char *src, *ptr;
Travis E. Oliphantb99f7622007-08-18 11:21:56 +0000505
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000506 if (len > view->len) {
507 len = view->len;
508 }
Travis E. Oliphantb99f7622007-08-18 11:21:56 +0000509
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000510 if (PyBuffer_IsContiguous(view, fort)) {
511 /* simplest copy is all that is needed */
512 memcpy(view->buf, buf, len);
513 return 0;
514 }
Travis E. Oliphantb99f7622007-08-18 11:21:56 +0000515
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000516 /* Otherwise a more elaborate scheme is needed */
Guido van Rossum98297ee2007-11-06 21:34:58 +0000517
Stefan Krah7213fcc2015-02-01 16:19:23 +0100518 /* view->ndim <= 64 */
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000519 indices = (Py_ssize_t *)PyMem_Malloc(sizeof(Py_ssize_t)*(view->ndim));
520 if (indices == NULL) {
521 PyErr_NoMemory();
522 return -1;
523 }
524 for (k=0; k<view->ndim;k++) {
525 indices[k] = 0;
526 }
Guido van Rossum98297ee2007-11-06 21:34:58 +0000527
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000528 if (fort == 'F') {
Antoine Pitrouf68c2a72010-09-01 12:58:21 +0000529 addone = _Py_add_one_to_index_F;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000530 }
531 else {
Antoine Pitrouf68c2a72010-09-01 12:58:21 +0000532 addone = _Py_add_one_to_index_C;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000533 }
534 src = buf;
535 /* XXX : This is not going to be the fastest code in the world
536 several optimizations are possible.
537 */
538 elements = len / view->itemsize;
539 while (elements--) {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000540 ptr = PyBuffer_GetPointer(view, indices);
541 memcpy(ptr, src, view->itemsize);
542 src += view->itemsize;
Stefan Krah7213fcc2015-02-01 16:19:23 +0100543 addone(view->ndim, indices, view->shape);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000544 }
Guido van Rossum98297ee2007-11-06 21:34:58 +0000545
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000546 PyMem_Free(indices);
547 return 0;
Travis E. Oliphantb99f7622007-08-18 11:21:56 +0000548}
549
Guido van Rossum98297ee2007-11-06 21:34:58 +0000550int PyObject_CopyData(PyObject *dest, PyObject *src)
Travis E. Oliphantb99f7622007-08-18 11:21:56 +0000551{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000552 Py_buffer view_dest, view_src;
553 int k;
554 Py_ssize_t *indices, elements;
555 char *dptr, *sptr;
Travis E. Oliphantb99f7622007-08-18 11:21:56 +0000556
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000557 if (!PyObject_CheckBuffer(dest) ||
558 !PyObject_CheckBuffer(src)) {
559 PyErr_SetString(PyExc_TypeError,
R David Murray861470c2014-10-05 11:47:01 -0400560 "both destination and source must be "\
561 "bytes-like objects");
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000562 return -1;
563 }
Travis E. Oliphantb99f7622007-08-18 11:21:56 +0000564
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000565 if (PyObject_GetBuffer(dest, &view_dest, PyBUF_FULL) != 0) return -1;
566 if (PyObject_GetBuffer(src, &view_src, PyBUF_FULL_RO) != 0) {
567 PyBuffer_Release(&view_dest);
568 return -1;
569 }
Travis E. Oliphantb99f7622007-08-18 11:21:56 +0000570
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000571 if (view_dest.len < view_src.len) {
572 PyErr_SetString(PyExc_BufferError,
573 "destination is too small to receive data from source");
574 PyBuffer_Release(&view_dest);
575 PyBuffer_Release(&view_src);
576 return -1;
577 }
Travis E. Oliphantb99f7622007-08-18 11:21:56 +0000578
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000579 if ((PyBuffer_IsContiguous(&view_dest, 'C') &&
580 PyBuffer_IsContiguous(&view_src, 'C')) ||
581 (PyBuffer_IsContiguous(&view_dest, 'F') &&
582 PyBuffer_IsContiguous(&view_src, 'F'))) {
583 /* simplest copy is all that is needed */
584 memcpy(view_dest.buf, view_src.buf, view_src.len);
585 PyBuffer_Release(&view_dest);
586 PyBuffer_Release(&view_src);
587 return 0;
588 }
Travis E. Oliphantb99f7622007-08-18 11:21:56 +0000589
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000590 /* Otherwise a more elaborate copy scheme is needed */
Guido van Rossum98297ee2007-11-06 21:34:58 +0000591
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000592 /* XXX(nnorwitz): need to check for overflow! */
593 indices = (Py_ssize_t *)PyMem_Malloc(sizeof(Py_ssize_t)*view_src.ndim);
594 if (indices == NULL) {
595 PyErr_NoMemory();
596 PyBuffer_Release(&view_dest);
597 PyBuffer_Release(&view_src);
598 return -1;
599 }
600 for (k=0; k<view_src.ndim;k++) {
601 indices[k] = 0;
602 }
603 elements = 1;
604 for (k=0; k<view_src.ndim; k++) {
605 /* XXX(nnorwitz): can this overflow? */
606 elements *= view_src.shape[k];
607 }
608 while (elements--) {
Antoine Pitrouf68c2a72010-09-01 12:58:21 +0000609 _Py_add_one_to_index_C(view_src.ndim, indices, view_src.shape);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000610 dptr = PyBuffer_GetPointer(&view_dest, indices);
611 sptr = PyBuffer_GetPointer(&view_src, indices);
612 memcpy(dptr, sptr, view_src.itemsize);
613 }
614 PyMem_Free(indices);
615 PyBuffer_Release(&view_dest);
616 PyBuffer_Release(&view_src);
617 return 0;
Travis E. Oliphantb99f7622007-08-18 11:21:56 +0000618}
619
620void
621PyBuffer_FillContiguousStrides(int nd, Py_ssize_t *shape,
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000622 Py_ssize_t *strides, int itemsize,
623 char fort)
Travis E. Oliphantb99f7622007-08-18 11:21:56 +0000624{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000625 int k;
626 Py_ssize_t sd;
Guido van Rossum98297ee2007-11-06 21:34:58 +0000627
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000628 sd = itemsize;
629 if (fort == 'F') {
630 for (k=0; k<nd; k++) {
631 strides[k] = sd;
632 sd *= shape[k];
633 }
634 }
635 else {
636 for (k=nd-1; k>=0; k--) {
637 strides[k] = sd;
638 sd *= shape[k];
639 }
640 }
641 return;
Travis E. Oliphantb99f7622007-08-18 11:21:56 +0000642}
643
644int
Martin v. Löwis423be952008-08-13 15:53:07 +0000645PyBuffer_FillInfo(Py_buffer *view, PyObject *obj, void *buf, Py_ssize_t len,
Stefan Krah4e141742012-03-06 15:27:31 +0100646 int readonly, int flags)
Guido van Rossum98297ee2007-11-06 21:34:58 +0000647{
Stefan Krah5178d912015-02-03 16:57:21 +0100648 if (view == NULL) {
649 PyErr_SetString(PyExc_BufferError,
650 "PyBuffer_FillInfo: view==NULL argument is obsolete");
651 return -1;
652 }
653
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000654 if (((flags & PyBUF_WRITABLE) == PyBUF_WRITABLE) &&
655 (readonly == 1)) {
656 PyErr_SetString(PyExc_BufferError,
657 "Object is not writable.");
658 return -1;
659 }
Guido van Rossum98297ee2007-11-06 21:34:58 +0000660
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000661 view->obj = obj;
662 if (obj)
663 Py_INCREF(obj);
664 view->buf = buf;
665 view->len = len;
666 view->readonly = readonly;
667 view->itemsize = 1;
668 view->format = NULL;
669 if ((flags & PyBUF_FORMAT) == PyBUF_FORMAT)
670 view->format = "B";
671 view->ndim = 1;
672 view->shape = NULL;
673 if ((flags & PyBUF_ND) == PyBUF_ND)
674 view->shape = &(view->len);
675 view->strides = NULL;
676 if ((flags & PyBUF_STRIDES) == PyBUF_STRIDES)
677 view->strides = &(view->itemsize);
678 view->suboffsets = NULL;
679 view->internal = NULL;
680 return 0;
Travis E. Oliphantb99f7622007-08-18 11:21:56 +0000681}
682
Martin v. Löwis423be952008-08-13 15:53:07 +0000683void
684PyBuffer_Release(Py_buffer *view)
685{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000686 PyObject *obj = view->obj;
Serhiy Storchaka4fdb6842015-02-03 01:21:08 +0200687 PyBufferProcs *pb;
688 if (obj == NULL)
689 return;
690 pb = Py_TYPE(obj)->tp_as_buffer;
691 if (pb && pb->bf_releasebuffer)
692 pb->bf_releasebuffer(obj, view);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000693 view->obj = NULL;
Serhiy Storchaka4fdb6842015-02-03 01:21:08 +0200694 Py_DECREF(obj);
Martin v. Löwis423be952008-08-13 15:53:07 +0000695}
696
Eric Smith8fd3eba2008-02-17 19:48:00 +0000697PyObject *
698PyObject_Format(PyObject *obj, PyObject *format_spec)
699{
Eric Smith8fd3eba2008-02-17 19:48:00 +0000700 PyObject *meth;
701 PyObject *empty = NULL;
702 PyObject *result = NULL;
Benjamin Petersonce798522012-01-22 11:24:29 -0500703 _Py_IDENTIFIER(__format__);
Eric Smith8fd3eba2008-02-17 19:48:00 +0000704
Serhiy Storchakaea525a22016-09-06 22:07:53 +0300705 if (format_spec != NULL && !PyUnicode_Check(format_spec)) {
706 PyErr_Format(PyExc_SystemError,
707 "Format specifier must be a string, not %.200s",
708 Py_TYPE(format_spec)->tp_name);
709 return NULL;
710 }
711
712 /* Fast path for common types. */
713 if (format_spec == NULL || PyUnicode_GET_LENGTH(format_spec) == 0) {
714 if (PyUnicode_CheckExact(obj)) {
715 Py_INCREF(obj);
716 return obj;
717 }
718 if (PyLong_CheckExact(obj)) {
719 return PyObject_Str(obj);
720 }
721 }
722
Eric Smith8fd3eba2008-02-17 19:48:00 +0000723 /* If no format_spec is provided, use an empty string */
724 if (format_spec == NULL) {
Victor Stinner9d3b93b2011-11-22 02:27:30 +0100725 empty = PyUnicode_New(0, 0);
Benjamin Petersonda2cf042010-06-05 00:45:37 +0000726 format_spec = empty;
Eric Smith8fd3eba2008-02-17 19:48:00 +0000727 }
728
Serhiy Storchakaea525a22016-09-06 22:07:53 +0300729 /* Find the (unbound!) __format__ method */
Benjamin Petersonce798522012-01-22 11:24:29 -0500730 meth = _PyObject_LookupSpecial(obj, &PyId___format__);
Eric Smith8fd3eba2008-02-17 19:48:00 +0000731 if (meth == NULL) {
Benjamin Petersonda2cf042010-06-05 00:45:37 +0000732 if (!PyErr_Occurred())
733 PyErr_Format(PyExc_TypeError,
734 "Type %.100s doesn't define __format__",
735 Py_TYPE(obj)->tp_name);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000736 goto done;
Eric Smith8fd3eba2008-02-17 19:48:00 +0000737 }
738
Benjamin Petersonda2cf042010-06-05 00:45:37 +0000739 /* And call it. */
Jeroen Demeyer196a5302019-07-04 12:31:34 +0200740 result = _PyObject_CallOneArg(meth, format_spec);
Benjamin Peterson6f889ad32010-06-05 02:11:45 +0000741 Py_DECREF(meth);
Eric Smith8fd3eba2008-02-17 19:48:00 +0000742
743 if (result && !PyUnicode_Check(result)) {
Ethan Furmanb95b5612015-01-23 20:05:18 -0800744 PyErr_Format(PyExc_TypeError,
745 "__format__ must return a str, not %.200s",
746 Py_TYPE(result)->tp_name);
Benjamin Petersonda2cf042010-06-05 00:45:37 +0000747 Py_DECREF(result);
748 result = NULL;
749 goto done;
Eric Smith8fd3eba2008-02-17 19:48:00 +0000750 }
751
752done:
753 Py_XDECREF(empty);
754 return result;
755}
Guido van Rossumcea1c8c1998-05-22 00:47:05 +0000756/* Operations on numbers */
757
758int
Fred Drake79912472000-07-09 04:06:11 +0000759PyNumber_Check(PyObject *o)
Guido van Rossume15dee51995-07-18 14:12:02 +0000760{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000761 return o && o->ob_type->tp_as_number &&
Serhiy Storchaka6a44f6e2019-02-25 17:57:58 +0200762 (o->ob_type->tp_as_number->nb_index ||
763 o->ob_type->tp_as_number->nb_int ||
764 o->ob_type->tp_as_number->nb_float);
Guido van Rossume15dee51995-07-18 14:12:02 +0000765}
766
Guido van Rossumcea1c8c1998-05-22 00:47:05 +0000767/* Binary operators */
Guido van Rossume15dee51995-07-18 14:12:02 +0000768
Neil Schemenauer5a1f0152001-01-04 01:39:06 +0000769#define NB_SLOT(x) offsetof(PyNumberMethods, x)
770#define NB_BINOP(nb_methods, slot) \
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000771 (*(binaryfunc*)(& ((char*)nb_methods)[slot]))
Neil Schemenauer5a1f0152001-01-04 01:39:06 +0000772#define NB_TERNOP(nb_methods, slot) \
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000773 (*(ternaryfunc*)(& ((char*)nb_methods)[slot]))
Neil Schemenauer5a1f0152001-01-04 01:39:06 +0000774
775/*
776 Calling scheme used for binary operations:
777
Neal Norwitz4886cc32006-08-21 17:06:07 +0000778 Order operations are tried until either a valid result or error:
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000779 w.op(v,w)[*], v.op(v,w), w.op(v,w)
Neil Schemenauer5a1f0152001-01-04 01:39:06 +0000780
Guido van Rossum4bb1e362001-09-28 23:49:48 +0000781 [*] only when v->ob_type != w->ob_type && w->ob_type is a subclass of
782 v->ob_type
Neil Schemenauer5a1f0152001-01-04 01:39:06 +0000783 */
784
785static PyObject *
786binary_op1(PyObject *v, PyObject *w, const int op_slot)
Guido van Rossume15dee51995-07-18 14:12:02 +0000787{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000788 PyObject *x;
789 binaryfunc slotv = NULL;
790 binaryfunc slotw = NULL;
Guido van Rossum4bb1e362001-09-28 23:49:48 +0000791
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000792 if (v->ob_type->tp_as_number != NULL)
793 slotv = NB_BINOP(v->ob_type->tp_as_number, op_slot);
794 if (w->ob_type != v->ob_type &&
795 w->ob_type->tp_as_number != NULL) {
796 slotw = NB_BINOP(w->ob_type->tp_as_number, op_slot);
797 if (slotw == slotv)
798 slotw = NULL;
799 }
800 if (slotv) {
801 if (slotw && PyType_IsSubtype(w->ob_type, v->ob_type)) {
802 x = slotw(v, w);
803 if (x != Py_NotImplemented)
804 return x;
805 Py_DECREF(x); /* can't do it */
806 slotw = NULL;
807 }
808 x = slotv(v, w);
809 if (x != Py_NotImplemented)
810 return x;
811 Py_DECREF(x); /* can't do it */
812 }
813 if (slotw) {
814 x = slotw(v, w);
815 if (x != Py_NotImplemented)
816 return x;
817 Py_DECREF(x); /* can't do it */
818 }
Brian Curtindfc80e32011-08-10 20:28:54 -0500819 Py_RETURN_NOTIMPLEMENTED;
Neil Schemenauer5a1f0152001-01-04 01:39:06 +0000820}
Guido van Rossum77660912002-04-16 16:32:50 +0000821
Neil Schemenauer5a1f0152001-01-04 01:39:06 +0000822static PyObject *
Neil Schemenauerd4b0fea2002-12-30 20:18:15 +0000823binop_type_error(PyObject *v, PyObject *w, const char *op_name)
824{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000825 PyErr_Format(PyExc_TypeError,
826 "unsupported operand type(s) for %.100s: "
827 "'%.100s' and '%.100s'",
828 op_name,
829 v->ob_type->tp_name,
830 w->ob_type->tp_name);
831 return NULL;
Neil Schemenauerd4b0fea2002-12-30 20:18:15 +0000832}
833
834static PyObject *
Neil Schemenauer5a1f0152001-01-04 01:39:06 +0000835binary_op(PyObject *v, PyObject *w, const int op_slot, const char *op_name)
836{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000837 PyObject *result = binary_op1(v, w, op_slot);
838 if (result == Py_NotImplemented) {
839 Py_DECREF(result);
Sanyam Khurana5e2eb352017-08-18 16:07:36 +0530840
841 if (op_slot == NB_SLOT(nb_rshift) &&
842 PyCFunction_Check(v) &&
843 strcmp(((PyCFunctionObject *)v)->m_ml->ml_name, "print") == 0)
844 {
845 PyErr_Format(PyExc_TypeError,
846 "unsupported operand type(s) for %.100s: "
847 "'%.100s' and '%.100s'. Did you mean \"print(<message>, "
Sanyam Khuranaa7c449b2017-08-18 17:48:14 +0530848 "file=<output_stream>)\"?",
Sanyam Khurana5e2eb352017-08-18 16:07:36 +0530849 op_name,
850 v->ob_type->tp_name,
851 w->ob_type->tp_name);
852 return NULL;
853 }
854
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000855 return binop_type_error(v, w, op_name);
856 }
857 return result;
Guido van Rossume15dee51995-07-18 14:12:02 +0000858}
859
Neil Schemenauer5a1f0152001-01-04 01:39:06 +0000860
861/*
862 Calling scheme used for ternary operations:
863
Neal Norwitz4886cc32006-08-21 17:06:07 +0000864 Order operations are tried until either a valid result or error:
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000865 v.op(v,w,z), w.op(v,w,z), z.op(v,w,z)
Neil Schemenauer5a1f0152001-01-04 01:39:06 +0000866 */
867
868static PyObject *
869ternary_op(PyObject *v,
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000870 PyObject *w,
871 PyObject *z,
872 const int op_slot,
873 const char *op_name)
Guido van Rossume15dee51995-07-18 14:12:02 +0000874{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000875 PyNumberMethods *mv, *mw, *mz;
876 PyObject *x = NULL;
877 ternaryfunc slotv = NULL;
878 ternaryfunc slotw = NULL;
879 ternaryfunc slotz = NULL;
Guido van Rossum77660912002-04-16 16:32:50 +0000880
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000881 mv = v->ob_type->tp_as_number;
882 mw = w->ob_type->tp_as_number;
883 if (mv != NULL)
884 slotv = NB_TERNOP(mv, op_slot);
885 if (w->ob_type != v->ob_type &&
886 mw != NULL) {
887 slotw = NB_TERNOP(mw, op_slot);
888 if (slotw == slotv)
889 slotw = NULL;
890 }
891 if (slotv) {
892 if (slotw && PyType_IsSubtype(w->ob_type, v->ob_type)) {
893 x = slotw(v, w, z);
894 if (x != Py_NotImplemented)
895 return x;
896 Py_DECREF(x); /* can't do it */
897 slotw = NULL;
898 }
899 x = slotv(v, w, z);
900 if (x != Py_NotImplemented)
901 return x;
902 Py_DECREF(x); /* can't do it */
903 }
904 if (slotw) {
905 x = slotw(v, w, z);
906 if (x != Py_NotImplemented)
907 return x;
908 Py_DECREF(x); /* can't do it */
909 }
910 mz = z->ob_type->tp_as_number;
911 if (mz != NULL) {
912 slotz = NB_TERNOP(mz, op_slot);
913 if (slotz == slotv || slotz == slotw)
914 slotz = NULL;
915 if (slotz) {
916 x = slotz(v, w, z);
917 if (x != Py_NotImplemented)
918 return x;
919 Py_DECREF(x); /* can't do it */
920 }
921 }
Neil Schemenauer5a1f0152001-01-04 01:39:06 +0000922
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000923 if (z == Py_None)
924 PyErr_Format(
925 PyExc_TypeError,
926 "unsupported operand type(s) for ** or pow(): "
927 "'%.100s' and '%.100s'",
928 v->ob_type->tp_name,
929 w->ob_type->tp_name);
930 else
931 PyErr_Format(
932 PyExc_TypeError,
933 "unsupported operand type(s) for pow(): "
934 "'%.100s', '%.100s', '%.100s'",
935 v->ob_type->tp_name,
936 w->ob_type->tp_name,
937 z->ob_type->tp_name);
938 return NULL;
Guido van Rossume15dee51995-07-18 14:12:02 +0000939}
940
Neil Schemenauer5a1f0152001-01-04 01:39:06 +0000941#define BINARY_FUNC(func, op, op_name) \
942 PyObject * \
943 func(PyObject *v, PyObject *w) { \
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000944 return binary_op(v, w, NB_SLOT(op), op_name); \
Neil Schemenauer5a1f0152001-01-04 01:39:06 +0000945 }
Guido van Rossume15dee51995-07-18 14:12:02 +0000946
Neil Schemenauer5a1f0152001-01-04 01:39:06 +0000947BINARY_FUNC(PyNumber_Or, nb_or, "|")
948BINARY_FUNC(PyNumber_Xor, nb_xor, "^")
949BINARY_FUNC(PyNumber_And, nb_and, "&")
950BINARY_FUNC(PyNumber_Lshift, nb_lshift, "<<")
951BINARY_FUNC(PyNumber_Rshift, nb_rshift, ">>")
952BINARY_FUNC(PyNumber_Subtract, nb_subtract, "-")
Neil Schemenauer5a1f0152001-01-04 01:39:06 +0000953BINARY_FUNC(PyNumber_Divmod, nb_divmod, "divmod()")
Guido van Rossume15dee51995-07-18 14:12:02 +0000954
955PyObject *
Fred Drake79912472000-07-09 04:06:11 +0000956PyNumber_Add(PyObject *v, PyObject *w)
Guido van Rossume15dee51995-07-18 14:12:02 +0000957{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000958 PyObject *result = binary_op1(v, w, NB_SLOT(nb_add));
959 if (result == Py_NotImplemented) {
960 PySequenceMethods *m = v->ob_type->tp_as_sequence;
961 Py_DECREF(result);
962 if (m && m->sq_concat) {
963 return (*m->sq_concat)(v, w);
964 }
965 result = binop_type_error(v, w, "+");
966 }
967 return result;
Guido van Rossume15dee51995-07-18 14:12:02 +0000968}
969
Neil Schemenauerd4b0fea2002-12-30 20:18:15 +0000970static PyObject *
Martin v. Löwis18e16552006-02-15 17:27:45 +0000971sequence_repeat(ssizeargfunc repeatfunc, PyObject *seq, PyObject *n)
Neil Schemenauerd4b0fea2002-12-30 20:18:15 +0000972{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000973 Py_ssize_t count;
974 if (PyIndex_Check(n)) {
975 count = PyNumber_AsSsize_t(n, PyExc_OverflowError);
976 if (count == -1 && PyErr_Occurred())
977 return NULL;
978 }
979 else {
980 return type_error("can't multiply sequence by "
981 "non-int of type '%.200s'", n);
982 }
983 return (*repeatfunc)(seq, count);
Neil Schemenauerd4b0fea2002-12-30 20:18:15 +0000984}
985
986PyObject *
987PyNumber_Multiply(PyObject *v, PyObject *w)
988{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000989 PyObject *result = binary_op1(v, w, NB_SLOT(nb_multiply));
990 if (result == Py_NotImplemented) {
991 PySequenceMethods *mv = v->ob_type->tp_as_sequence;
992 PySequenceMethods *mw = w->ob_type->tp_as_sequence;
993 Py_DECREF(result);
994 if (mv && mv->sq_repeat) {
995 return sequence_repeat(mv->sq_repeat, v, w);
996 }
997 else if (mw && mw->sq_repeat) {
998 return sequence_repeat(mw->sq_repeat, w, v);
999 }
1000 result = binop_type_error(v, w, "*");
1001 }
1002 return result;
Neil Schemenauerd4b0fea2002-12-30 20:18:15 +00001003}
1004
Guido van Rossume15dee51995-07-18 14:12:02 +00001005PyObject *
Benjamin Petersond51374e2014-04-09 23:55:56 -04001006PyNumber_MatrixMultiply(PyObject *v, PyObject *w)
1007{
1008 return binary_op(v, w, NB_SLOT(nb_matrix_multiply), "@");
1009}
1010
1011PyObject *
Guido van Rossum4668b002001-08-08 05:00:18 +00001012PyNumber_FloorDivide(PyObject *v, PyObject *w)
1013{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001014 return binary_op(v, w, NB_SLOT(nb_floor_divide), "//");
Guido van Rossum4668b002001-08-08 05:00:18 +00001015}
1016
1017PyObject *
1018PyNumber_TrueDivide(PyObject *v, PyObject *w)
1019{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001020 return binary_op(v, w, NB_SLOT(nb_true_divide), "/");
Guido van Rossum4668b002001-08-08 05:00:18 +00001021}
1022
1023PyObject *
Fred Drake79912472000-07-09 04:06:11 +00001024PyNumber_Remainder(PyObject *v, PyObject *w)
Guido van Rossume15dee51995-07-18 14:12:02 +00001025{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001026 return binary_op(v, w, NB_SLOT(nb_remainder), "%");
Guido van Rossume15dee51995-07-18 14:12:02 +00001027}
1028
1029PyObject *
Fred Drake79912472000-07-09 04:06:11 +00001030PyNumber_Power(PyObject *v, PyObject *w, PyObject *z)
Guido van Rossume15dee51995-07-18 14:12:02 +00001031{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001032 return ternary_op(v, w, z, NB_SLOT(nb_power), "** or pow()");
Guido van Rossume15dee51995-07-18 14:12:02 +00001033}
1034
Thomas Wouterse289e0b2000-08-24 20:08:19 +00001035/* Binary in-place operators */
1036
1037/* The in-place operators are defined to fall back to the 'normal',
Neil Schemenauer5a1f0152001-01-04 01:39:06 +00001038 non in-place operations, if the in-place methods are not in place.
Thomas Wouterse289e0b2000-08-24 20:08:19 +00001039
Neil Schemenauer5a1f0152001-01-04 01:39:06 +00001040 - If the left hand object has the appropriate struct members, and
1041 they are filled, call the appropriate function and return the
1042 result. No coercion is done on the arguments; the left-hand object
1043 is the one the operation is performed on, and it's up to the
1044 function to deal with the right-hand object.
Guido van Rossum77660912002-04-16 16:32:50 +00001045
Thomas Wouterse289e0b2000-08-24 20:08:19 +00001046 - Otherwise, in-place modification is not supported. Handle it exactly as
Neil Schemenauer5a1f0152001-01-04 01:39:06 +00001047 a non in-place operation of the same kind.
Thomas Wouterse289e0b2000-08-24 20:08:19 +00001048
1049 */
1050
Neil Schemenauer5a1f0152001-01-04 01:39:06 +00001051static PyObject *
Neil Schemenauerd4b0fea2002-12-30 20:18:15 +00001052binary_iop1(PyObject *v, PyObject *w, const int iop_slot, const int op_slot)
Thomas Wouterse289e0b2000-08-24 20:08:19 +00001053{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001054 PyNumberMethods *mv = v->ob_type->tp_as_number;
1055 if (mv != NULL) {
1056 binaryfunc slot = NB_BINOP(mv, iop_slot);
1057 if (slot) {
1058 PyObject *x = (slot)(v, w);
1059 if (x != Py_NotImplemented) {
1060 return x;
1061 }
1062 Py_DECREF(x);
1063 }
1064 }
1065 return binary_op1(v, w, op_slot);
Neil Schemenauerd4b0fea2002-12-30 20:18:15 +00001066}
1067
1068static PyObject *
1069binary_iop(PyObject *v, PyObject *w, const int iop_slot, const int op_slot,
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001070 const char *op_name)
Neil Schemenauerd4b0fea2002-12-30 20:18:15 +00001071{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001072 PyObject *result = binary_iop1(v, w, iop_slot, op_slot);
1073 if (result == Py_NotImplemented) {
1074 Py_DECREF(result);
1075 return binop_type_error(v, w, op_name);
1076 }
1077 return result;
Thomas Wouterse289e0b2000-08-24 20:08:19 +00001078}
1079
Neil Schemenauer5a1f0152001-01-04 01:39:06 +00001080#define INPLACE_BINOP(func, iop, op, op_name) \
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001081 PyObject * \
1082 func(PyObject *v, PyObject *w) { \
1083 return binary_iop(v, w, NB_SLOT(iop), NB_SLOT(op), op_name); \
1084 }
Thomas Wouterse289e0b2000-08-24 20:08:19 +00001085
Neil Schemenauer5a1f0152001-01-04 01:39:06 +00001086INPLACE_BINOP(PyNumber_InPlaceOr, nb_inplace_or, nb_or, "|=")
1087INPLACE_BINOP(PyNumber_InPlaceXor, nb_inplace_xor, nb_xor, "^=")
1088INPLACE_BINOP(PyNumber_InPlaceAnd, nb_inplace_and, nb_and, "&=")
1089INPLACE_BINOP(PyNumber_InPlaceLshift, nb_inplace_lshift, nb_lshift, "<<=")
1090INPLACE_BINOP(PyNumber_InPlaceRshift, nb_inplace_rshift, nb_rshift, ">>=")
1091INPLACE_BINOP(PyNumber_InPlaceSubtract, nb_inplace_subtract, nb_subtract, "-=")
Benjamin Petersond51374e2014-04-09 23:55:56 -04001092INPLACE_BINOP(PyNumber_InMatrixMultiply, nb_inplace_matrix_multiply, nb_matrix_multiply, "@=")
Thomas Wouterse289e0b2000-08-24 20:08:19 +00001093
1094PyObject *
Guido van Rossum4668b002001-08-08 05:00:18 +00001095PyNumber_InPlaceFloorDivide(PyObject *v, PyObject *w)
1096{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001097 return binary_iop(v, w, NB_SLOT(nb_inplace_floor_divide),
1098 NB_SLOT(nb_floor_divide), "//=");
Guido van Rossum4668b002001-08-08 05:00:18 +00001099}
1100
1101PyObject *
1102PyNumber_InPlaceTrueDivide(PyObject *v, PyObject *w)
1103{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001104 return binary_iop(v, w, NB_SLOT(nb_inplace_true_divide),
1105 NB_SLOT(nb_true_divide), "/=");
Guido van Rossum4668b002001-08-08 05:00:18 +00001106}
1107
1108PyObject *
Thomas Wouterse289e0b2000-08-24 20:08:19 +00001109PyNumber_InPlaceAdd(PyObject *v, PyObject *w)
1110{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001111 PyObject *result = binary_iop1(v, w, NB_SLOT(nb_inplace_add),
1112 NB_SLOT(nb_add));
1113 if (result == Py_NotImplemented) {
1114 PySequenceMethods *m = v->ob_type->tp_as_sequence;
1115 Py_DECREF(result);
1116 if (m != NULL) {
1117 binaryfunc f = NULL;
1118 f = m->sq_inplace_concat;
1119 if (f == NULL)
1120 f = m->sq_concat;
1121 if (f != NULL)
1122 return (*f)(v, w);
1123 }
1124 result = binop_type_error(v, w, "+=");
1125 }
1126 return result;
Thomas Wouterse289e0b2000-08-24 20:08:19 +00001127}
1128
1129PyObject *
1130PyNumber_InPlaceMultiply(PyObject *v, PyObject *w)
1131{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001132 PyObject *result = binary_iop1(v, w, NB_SLOT(nb_inplace_multiply),
1133 NB_SLOT(nb_multiply));
1134 if (result == Py_NotImplemented) {
1135 ssizeargfunc f = NULL;
1136 PySequenceMethods *mv = v->ob_type->tp_as_sequence;
1137 PySequenceMethods *mw = w->ob_type->tp_as_sequence;
1138 Py_DECREF(result);
1139 if (mv != NULL) {
1140 f = mv->sq_inplace_repeat;
1141 if (f == NULL)
1142 f = mv->sq_repeat;
1143 if (f != NULL)
1144 return sequence_repeat(f, v, w);
1145 }
1146 else if (mw != NULL) {
1147 /* Note that the right hand operand should not be
1148 * mutated in this case so sq_inplace_repeat is not
1149 * used. */
1150 if (mw->sq_repeat)
1151 return sequence_repeat(mw->sq_repeat, w, v);
1152 }
1153 result = binop_type_error(v, w, "*=");
1154 }
1155 return result;
Thomas Wouterse289e0b2000-08-24 20:08:19 +00001156}
1157
Thomas Wouterse289e0b2000-08-24 20:08:19 +00001158PyObject *
Benjamin Petersond51374e2014-04-09 23:55:56 -04001159PyNumber_InPlaceMatrixMultiply(PyObject *v, PyObject *w)
1160{
1161 return binary_iop(v, w, NB_SLOT(nb_inplace_matrix_multiply),
1162 NB_SLOT(nb_matrix_multiply), "@=");
1163}
1164
1165PyObject *
Thomas Wouterse289e0b2000-08-24 20:08:19 +00001166PyNumber_InPlaceRemainder(PyObject *v, PyObject *w)
1167{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001168 return binary_iop(v, w, NB_SLOT(nb_inplace_remainder),
1169 NB_SLOT(nb_remainder), "%=");
Thomas Wouterse289e0b2000-08-24 20:08:19 +00001170}
1171
1172PyObject *
1173PyNumber_InPlacePower(PyObject *v, PyObject *w, PyObject *z)
1174{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001175 if (v->ob_type->tp_as_number &&
1176 v->ob_type->tp_as_number->nb_inplace_power != NULL) {
1177 return ternary_op(v, w, z, NB_SLOT(nb_inplace_power), "**=");
1178 }
1179 else {
1180 return ternary_op(v, w, z, NB_SLOT(nb_power), "**=");
1181 }
Thomas Wouterse289e0b2000-08-24 20:08:19 +00001182}
1183
1184
Guido van Rossumcea1c8c1998-05-22 00:47:05 +00001185/* Unary operators and functions */
Guido van Rossume15dee51995-07-18 14:12:02 +00001186
1187PyObject *
Fred Drake79912472000-07-09 04:06:11 +00001188PyNumber_Negative(PyObject *o)
Guido van Rossume15dee51995-07-18 14:12:02 +00001189{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001190 PyNumberMethods *m;
Guido van Rossumcea1c8c1998-05-22 00:47:05 +00001191
Victor Stinner71aea8e2016-08-19 16:59:55 +02001192 if (o == NULL) {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001193 return null_error();
Victor Stinner71aea8e2016-08-19 16:59:55 +02001194 }
1195
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001196 m = o->ob_type->tp_as_number;
1197 if (m && m->nb_negative)
1198 return (*m->nb_negative)(o);
Guido van Rossumcea1c8c1998-05-22 00:47:05 +00001199
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001200 return type_error("bad operand type for unary -: '%.200s'", o);
Guido van Rossume15dee51995-07-18 14:12:02 +00001201}
1202
1203PyObject *
Fred Drake79912472000-07-09 04:06:11 +00001204PyNumber_Positive(PyObject *o)
Guido van Rossume15dee51995-07-18 14:12:02 +00001205{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001206 PyNumberMethods *m;
Guido van Rossumcea1c8c1998-05-22 00:47:05 +00001207
Victor Stinner71aea8e2016-08-19 16:59:55 +02001208 if (o == NULL) {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001209 return null_error();
Victor Stinner71aea8e2016-08-19 16:59:55 +02001210 }
1211
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001212 m = o->ob_type->tp_as_number;
1213 if (m && m->nb_positive)
1214 return (*m->nb_positive)(o);
Guido van Rossumcea1c8c1998-05-22 00:47:05 +00001215
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001216 return type_error("bad operand type for unary +: '%.200s'", o);
Guido van Rossume15dee51995-07-18 14:12:02 +00001217}
1218
1219PyObject *
Fred Drake79912472000-07-09 04:06:11 +00001220PyNumber_Invert(PyObject *o)
Guido van Rossume15dee51995-07-18 14:12:02 +00001221{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001222 PyNumberMethods *m;
Guido van Rossumcea1c8c1998-05-22 00:47:05 +00001223
Victor Stinner71aea8e2016-08-19 16:59:55 +02001224 if (o == NULL) {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001225 return null_error();
Victor Stinner71aea8e2016-08-19 16:59:55 +02001226 }
1227
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001228 m = o->ob_type->tp_as_number;
1229 if (m && m->nb_invert)
1230 return (*m->nb_invert)(o);
Guido van Rossumcea1c8c1998-05-22 00:47:05 +00001231
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001232 return type_error("bad operand type for unary ~: '%.200s'", o);
Guido van Rossume15dee51995-07-18 14:12:02 +00001233}
1234
1235PyObject *
Fred Drake79912472000-07-09 04:06:11 +00001236PyNumber_Absolute(PyObject *o)
Guido van Rossume15dee51995-07-18 14:12:02 +00001237{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001238 PyNumberMethods *m;
Guido van Rossume15dee51995-07-18 14:12:02 +00001239
Victor Stinner71aea8e2016-08-19 16:59:55 +02001240 if (o == NULL) {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001241 return null_error();
Victor Stinner71aea8e2016-08-19 16:59:55 +02001242 }
1243
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001244 m = o->ob_type->tp_as_number;
1245 if (m && m->nb_absolute)
1246 return m->nb_absolute(o);
Guido van Rossume15dee51995-07-18 14:12:02 +00001247
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001248 return type_error("bad operand type for abs(): '%.200s'", o);
Guido van Rossume15dee51995-07-18 14:12:02 +00001249}
1250
Christian Tismerea62ce72018-06-09 20:32:25 +02001251#undef PyIndex_Check
Christian Tismer83987132018-06-11 00:48:28 +02001252
Christian Tismerea62ce72018-06-09 20:32:25 +02001253int
1254PyIndex_Check(PyObject *obj)
1255{
1256 return obj->ob_type->tp_as_number != NULL &&
1257 obj->ob_type->tp_as_number->nb_index != NULL;
1258}
1259
Serhiy Storchaka31a65542013-12-11 21:07:54 +02001260/* Return a Python int from the object item.
Serhiy Storchaka95949422013-08-27 19:40:23 +03001261 Raise TypeError if the result is not an int
Guido van Rossum98297ee2007-11-06 21:34:58 +00001262 or if the object cannot be interpreted as an index.
Thomas Wouters00ee7ba2006-08-21 19:07:27 +00001263*/
1264PyObject *
Guido van Rossum38fff8c2006-03-07 18:50:55 +00001265PyNumber_Index(PyObject *item)
1266{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001267 PyObject *result = NULL;
Victor Stinner71aea8e2016-08-19 16:59:55 +02001268 if (item == NULL) {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001269 return null_error();
Victor Stinner71aea8e2016-08-19 16:59:55 +02001270 }
1271
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001272 if (PyLong_Check(item)) {
1273 Py_INCREF(item);
1274 return item;
1275 }
Serhiy Storchaka31a65542013-12-11 21:07:54 +02001276 if (!PyIndex_Check(item)) {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001277 PyErr_Format(PyExc_TypeError,
1278 "'%.200s' object cannot be interpreted "
1279 "as an integer", item->ob_type->tp_name);
Serhiy Storchaka31a65542013-12-11 21:07:54 +02001280 return NULL;
1281 }
1282 result = item->ob_type->tp_as_number->nb_index(item);
1283 if (!result || PyLong_CheckExact(result))
1284 return result;
1285 if (!PyLong_Check(result)) {
1286 PyErr_Format(PyExc_TypeError,
1287 "__index__ returned non-int (type %.200s)",
1288 result->ob_type->tp_name);
1289 Py_DECREF(result);
1290 return NULL;
1291 }
1292 /* Issue #17576: warn if 'result' not of exact type int. */
1293 if (PyErr_WarnFormat(PyExc_DeprecationWarning, 1,
1294 "__index__ returned non-int (type %.200s). "
1295 "The ability to return an instance of a strict subclass of int "
1296 "is deprecated, and may be removed in a future version of Python.",
1297 result->ob_type->tp_name)) {
1298 Py_DECREF(result);
1299 return NULL;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001300 }
1301 return result;
Guido van Rossum38fff8c2006-03-07 18:50:55 +00001302}
1303
Thomas Wouters00ee7ba2006-08-21 19:07:27 +00001304/* Return an error on Overflow only if err is not NULL*/
1305
1306Py_ssize_t
1307PyNumber_AsSsize_t(PyObject *item, PyObject *err)
1308{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001309 Py_ssize_t result;
1310 PyObject *runerr;
1311 PyObject *value = PyNumber_Index(item);
1312 if (value == NULL)
1313 return -1;
Thomas Wouters00ee7ba2006-08-21 19:07:27 +00001314
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001315 /* We're done if PyLong_AsSsize_t() returns without error. */
1316 result = PyLong_AsSsize_t(value);
1317 if (result != -1 || !(runerr = PyErr_Occurred()))
1318 goto finish;
Thomas Wouters00ee7ba2006-08-21 19:07:27 +00001319
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001320 /* Error handling code -- only manage OverflowError differently */
1321 if (!PyErr_GivenExceptionMatches(runerr, PyExc_OverflowError))
1322 goto finish;
Thomas Wouters00ee7ba2006-08-21 19:07:27 +00001323
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001324 PyErr_Clear();
1325 /* If no error-handling desired then the default clipping
1326 is sufficient.
1327 */
1328 if (!err) {
1329 assert(PyLong_Check(value));
1330 /* Whether or not it is less than or equal to
1331 zero is determined by the sign of ob_size
1332 */
1333 if (_PyLong_Sign(value) < 0)
1334 result = PY_SSIZE_T_MIN;
1335 else
1336 result = PY_SSIZE_T_MAX;
1337 }
1338 else {
1339 /* Otherwise replace the error with caller's error object. */
1340 PyErr_Format(err,
1341 "cannot fit '%.200s' into an index-sized integer",
1342 item->ob_type->tp_name);
1343 }
Guido van Rossum98297ee2007-11-06 21:34:58 +00001344
Thomas Wouters00ee7ba2006-08-21 19:07:27 +00001345 finish:
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001346 Py_DECREF(value);
1347 return result;
Thomas Wouters00ee7ba2006-08-21 19:07:27 +00001348}
1349
1350
Guido van Rossume15dee51995-07-18 14:12:02 +00001351PyObject *
Fred Drake79912472000-07-09 04:06:11 +00001352PyNumber_Long(PyObject *o)
Guido van Rossume15dee51995-07-18 14:12:02 +00001353{
Serhiy Storchaka54cd1962016-08-21 20:03:08 +03001354 PyObject *result;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001355 PyNumberMethods *m;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001356 PyObject *trunc_func;
Serhiy Storchaka4fdb6842015-02-03 01:21:08 +02001357 Py_buffer view;
Benjamin Peterson9fc9bf42012-03-20 23:26:41 -04001358 _Py_IDENTIFIER(__trunc__);
Christian Heimes15ebc882008-02-04 18:48:49 +00001359
Victor Stinner71aea8e2016-08-19 16:59:55 +02001360 if (o == NULL) {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001361 return null_error();
Victor Stinner71aea8e2016-08-19 16:59:55 +02001362 }
1363
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001364 if (PyLong_CheckExact(o)) {
1365 Py_INCREF(o);
1366 return o;
1367 }
1368 m = o->ob_type->tp_as_number;
1369 if (m && m->nb_int) { /* This should include subclasses of int */
Serhiy Storchaka6a44f6e2019-02-25 17:57:58 +02001370 result = _PyLong_FromNbInt(o);
Serhiy Storchaka54cd1962016-08-21 20:03:08 +03001371 if (result != NULL && !PyLong_CheckExact(result)) {
1372 Py_SETREF(result, _PyLong_Copy((PyLongObject *)result));
1373 }
1374 return result;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001375 }
Serhiy Storchakabdbad712019-06-02 00:05:48 +03001376 if (m && m->nb_index) {
1377 result = _PyLong_FromNbIndexOrNbInt(o);
1378 if (result != NULL && !PyLong_CheckExact(result)) {
1379 Py_SETREF(result, _PyLong_Copy((PyLongObject *)result));
1380 }
1381 return result;
1382 }
Benjamin Peterson1b1a8e72012-03-20 23:48:11 -04001383 trunc_func = _PyObject_LookupSpecial(o, &PyId___trunc__);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001384 if (trunc_func) {
INADA Naoki72dccde2017-02-16 09:26:01 +09001385 result = _PyObject_CallNoArg(trunc_func);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001386 Py_DECREF(trunc_func);
Serhiy Storchaka54cd1962016-08-21 20:03:08 +03001387 if (result == NULL || PyLong_CheckExact(result)) {
1388 return result;
1389 }
1390 if (PyLong_Check(result)) {
1391 Py_SETREF(result, _PyLong_Copy((PyLongObject *)result));
1392 return result;
1393 }
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001394 /* __trunc__ is specified to return an Integral type,
Martin Panter7462b6492015-11-02 03:37:02 +00001395 but int() needs to return an int. */
Serhiy Storchaka54cd1962016-08-21 20:03:08 +03001396 m = result->ob_type->tp_as_number;
Serhiy Storchaka6a44f6e2019-02-25 17:57:58 +02001397 if (m == NULL || (m->nb_index == NULL && m->nb_int == NULL)) {
Serhiy Storchaka31a65542013-12-11 21:07:54 +02001398 PyErr_Format(
1399 PyExc_TypeError,
1400 "__trunc__ returned non-Integral (type %.200s)",
Serhiy Storchaka54cd1962016-08-21 20:03:08 +03001401 result->ob_type->tp_name);
1402 Py_DECREF(result);
Serhiy Storchaka31a65542013-12-11 21:07:54 +02001403 return NULL;
1404 }
Serhiy Storchaka6a44f6e2019-02-25 17:57:58 +02001405 Py_SETREF(result, _PyLong_FromNbIndexOrNbInt(result));
Serhiy Storchaka54cd1962016-08-21 20:03:08 +03001406 if (result != NULL && !PyLong_CheckExact(result)) {
1407 Py_SETREF(result, _PyLong_Copy((PyLongObject *)result));
1408 }
1409 return result;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001410 }
Benjamin Peterson1b1a8e72012-03-20 23:48:11 -04001411 if (PyErr_Occurred())
1412 return NULL;
Christian Heimes15ebc882008-02-04 18:48:49 +00001413
Serhiy Storchaka4fdb6842015-02-03 01:21:08 +02001414 if (PyUnicode_Check(o))
1415 /* The below check is done in PyLong_FromUnicode(). */
1416 return PyLong_FromUnicodeObject(o, 10);
1417
Martin Pantereeb896c2015-11-07 02:32:21 +00001418 if (PyBytes_Check(o))
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001419 /* need to do extra error checking that PyLong_FromString()
Serhiy Storchakaf6d0aee2013-08-03 20:55:06 +03001420 * doesn't do. In particular int('9\x005') must raise an
1421 * exception, not truncate at the null.
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001422 */
Martin Pantereeb896c2015-11-07 02:32:21 +00001423 return _PyLong_FromBytes(PyBytes_AS_STRING(o),
1424 PyBytes_GET_SIZE(o), 10);
1425
1426 if (PyByteArray_Check(o))
1427 return _PyLong_FromBytes(PyByteArray_AS_STRING(o),
1428 PyByteArray_GET_SIZE(o), 10);
1429
1430 if (PyObject_GetBuffer(o, &view, PyBUF_SIMPLE) == 0) {
Serhiy Storchaka54cd1962016-08-21 20:03:08 +03001431 PyObject *bytes;
Martin Pantereeb896c2015-11-07 02:32:21 +00001432
1433 /* Copy to NUL-terminated buffer. */
1434 bytes = PyBytes_FromStringAndSize((const char *)view.buf, view.len);
1435 if (bytes == NULL) {
1436 PyBuffer_Release(&view);
1437 return NULL;
1438 }
1439 result = _PyLong_FromBytes(PyBytes_AS_STRING(bytes),
1440 PyBytes_GET_SIZE(bytes), 10);
1441 Py_DECREF(bytes);
Serhiy Storchaka4fdb6842015-02-03 01:21:08 +02001442 PyBuffer_Release(&view);
1443 return result;
1444 }
Guido van Rossume15dee51995-07-18 14:12:02 +00001445
Serhiy Storchaka4fdb6842015-02-03 01:21:08 +02001446 return type_error("int() argument must be a string, a bytes-like object "
1447 "or a number, not '%.200s'", o);
Guido van Rossume15dee51995-07-18 14:12:02 +00001448}
1449
1450PyObject *
Fred Drake79912472000-07-09 04:06:11 +00001451PyNumber_Float(PyObject *o)
Guido van Rossume15dee51995-07-18 14:12:02 +00001452{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001453 PyNumberMethods *m;
Guido van Rossume15dee51995-07-18 14:12:02 +00001454
Victor Stinner71aea8e2016-08-19 16:59:55 +02001455 if (o == NULL) {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001456 return null_error();
Victor Stinner71aea8e2016-08-19 16:59:55 +02001457 }
1458
Serhiy Storchaka16931c32016-06-03 21:42:55 +03001459 if (PyFloat_CheckExact(o)) {
1460 Py_INCREF(o);
1461 return o;
1462 }
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001463 m = o->ob_type->tp_as_number;
1464 if (m && m->nb_float) { /* This should include subclasses of float */
1465 PyObject *res = m->nb_float(o);
Serhiy Storchaka16931c32016-06-03 21:42:55 +03001466 double val;
1467 if (!res || PyFloat_CheckExact(res)) {
1468 return res;
1469 }
1470 if (!PyFloat_Check(res)) {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001471 PyErr_Format(PyExc_TypeError,
Serhiy Storchaka16931c32016-06-03 21:42:55 +03001472 "%.50s.__float__ returned non-float (type %.50s)",
1473 o->ob_type->tp_name, res->ob_type->tp_name);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001474 Py_DECREF(res);
1475 return NULL;
1476 }
Serhiy Storchaka16931c32016-06-03 21:42:55 +03001477 /* Issue #26983: warn if 'res' not of exact type float. */
1478 if (PyErr_WarnFormat(PyExc_DeprecationWarning, 1,
1479 "%.50s.__float__ returned non-float (type %.50s). "
1480 "The ability to return an instance of a strict subclass of float "
1481 "is deprecated, and may be removed in a future version of Python.",
1482 o->ob_type->tp_name, res->ob_type->tp_name)) {
1483 Py_DECREF(res);
1484 return NULL;
1485 }
1486 val = PyFloat_AS_DOUBLE(res);
1487 Py_DECREF(res);
1488 return PyFloat_FromDouble(val);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001489 }
Serhiy Storchakabdbad712019-06-02 00:05:48 +03001490 if (m && m->nb_index) {
1491 PyObject *res = PyNumber_Index(o);
1492 if (!res) {
1493 return NULL;
1494 }
1495 double val = PyLong_AsDouble(res);
1496 Py_DECREF(res);
1497 if (val == -1.0 && PyErr_Occurred()) {
1498 return NULL;
1499 }
1500 return PyFloat_FromDouble(val);
1501 }
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001502 if (PyFloat_Check(o)) { /* A float subclass with nb_float == NULL */
Serhiy Storchaka16931c32016-06-03 21:42:55 +03001503 return PyFloat_FromDouble(PyFloat_AS_DOUBLE(o));
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001504 }
1505 return PyFloat_FromString(o);
Guido van Rossume15dee51995-07-18 14:12:02 +00001506}
1507
Guido van Rossumcd16bf62007-06-13 18:07:49 +00001508
1509PyObject *
1510PyNumber_ToBase(PyObject *n, int base)
1511{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001512 PyObject *res = NULL;
1513 PyObject *index = PyNumber_Index(n);
Guido van Rossumcd16bf62007-06-13 18:07:49 +00001514
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001515 if (!index)
1516 return NULL;
1517 if (PyLong_Check(index))
1518 res = _PyLong_Format(index, base);
1519 else
1520 /* It should not be possible to get here, as
1521 PyNumber_Index already has a check for the same
1522 condition */
Serhiy Storchaka95949422013-08-27 19:40:23 +03001523 PyErr_SetString(PyExc_ValueError, "PyNumber_ToBase: index not int");
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001524 Py_DECREF(index);
1525 return res;
Guido van Rossumcd16bf62007-06-13 18:07:49 +00001526}
1527
1528
Guido van Rossumcea1c8c1998-05-22 00:47:05 +00001529/* Operations on sequences */
Guido van Rossume15dee51995-07-18 14:12:02 +00001530
Guido van Rossumcea1c8c1998-05-22 00:47:05 +00001531int
Fred Drake79912472000-07-09 04:06:11 +00001532PySequence_Check(PyObject *s)
Guido van Rossume15dee51995-07-18 14:12:02 +00001533{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001534 if (PyDict_Check(s))
1535 return 0;
Alexey Izbyshevb57b4ac2018-08-26 02:52:27 +03001536 return s->ob_type->tp_as_sequence &&
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001537 s->ob_type->tp_as_sequence->sq_item != NULL;
Guido van Rossume15dee51995-07-18 14:12:02 +00001538}
1539
Martin v. Löwis18e16552006-02-15 17:27:45 +00001540Py_ssize_t
Jeremy Hylton6253f832000-07-12 12:56:19 +00001541PySequence_Size(PyObject *s)
Guido van Rossume15dee51995-07-18 14:12:02 +00001542{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001543 PySequenceMethods *m;
Guido van Rossume15dee51995-07-18 14:12:02 +00001544
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001545 if (s == NULL) {
1546 null_error();
1547 return -1;
1548 }
Guido van Rossume15dee51995-07-18 14:12:02 +00001549
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001550 m = s->ob_type->tp_as_sequence;
Serhiy Storchaka813f9432017-04-16 09:21:44 +03001551 if (m && m->sq_length) {
1552 Py_ssize_t len = m->sq_length(s);
1553 assert(len >= 0 || PyErr_Occurred());
1554 return len;
1555 }
Guido van Rossume15dee51995-07-18 14:12:02 +00001556
Serhiy Storchakaa6fdddb2018-07-23 23:43:42 +03001557 if (s->ob_type->tp_as_mapping && s->ob_type->tp_as_mapping->mp_length) {
1558 type_error("%.200s is not a sequence", s);
1559 return -1;
1560 }
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001561 type_error("object of type '%.200s' has no len()", s);
1562 return -1;
Guido van Rossume15dee51995-07-18 14:12:02 +00001563}
1564
Marc-André Lemburgcf5f3582000-07-17 09:22:55 +00001565#undef PySequence_Length
Martin v. Löwis18e16552006-02-15 17:27:45 +00001566Py_ssize_t
Marc-André Lemburgcf5f3582000-07-17 09:22:55 +00001567PySequence_Length(PyObject *s)
1568{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001569 return PySequence_Size(s);
Marc-André Lemburgcf5f3582000-07-17 09:22:55 +00001570}
1571#define PySequence_Length PySequence_Size
1572
Guido van Rossume15dee51995-07-18 14:12:02 +00001573PyObject *
Fred Drake79912472000-07-09 04:06:11 +00001574PySequence_Concat(PyObject *s, PyObject *o)
Guido van Rossume15dee51995-07-18 14:12:02 +00001575{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001576 PySequenceMethods *m;
Guido van Rossume15dee51995-07-18 14:12:02 +00001577
Victor Stinner71aea8e2016-08-19 16:59:55 +02001578 if (s == NULL || o == NULL) {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001579 return null_error();
Victor Stinner71aea8e2016-08-19 16:59:55 +02001580 }
Guido van Rossume15dee51995-07-18 14:12:02 +00001581
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001582 m = s->ob_type->tp_as_sequence;
1583 if (m && m->sq_concat)
1584 return m->sq_concat(s, o);
Guido van Rossumcea1c8c1998-05-22 00:47:05 +00001585
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001586 /* Instances of user classes defining an __add__() method only
1587 have an nb_add slot, not an sq_concat slot. So we fall back
1588 to nb_add if both arguments appear to be sequences. */
1589 if (PySequence_Check(s) && PySequence_Check(o)) {
1590 PyObject *result = binary_op1(s, o, NB_SLOT(nb_add));
1591 if (result != Py_NotImplemented)
1592 return result;
1593 Py_DECREF(result);
1594 }
1595 return type_error("'%.200s' object can't be concatenated", s);
Guido van Rossume15dee51995-07-18 14:12:02 +00001596}
1597
1598PyObject *
Martin v. Löwis18e16552006-02-15 17:27:45 +00001599PySequence_Repeat(PyObject *o, Py_ssize_t count)
Guido van Rossume15dee51995-07-18 14:12:02 +00001600{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001601 PySequenceMethods *m;
Guido van Rossume15dee51995-07-18 14:12:02 +00001602
Victor Stinner71aea8e2016-08-19 16:59:55 +02001603 if (o == NULL) {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001604 return null_error();
Victor Stinner71aea8e2016-08-19 16:59:55 +02001605 }
Guido van Rossume15dee51995-07-18 14:12:02 +00001606
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001607 m = o->ob_type->tp_as_sequence;
1608 if (m && m->sq_repeat)
1609 return m->sq_repeat(o, count);
Guido van Rossumcea1c8c1998-05-22 00:47:05 +00001610
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001611 /* Instances of user classes defining a __mul__() method only
1612 have an nb_multiply slot, not an sq_repeat slot. so we fall back
1613 to nb_multiply if o appears to be a sequence. */
1614 if (PySequence_Check(o)) {
1615 PyObject *n, *result;
1616 n = PyLong_FromSsize_t(count);
1617 if (n == NULL)
1618 return NULL;
1619 result = binary_op1(o, n, NB_SLOT(nb_multiply));
1620 Py_DECREF(n);
1621 if (result != Py_NotImplemented)
1622 return result;
1623 Py_DECREF(result);
1624 }
1625 return type_error("'%.200s' object can't be repeated", o);
Guido van Rossume15dee51995-07-18 14:12:02 +00001626}
1627
1628PyObject *
Thomas Wouterse289e0b2000-08-24 20:08:19 +00001629PySequence_InPlaceConcat(PyObject *s, PyObject *o)
1630{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001631 PySequenceMethods *m;
Thomas Wouterse289e0b2000-08-24 20:08:19 +00001632
Victor Stinner71aea8e2016-08-19 16:59:55 +02001633 if (s == NULL || o == NULL) {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001634 return null_error();
Victor Stinner71aea8e2016-08-19 16:59:55 +02001635 }
Thomas Wouterse289e0b2000-08-24 20:08:19 +00001636
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001637 m = s->ob_type->tp_as_sequence;
1638 if (m && m->sq_inplace_concat)
1639 return m->sq_inplace_concat(s, o);
1640 if (m && m->sq_concat)
1641 return m->sq_concat(s, o);
Thomas Wouterse289e0b2000-08-24 20:08:19 +00001642
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001643 if (PySequence_Check(s) && PySequence_Check(o)) {
1644 PyObject *result = binary_iop1(s, o, NB_SLOT(nb_inplace_add),
1645 NB_SLOT(nb_add));
1646 if (result != Py_NotImplemented)
1647 return result;
1648 Py_DECREF(result);
1649 }
1650 return type_error("'%.200s' object can't be concatenated", s);
Thomas Wouterse289e0b2000-08-24 20:08:19 +00001651}
1652
1653PyObject *
Martin v. Löwis18e16552006-02-15 17:27:45 +00001654PySequence_InPlaceRepeat(PyObject *o, Py_ssize_t count)
Thomas Wouterse289e0b2000-08-24 20:08:19 +00001655{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001656 PySequenceMethods *m;
Thomas Wouterse289e0b2000-08-24 20:08:19 +00001657
Victor Stinner71aea8e2016-08-19 16:59:55 +02001658 if (o == NULL) {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001659 return null_error();
Victor Stinner71aea8e2016-08-19 16:59:55 +02001660 }
Thomas Wouterse289e0b2000-08-24 20:08:19 +00001661
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001662 m = o->ob_type->tp_as_sequence;
1663 if (m && m->sq_inplace_repeat)
1664 return m->sq_inplace_repeat(o, count);
1665 if (m && m->sq_repeat)
1666 return m->sq_repeat(o, count);
Thomas Wouterse289e0b2000-08-24 20:08:19 +00001667
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001668 if (PySequence_Check(o)) {
1669 PyObject *n, *result;
1670 n = PyLong_FromSsize_t(count);
1671 if (n == NULL)
1672 return NULL;
1673 result = binary_iop1(o, n, NB_SLOT(nb_inplace_multiply),
1674 NB_SLOT(nb_multiply));
1675 Py_DECREF(n);
1676 if (result != Py_NotImplemented)
1677 return result;
1678 Py_DECREF(result);
1679 }
1680 return type_error("'%.200s' object can't be repeated", o);
Thomas Wouterse289e0b2000-08-24 20:08:19 +00001681}
1682
1683PyObject *
Martin v. Löwis18e16552006-02-15 17:27:45 +00001684PySequence_GetItem(PyObject *s, Py_ssize_t i)
Guido van Rossume15dee51995-07-18 14:12:02 +00001685{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001686 PySequenceMethods *m;
Guido van Rossume15dee51995-07-18 14:12:02 +00001687
Victor Stinner71aea8e2016-08-19 16:59:55 +02001688 if (s == NULL) {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001689 return null_error();
Victor Stinner71aea8e2016-08-19 16:59:55 +02001690 }
Guido van Rossume15dee51995-07-18 14:12:02 +00001691
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001692 m = s->ob_type->tp_as_sequence;
1693 if (m && m->sq_item) {
1694 if (i < 0) {
1695 if (m->sq_length) {
1696 Py_ssize_t l = (*m->sq_length)(s);
Victor Stinnere20310f2015-11-05 13:56:58 +01001697 if (l < 0) {
1698 assert(PyErr_Occurred());
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001699 return NULL;
Victor Stinnere20310f2015-11-05 13:56:58 +01001700 }
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001701 i += l;
1702 }
1703 }
1704 return m->sq_item(s, i);
1705 }
Guido van Rossume15dee51995-07-18 14:12:02 +00001706
Serhiy Storchakaa6fdddb2018-07-23 23:43:42 +03001707 if (s->ob_type->tp_as_mapping && s->ob_type->tp_as_mapping->mp_subscript) {
1708 return type_error("%.200s is not a sequence", s);
1709 }
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001710 return type_error("'%.200s' object does not support indexing", s);
Guido van Rossume15dee51995-07-18 14:12:02 +00001711}
1712
1713PyObject *
Martin v. Löwis18e16552006-02-15 17:27:45 +00001714PySequence_GetSlice(PyObject *s, Py_ssize_t i1, Py_ssize_t i2)
Guido van Rossume15dee51995-07-18 14:12:02 +00001715{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001716 PyMappingMethods *mp;
Guido van Rossume15dee51995-07-18 14:12:02 +00001717
Victor Stinner71aea8e2016-08-19 16:59:55 +02001718 if (!s) {
1719 return null_error();
1720 }
Guido van Rossume15dee51995-07-18 14:12:02 +00001721
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001722 mp = s->ob_type->tp_as_mapping;
Benjamin Peterson568867a2010-09-11 16:02:03 +00001723 if (mp && mp->mp_subscript) {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001724 PyObject *res;
1725 PyObject *slice = _PySlice_FromIndices(i1, i2);
1726 if (!slice)
1727 return NULL;
1728 res = mp->mp_subscript(s, slice);
1729 Py_DECREF(slice);
1730 return res;
1731 }
Guido van Rossume15dee51995-07-18 14:12:02 +00001732
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001733 return type_error("'%.200s' object is unsliceable", s);
Guido van Rossume15dee51995-07-18 14:12:02 +00001734}
1735
1736int
Martin v. Löwis18e16552006-02-15 17:27:45 +00001737PySequence_SetItem(PyObject *s, Py_ssize_t i, PyObject *o)
Guido van Rossume15dee51995-07-18 14:12:02 +00001738{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001739 PySequenceMethods *m;
Guido van Rossume15dee51995-07-18 14:12:02 +00001740
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001741 if (s == NULL) {
1742 null_error();
1743 return -1;
1744 }
Guido van Rossume15dee51995-07-18 14:12:02 +00001745
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001746 m = s->ob_type->tp_as_sequence;
1747 if (m && m->sq_ass_item) {
1748 if (i < 0) {
1749 if (m->sq_length) {
1750 Py_ssize_t l = (*m->sq_length)(s);
Serhiy Storchaka813f9432017-04-16 09:21:44 +03001751 if (l < 0) {
1752 assert(PyErr_Occurred());
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001753 return -1;
Serhiy Storchaka813f9432017-04-16 09:21:44 +03001754 }
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001755 i += l;
1756 }
1757 }
1758 return m->sq_ass_item(s, i, o);
1759 }
Guido van Rossumcea1c8c1998-05-22 00:47:05 +00001760
Serhiy Storchakaa6fdddb2018-07-23 23:43:42 +03001761 if (s->ob_type->tp_as_mapping && s->ob_type->tp_as_mapping->mp_ass_subscript) {
1762 type_error("%.200s is not a sequence", s);
1763 return -1;
1764 }
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001765 type_error("'%.200s' object does not support item assignment", s);
1766 return -1;
Guido van Rossume15dee51995-07-18 14:12:02 +00001767}
1768
Guido van Rossum6cdc6f41996-08-21 17:41:54 +00001769int
Martin v. Löwis18e16552006-02-15 17:27:45 +00001770PySequence_DelItem(PyObject *s, Py_ssize_t i)
Guido van Rossum6cdc6f41996-08-21 17:41:54 +00001771{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001772 PySequenceMethods *m;
Guido van Rossum6cdc6f41996-08-21 17:41:54 +00001773
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001774 if (s == NULL) {
1775 null_error();
1776 return -1;
1777 }
Guido van Rossum6cdc6f41996-08-21 17:41:54 +00001778
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001779 m = s->ob_type->tp_as_sequence;
1780 if (m && m->sq_ass_item) {
1781 if (i < 0) {
1782 if (m->sq_length) {
1783 Py_ssize_t l = (*m->sq_length)(s);
Serhiy Storchaka813f9432017-04-16 09:21:44 +03001784 if (l < 0) {
1785 assert(PyErr_Occurred());
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001786 return -1;
Serhiy Storchaka813f9432017-04-16 09:21:44 +03001787 }
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001788 i += l;
1789 }
1790 }
1791 return m->sq_ass_item(s, i, (PyObject *)NULL);
1792 }
Guido van Rossumcea1c8c1998-05-22 00:47:05 +00001793
Serhiy Storchakaa6fdddb2018-07-23 23:43:42 +03001794 if (s->ob_type->tp_as_mapping && s->ob_type->tp_as_mapping->mp_ass_subscript) {
1795 type_error("%.200s is not a sequence", s);
1796 return -1;
1797 }
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001798 type_error("'%.200s' object doesn't support item deletion", s);
1799 return -1;
Guido van Rossum6cdc6f41996-08-21 17:41:54 +00001800}
1801
Guido van Rossumcea1c8c1998-05-22 00:47:05 +00001802int
Martin v. Löwis18e16552006-02-15 17:27:45 +00001803PySequence_SetSlice(PyObject *s, Py_ssize_t i1, Py_ssize_t i2, PyObject *o)
Guido van Rossume15dee51995-07-18 14:12:02 +00001804{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001805 PyMappingMethods *mp;
Guido van Rossume15dee51995-07-18 14:12:02 +00001806
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001807 if (s == NULL) {
1808 null_error();
1809 return -1;
1810 }
Guido van Rossume15dee51995-07-18 14:12:02 +00001811
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001812 mp = s->ob_type->tp_as_mapping;
Benjamin Peterson568867a2010-09-11 16:02:03 +00001813 if (mp && mp->mp_ass_subscript) {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001814 int res;
1815 PyObject *slice = _PySlice_FromIndices(i1, i2);
1816 if (!slice)
1817 return -1;
1818 res = mp->mp_ass_subscript(s, slice, o);
1819 Py_DECREF(slice);
1820 return res;
1821 }
Thomas Wouters1d75a792000-08-17 22:37:32 +00001822
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001823 type_error("'%.200s' object doesn't support slice assignment", s);
1824 return -1;
Guido van Rossume15dee51995-07-18 14:12:02 +00001825}
1826
Guido van Rossumcea1c8c1998-05-22 00:47:05 +00001827int
Martin v. Löwis18e16552006-02-15 17:27:45 +00001828PySequence_DelSlice(PyObject *s, Py_ssize_t i1, Py_ssize_t i2)
Guido van Rossum6cdc6f41996-08-21 17:41:54 +00001829{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001830 PyMappingMethods *mp;
Guido van Rossum6cdc6f41996-08-21 17:41:54 +00001831
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001832 if (s == NULL) {
1833 null_error();
1834 return -1;
1835 }
Guido van Rossum6cdc6f41996-08-21 17:41:54 +00001836
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001837 mp = s->ob_type->tp_as_mapping;
Benjamin Peterson568867a2010-09-11 16:02:03 +00001838 if (mp && mp->mp_ass_subscript) {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001839 int res;
1840 PyObject *slice = _PySlice_FromIndices(i1, i2);
1841 if (!slice)
1842 return -1;
1843 res = mp->mp_ass_subscript(s, slice, NULL);
1844 Py_DECREF(slice);
1845 return res;
1846 }
1847 type_error("'%.200s' object doesn't support slice deletion", s);
1848 return -1;
Guido van Rossum6cdc6f41996-08-21 17:41:54 +00001849}
1850
Guido van Rossume15dee51995-07-18 14:12:02 +00001851PyObject *
Fred Drake79912472000-07-09 04:06:11 +00001852PySequence_Tuple(PyObject *v)
Guido van Rossume15dee51995-07-18 14:12:02 +00001853{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001854 PyObject *it; /* iter(v) */
1855 Py_ssize_t n; /* guess for result tuple size */
1856 PyObject *result = NULL;
1857 Py_ssize_t j;
Guido van Rossume15dee51995-07-18 14:12:02 +00001858
Victor Stinner71aea8e2016-08-19 16:59:55 +02001859 if (v == NULL) {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001860 return null_error();
Victor Stinner71aea8e2016-08-19 16:59:55 +02001861 }
Guido van Rossume15dee51995-07-18 14:12:02 +00001862
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001863 /* Special-case the common tuple and list cases, for efficiency. */
1864 if (PyTuple_CheckExact(v)) {
1865 /* Note that we can't know whether it's safe to return
1866 a tuple *subclass* instance as-is, hence the restriction
1867 to exact tuples here. In contrast, lists always make
1868 a copy, so there's no need for exactness below. */
1869 Py_INCREF(v);
1870 return v;
1871 }
Raymond Hettinger610a51f2015-05-17 14:45:58 -07001872 if (PyList_CheckExact(v))
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001873 return PyList_AsTuple(v);
Guido van Rossumcea1c8c1998-05-22 00:47:05 +00001874
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001875 /* Get iterator. */
1876 it = PyObject_GetIter(v);
1877 if (it == NULL)
1878 return NULL;
Guido van Rossumcea1c8c1998-05-22 00:47:05 +00001879
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001880 /* Guess result size and allocate space. */
Armin Ronacheraa9a79d2012-10-06 14:03:24 +02001881 n = PyObject_LengthHint(v, 10);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001882 if (n == -1)
1883 goto Fail;
1884 result = PyTuple_New(n);
1885 if (result == NULL)
1886 goto Fail;
Tim Peters6912d4d2001-05-05 03:56:37 +00001887
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001888 /* Fill the tuple. */
1889 for (j = 0; ; ++j) {
1890 PyObject *item = PyIter_Next(it);
1891 if (item == NULL) {
1892 if (PyErr_Occurred())
1893 goto Fail;
1894 break;
1895 }
1896 if (j >= n) {
Martin Pantere8db8612016-07-25 02:30:05 +00001897 size_t newn = (size_t)n;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001898 /* The over-allocation strategy can grow a bit faster
1899 than for lists because unlike lists the
1900 over-allocation isn't permanent -- we reclaim
1901 the excess before the end of this routine.
1902 So, grow by ten and then add 25%.
1903 */
Martin Pantere8db8612016-07-25 02:30:05 +00001904 newn += 10u;
1905 newn += newn >> 2;
1906 if (newn > PY_SSIZE_T_MAX) {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001907 /* Check for overflow */
1908 PyErr_NoMemory();
1909 Py_DECREF(item);
1910 goto Fail;
1911 }
Martin Pantere8db8612016-07-25 02:30:05 +00001912 n = (Py_ssize_t)newn;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001913 if (_PyTuple_Resize(&result, n) != 0) {
1914 Py_DECREF(item);
1915 goto Fail;
1916 }
1917 }
1918 PyTuple_SET_ITEM(result, j, item);
1919 }
Guido van Rossumcea1c8c1998-05-22 00:47:05 +00001920
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001921 /* Cut tuple back if guess was too large. */
1922 if (j < n &&
1923 _PyTuple_Resize(&result, j) != 0)
1924 goto Fail;
Tim Peters6912d4d2001-05-05 03:56:37 +00001925
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001926 Py_DECREF(it);
1927 return result;
Tim Peters6912d4d2001-05-05 03:56:37 +00001928
1929Fail:
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001930 Py_XDECREF(result);
1931 Py_DECREF(it);
1932 return NULL;
Guido van Rossume15dee51995-07-18 14:12:02 +00001933}
1934
Guido van Rossum3c5936a1996-12-05 21:51:24 +00001935PyObject *
Fred Drake79912472000-07-09 04:06:11 +00001936PySequence_List(PyObject *v)
Guido van Rossum3c5936a1996-12-05 21:51:24 +00001937{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001938 PyObject *result; /* result list */
1939 PyObject *rv; /* return value from PyList_Extend */
Guido van Rossum4669fb41997-04-02 05:31:09 +00001940
Victor Stinner71aea8e2016-08-19 16:59:55 +02001941 if (v == NULL) {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001942 return null_error();
Victor Stinner71aea8e2016-08-19 16:59:55 +02001943 }
Guido van Rossum5dba9e81998-07-10 18:03:50 +00001944
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001945 result = PyList_New(0);
1946 if (result == NULL)
1947 return NULL;
Tim Petersf553f892001-05-01 20:45:31 +00001948
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001949 rv = _PyList_Extend((PyListObject *)result, v);
1950 if (rv == NULL) {
1951 Py_DECREF(result);
1952 return NULL;
1953 }
1954 Py_DECREF(rv);
1955 return result;
Guido van Rossum3c5936a1996-12-05 21:51:24 +00001956}
1957
Andrew M. Kuchling74042d62000-06-18 18:43:14 +00001958PyObject *
Fred Drake79912472000-07-09 04:06:11 +00001959PySequence_Fast(PyObject *v, const char *m)
Andrew M. Kuchling74042d62000-06-18 18:43:14 +00001960{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001961 PyObject *it;
Raymond Hettinger2fb70292004-01-11 23:26:51 +00001962
Victor Stinner71aea8e2016-08-19 16:59:55 +02001963 if (v == NULL) {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001964 return null_error();
Victor Stinner71aea8e2016-08-19 16:59:55 +02001965 }
Andrew M. Kuchling74042d62000-06-18 18:43:14 +00001966
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001967 if (PyList_CheckExact(v) || PyTuple_CheckExact(v)) {
1968 Py_INCREF(v);
1969 return v;
1970 }
Andrew M. Kuchling74042d62000-06-18 18:43:14 +00001971
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001972 it = PyObject_GetIter(v);
1973 if (it == NULL) {
1974 if (PyErr_ExceptionMatches(PyExc_TypeError))
1975 PyErr_SetString(PyExc_TypeError, m);
1976 return NULL;
1977 }
Raymond Hettinger2fb70292004-01-11 23:26:51 +00001978
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001979 v = PySequence_List(it);
1980 Py_DECREF(it);
Andrew M. Kuchling74042d62000-06-18 18:43:14 +00001981
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001982 return v;
Andrew M. Kuchling74042d62000-06-18 18:43:14 +00001983}
1984
Tim Peters16a77ad2001-09-08 04:00:12 +00001985/* Iterate over seq. Result depends on the operation:
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001986 PY_ITERSEARCH_COUNT: -1 if error, else # of times obj appears in seq.
1987 PY_ITERSEARCH_INDEX: 0-based index of first occurrence of obj in seq;
1988 set ValueError and return -1 if none found; also return -1 on error.
Tim Peters16a77ad2001-09-08 04:00:12 +00001989 Py_ITERSEARCH_CONTAINS: return 1 if obj in seq, else 0; -1 on error.
1990*/
Neal Norwitz1fc4b772006-03-04 18:49:58 +00001991Py_ssize_t
Tim Peters16a77ad2001-09-08 04:00:12 +00001992_PySequence_IterSearch(PyObject *seq, PyObject *obj, int operation)
Guido van Rossume15dee51995-07-18 14:12:02 +00001993{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001994 Py_ssize_t n;
1995 int wrapped; /* for PY_ITERSEARCH_INDEX, true iff n wrapped around */
1996 PyObject *it; /* iter(seq) */
Guido van Rossume15dee51995-07-18 14:12:02 +00001997
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001998 if (seq == NULL || obj == NULL) {
1999 null_error();
2000 return -1;
2001 }
Tim Peters75f8e352001-05-05 11:33:43 +00002002
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002003 it = PyObject_GetIter(seq);
2004 if (it == NULL) {
2005 type_error("argument of type '%.200s' is not iterable", seq);
2006 return -1;
2007 }
Guido van Rossume15dee51995-07-18 14:12:02 +00002008
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002009 n = wrapped = 0;
2010 for (;;) {
2011 int cmp;
2012 PyObject *item = PyIter_Next(it);
2013 if (item == NULL) {
2014 if (PyErr_Occurred())
2015 goto Fail;
2016 break;
2017 }
Tim Peters16a77ad2001-09-08 04:00:12 +00002018
Serhiy Storchaka18b711c2019-08-04 14:12:48 +03002019 cmp = PyObject_RichCompareBool(item, obj, Py_EQ);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002020 Py_DECREF(item);
2021 if (cmp < 0)
2022 goto Fail;
2023 if (cmp > 0) {
2024 switch (operation) {
2025 case PY_ITERSEARCH_COUNT:
2026 if (n == PY_SSIZE_T_MAX) {
2027 PyErr_SetString(PyExc_OverflowError,
2028 "count exceeds C integer size");
2029 goto Fail;
2030 }
2031 ++n;
2032 break;
Tim Peters16a77ad2001-09-08 04:00:12 +00002033
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002034 case PY_ITERSEARCH_INDEX:
2035 if (wrapped) {
2036 PyErr_SetString(PyExc_OverflowError,
2037 "index exceeds C integer size");
2038 goto Fail;
2039 }
2040 goto Done;
Tim Peters16a77ad2001-09-08 04:00:12 +00002041
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002042 case PY_ITERSEARCH_CONTAINS:
2043 n = 1;
2044 goto Done;
Tim Peters16a77ad2001-09-08 04:00:12 +00002045
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002046 default:
Barry Warsawb2e57942017-09-14 18:13:16 -07002047 Py_UNREACHABLE();
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002048 }
2049 }
Tim Peters16a77ad2001-09-08 04:00:12 +00002050
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002051 if (operation == PY_ITERSEARCH_INDEX) {
2052 if (n == PY_SSIZE_T_MAX)
2053 wrapped = 1;
2054 ++n;
2055 }
2056 }
Tim Peters16a77ad2001-09-08 04:00:12 +00002057
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002058 if (operation != PY_ITERSEARCH_INDEX)
2059 goto Done;
Tim Peters16a77ad2001-09-08 04:00:12 +00002060
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002061 PyErr_SetString(PyExc_ValueError,
2062 "sequence.index(x): x not in sequence");
2063 /* fall into failure code */
Tim Peters16a77ad2001-09-08 04:00:12 +00002064Fail:
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002065 n = -1;
2066 /* fall through */
Tim Peters16a77ad2001-09-08 04:00:12 +00002067Done:
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002068 Py_DECREF(it);
2069 return n;
Tim Peters75f8e352001-05-05 11:33:43 +00002070
Guido van Rossume15dee51995-07-18 14:12:02 +00002071}
2072
Tim Peters16a77ad2001-09-08 04:00:12 +00002073/* Return # of times o appears in s. */
Neal Norwitz1fc4b772006-03-04 18:49:58 +00002074Py_ssize_t
Tim Peters16a77ad2001-09-08 04:00:12 +00002075PySequence_Count(PyObject *s, PyObject *o)
Guido van Rossume15dee51995-07-18 14:12:02 +00002076{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002077 return _PySequence_IterSearch(s, o, PY_ITERSEARCH_COUNT);
Guido van Rossume15dee51995-07-18 14:12:02 +00002078}
2079
Tim Peterscb8d3682001-05-05 21:05:01 +00002080/* Return -1 if error; 1 if ob in seq; 0 if ob not in seq.
Tim Peters16a77ad2001-09-08 04:00:12 +00002081 * Use sq_contains if possible, else defer to _PySequence_IterSearch().
Tim Peterscb8d3682001-05-05 21:05:01 +00002082 */
2083int
2084PySequence_Contains(PyObject *seq, PyObject *ob)
2085{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002086 Py_ssize_t result;
2087 PySequenceMethods *sqm = seq->ob_type->tp_as_sequence;
2088 if (sqm != NULL && sqm->sq_contains != NULL)
2089 return (*sqm->sq_contains)(seq, ob);
2090 result = _PySequence_IterSearch(seq, ob, PY_ITERSEARCH_CONTAINS);
2091 return Py_SAFE_DOWNCAST(result, Py_ssize_t, int);
Tim Peterscb8d3682001-05-05 21:05:01 +00002092}
2093
Guido van Rossumcea1c8c1998-05-22 00:47:05 +00002094/* Backwards compatibility */
2095#undef PySequence_In
2096int
Fred Drake79912472000-07-09 04:06:11 +00002097PySequence_In(PyObject *w, PyObject *v)
Guido van Rossumcea1c8c1998-05-22 00:47:05 +00002098{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002099 return PySequence_Contains(w, v);
Guido van Rossumcea1c8c1998-05-22 00:47:05 +00002100}
2101
Neal Norwitz1fc4b772006-03-04 18:49:58 +00002102Py_ssize_t
Fred Drake79912472000-07-09 04:06:11 +00002103PySequence_Index(PyObject *s, PyObject *o)
Guido van Rossume15dee51995-07-18 14:12:02 +00002104{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002105 return _PySequence_IterSearch(s, o, PY_ITERSEARCH_INDEX);
Guido van Rossume15dee51995-07-18 14:12:02 +00002106}
2107
Guido van Rossumcea1c8c1998-05-22 00:47:05 +00002108/* Operations on mappings */
2109
2110int
Fred Drake79912472000-07-09 04:06:11 +00002111PyMapping_Check(PyObject *o)
Guido van Rossume15dee51995-07-18 14:12:02 +00002112{
Benjamin Peterson21992272011-12-28 12:01:31 -06002113 return o && o->ob_type->tp_as_mapping &&
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002114 o->ob_type->tp_as_mapping->mp_subscript;
Guido van Rossume15dee51995-07-18 14:12:02 +00002115}
2116
Martin v. Löwis18e16552006-02-15 17:27:45 +00002117Py_ssize_t
Jeremy Hylton6253f832000-07-12 12:56:19 +00002118PyMapping_Size(PyObject *o)
Guido van Rossume15dee51995-07-18 14:12:02 +00002119{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002120 PyMappingMethods *m;
Guido van Rossume15dee51995-07-18 14:12:02 +00002121
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002122 if (o == NULL) {
2123 null_error();
2124 return -1;
2125 }
Guido van Rossume15dee51995-07-18 14:12:02 +00002126
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002127 m = o->ob_type->tp_as_mapping;
Serhiy Storchaka813f9432017-04-16 09:21:44 +03002128 if (m && m->mp_length) {
2129 Py_ssize_t len = m->mp_length(o);
2130 assert(len >= 0 || PyErr_Occurred());
2131 return len;
2132 }
Guido van Rossume15dee51995-07-18 14:12:02 +00002133
Serhiy Storchakaa6fdddb2018-07-23 23:43:42 +03002134 if (o->ob_type->tp_as_sequence && o->ob_type->tp_as_sequence->sq_length) {
2135 type_error("%.200s is not a mapping", o);
2136 return -1;
2137 }
2138 /* PyMapping_Size() can be called from PyObject_Size(). */
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002139 type_error("object of type '%.200s' has no len()", o);
2140 return -1;
Guido van Rossume15dee51995-07-18 14:12:02 +00002141}
2142
Marc-André Lemburgcf5f3582000-07-17 09:22:55 +00002143#undef PyMapping_Length
Martin v. Löwis18e16552006-02-15 17:27:45 +00002144Py_ssize_t
Marc-André Lemburgcf5f3582000-07-17 09:22:55 +00002145PyMapping_Length(PyObject *o)
2146{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002147 return PyMapping_Size(o);
Marc-André Lemburgcf5f3582000-07-17 09:22:55 +00002148}
2149#define PyMapping_Length PyMapping_Size
2150
Guido van Rossumcea1c8c1998-05-22 00:47:05 +00002151PyObject *
Serhiy Storchakac6792272013-10-19 21:03:34 +03002152PyMapping_GetItemString(PyObject *o, const char *key)
Guido van Rossumcea1c8c1998-05-22 00:47:05 +00002153{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002154 PyObject *okey, *r;
Guido van Rossumcea1c8c1998-05-22 00:47:05 +00002155
Victor Stinner71aea8e2016-08-19 16:59:55 +02002156 if (key == NULL) {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002157 return null_error();
Victor Stinner71aea8e2016-08-19 16:59:55 +02002158 }
Guido van Rossumcea1c8c1998-05-22 00:47:05 +00002159
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002160 okey = PyUnicode_FromString(key);
2161 if (okey == NULL)
2162 return NULL;
2163 r = PyObject_GetItem(o, okey);
2164 Py_DECREF(okey);
2165 return r;
Guido van Rossumcea1c8c1998-05-22 00:47:05 +00002166}
2167
2168int
Serhiy Storchakac6792272013-10-19 21:03:34 +03002169PyMapping_SetItemString(PyObject *o, const char *key, PyObject *value)
Guido van Rossumcea1c8c1998-05-22 00:47:05 +00002170{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002171 PyObject *okey;
2172 int r;
Guido van Rossumcea1c8c1998-05-22 00:47:05 +00002173
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002174 if (key == NULL) {
2175 null_error();
2176 return -1;
2177 }
Guido van Rossumcea1c8c1998-05-22 00:47:05 +00002178
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002179 okey = PyUnicode_FromString(key);
2180 if (okey == NULL)
2181 return -1;
2182 r = PyObject_SetItem(o, okey, value);
2183 Py_DECREF(okey);
2184 return r;
Guido van Rossumcea1c8c1998-05-22 00:47:05 +00002185}
2186
2187int
Serhiy Storchakac6792272013-10-19 21:03:34 +03002188PyMapping_HasKeyString(PyObject *o, const char *key)
Guido van Rossume15dee51995-07-18 14:12:02 +00002189{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002190 PyObject *v;
Guido van Rossume15dee51995-07-18 14:12:02 +00002191
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002192 v = PyMapping_GetItemString(o, key);
2193 if (v) {
2194 Py_DECREF(v);
2195 return 1;
2196 }
2197 PyErr_Clear();
2198 return 0;
Guido van Rossume15dee51995-07-18 14:12:02 +00002199}
2200
Guido van Rossumcea1c8c1998-05-22 00:47:05 +00002201int
Fred Drake79912472000-07-09 04:06:11 +00002202PyMapping_HasKey(PyObject *o, PyObject *key)
Guido van Rossume15dee51995-07-18 14:12:02 +00002203{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002204 PyObject *v;
Guido van Rossume15dee51995-07-18 14:12:02 +00002205
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002206 v = PyObject_GetItem(o, key);
2207 if (v) {
2208 Py_DECREF(v);
2209 return 1;
2210 }
2211 PyErr_Clear();
2212 return 0;
Guido van Rossume15dee51995-07-18 14:12:02 +00002213}
2214
Oren Milman0ccc0f62017-10-08 11:17:46 +03002215/* This function is quite similar to PySequence_Fast(), but specialized to be
2216 a helper for PyMapping_Keys(), PyMapping_Items() and PyMapping_Values().
2217 */
2218static PyObject *
2219method_output_as_list(PyObject *o, _Py_Identifier *meth_id)
2220{
2221 PyObject *it, *result, *meth_output;
2222
2223 assert(o != NULL);
Jeroen Demeyer762f93f2019-07-08 10:19:25 +02002224 meth_output = _PyObject_CallMethodIdNoArgs(o, meth_id);
Oren Milman0ccc0f62017-10-08 11:17:46 +03002225 if (meth_output == NULL || PyList_CheckExact(meth_output)) {
2226 return meth_output;
2227 }
2228 it = PyObject_GetIter(meth_output);
2229 if (it == NULL) {
2230 if (PyErr_ExceptionMatches(PyExc_TypeError)) {
2231 PyErr_Format(PyExc_TypeError,
2232 "%.200s.%U() returned a non-iterable (type %.200s)",
2233 Py_TYPE(o)->tp_name,
2234 meth_id->object,
2235 Py_TYPE(meth_output)->tp_name);
2236 }
2237 Py_DECREF(meth_output);
2238 return NULL;
2239 }
2240 Py_DECREF(meth_output);
2241 result = PySequence_List(it);
2242 Py_DECREF(it);
2243 return result;
2244}
2245
Guido van Rossumcc2b0162007-02-11 06:12:03 +00002246PyObject *
2247PyMapping_Keys(PyObject *o)
2248{
Martin v. Löwisbd928fe2011-10-14 10:20:37 +02002249 _Py_IDENTIFIER(keys);
Guido van Rossumcc2b0162007-02-11 06:12:03 +00002250
Oren Milman0ccc0f62017-10-08 11:17:46 +03002251 if (o == NULL) {
2252 return null_error();
2253 }
2254 if (PyDict_CheckExact(o)) {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002255 return PyDict_Keys(o);
Oren Milman0ccc0f62017-10-08 11:17:46 +03002256 }
2257 return method_output_as_list(o, &PyId_keys);
Guido van Rossumcc2b0162007-02-11 06:12:03 +00002258}
2259
2260PyObject *
2261PyMapping_Items(PyObject *o)
2262{
Martin v. Löwisbd928fe2011-10-14 10:20:37 +02002263 _Py_IDENTIFIER(items);
Guido van Rossumcc2b0162007-02-11 06:12:03 +00002264
Oren Milman0ccc0f62017-10-08 11:17:46 +03002265 if (o == NULL) {
2266 return null_error();
2267 }
2268 if (PyDict_CheckExact(o)) {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002269 return PyDict_Items(o);
Oren Milman0ccc0f62017-10-08 11:17:46 +03002270 }
2271 return method_output_as_list(o, &PyId_items);
Guido van Rossumcc2b0162007-02-11 06:12:03 +00002272}
2273
2274PyObject *
2275PyMapping_Values(PyObject *o)
2276{
Martin v. Löwisbd928fe2011-10-14 10:20:37 +02002277 _Py_IDENTIFIER(values);
Guido van Rossumcc2b0162007-02-11 06:12:03 +00002278
Oren Milman0ccc0f62017-10-08 11:17:46 +03002279 if (o == NULL) {
2280 return null_error();
2281 }
2282 if (PyDict_CheckExact(o)) {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002283 return PyDict_Values(o);
Oren Milman0ccc0f62017-10-08 11:17:46 +03002284 }
2285 return method_output_as_list(o, &PyId_values);
Guido van Rossumcc2b0162007-02-11 06:12:03 +00002286}
2287
Guido van Rossum823649d2001-03-21 18:40:58 +00002288/* isinstance(), issubclass() */
2289
Benjamin Peterson9fc9bf42012-03-20 23:26:41 -04002290/* abstract_get_bases() has logically 4 return states:
Barry Warsawf16951c2002-04-23 22:45:44 +00002291 *
Barry Warsawf16951c2002-04-23 22:45:44 +00002292 * 1. getattr(cls, '__bases__') could raise an AttributeError
2293 * 2. getattr(cls, '__bases__') could raise some other exception
2294 * 3. getattr(cls, '__bases__') could return a tuple
2295 * 4. getattr(cls, '__bases__') could return something other than a tuple
2296 *
2297 * Only state #3 is a non-error state and only it returns a non-NULL object
2298 * (it returns the retrieved tuple).
2299 *
2300 * Any raised AttributeErrors are masked by clearing the exception and
2301 * returning NULL. If an object other than a tuple comes out of __bases__,
2302 * then again, the return value is NULL. So yes, these two situations
2303 * produce exactly the same results: NULL is returned and no error is set.
2304 *
2305 * If some exception other than AttributeError is raised, then NULL is also
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002306 * returned, but the exception is not cleared. That's because we want the
Barry Warsawf16951c2002-04-23 22:45:44 +00002307 * exception to be propagated along.
2308 *
2309 * Callers are expected to test for PyErr_Occurred() when the return value
2310 * is NULL to decide whether a valid exception should be propagated or not.
2311 * When there's no exception to propagate, it's customary for the caller to
2312 * set a TypeError.
2313 */
Neil Schemenauer6b471292001-10-18 03:18:43 +00002314static PyObject *
2315abstract_get_bases(PyObject *cls)
Guido van Rossum823649d2001-03-21 18:40:58 +00002316{
Benjamin Peterson9fc9bf42012-03-20 23:26:41 -04002317 _Py_IDENTIFIER(__bases__);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002318 PyObject *bases;
Guido van Rossum823649d2001-03-21 18:40:58 +00002319
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002320 Py_ALLOW_RECURSION
Serhiy Storchakaf320be72018-01-25 10:49:40 +02002321 (void)_PyObject_LookupAttrId(cls, &PyId___bases__, &bases);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002322 Py_END_ALLOW_RECURSION
Serhiy Storchakaf320be72018-01-25 10:49:40 +02002323 if (bases != NULL && !PyTuple_Check(bases)) {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002324 Py_DECREF(bases);
2325 return NULL;
2326 }
2327 return bases;
Neil Schemenauer6b471292001-10-18 03:18:43 +00002328}
2329
2330
2331static int
2332abstract_issubclass(PyObject *derived, PyObject *cls)
2333{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002334 PyObject *bases = NULL;
2335 Py_ssize_t i, n;
2336 int r = 0;
Neil Schemenauer6b471292001-10-18 03:18:43 +00002337
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002338 while (1) {
2339 if (derived == cls)
2340 return 1;
2341 bases = abstract_get_bases(derived);
2342 if (bases == NULL) {
2343 if (PyErr_Occurred())
2344 return -1;
2345 return 0;
2346 }
2347 n = PyTuple_GET_SIZE(bases);
2348 if (n == 0) {
2349 Py_DECREF(bases);
2350 return 0;
2351 }
2352 /* Avoid recursivity in the single inheritance case */
2353 if (n == 1) {
2354 derived = PyTuple_GET_ITEM(bases, 0);
2355 Py_DECREF(bases);
2356 continue;
2357 }
2358 for (i = 0; i < n; i++) {
2359 r = abstract_issubclass(PyTuple_GET_ITEM(bases, i), cls);
2360 if (r != 0)
2361 break;
2362 }
2363 Py_DECREF(bases);
2364 return r;
2365 }
Guido van Rossum823649d2001-03-21 18:40:58 +00002366}
2367
Walter Dörwaldd9a6ad32002-12-12 16:41:44 +00002368static int
2369check_class(PyObject *cls, const char *error)
2370{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002371 PyObject *bases = abstract_get_bases(cls);
2372 if (bases == NULL) {
2373 /* Do not mask errors. */
2374 if (!PyErr_Occurred())
2375 PyErr_SetString(PyExc_TypeError, error);
2376 return 0;
2377 }
2378 Py_DECREF(bases);
2379 return -1;
Walter Dörwaldd9a6ad32002-12-12 16:41:44 +00002380}
2381
Brett Cannon4f653312004-03-20 22:52:14 +00002382static int
Antoine Pitrouec569b72008-08-26 22:40:48 +00002383recursive_isinstance(PyObject *inst, PyObject *cls)
Guido van Rossum823649d2001-03-21 18:40:58 +00002384{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002385 PyObject *icls;
Serhiy Storchakaf320be72018-01-25 10:49:40 +02002386 int retval;
Benjamin Peterson9fc9bf42012-03-20 23:26:41 -04002387 _Py_IDENTIFIER(__class__);
Guido van Rossum03bc7d32003-02-12 03:32:58 +00002388
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002389 if (PyType_Check(cls)) {
2390 retval = PyObject_TypeCheck(inst, (PyTypeObject *)cls);
2391 if (retval == 0) {
Serhiy Storchakaf320be72018-01-25 10:49:40 +02002392 retval = _PyObject_LookupAttrId(inst, &PyId___class__, &icls);
2393 if (icls != NULL) {
2394 if (icls != (PyObject *)(inst->ob_type) && PyType_Check(icls)) {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002395 retval = PyType_IsSubtype(
Serhiy Storchakaf320be72018-01-25 10:49:40 +02002396 (PyTypeObject *)icls,
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002397 (PyTypeObject *)cls);
Serhiy Storchakaf320be72018-01-25 10:49:40 +02002398 }
2399 else {
2400 retval = 0;
2401 }
2402 Py_DECREF(icls);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002403 }
2404 }
2405 }
2406 else {
2407 if (!check_class(cls,
Benjamin Petersone893af52010-06-28 19:43:42 +00002408 "isinstance() arg 2 must be a type or tuple of types"))
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002409 return -1;
Serhiy Storchakaf320be72018-01-25 10:49:40 +02002410 retval = _PyObject_LookupAttrId(inst, &PyId___class__, &icls);
2411 if (icls != NULL) {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002412 retval = abstract_issubclass(icls, cls);
2413 Py_DECREF(icls);
2414 }
2415 }
Guido van Rossum823649d2001-03-21 18:40:58 +00002416
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002417 return retval;
Guido van Rossum823649d2001-03-21 18:40:58 +00002418}
2419
2420int
Brett Cannon4f653312004-03-20 22:52:14 +00002421PyObject_IsInstance(PyObject *inst, PyObject *cls)
2422{
Benjamin Petersonce798522012-01-22 11:24:29 -05002423 _Py_IDENTIFIER(__instancecheck__);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002424 PyObject *checker;
Christian Heimesd5e2b6f2008-03-19 21:50:51 +00002425
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002426 /* Quick test for an exact match */
2427 if (Py_TYPE(inst) == (PyTypeObject *)cls)
2428 return 1;
Christian Heimesd5e2b6f2008-03-19 21:50:51 +00002429
Georg Brandl72b8a802014-10-03 09:26:37 +02002430 /* We know what type's __instancecheck__ does. */
2431 if (PyType_CheckExact(cls)) {
2432 return recursive_isinstance(inst, cls);
2433 }
2434
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002435 if (PyTuple_Check(cls)) {
2436 Py_ssize_t i;
2437 Py_ssize_t n;
2438 int r = 0;
Antoine Pitrouec569b72008-08-26 22:40:48 +00002439
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002440 if (Py_EnterRecursiveCall(" in __instancecheck__"))
2441 return -1;
2442 n = PyTuple_GET_SIZE(cls);
2443 for (i = 0; i < n; ++i) {
2444 PyObject *item = PyTuple_GET_ITEM(cls, i);
2445 r = PyObject_IsInstance(inst, item);
2446 if (r != 0)
2447 /* either found it, or got an error */
2448 break;
2449 }
2450 Py_LeaveRecursiveCall();
2451 return r;
2452 }
Benjamin Peterson88fe5f92009-05-16 21:55:24 +00002453
Benjamin Petersonce798522012-01-22 11:24:29 -05002454 checker = _PyObject_LookupSpecial(cls, &PyId___instancecheck__);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002455 if (checker != NULL) {
2456 PyObject *res;
2457 int ok = -1;
2458 if (Py_EnterRecursiveCall(" in __instancecheck__")) {
2459 Py_DECREF(checker);
2460 return ok;
2461 }
Jeroen Demeyer196a5302019-07-04 12:31:34 +02002462 res = _PyObject_CallOneArg(checker, inst);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002463 Py_LeaveRecursiveCall();
2464 Py_DECREF(checker);
2465 if (res != NULL) {
2466 ok = PyObject_IsTrue(res);
2467 Py_DECREF(res);
2468 }
2469 return ok;
2470 }
2471 else if (PyErr_Occurred())
2472 return -1;
Georg Brandl72b8a802014-10-03 09:26:37 +02002473 /* Probably never reached anymore. */
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002474 return recursive_isinstance(inst, cls);
Brett Cannon4f653312004-03-20 22:52:14 +00002475}
2476
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002477static int
Antoine Pitrouec569b72008-08-26 22:40:48 +00002478recursive_issubclass(PyObject *derived, PyObject *cls)
Guido van Rossum823649d2001-03-21 18:40:58 +00002479{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002480 if (PyType_Check(cls) && PyType_Check(derived)) {
2481 /* Fast path (non-recursive) */
2482 return PyType_IsSubtype((PyTypeObject *)derived, (PyTypeObject *)cls);
2483 }
2484 if (!check_class(derived,
2485 "issubclass() arg 1 must be a class"))
2486 return -1;
2487 if (!check_class(cls,
2488 "issubclass() arg 2 must be a class"
2489 " or tuple of classes"))
2490 return -1;
Guido van Rossum823649d2001-03-21 18:40:58 +00002491
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002492 return abstract_issubclass(derived, cls);
Guido van Rossum823649d2001-03-21 18:40:58 +00002493}
Guido van Rossum59d1d2b2001-04-20 19:13:02 +00002494
Brett Cannon4f653312004-03-20 22:52:14 +00002495int
2496PyObject_IsSubclass(PyObject *derived, PyObject *cls)
2497{
Benjamin Petersonce798522012-01-22 11:24:29 -05002498 _Py_IDENTIFIER(__subclasscheck__);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002499 PyObject *checker;
Georg Brandldcfe8e42009-05-17 08:22:45 +00002500
Georg Brandl72b8a802014-10-03 09:26:37 +02002501 /* We know what type's __subclasscheck__ does. */
2502 if (PyType_CheckExact(cls)) {
2503 /* Quick test for an exact match */
2504 if (derived == cls)
2505 return 1;
2506 return recursive_issubclass(derived, cls);
2507 }
2508
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002509 if (PyTuple_Check(cls)) {
2510 Py_ssize_t i;
2511 Py_ssize_t n;
2512 int r = 0;
Antoine Pitrouec569b72008-08-26 22:40:48 +00002513
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002514 if (Py_EnterRecursiveCall(" in __subclasscheck__"))
2515 return -1;
2516 n = PyTuple_GET_SIZE(cls);
2517 for (i = 0; i < n; ++i) {
2518 PyObject *item = PyTuple_GET_ITEM(cls, i);
2519 r = PyObject_IsSubclass(derived, item);
2520 if (r != 0)
2521 /* either found it, or got an error */
2522 break;
2523 }
2524 Py_LeaveRecursiveCall();
2525 return r;
2526 }
Benjamin Peterson88fe5f92009-05-16 21:55:24 +00002527
Benjamin Petersonce798522012-01-22 11:24:29 -05002528 checker = _PyObject_LookupSpecial(cls, &PyId___subclasscheck__);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002529 if (checker != NULL) {
2530 PyObject *res;
2531 int ok = -1;
2532 if (Py_EnterRecursiveCall(" in __subclasscheck__")) {
2533 Py_DECREF(checker);
2534 return ok;
2535 }
Jeroen Demeyer196a5302019-07-04 12:31:34 +02002536 res = _PyObject_CallOneArg(checker, derived);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002537 Py_LeaveRecursiveCall();
2538 Py_DECREF(checker);
2539 if (res != NULL) {
2540 ok = PyObject_IsTrue(res);
2541 Py_DECREF(res);
2542 }
2543 return ok;
2544 }
2545 else if (PyErr_Occurred())
2546 return -1;
Georg Brandl72b8a802014-10-03 09:26:37 +02002547 /* Probably never reached anymore. */
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002548 return recursive_issubclass(derived, cls);
Antoine Pitrouec569b72008-08-26 22:40:48 +00002549}
2550
2551int
2552_PyObject_RealIsInstance(PyObject *inst, PyObject *cls)
2553{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002554 return recursive_isinstance(inst, cls);
Antoine Pitrouec569b72008-08-26 22:40:48 +00002555}
2556
2557int
2558_PyObject_RealIsSubclass(PyObject *derived, PyObject *cls)
2559{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002560 return recursive_issubclass(derived, cls);
Brett Cannon4f653312004-03-20 22:52:14 +00002561}
2562
2563
Guido van Rossum59d1d2b2001-04-20 19:13:02 +00002564PyObject *
2565PyObject_GetIter(PyObject *o)
2566{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002567 PyTypeObject *t = o->ob_type;
Victor Stinner14e6d092016-12-09 17:08:59 +01002568 getiterfunc f;
2569
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002570 f = t->tp_iter;
2571 if (f == NULL) {
2572 if (PySequence_Check(o))
2573 return PySeqIter_New(o);
2574 return type_error("'%.200s' object is not iterable", o);
2575 }
2576 else {
2577 PyObject *res = (*f)(o);
2578 if (res != NULL && !PyIter_Check(res)) {
2579 PyErr_Format(PyExc_TypeError,
2580 "iter() returned non-iterator "
2581 "of type '%.100s'",
2582 res->ob_type->tp_name);
2583 Py_DECREF(res);
2584 res = NULL;
2585 }
2586 return res;
2587 }
Guido van Rossum213c7a62001-04-23 14:08:49 +00002588}
2589
Christian Tismerea62ce72018-06-09 20:32:25 +02002590#undef PyIter_Check
Christian Tismer83987132018-06-11 00:48:28 +02002591
Christian Tismerea62ce72018-06-09 20:32:25 +02002592int PyIter_Check(PyObject *obj)
2593{
2594 return obj->ob_type->tp_iternext != NULL &&
2595 obj->ob_type->tp_iternext != &_PyObject_NextNotImplemented;
2596}
2597
Tim Petersf4848da2001-05-05 00:14:56 +00002598/* Return next item.
2599 * If an error occurs, return NULL. PyErr_Occurred() will be true.
2600 * If the iteration terminates normally, return NULL and clear the
2601 * PyExc_StopIteration exception (if it was set). PyErr_Occurred()
2602 * will be false.
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002603 * Else return the next object. PyErr_Occurred() will be false.
Tim Petersf4848da2001-05-05 00:14:56 +00002604 */
Guido van Rossum213c7a62001-04-23 14:08:49 +00002605PyObject *
2606PyIter_Next(PyObject *iter)
2607{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002608 PyObject *result;
2609 result = (*iter->ob_type->tp_iternext)(iter);
2610 if (result == NULL &&
2611 PyErr_Occurred() &&
2612 PyErr_ExceptionMatches(PyExc_StopIteration))
2613 PyErr_Clear();
2614 return result;
Guido van Rossum59d1d2b2001-04-20 19:13:02 +00002615}
Gregory P. Smithfb94c5f2010-03-14 06:49:55 +00002616
2617
2618/*
2619 * Flatten a sequence of bytes() objects into a C array of
2620 * NULL terminated string pointers with a NULL char* terminating the array.
2621 * (ie: an argv or env list)
2622 *
Victor Stinner0e2d3cf2013-07-07 17:22:41 +02002623 * Memory allocated for the returned list is allocated using PyMem_Malloc()
2624 * and MUST be freed by _Py_FreeCharPArray().
Gregory P. Smithfb94c5f2010-03-14 06:49:55 +00002625 */
2626char *const *
2627_PySequence_BytesToCharpArray(PyObject* self)
2628{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002629 char **array;
2630 Py_ssize_t i, argc;
2631 PyObject *item = NULL;
Victor Stinner0e2d3cf2013-07-07 17:22:41 +02002632 Py_ssize_t size;
Gregory P. Smithfb94c5f2010-03-14 06:49:55 +00002633
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002634 argc = PySequence_Size(self);
2635 if (argc == -1)
2636 return NULL;
Gregory P. Smithfb94c5f2010-03-14 06:49:55 +00002637
Stefan Krah7cacd2e2012-08-21 08:16:09 +02002638 assert(argc >= 0);
2639
2640 if ((size_t)argc > (PY_SSIZE_T_MAX-sizeof(char *)) / sizeof(char *)) {
2641 PyErr_NoMemory();
2642 return NULL;
2643 }
2644
Victor Stinner0e2d3cf2013-07-07 17:22:41 +02002645 array = PyMem_Malloc((argc + 1) * sizeof(char *));
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002646 if (array == NULL) {
2647 PyErr_NoMemory();
2648 return NULL;
2649 }
2650 for (i = 0; i < argc; ++i) {
2651 char *data;
2652 item = PySequence_GetItem(self, i);
Stefan Krahfd24f9e2012-08-20 11:04:24 +02002653 if (item == NULL) {
2654 /* NULL terminate before freeing. */
2655 array[i] = NULL;
2656 goto fail;
2657 }
Serhiy Storchakad174d242017-06-23 19:39:27 +03002658 /* check for embedded null bytes */
2659 if (PyBytes_AsStringAndSize(item, &data, NULL) < 0) {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002660 /* NULL terminate before freeing. */
2661 array[i] = NULL;
2662 goto fail;
2663 }
Victor Stinner0e2d3cf2013-07-07 17:22:41 +02002664 size = PyBytes_GET_SIZE(item) + 1;
2665 array[i] = PyMem_Malloc(size);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002666 if (!array[i]) {
2667 PyErr_NoMemory();
2668 goto fail;
2669 }
Victor Stinner0e2d3cf2013-07-07 17:22:41 +02002670 memcpy(array[i], data, size);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002671 Py_DECREF(item);
2672 }
2673 array[argc] = NULL;
Gregory P. Smithfb94c5f2010-03-14 06:49:55 +00002674
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002675 return array;
Gregory P. Smithfb94c5f2010-03-14 06:49:55 +00002676
2677fail:
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002678 Py_XDECREF(item);
2679 _Py_FreeCharPArray(array);
2680 return NULL;
Gregory P. Smithfb94c5f2010-03-14 06:49:55 +00002681}
2682
2683
2684/* Free's a NULL terminated char** array of C strings. */
2685void
2686_Py_FreeCharPArray(char *const array[])
2687{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002688 Py_ssize_t i;
2689 for (i = 0; array[i] != NULL; ++i) {
Victor Stinner0e2d3cf2013-07-07 17:22:41 +02002690 PyMem_Free(array[i]);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002691 }
Victor Stinner0e2d3cf2013-07-07 17:22:41 +02002692 PyMem_Free((void*)array);
Gregory P. Smithfb94c5f2010-03-14 06:49:55 +00002693}