blob: 192ade115789b5497fb456c7d6a5b7f111aeee5d [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"
Eric Snow2ebc5ce2017-09-07 23:51:28 -06004#include "internal/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;
Guido van Rossume15dee51995-07-18 14:12:02 +0000146
Victor Stinner71aea8e2016-08-19 16:59:55 +0200147 if (o == NULL || key == NULL) {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000148 return null_error();
Victor Stinner71aea8e2016-08-19 16:59:55 +0200149 }
Guido van Rossume15dee51995-07-18 14:12:02 +0000150
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000151 m = o->ob_type->tp_as_mapping;
Victor Stinnere20310f2015-11-05 13:56:58 +0100152 if (m && m->mp_subscript) {
153 PyObject *item = m->mp_subscript(o, key);
154 assert((item != NULL) ^ (PyErr_Occurred() != NULL));
155 return item;
156 }
Guido van Rossume15dee51995-07-18 14:12:02 +0000157
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000158 if (o->ob_type->tp_as_sequence) {
159 if (PyIndex_Check(key)) {
160 Py_ssize_t key_value;
161 key_value = PyNumber_AsSsize_t(key, PyExc_IndexError);
162 if (key_value == -1 && PyErr_Occurred())
163 return NULL;
164 return PySequence_GetItem(o, key_value);
165 }
166 else if (o->ob_type->tp_as_sequence->sq_item)
167 return type_error("sequence index must "
168 "be integer, not '%.200s'", key);
169 }
Guido van Rossumcea1c8c1998-05-22 00:47:05 +0000170
Ivan Levkivskyi2b5fd1e2017-12-14 23:32:56 +0100171 if (PyType_Check(o)) {
Serhiy Storchakace5b0e92018-01-05 00:21:41 +0200172 PyObject *meth, *result, *stack[1] = {key};
Ivan Levkivskyi2b5fd1e2017-12-14 23:32:56 +0100173 _Py_IDENTIFIER(__class_getitem__);
Serhiy Storchakaf320be72018-01-25 10:49:40 +0200174 if (_PyObject_LookupAttrId(o, &PyId___class_getitem__, &meth) < 0) {
175 return NULL;
176 }
Ivan Levkivskyi2b5fd1e2017-12-14 23:32:56 +0100177 if (meth) {
Serhiy Storchakace5b0e92018-01-05 00:21:41 +0200178 result = _PyObject_FastCall(meth, stack, 1);
Ivan Levkivskyi2b5fd1e2017-12-14 23:32:56 +0100179 Py_DECREF(meth);
180 return result;
181 }
Ivan Levkivskyi2b5fd1e2017-12-14 23:32:56 +0100182 }
183
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000184 return type_error("'%.200s' object is not subscriptable", o);
Guido van Rossume15dee51995-07-18 14:12:02 +0000185}
186
187int
Fred Drake79912472000-07-09 04:06:11 +0000188PyObject_SetItem(PyObject *o, PyObject *key, PyObject *value)
Guido van Rossume15dee51995-07-18 14:12:02 +0000189{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000190 PyMappingMethods *m;
Guido van Rossume15dee51995-07-18 14:12:02 +0000191
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000192 if (o == NULL || key == NULL || value == NULL) {
193 null_error();
194 return -1;
195 }
196 m = o->ob_type->tp_as_mapping;
197 if (m && m->mp_ass_subscript)
198 return m->mp_ass_subscript(o, key, value);
Guido van Rossume15dee51995-07-18 14:12:02 +0000199
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000200 if (o->ob_type->tp_as_sequence) {
201 if (PyIndex_Check(key)) {
202 Py_ssize_t key_value;
203 key_value = PyNumber_AsSsize_t(key, PyExc_IndexError);
204 if (key_value == -1 && PyErr_Occurred())
205 return -1;
206 return PySequence_SetItem(o, key_value, value);
207 }
208 else if (o->ob_type->tp_as_sequence->sq_ass_item) {
209 type_error("sequence index must be "
210 "integer, not '%.200s'", key);
211 return -1;
212 }
213 }
Guido van Rossumcea1c8c1998-05-22 00:47:05 +0000214
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000215 type_error("'%.200s' object does not support item assignment", o);
216 return -1;
Guido van Rossume15dee51995-07-18 14:12:02 +0000217}
218
Guido van Rossum6cdc6f41996-08-21 17:41:54 +0000219int
Fred Drake79912472000-07-09 04:06:11 +0000220PyObject_DelItem(PyObject *o, PyObject *key)
Guido van Rossum6cdc6f41996-08-21 17:41:54 +0000221{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000222 PyMappingMethods *m;
Guido van Rossum6cdc6f41996-08-21 17:41:54 +0000223
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000224 if (o == NULL || key == NULL) {
225 null_error();
226 return -1;
227 }
228 m = o->ob_type->tp_as_mapping;
229 if (m && m->mp_ass_subscript)
230 return m->mp_ass_subscript(o, key, (PyObject*)NULL);
Guido van Rossum6cdc6f41996-08-21 17:41:54 +0000231
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000232 if (o->ob_type->tp_as_sequence) {
233 if (PyIndex_Check(key)) {
234 Py_ssize_t key_value;
235 key_value = PyNumber_AsSsize_t(key, PyExc_IndexError);
236 if (key_value == -1 && PyErr_Occurred())
237 return -1;
238 return PySequence_DelItem(o, key_value);
239 }
240 else if (o->ob_type->tp_as_sequence->sq_ass_item) {
241 type_error("sequence index must be "
242 "integer, not '%.200s'", key);
243 return -1;
244 }
245 }
Guido van Rossumcea1c8c1998-05-22 00:47:05 +0000246
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000247 type_error("'%.200s' object does not support item deletion", o);
248 return -1;
Guido van Rossum6cdc6f41996-08-21 17:41:54 +0000249}
250
Martin v. Löwisb0d71d02002-01-05 10:50:30 +0000251int
Serhiy Storchakac6792272013-10-19 21:03:34 +0300252PyObject_DelItemString(PyObject *o, const char *key)
Martin v. Löwisb0d71d02002-01-05 10:50:30 +0000253{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000254 PyObject *okey;
255 int ret;
Martin v. Löwisb0d71d02002-01-05 10:50:30 +0000256
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000257 if (o == NULL || key == NULL) {
258 null_error();
259 return -1;
260 }
261 okey = PyUnicode_FromString(key);
262 if (okey == NULL)
263 return -1;
264 ret = PyObject_DelItem(o, okey);
265 Py_DECREF(okey);
266 return ret;
Martin v. Löwisb0d71d02002-01-05 10:50:30 +0000267}
268
Travis E. Oliphantb99f7622007-08-18 11:21:56 +0000269/* We release the buffer right after use of this function which could
Guido van Rossum98297ee2007-11-06 21:34:58 +0000270 cause issues later on. Don't use these functions in new code.
Travis E. Oliphantb99f7622007-08-18 11:21:56 +0000271 */
Thomas Wouters73e5a5b2006-06-08 15:35:45 +0000272int
Jeremy Hylton89c3a222001-11-09 21:59:42 +0000273PyObject_CheckReadBuffer(PyObject *obj)
274{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000275 PyBufferProcs *pb = obj->ob_type->tp_as_buffer;
276 Py_buffer view;
Jeremy Hylton89c3a222001-11-09 21:59:42 +0000277
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000278 if (pb == NULL ||
279 pb->bf_getbuffer == NULL)
280 return 0;
281 if ((*pb->bf_getbuffer)(obj, &view, PyBUF_SIMPLE) == -1) {
282 PyErr_Clear();
283 return 0;
284 }
285 PyBuffer_Release(&view);
286 return 1;
Guido van Rossum4c08d552000-03-10 22:55:18 +0000287}
288
Serhiy Storchaka460bd0d2016-11-20 12:16:46 +0200289static int
290as_read_buffer(PyObject *obj, const void **buffer, Py_ssize_t *buffer_len)
Guido van Rossum4c08d552000-03-10 22:55:18 +0000291{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000292 Py_buffer view;
Guido van Rossum4c08d552000-03-10 22:55:18 +0000293
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000294 if (obj == NULL || buffer == NULL || buffer_len == NULL) {
295 null_error();
296 return -1;
297 }
Serhiy Storchaka4fdb6842015-02-03 01:21:08 +0200298 if (PyObject_GetBuffer(obj, &view, PyBUF_SIMPLE) != 0)
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000299 return -1;
Travis E. Oliphantb99f7622007-08-18 11:21:56 +0000300
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000301 *buffer = view.buf;
302 *buffer_len = view.len;
Serhiy Storchaka4fdb6842015-02-03 01:21:08 +0200303 PyBuffer_Release(&view);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000304 return 0;
Guido van Rossum4c08d552000-03-10 22:55:18 +0000305}
306
Serhiy Storchaka460bd0d2016-11-20 12:16:46 +0200307int
308PyObject_AsCharBuffer(PyObject *obj,
309 const char **buffer,
310 Py_ssize_t *buffer_len)
311{
312 return as_read_buffer(obj, (const void **)buffer, buffer_len);
313}
314
315int PyObject_AsReadBuffer(PyObject *obj,
316 const void **buffer,
317 Py_ssize_t *buffer_len)
318{
319 return as_read_buffer(obj, buffer, buffer_len);
320}
321
Guido van Rossum4c08d552000-03-10 22:55:18 +0000322int PyObject_AsWriteBuffer(PyObject *obj,
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000323 void **buffer,
324 Py_ssize_t *buffer_len)
Guido van Rossum4c08d552000-03-10 22:55:18 +0000325{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000326 PyBufferProcs *pb;
327 Py_buffer view;
Guido van Rossum4c08d552000-03-10 22:55:18 +0000328
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000329 if (obj == NULL || buffer == NULL || buffer_len == NULL) {
330 null_error();
331 return -1;
332 }
333 pb = obj->ob_type->tp_as_buffer;
334 if (pb == NULL ||
335 pb->bf_getbuffer == NULL ||
336 ((*pb->bf_getbuffer)(obj, &view, PyBUF_WRITABLE) != 0)) {
337 PyErr_SetString(PyExc_TypeError,
R David Murray861470c2014-10-05 11:47:01 -0400338 "expected a writable bytes-like object");
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000339 return -1;
340 }
Travis E. Oliphantb99f7622007-08-18 11:21:56 +0000341
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000342 *buffer = view.buf;
343 *buffer_len = view.len;
Serhiy Storchaka4fdb6842015-02-03 01:21:08 +0200344 PyBuffer_Release(&view);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000345 return 0;
Guido van Rossum4c08d552000-03-10 22:55:18 +0000346}
347
Travis E. Oliphantb99f7622007-08-18 11:21:56 +0000348/* Buffer C-API for Python 3.0 */
349
350int
Travis E. Oliphant8ae62b62007-09-23 02:00:13 +0000351PyObject_GetBuffer(PyObject *obj, Py_buffer *view, int flags)
Travis E. Oliphantb99f7622007-08-18 11:21:56 +0000352{
Serhiy Storchaka4fdb6842015-02-03 01:21:08 +0200353 PyBufferProcs *pb = obj->ob_type->tp_as_buffer;
354
355 if (pb == NULL || pb->bf_getbuffer == NULL) {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000356 PyErr_Format(PyExc_TypeError,
R David Murray861470c2014-10-05 11:47:01 -0400357 "a bytes-like object is required, not '%.100s'",
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000358 Py_TYPE(obj)->tp_name);
359 return -1;
360 }
Serhiy Storchaka4fdb6842015-02-03 01:21:08 +0200361 return (*pb->bf_getbuffer)(obj, view, flags);
Travis E. Oliphantb99f7622007-08-18 11:21:56 +0000362}
363
Travis E. Oliphantb99f7622007-08-18 11:21:56 +0000364static int
Stefan Krah9a2d99e2012-02-25 12:24:21 +0100365_IsFortranContiguous(const Py_buffer *view)
Travis E. Oliphantb99f7622007-08-18 11:21:56 +0000366{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000367 Py_ssize_t sd, dim;
368 int i;
Guido van Rossum98297ee2007-11-06 21:34:58 +0000369
Stefan Krah363af442015-02-01 14:53:54 +0100370 /* 1) len = product(shape) * itemsize
371 2) itemsize > 0
372 3) len = 0 <==> exists i: shape[i] = 0 */
373 if (view->len == 0) return 1;
374 if (view->strides == NULL) { /* C-contiguous by definition */
375 /* Trivially F-contiguous */
376 if (view->ndim <= 1) return 1;
377
378 /* ndim > 1 implies shape != NULL */
379 assert(view->shape != NULL);
380
381 /* Effectively 1-d */
382 sd = 0;
383 for (i=0; i<view->ndim; i++) {
384 if (view->shape[i] > 1) sd += 1;
385 }
386 return sd <= 1;
387 }
388
389 /* strides != NULL implies both of these */
390 assert(view->ndim > 0);
391 assert(view->shape != NULL);
Travis E. Oliphantb99f7622007-08-18 11:21:56 +0000392
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000393 sd = view->itemsize;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000394 for (i=0; i<view->ndim; i++) {
395 dim = view->shape[i];
Stefan Krah363af442015-02-01 14:53:54 +0100396 if (dim > 1 && view->strides[i] != sd) {
397 return 0;
398 }
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000399 sd *= dim;
400 }
401 return 1;
Travis E. Oliphantb99f7622007-08-18 11:21:56 +0000402}
403
404static int
Stefan Krah9a2d99e2012-02-25 12:24:21 +0100405_IsCContiguous(const Py_buffer *view)
Travis E. Oliphantb99f7622007-08-18 11:21:56 +0000406{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000407 Py_ssize_t sd, dim;
408 int i;
Guido van Rossum98297ee2007-11-06 21:34:58 +0000409
Stefan Krah363af442015-02-01 14:53:54 +0100410 /* 1) len = product(shape) * itemsize
411 2) itemsize > 0
412 3) len = 0 <==> exists i: shape[i] = 0 */
413 if (view->len == 0) return 1;
414 if (view->strides == NULL) return 1; /* C-contiguous by definition */
415
416 /* strides != NULL implies both of these */
417 assert(view->ndim > 0);
418 assert(view->shape != NULL);
Travis E. Oliphantb99f7622007-08-18 11:21:56 +0000419
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000420 sd = view->itemsize;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000421 for (i=view->ndim-1; i>=0; i--) {
422 dim = view->shape[i];
Stefan Krah363af442015-02-01 14:53:54 +0100423 if (dim > 1 && view->strides[i] != sd) {
424 return 0;
425 }
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000426 sd *= dim;
427 }
428 return 1;
Travis E. Oliphantb99f7622007-08-18 11:21:56 +0000429}
430
431int
Stefan Krah9a2d99e2012-02-25 12:24:21 +0100432PyBuffer_IsContiguous(const Py_buffer *view, char order)
Travis E. Oliphantb99f7622007-08-18 11:21:56 +0000433{
434
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000435 if (view->suboffsets != NULL) return 0;
Travis E. Oliphantb99f7622007-08-18 11:21:56 +0000436
Stefan Krah9a2d99e2012-02-25 12:24:21 +0100437 if (order == 'C')
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000438 return _IsCContiguous(view);
Stefan Krah9a2d99e2012-02-25 12:24:21 +0100439 else if (order == 'F')
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000440 return _IsFortranContiguous(view);
Stefan Krah9a2d99e2012-02-25 12:24:21 +0100441 else if (order == 'A')
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000442 return (_IsCContiguous(view) || _IsFortranContiguous(view));
443 return 0;
Travis E. Oliphantb99f7622007-08-18 11:21:56 +0000444}
445
446
Guido van Rossum98297ee2007-11-06 21:34:58 +0000447void*
Travis E. Oliphant8ae62b62007-09-23 02:00:13 +0000448PyBuffer_GetPointer(Py_buffer *view, Py_ssize_t *indices)
Travis E. Oliphantb99f7622007-08-18 11:21:56 +0000449{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000450 char* pointer;
451 int i;
452 pointer = (char *)view->buf;
453 for (i = 0; i < view->ndim; i++) {
454 pointer += view->strides[i]*indices[i];
455 if ((view->suboffsets != NULL) && (view->suboffsets[i] >= 0)) {
456 pointer = *((char**)pointer) + view->suboffsets[i];
457 }
458 }
459 return (void*)pointer;
Travis E. Oliphantb99f7622007-08-18 11:21:56 +0000460}
461
462
Guido van Rossum98297ee2007-11-06 21:34:58 +0000463void
Antoine Pitrouf68c2a72010-09-01 12:58:21 +0000464_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 +0000465{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000466 int k;
Guido van Rossum98297ee2007-11-06 21:34:58 +0000467
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000468 for (k=0; k<nd; k++) {
469 if (index[k] < shape[k]-1) {
470 index[k]++;
471 break;
472 }
473 else {
474 index[k] = 0;
475 }
476 }
Travis E. Oliphantb99f7622007-08-18 11:21:56 +0000477}
478
Guido van Rossum98297ee2007-11-06 21:34:58 +0000479void
Antoine Pitrouf68c2a72010-09-01 12:58:21 +0000480_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 +0000481{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000482 int k;
Travis E. Oliphantb99f7622007-08-18 11:21:56 +0000483
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000484 for (k=nd-1; k>=0; k--) {
485 if (index[k] < shape[k]-1) {
486 index[k]++;
487 break;
488 }
489 else {
490 index[k] = 0;
491 }
492 }
Travis E. Oliphantb99f7622007-08-18 11:21:56 +0000493}
494
Travis E. Oliphantb99f7622007-08-18 11:21:56 +0000495int
Travis E. Oliphant8ae62b62007-09-23 02:00:13 +0000496PyBuffer_FromContiguous(Py_buffer *view, void *buf, Py_ssize_t len, char fort)
Travis E. Oliphantb99f7622007-08-18 11:21:56 +0000497{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000498 int k;
Antoine Pitrouf68c2a72010-09-01 12:58:21 +0000499 void (*addone)(int, Py_ssize_t *, const Py_ssize_t *);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000500 Py_ssize_t *indices, elements;
501 char *src, *ptr;
Travis E. Oliphantb99f7622007-08-18 11:21:56 +0000502
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000503 if (len > view->len) {
504 len = view->len;
505 }
Travis E. Oliphantb99f7622007-08-18 11:21:56 +0000506
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000507 if (PyBuffer_IsContiguous(view, fort)) {
508 /* simplest copy is all that is needed */
509 memcpy(view->buf, buf, len);
510 return 0;
511 }
Travis E. Oliphantb99f7622007-08-18 11:21:56 +0000512
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000513 /* Otherwise a more elaborate scheme is needed */
Guido van Rossum98297ee2007-11-06 21:34:58 +0000514
Stefan Krah7213fcc2015-02-01 16:19:23 +0100515 /* view->ndim <= 64 */
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000516 indices = (Py_ssize_t *)PyMem_Malloc(sizeof(Py_ssize_t)*(view->ndim));
517 if (indices == NULL) {
518 PyErr_NoMemory();
519 return -1;
520 }
521 for (k=0; k<view->ndim;k++) {
522 indices[k] = 0;
523 }
Guido van Rossum98297ee2007-11-06 21:34:58 +0000524
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000525 if (fort == 'F') {
Antoine Pitrouf68c2a72010-09-01 12:58:21 +0000526 addone = _Py_add_one_to_index_F;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000527 }
528 else {
Antoine Pitrouf68c2a72010-09-01 12:58:21 +0000529 addone = _Py_add_one_to_index_C;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000530 }
531 src = buf;
532 /* XXX : This is not going to be the fastest code in the world
533 several optimizations are possible.
534 */
535 elements = len / view->itemsize;
536 while (elements--) {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000537 ptr = PyBuffer_GetPointer(view, indices);
538 memcpy(ptr, src, view->itemsize);
539 src += view->itemsize;
Stefan Krah7213fcc2015-02-01 16:19:23 +0100540 addone(view->ndim, indices, view->shape);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000541 }
Guido van Rossum98297ee2007-11-06 21:34:58 +0000542
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000543 PyMem_Free(indices);
544 return 0;
Travis E. Oliphantb99f7622007-08-18 11:21:56 +0000545}
546
Guido van Rossum98297ee2007-11-06 21:34:58 +0000547int PyObject_CopyData(PyObject *dest, PyObject *src)
Travis E. Oliphantb99f7622007-08-18 11:21:56 +0000548{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000549 Py_buffer view_dest, view_src;
550 int k;
551 Py_ssize_t *indices, elements;
552 char *dptr, *sptr;
Travis E. Oliphantb99f7622007-08-18 11:21:56 +0000553
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000554 if (!PyObject_CheckBuffer(dest) ||
555 !PyObject_CheckBuffer(src)) {
556 PyErr_SetString(PyExc_TypeError,
R David Murray861470c2014-10-05 11:47:01 -0400557 "both destination and source must be "\
558 "bytes-like objects");
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000559 return -1;
560 }
Travis E. Oliphantb99f7622007-08-18 11:21:56 +0000561
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000562 if (PyObject_GetBuffer(dest, &view_dest, PyBUF_FULL) != 0) return -1;
563 if (PyObject_GetBuffer(src, &view_src, PyBUF_FULL_RO) != 0) {
564 PyBuffer_Release(&view_dest);
565 return -1;
566 }
Travis E. Oliphantb99f7622007-08-18 11:21:56 +0000567
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000568 if (view_dest.len < view_src.len) {
569 PyErr_SetString(PyExc_BufferError,
570 "destination is too small to receive data from source");
571 PyBuffer_Release(&view_dest);
572 PyBuffer_Release(&view_src);
573 return -1;
574 }
Travis E. Oliphantb99f7622007-08-18 11:21:56 +0000575
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000576 if ((PyBuffer_IsContiguous(&view_dest, 'C') &&
577 PyBuffer_IsContiguous(&view_src, 'C')) ||
578 (PyBuffer_IsContiguous(&view_dest, 'F') &&
579 PyBuffer_IsContiguous(&view_src, 'F'))) {
580 /* simplest copy is all that is needed */
581 memcpy(view_dest.buf, view_src.buf, view_src.len);
582 PyBuffer_Release(&view_dest);
583 PyBuffer_Release(&view_src);
584 return 0;
585 }
Travis E. Oliphantb99f7622007-08-18 11:21:56 +0000586
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000587 /* Otherwise a more elaborate copy scheme is needed */
Guido van Rossum98297ee2007-11-06 21:34:58 +0000588
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000589 /* XXX(nnorwitz): need to check for overflow! */
590 indices = (Py_ssize_t *)PyMem_Malloc(sizeof(Py_ssize_t)*view_src.ndim);
591 if (indices == NULL) {
592 PyErr_NoMemory();
593 PyBuffer_Release(&view_dest);
594 PyBuffer_Release(&view_src);
595 return -1;
596 }
597 for (k=0; k<view_src.ndim;k++) {
598 indices[k] = 0;
599 }
600 elements = 1;
601 for (k=0; k<view_src.ndim; k++) {
602 /* XXX(nnorwitz): can this overflow? */
603 elements *= view_src.shape[k];
604 }
605 while (elements--) {
Antoine Pitrouf68c2a72010-09-01 12:58:21 +0000606 _Py_add_one_to_index_C(view_src.ndim, indices, view_src.shape);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000607 dptr = PyBuffer_GetPointer(&view_dest, indices);
608 sptr = PyBuffer_GetPointer(&view_src, indices);
609 memcpy(dptr, sptr, view_src.itemsize);
610 }
611 PyMem_Free(indices);
612 PyBuffer_Release(&view_dest);
613 PyBuffer_Release(&view_src);
614 return 0;
Travis E. Oliphantb99f7622007-08-18 11:21:56 +0000615}
616
617void
618PyBuffer_FillContiguousStrides(int nd, Py_ssize_t *shape,
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000619 Py_ssize_t *strides, int itemsize,
620 char fort)
Travis E. Oliphantb99f7622007-08-18 11:21:56 +0000621{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000622 int k;
623 Py_ssize_t sd;
Guido van Rossum98297ee2007-11-06 21:34:58 +0000624
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000625 sd = itemsize;
626 if (fort == 'F') {
627 for (k=0; k<nd; k++) {
628 strides[k] = sd;
629 sd *= shape[k];
630 }
631 }
632 else {
633 for (k=nd-1; k>=0; k--) {
634 strides[k] = sd;
635 sd *= shape[k];
636 }
637 }
638 return;
Travis E. Oliphantb99f7622007-08-18 11:21:56 +0000639}
640
641int
Martin v. Löwis423be952008-08-13 15:53:07 +0000642PyBuffer_FillInfo(Py_buffer *view, PyObject *obj, void *buf, Py_ssize_t len,
Stefan Krah4e141742012-03-06 15:27:31 +0100643 int readonly, int flags)
Guido van Rossum98297ee2007-11-06 21:34:58 +0000644{
Stefan Krah5178d912015-02-03 16:57:21 +0100645 if (view == NULL) {
646 PyErr_SetString(PyExc_BufferError,
647 "PyBuffer_FillInfo: view==NULL argument is obsolete");
648 return -1;
649 }
650
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000651 if (((flags & PyBUF_WRITABLE) == PyBUF_WRITABLE) &&
652 (readonly == 1)) {
653 PyErr_SetString(PyExc_BufferError,
654 "Object is not writable.");
655 return -1;
656 }
Guido van Rossum98297ee2007-11-06 21:34:58 +0000657
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000658 view->obj = obj;
659 if (obj)
660 Py_INCREF(obj);
661 view->buf = buf;
662 view->len = len;
663 view->readonly = readonly;
664 view->itemsize = 1;
665 view->format = NULL;
666 if ((flags & PyBUF_FORMAT) == PyBUF_FORMAT)
667 view->format = "B";
668 view->ndim = 1;
669 view->shape = NULL;
670 if ((flags & PyBUF_ND) == PyBUF_ND)
671 view->shape = &(view->len);
672 view->strides = NULL;
673 if ((flags & PyBUF_STRIDES) == PyBUF_STRIDES)
674 view->strides = &(view->itemsize);
675 view->suboffsets = NULL;
676 view->internal = NULL;
677 return 0;
Travis E. Oliphantb99f7622007-08-18 11:21:56 +0000678}
679
Martin v. Löwis423be952008-08-13 15:53:07 +0000680void
681PyBuffer_Release(Py_buffer *view)
682{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000683 PyObject *obj = view->obj;
Serhiy Storchaka4fdb6842015-02-03 01:21:08 +0200684 PyBufferProcs *pb;
685 if (obj == NULL)
686 return;
687 pb = Py_TYPE(obj)->tp_as_buffer;
688 if (pb && pb->bf_releasebuffer)
689 pb->bf_releasebuffer(obj, view);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000690 view->obj = NULL;
Serhiy Storchaka4fdb6842015-02-03 01:21:08 +0200691 Py_DECREF(obj);
Martin v. Löwis423be952008-08-13 15:53:07 +0000692}
693
Eric Smith8fd3eba2008-02-17 19:48:00 +0000694PyObject *
695PyObject_Format(PyObject *obj, PyObject *format_spec)
696{
Eric Smith8fd3eba2008-02-17 19:48:00 +0000697 PyObject *meth;
698 PyObject *empty = NULL;
699 PyObject *result = NULL;
Benjamin Petersonce798522012-01-22 11:24:29 -0500700 _Py_IDENTIFIER(__format__);
Eric Smith8fd3eba2008-02-17 19:48:00 +0000701
Serhiy Storchakaea525a22016-09-06 22:07:53 +0300702 if (format_spec != NULL && !PyUnicode_Check(format_spec)) {
703 PyErr_Format(PyExc_SystemError,
704 "Format specifier must be a string, not %.200s",
705 Py_TYPE(format_spec)->tp_name);
706 return NULL;
707 }
708
709 /* Fast path for common types. */
710 if (format_spec == NULL || PyUnicode_GET_LENGTH(format_spec) == 0) {
711 if (PyUnicode_CheckExact(obj)) {
712 Py_INCREF(obj);
713 return obj;
714 }
715 if (PyLong_CheckExact(obj)) {
716 return PyObject_Str(obj);
717 }
718 }
719
Eric Smith8fd3eba2008-02-17 19:48:00 +0000720 /* If no format_spec is provided, use an empty string */
721 if (format_spec == NULL) {
Victor Stinner9d3b93b2011-11-22 02:27:30 +0100722 empty = PyUnicode_New(0, 0);
Benjamin Petersonda2cf042010-06-05 00:45:37 +0000723 format_spec = empty;
Eric Smith8fd3eba2008-02-17 19:48:00 +0000724 }
725
Serhiy Storchakaea525a22016-09-06 22:07:53 +0300726 /* Find the (unbound!) __format__ method */
Benjamin Petersonce798522012-01-22 11:24:29 -0500727 meth = _PyObject_LookupSpecial(obj, &PyId___format__);
Eric Smith8fd3eba2008-02-17 19:48:00 +0000728 if (meth == NULL) {
Benjamin Petersonda2cf042010-06-05 00:45:37 +0000729 if (!PyErr_Occurred())
730 PyErr_Format(PyExc_TypeError,
731 "Type %.100s doesn't define __format__",
732 Py_TYPE(obj)->tp_name);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000733 goto done;
Eric Smith8fd3eba2008-02-17 19:48:00 +0000734 }
735
Benjamin Petersonda2cf042010-06-05 00:45:37 +0000736 /* And call it. */
Victor Stinnerde4ae3d2016-12-04 22:59:09 +0100737 result = PyObject_CallFunctionObjArgs(meth, format_spec, NULL);
Benjamin Peterson6f889ad32010-06-05 02:11:45 +0000738 Py_DECREF(meth);
Eric Smith8fd3eba2008-02-17 19:48:00 +0000739
740 if (result && !PyUnicode_Check(result)) {
Ethan Furmanb95b5612015-01-23 20:05:18 -0800741 PyErr_Format(PyExc_TypeError,
742 "__format__ must return a str, not %.200s",
743 Py_TYPE(result)->tp_name);
Benjamin Petersonda2cf042010-06-05 00:45:37 +0000744 Py_DECREF(result);
745 result = NULL;
746 goto done;
Eric Smith8fd3eba2008-02-17 19:48:00 +0000747 }
748
749done:
750 Py_XDECREF(empty);
751 return result;
752}
Guido van Rossumcea1c8c1998-05-22 00:47:05 +0000753/* Operations on numbers */
754
755int
Fred Drake79912472000-07-09 04:06:11 +0000756PyNumber_Check(PyObject *o)
Guido van Rossume15dee51995-07-18 14:12:02 +0000757{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000758 return o && o->ob_type->tp_as_number &&
759 (o->ob_type->tp_as_number->nb_int ||
760 o->ob_type->tp_as_number->nb_float);
Guido van Rossume15dee51995-07-18 14:12:02 +0000761}
762
Guido van Rossumcea1c8c1998-05-22 00:47:05 +0000763/* Binary operators */
Guido van Rossume15dee51995-07-18 14:12:02 +0000764
Neil Schemenauer5a1f0152001-01-04 01:39:06 +0000765#define NB_SLOT(x) offsetof(PyNumberMethods, x)
766#define NB_BINOP(nb_methods, slot) \
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000767 (*(binaryfunc*)(& ((char*)nb_methods)[slot]))
Neil Schemenauer5a1f0152001-01-04 01:39:06 +0000768#define NB_TERNOP(nb_methods, slot) \
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000769 (*(ternaryfunc*)(& ((char*)nb_methods)[slot]))
Neil Schemenauer5a1f0152001-01-04 01:39:06 +0000770
771/*
772 Calling scheme used for binary operations:
773
Neal Norwitz4886cc32006-08-21 17:06:07 +0000774 Order operations are tried until either a valid result or error:
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000775 w.op(v,w)[*], v.op(v,w), w.op(v,w)
Neil Schemenauer5a1f0152001-01-04 01:39:06 +0000776
Guido van Rossum4bb1e362001-09-28 23:49:48 +0000777 [*] only when v->ob_type != w->ob_type && w->ob_type is a subclass of
778 v->ob_type
Neil Schemenauer5a1f0152001-01-04 01:39:06 +0000779 */
780
781static PyObject *
782binary_op1(PyObject *v, PyObject *w, const int op_slot)
Guido van Rossume15dee51995-07-18 14:12:02 +0000783{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000784 PyObject *x;
785 binaryfunc slotv = NULL;
786 binaryfunc slotw = NULL;
Guido van Rossum4bb1e362001-09-28 23:49:48 +0000787
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000788 if (v->ob_type->tp_as_number != NULL)
789 slotv = NB_BINOP(v->ob_type->tp_as_number, op_slot);
790 if (w->ob_type != v->ob_type &&
791 w->ob_type->tp_as_number != NULL) {
792 slotw = NB_BINOP(w->ob_type->tp_as_number, op_slot);
793 if (slotw == slotv)
794 slotw = NULL;
795 }
796 if (slotv) {
797 if (slotw && PyType_IsSubtype(w->ob_type, v->ob_type)) {
798 x = slotw(v, w);
799 if (x != Py_NotImplemented)
800 return x;
801 Py_DECREF(x); /* can't do it */
802 slotw = NULL;
803 }
804 x = slotv(v, w);
805 if (x != Py_NotImplemented)
806 return x;
807 Py_DECREF(x); /* can't do it */
808 }
809 if (slotw) {
810 x = slotw(v, w);
811 if (x != Py_NotImplemented)
812 return x;
813 Py_DECREF(x); /* can't do it */
814 }
Brian Curtindfc80e32011-08-10 20:28:54 -0500815 Py_RETURN_NOTIMPLEMENTED;
Neil Schemenauer5a1f0152001-01-04 01:39:06 +0000816}
Guido van Rossum77660912002-04-16 16:32:50 +0000817
Neil Schemenauer5a1f0152001-01-04 01:39:06 +0000818static PyObject *
Neil Schemenauerd4b0fea2002-12-30 20:18:15 +0000819binop_type_error(PyObject *v, PyObject *w, const char *op_name)
820{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000821 PyErr_Format(PyExc_TypeError,
822 "unsupported operand type(s) for %.100s: "
823 "'%.100s' and '%.100s'",
824 op_name,
825 v->ob_type->tp_name,
826 w->ob_type->tp_name);
827 return NULL;
Neil Schemenauerd4b0fea2002-12-30 20:18:15 +0000828}
829
830static PyObject *
Neil Schemenauer5a1f0152001-01-04 01:39:06 +0000831binary_op(PyObject *v, PyObject *w, const int op_slot, const char *op_name)
832{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000833 PyObject *result = binary_op1(v, w, op_slot);
834 if (result == Py_NotImplemented) {
835 Py_DECREF(result);
Sanyam Khurana5e2eb352017-08-18 16:07:36 +0530836
837 if (op_slot == NB_SLOT(nb_rshift) &&
838 PyCFunction_Check(v) &&
839 strcmp(((PyCFunctionObject *)v)->m_ml->ml_name, "print") == 0)
840 {
841 PyErr_Format(PyExc_TypeError,
842 "unsupported operand type(s) for %.100s: "
843 "'%.100s' and '%.100s'. Did you mean \"print(<message>, "
Sanyam Khuranaa7c449b2017-08-18 17:48:14 +0530844 "file=<output_stream>)\"?",
Sanyam Khurana5e2eb352017-08-18 16:07:36 +0530845 op_name,
846 v->ob_type->tp_name,
847 w->ob_type->tp_name);
848 return NULL;
849 }
850
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000851 return binop_type_error(v, w, op_name);
852 }
853 return result;
Guido van Rossume15dee51995-07-18 14:12:02 +0000854}
855
Neil Schemenauer5a1f0152001-01-04 01:39:06 +0000856
857/*
858 Calling scheme used for ternary operations:
859
Neal Norwitz4886cc32006-08-21 17:06:07 +0000860 Order operations are tried until either a valid result or error:
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000861 v.op(v,w,z), w.op(v,w,z), z.op(v,w,z)
Neil Schemenauer5a1f0152001-01-04 01:39:06 +0000862 */
863
864static PyObject *
865ternary_op(PyObject *v,
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000866 PyObject *w,
867 PyObject *z,
868 const int op_slot,
869 const char *op_name)
Guido van Rossume15dee51995-07-18 14:12:02 +0000870{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000871 PyNumberMethods *mv, *mw, *mz;
872 PyObject *x = NULL;
873 ternaryfunc slotv = NULL;
874 ternaryfunc slotw = NULL;
875 ternaryfunc slotz = NULL;
Guido van Rossum77660912002-04-16 16:32:50 +0000876
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000877 mv = v->ob_type->tp_as_number;
878 mw = w->ob_type->tp_as_number;
879 if (mv != NULL)
880 slotv = NB_TERNOP(mv, op_slot);
881 if (w->ob_type != v->ob_type &&
882 mw != NULL) {
883 slotw = NB_TERNOP(mw, op_slot);
884 if (slotw == slotv)
885 slotw = NULL;
886 }
887 if (slotv) {
888 if (slotw && PyType_IsSubtype(w->ob_type, v->ob_type)) {
889 x = slotw(v, w, z);
890 if (x != Py_NotImplemented)
891 return x;
892 Py_DECREF(x); /* can't do it */
893 slotw = NULL;
894 }
895 x = slotv(v, w, z);
896 if (x != Py_NotImplemented)
897 return x;
898 Py_DECREF(x); /* can't do it */
899 }
900 if (slotw) {
901 x = slotw(v, w, z);
902 if (x != Py_NotImplemented)
903 return x;
904 Py_DECREF(x); /* can't do it */
905 }
906 mz = z->ob_type->tp_as_number;
907 if (mz != NULL) {
908 slotz = NB_TERNOP(mz, op_slot);
909 if (slotz == slotv || slotz == slotw)
910 slotz = NULL;
911 if (slotz) {
912 x = slotz(v, w, z);
913 if (x != Py_NotImplemented)
914 return x;
915 Py_DECREF(x); /* can't do it */
916 }
917 }
Neil Schemenauer5a1f0152001-01-04 01:39:06 +0000918
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000919 if (z == Py_None)
920 PyErr_Format(
921 PyExc_TypeError,
922 "unsupported operand type(s) for ** or pow(): "
923 "'%.100s' and '%.100s'",
924 v->ob_type->tp_name,
925 w->ob_type->tp_name);
926 else
927 PyErr_Format(
928 PyExc_TypeError,
929 "unsupported operand type(s) for pow(): "
930 "'%.100s', '%.100s', '%.100s'",
931 v->ob_type->tp_name,
932 w->ob_type->tp_name,
933 z->ob_type->tp_name);
934 return NULL;
Guido van Rossume15dee51995-07-18 14:12:02 +0000935}
936
Neil Schemenauer5a1f0152001-01-04 01:39:06 +0000937#define BINARY_FUNC(func, op, op_name) \
938 PyObject * \
939 func(PyObject *v, PyObject *w) { \
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000940 return binary_op(v, w, NB_SLOT(op), op_name); \
Neil Schemenauer5a1f0152001-01-04 01:39:06 +0000941 }
Guido van Rossume15dee51995-07-18 14:12:02 +0000942
Neil Schemenauer5a1f0152001-01-04 01:39:06 +0000943BINARY_FUNC(PyNumber_Or, nb_or, "|")
944BINARY_FUNC(PyNumber_Xor, nb_xor, "^")
945BINARY_FUNC(PyNumber_And, nb_and, "&")
946BINARY_FUNC(PyNumber_Lshift, nb_lshift, "<<")
947BINARY_FUNC(PyNumber_Rshift, nb_rshift, ">>")
948BINARY_FUNC(PyNumber_Subtract, nb_subtract, "-")
Neil Schemenauer5a1f0152001-01-04 01:39:06 +0000949BINARY_FUNC(PyNumber_Divmod, nb_divmod, "divmod()")
Guido van Rossume15dee51995-07-18 14:12:02 +0000950
951PyObject *
Fred Drake79912472000-07-09 04:06:11 +0000952PyNumber_Add(PyObject *v, PyObject *w)
Guido van Rossume15dee51995-07-18 14:12:02 +0000953{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000954 PyObject *result = binary_op1(v, w, NB_SLOT(nb_add));
955 if (result == Py_NotImplemented) {
956 PySequenceMethods *m = v->ob_type->tp_as_sequence;
957 Py_DECREF(result);
958 if (m && m->sq_concat) {
959 return (*m->sq_concat)(v, w);
960 }
961 result = binop_type_error(v, w, "+");
962 }
963 return result;
Guido van Rossume15dee51995-07-18 14:12:02 +0000964}
965
Neil Schemenauerd4b0fea2002-12-30 20:18:15 +0000966static PyObject *
Martin v. Löwis18e16552006-02-15 17:27:45 +0000967sequence_repeat(ssizeargfunc repeatfunc, PyObject *seq, PyObject *n)
Neil Schemenauerd4b0fea2002-12-30 20:18:15 +0000968{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000969 Py_ssize_t count;
970 if (PyIndex_Check(n)) {
971 count = PyNumber_AsSsize_t(n, PyExc_OverflowError);
972 if (count == -1 && PyErr_Occurred())
973 return NULL;
974 }
975 else {
976 return type_error("can't multiply sequence by "
977 "non-int of type '%.200s'", n);
978 }
979 return (*repeatfunc)(seq, count);
Neil Schemenauerd4b0fea2002-12-30 20:18:15 +0000980}
981
982PyObject *
983PyNumber_Multiply(PyObject *v, PyObject *w)
984{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000985 PyObject *result = binary_op1(v, w, NB_SLOT(nb_multiply));
986 if (result == Py_NotImplemented) {
987 PySequenceMethods *mv = v->ob_type->tp_as_sequence;
988 PySequenceMethods *mw = w->ob_type->tp_as_sequence;
989 Py_DECREF(result);
990 if (mv && mv->sq_repeat) {
991 return sequence_repeat(mv->sq_repeat, v, w);
992 }
993 else if (mw && mw->sq_repeat) {
994 return sequence_repeat(mw->sq_repeat, w, v);
995 }
996 result = binop_type_error(v, w, "*");
997 }
998 return result;
Neil Schemenauerd4b0fea2002-12-30 20:18:15 +0000999}
1000
Guido van Rossume15dee51995-07-18 14:12:02 +00001001PyObject *
Benjamin Petersond51374e2014-04-09 23:55:56 -04001002PyNumber_MatrixMultiply(PyObject *v, PyObject *w)
1003{
1004 return binary_op(v, w, NB_SLOT(nb_matrix_multiply), "@");
1005}
1006
1007PyObject *
Guido van Rossum4668b002001-08-08 05:00:18 +00001008PyNumber_FloorDivide(PyObject *v, PyObject *w)
1009{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001010 return binary_op(v, w, NB_SLOT(nb_floor_divide), "//");
Guido van Rossum4668b002001-08-08 05:00:18 +00001011}
1012
1013PyObject *
1014PyNumber_TrueDivide(PyObject *v, PyObject *w)
1015{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001016 return binary_op(v, w, NB_SLOT(nb_true_divide), "/");
Guido van Rossum4668b002001-08-08 05:00:18 +00001017}
1018
1019PyObject *
Fred Drake79912472000-07-09 04:06:11 +00001020PyNumber_Remainder(PyObject *v, PyObject *w)
Guido van Rossume15dee51995-07-18 14:12:02 +00001021{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001022 return binary_op(v, w, NB_SLOT(nb_remainder), "%");
Guido van Rossume15dee51995-07-18 14:12:02 +00001023}
1024
1025PyObject *
Fred Drake79912472000-07-09 04:06:11 +00001026PyNumber_Power(PyObject *v, PyObject *w, PyObject *z)
Guido van Rossume15dee51995-07-18 14:12:02 +00001027{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001028 return ternary_op(v, w, z, NB_SLOT(nb_power), "** or pow()");
Guido van Rossume15dee51995-07-18 14:12:02 +00001029}
1030
Thomas Wouterse289e0b2000-08-24 20:08:19 +00001031/* Binary in-place operators */
1032
1033/* The in-place operators are defined to fall back to the 'normal',
Neil Schemenauer5a1f0152001-01-04 01:39:06 +00001034 non in-place operations, if the in-place methods are not in place.
Thomas Wouterse289e0b2000-08-24 20:08:19 +00001035
Neil Schemenauer5a1f0152001-01-04 01:39:06 +00001036 - If the left hand object has the appropriate struct members, and
1037 they are filled, call the appropriate function and return the
1038 result. No coercion is done on the arguments; the left-hand object
1039 is the one the operation is performed on, and it's up to the
1040 function to deal with the right-hand object.
Guido van Rossum77660912002-04-16 16:32:50 +00001041
Thomas Wouterse289e0b2000-08-24 20:08:19 +00001042 - Otherwise, in-place modification is not supported. Handle it exactly as
Neil Schemenauer5a1f0152001-01-04 01:39:06 +00001043 a non in-place operation of the same kind.
Thomas Wouterse289e0b2000-08-24 20:08:19 +00001044
1045 */
1046
Neil Schemenauer5a1f0152001-01-04 01:39:06 +00001047static PyObject *
Neil Schemenauerd4b0fea2002-12-30 20:18:15 +00001048binary_iop1(PyObject *v, PyObject *w, const int iop_slot, const int op_slot)
Thomas Wouterse289e0b2000-08-24 20:08:19 +00001049{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001050 PyNumberMethods *mv = v->ob_type->tp_as_number;
1051 if (mv != NULL) {
1052 binaryfunc slot = NB_BINOP(mv, iop_slot);
1053 if (slot) {
1054 PyObject *x = (slot)(v, w);
1055 if (x != Py_NotImplemented) {
1056 return x;
1057 }
1058 Py_DECREF(x);
1059 }
1060 }
1061 return binary_op1(v, w, op_slot);
Neil Schemenauerd4b0fea2002-12-30 20:18:15 +00001062}
1063
1064static PyObject *
1065binary_iop(PyObject *v, PyObject *w, const int iop_slot, const int op_slot,
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001066 const char *op_name)
Neil Schemenauerd4b0fea2002-12-30 20:18:15 +00001067{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001068 PyObject *result = binary_iop1(v, w, iop_slot, op_slot);
1069 if (result == Py_NotImplemented) {
1070 Py_DECREF(result);
1071 return binop_type_error(v, w, op_name);
1072 }
1073 return result;
Thomas Wouterse289e0b2000-08-24 20:08:19 +00001074}
1075
Neil Schemenauer5a1f0152001-01-04 01:39:06 +00001076#define INPLACE_BINOP(func, iop, op, op_name) \
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001077 PyObject * \
1078 func(PyObject *v, PyObject *w) { \
1079 return binary_iop(v, w, NB_SLOT(iop), NB_SLOT(op), op_name); \
1080 }
Thomas Wouterse289e0b2000-08-24 20:08:19 +00001081
Neil Schemenauer5a1f0152001-01-04 01:39:06 +00001082INPLACE_BINOP(PyNumber_InPlaceOr, nb_inplace_or, nb_or, "|=")
1083INPLACE_BINOP(PyNumber_InPlaceXor, nb_inplace_xor, nb_xor, "^=")
1084INPLACE_BINOP(PyNumber_InPlaceAnd, nb_inplace_and, nb_and, "&=")
1085INPLACE_BINOP(PyNumber_InPlaceLshift, nb_inplace_lshift, nb_lshift, "<<=")
1086INPLACE_BINOP(PyNumber_InPlaceRshift, nb_inplace_rshift, nb_rshift, ">>=")
1087INPLACE_BINOP(PyNumber_InPlaceSubtract, nb_inplace_subtract, nb_subtract, "-=")
Benjamin Petersond51374e2014-04-09 23:55:56 -04001088INPLACE_BINOP(PyNumber_InMatrixMultiply, nb_inplace_matrix_multiply, nb_matrix_multiply, "@=")
Thomas Wouterse289e0b2000-08-24 20:08:19 +00001089
1090PyObject *
Guido van Rossum4668b002001-08-08 05:00:18 +00001091PyNumber_InPlaceFloorDivide(PyObject *v, PyObject *w)
1092{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001093 return binary_iop(v, w, NB_SLOT(nb_inplace_floor_divide),
1094 NB_SLOT(nb_floor_divide), "//=");
Guido van Rossum4668b002001-08-08 05:00:18 +00001095}
1096
1097PyObject *
1098PyNumber_InPlaceTrueDivide(PyObject *v, PyObject *w)
1099{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001100 return binary_iop(v, w, NB_SLOT(nb_inplace_true_divide),
1101 NB_SLOT(nb_true_divide), "/=");
Guido van Rossum4668b002001-08-08 05:00:18 +00001102}
1103
1104PyObject *
Thomas Wouterse289e0b2000-08-24 20:08:19 +00001105PyNumber_InPlaceAdd(PyObject *v, PyObject *w)
1106{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001107 PyObject *result = binary_iop1(v, w, NB_SLOT(nb_inplace_add),
1108 NB_SLOT(nb_add));
1109 if (result == Py_NotImplemented) {
1110 PySequenceMethods *m = v->ob_type->tp_as_sequence;
1111 Py_DECREF(result);
1112 if (m != NULL) {
1113 binaryfunc f = NULL;
1114 f = m->sq_inplace_concat;
1115 if (f == NULL)
1116 f = m->sq_concat;
1117 if (f != NULL)
1118 return (*f)(v, w);
1119 }
1120 result = binop_type_error(v, w, "+=");
1121 }
1122 return result;
Thomas Wouterse289e0b2000-08-24 20:08:19 +00001123}
1124
1125PyObject *
1126PyNumber_InPlaceMultiply(PyObject *v, PyObject *w)
1127{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001128 PyObject *result = binary_iop1(v, w, NB_SLOT(nb_inplace_multiply),
1129 NB_SLOT(nb_multiply));
1130 if (result == Py_NotImplemented) {
1131 ssizeargfunc f = NULL;
1132 PySequenceMethods *mv = v->ob_type->tp_as_sequence;
1133 PySequenceMethods *mw = w->ob_type->tp_as_sequence;
1134 Py_DECREF(result);
1135 if (mv != NULL) {
1136 f = mv->sq_inplace_repeat;
1137 if (f == NULL)
1138 f = mv->sq_repeat;
1139 if (f != NULL)
1140 return sequence_repeat(f, v, w);
1141 }
1142 else if (mw != NULL) {
1143 /* Note that the right hand operand should not be
1144 * mutated in this case so sq_inplace_repeat is not
1145 * used. */
1146 if (mw->sq_repeat)
1147 return sequence_repeat(mw->sq_repeat, w, v);
1148 }
1149 result = binop_type_error(v, w, "*=");
1150 }
1151 return result;
Thomas Wouterse289e0b2000-08-24 20:08:19 +00001152}
1153
Thomas Wouterse289e0b2000-08-24 20:08:19 +00001154PyObject *
Benjamin Petersond51374e2014-04-09 23:55:56 -04001155PyNumber_InPlaceMatrixMultiply(PyObject *v, PyObject *w)
1156{
1157 return binary_iop(v, w, NB_SLOT(nb_inplace_matrix_multiply),
1158 NB_SLOT(nb_matrix_multiply), "@=");
1159}
1160
1161PyObject *
Thomas Wouterse289e0b2000-08-24 20:08:19 +00001162PyNumber_InPlaceRemainder(PyObject *v, PyObject *w)
1163{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001164 return binary_iop(v, w, NB_SLOT(nb_inplace_remainder),
1165 NB_SLOT(nb_remainder), "%=");
Thomas Wouterse289e0b2000-08-24 20:08:19 +00001166}
1167
1168PyObject *
1169PyNumber_InPlacePower(PyObject *v, PyObject *w, PyObject *z)
1170{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001171 if (v->ob_type->tp_as_number &&
1172 v->ob_type->tp_as_number->nb_inplace_power != NULL) {
1173 return ternary_op(v, w, z, NB_SLOT(nb_inplace_power), "**=");
1174 }
1175 else {
1176 return ternary_op(v, w, z, NB_SLOT(nb_power), "**=");
1177 }
Thomas Wouterse289e0b2000-08-24 20:08:19 +00001178}
1179
1180
Guido van Rossumcea1c8c1998-05-22 00:47:05 +00001181/* Unary operators and functions */
Guido van Rossume15dee51995-07-18 14:12:02 +00001182
1183PyObject *
Fred Drake79912472000-07-09 04:06:11 +00001184PyNumber_Negative(PyObject *o)
Guido van Rossume15dee51995-07-18 14:12:02 +00001185{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001186 PyNumberMethods *m;
Guido van Rossumcea1c8c1998-05-22 00:47:05 +00001187
Victor Stinner71aea8e2016-08-19 16:59:55 +02001188 if (o == NULL) {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001189 return null_error();
Victor Stinner71aea8e2016-08-19 16:59:55 +02001190 }
1191
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001192 m = o->ob_type->tp_as_number;
1193 if (m && m->nb_negative)
1194 return (*m->nb_negative)(o);
Guido van Rossumcea1c8c1998-05-22 00:47:05 +00001195
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001196 return type_error("bad operand type for unary -: '%.200s'", o);
Guido van Rossume15dee51995-07-18 14:12:02 +00001197}
1198
1199PyObject *
Fred Drake79912472000-07-09 04:06:11 +00001200PyNumber_Positive(PyObject *o)
Guido van Rossume15dee51995-07-18 14:12:02 +00001201{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001202 PyNumberMethods *m;
Guido van Rossumcea1c8c1998-05-22 00:47:05 +00001203
Victor Stinner71aea8e2016-08-19 16:59:55 +02001204 if (o == NULL) {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001205 return null_error();
Victor Stinner71aea8e2016-08-19 16:59:55 +02001206 }
1207
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001208 m = o->ob_type->tp_as_number;
1209 if (m && m->nb_positive)
1210 return (*m->nb_positive)(o);
Guido van Rossumcea1c8c1998-05-22 00:47:05 +00001211
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001212 return type_error("bad operand type for unary +: '%.200s'", o);
Guido van Rossume15dee51995-07-18 14:12:02 +00001213}
1214
1215PyObject *
Fred Drake79912472000-07-09 04:06:11 +00001216PyNumber_Invert(PyObject *o)
Guido van Rossume15dee51995-07-18 14:12:02 +00001217{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001218 PyNumberMethods *m;
Guido van Rossumcea1c8c1998-05-22 00:47:05 +00001219
Victor Stinner71aea8e2016-08-19 16:59:55 +02001220 if (o == NULL) {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001221 return null_error();
Victor Stinner71aea8e2016-08-19 16:59:55 +02001222 }
1223
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001224 m = o->ob_type->tp_as_number;
1225 if (m && m->nb_invert)
1226 return (*m->nb_invert)(o);
Guido van Rossumcea1c8c1998-05-22 00:47:05 +00001227
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001228 return type_error("bad operand type for unary ~: '%.200s'", o);
Guido van Rossume15dee51995-07-18 14:12:02 +00001229}
1230
1231PyObject *
Fred Drake79912472000-07-09 04:06:11 +00001232PyNumber_Absolute(PyObject *o)
Guido van Rossume15dee51995-07-18 14:12:02 +00001233{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001234 PyNumberMethods *m;
Guido van Rossume15dee51995-07-18 14:12:02 +00001235
Victor Stinner71aea8e2016-08-19 16:59:55 +02001236 if (o == NULL) {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001237 return null_error();
Victor Stinner71aea8e2016-08-19 16:59:55 +02001238 }
1239
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001240 m = o->ob_type->tp_as_number;
1241 if (m && m->nb_absolute)
1242 return m->nb_absolute(o);
Guido van Rossume15dee51995-07-18 14:12:02 +00001243
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001244 return type_error("bad operand type for abs(): '%.200s'", o);
Guido van Rossume15dee51995-07-18 14:12:02 +00001245}
1246
Christian Tismerea62ce72018-06-09 20:32:25 +02001247#undef PyIndex_Check
Christian Tismer83987132018-06-11 00:48:28 +02001248
Christian Tismerea62ce72018-06-09 20:32:25 +02001249int
1250PyIndex_Check(PyObject *obj)
1251{
1252 return obj->ob_type->tp_as_number != NULL &&
1253 obj->ob_type->tp_as_number->nb_index != NULL;
1254}
1255
Serhiy Storchaka31a65542013-12-11 21:07:54 +02001256/* Return a Python int from the object item.
Serhiy Storchaka95949422013-08-27 19:40:23 +03001257 Raise TypeError if the result is not an int
Guido van Rossum98297ee2007-11-06 21:34:58 +00001258 or if the object cannot be interpreted as an index.
Thomas Wouters00ee7ba2006-08-21 19:07:27 +00001259*/
1260PyObject *
Guido van Rossum38fff8c2006-03-07 18:50:55 +00001261PyNumber_Index(PyObject *item)
1262{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001263 PyObject *result = NULL;
Victor Stinner71aea8e2016-08-19 16:59:55 +02001264 if (item == NULL) {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001265 return null_error();
Victor Stinner71aea8e2016-08-19 16:59:55 +02001266 }
1267
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001268 if (PyLong_Check(item)) {
1269 Py_INCREF(item);
1270 return item;
1271 }
Serhiy Storchaka31a65542013-12-11 21:07:54 +02001272 if (!PyIndex_Check(item)) {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001273 PyErr_Format(PyExc_TypeError,
1274 "'%.200s' object cannot be interpreted "
1275 "as an integer", item->ob_type->tp_name);
Serhiy Storchaka31a65542013-12-11 21:07:54 +02001276 return NULL;
1277 }
1278 result = item->ob_type->tp_as_number->nb_index(item);
1279 if (!result || PyLong_CheckExact(result))
1280 return result;
1281 if (!PyLong_Check(result)) {
1282 PyErr_Format(PyExc_TypeError,
1283 "__index__ returned non-int (type %.200s)",
1284 result->ob_type->tp_name);
1285 Py_DECREF(result);
1286 return NULL;
1287 }
1288 /* Issue #17576: warn if 'result' not of exact type int. */
1289 if (PyErr_WarnFormat(PyExc_DeprecationWarning, 1,
1290 "__index__ returned non-int (type %.200s). "
1291 "The ability to return an instance of a strict subclass of int "
1292 "is deprecated, and may be removed in a future version of Python.",
1293 result->ob_type->tp_name)) {
1294 Py_DECREF(result);
1295 return NULL;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001296 }
1297 return result;
Guido van Rossum38fff8c2006-03-07 18:50:55 +00001298}
1299
Thomas Wouters00ee7ba2006-08-21 19:07:27 +00001300/* Return an error on Overflow only if err is not NULL*/
1301
1302Py_ssize_t
1303PyNumber_AsSsize_t(PyObject *item, PyObject *err)
1304{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001305 Py_ssize_t result;
1306 PyObject *runerr;
1307 PyObject *value = PyNumber_Index(item);
1308 if (value == NULL)
1309 return -1;
Thomas Wouters00ee7ba2006-08-21 19:07:27 +00001310
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001311 /* We're done if PyLong_AsSsize_t() returns without error. */
1312 result = PyLong_AsSsize_t(value);
1313 if (result != -1 || !(runerr = PyErr_Occurred()))
1314 goto finish;
Thomas Wouters00ee7ba2006-08-21 19:07:27 +00001315
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001316 /* Error handling code -- only manage OverflowError differently */
1317 if (!PyErr_GivenExceptionMatches(runerr, PyExc_OverflowError))
1318 goto finish;
Thomas Wouters00ee7ba2006-08-21 19:07:27 +00001319
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001320 PyErr_Clear();
1321 /* If no error-handling desired then the default clipping
1322 is sufficient.
1323 */
1324 if (!err) {
1325 assert(PyLong_Check(value));
1326 /* Whether or not it is less than or equal to
1327 zero is determined by the sign of ob_size
1328 */
1329 if (_PyLong_Sign(value) < 0)
1330 result = PY_SSIZE_T_MIN;
1331 else
1332 result = PY_SSIZE_T_MAX;
1333 }
1334 else {
1335 /* Otherwise replace the error with caller's error object. */
1336 PyErr_Format(err,
1337 "cannot fit '%.200s' into an index-sized integer",
1338 item->ob_type->tp_name);
1339 }
Guido van Rossum98297ee2007-11-06 21:34:58 +00001340
Thomas Wouters00ee7ba2006-08-21 19:07:27 +00001341 finish:
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001342 Py_DECREF(value);
1343 return result;
Thomas Wouters00ee7ba2006-08-21 19:07:27 +00001344}
1345
1346
Guido van Rossume15dee51995-07-18 14:12:02 +00001347PyObject *
Fred Drake79912472000-07-09 04:06:11 +00001348PyNumber_Long(PyObject *o)
Guido van Rossume15dee51995-07-18 14:12:02 +00001349{
Serhiy Storchaka54cd1962016-08-21 20:03:08 +03001350 PyObject *result;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001351 PyNumberMethods *m;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001352 PyObject *trunc_func;
Serhiy Storchaka4fdb6842015-02-03 01:21:08 +02001353 Py_buffer view;
Benjamin Peterson9fc9bf42012-03-20 23:26:41 -04001354 _Py_IDENTIFIER(__trunc__);
Christian Heimes15ebc882008-02-04 18:48:49 +00001355
Victor Stinner71aea8e2016-08-19 16:59:55 +02001356 if (o == NULL) {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001357 return null_error();
Victor Stinner71aea8e2016-08-19 16:59:55 +02001358 }
1359
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001360 if (PyLong_CheckExact(o)) {
1361 Py_INCREF(o);
1362 return o;
1363 }
1364 m = o->ob_type->tp_as_number;
1365 if (m && m->nb_int) { /* This should include subclasses of int */
Serhiy Storchaka54cd1962016-08-21 20:03:08 +03001366 result = (PyObject *)_PyLong_FromNbInt(o);
1367 if (result != NULL && !PyLong_CheckExact(result)) {
1368 Py_SETREF(result, _PyLong_Copy((PyLongObject *)result));
1369 }
1370 return result;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001371 }
Benjamin Peterson1b1a8e72012-03-20 23:48:11 -04001372 trunc_func = _PyObject_LookupSpecial(o, &PyId___trunc__);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001373 if (trunc_func) {
INADA Naoki72dccde2017-02-16 09:26:01 +09001374 result = _PyObject_CallNoArg(trunc_func);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001375 Py_DECREF(trunc_func);
Serhiy Storchaka54cd1962016-08-21 20:03:08 +03001376 if (result == NULL || PyLong_CheckExact(result)) {
1377 return result;
1378 }
1379 if (PyLong_Check(result)) {
1380 Py_SETREF(result, _PyLong_Copy((PyLongObject *)result));
1381 return result;
1382 }
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001383 /* __trunc__ is specified to return an Integral type,
Martin Panter7462b6492015-11-02 03:37:02 +00001384 but int() needs to return an int. */
Serhiy Storchaka54cd1962016-08-21 20:03:08 +03001385 m = result->ob_type->tp_as_number;
Serhiy Storchaka31a65542013-12-11 21:07:54 +02001386 if (m == NULL || m->nb_int == NULL) {
1387 PyErr_Format(
1388 PyExc_TypeError,
1389 "__trunc__ returned non-Integral (type %.200s)",
Serhiy Storchaka54cd1962016-08-21 20:03:08 +03001390 result->ob_type->tp_name);
1391 Py_DECREF(result);
Serhiy Storchaka31a65542013-12-11 21:07:54 +02001392 return NULL;
1393 }
Serhiy Storchaka54cd1962016-08-21 20:03:08 +03001394 Py_SETREF(result, (PyObject *)_PyLong_FromNbInt(result));
1395 if (result != NULL && !PyLong_CheckExact(result)) {
1396 Py_SETREF(result, _PyLong_Copy((PyLongObject *)result));
1397 }
1398 return result;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001399 }
Benjamin Peterson1b1a8e72012-03-20 23:48:11 -04001400 if (PyErr_Occurred())
1401 return NULL;
Christian Heimes15ebc882008-02-04 18:48:49 +00001402
Serhiy Storchaka4fdb6842015-02-03 01:21:08 +02001403 if (PyUnicode_Check(o))
1404 /* The below check is done in PyLong_FromUnicode(). */
1405 return PyLong_FromUnicodeObject(o, 10);
1406
Martin Pantereeb896c2015-11-07 02:32:21 +00001407 if (PyBytes_Check(o))
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001408 /* need to do extra error checking that PyLong_FromString()
Serhiy Storchakaf6d0aee2013-08-03 20:55:06 +03001409 * doesn't do. In particular int('9\x005') must raise an
1410 * exception, not truncate at the null.
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001411 */
Martin Pantereeb896c2015-11-07 02:32:21 +00001412 return _PyLong_FromBytes(PyBytes_AS_STRING(o),
1413 PyBytes_GET_SIZE(o), 10);
1414
1415 if (PyByteArray_Check(o))
1416 return _PyLong_FromBytes(PyByteArray_AS_STRING(o),
1417 PyByteArray_GET_SIZE(o), 10);
1418
1419 if (PyObject_GetBuffer(o, &view, PyBUF_SIMPLE) == 0) {
Serhiy Storchaka54cd1962016-08-21 20:03:08 +03001420 PyObject *bytes;
Martin Pantereeb896c2015-11-07 02:32:21 +00001421
1422 /* Copy to NUL-terminated buffer. */
1423 bytes = PyBytes_FromStringAndSize((const char *)view.buf, view.len);
1424 if (bytes == NULL) {
1425 PyBuffer_Release(&view);
1426 return NULL;
1427 }
1428 result = _PyLong_FromBytes(PyBytes_AS_STRING(bytes),
1429 PyBytes_GET_SIZE(bytes), 10);
1430 Py_DECREF(bytes);
Serhiy Storchaka4fdb6842015-02-03 01:21:08 +02001431 PyBuffer_Release(&view);
1432 return result;
1433 }
Guido van Rossume15dee51995-07-18 14:12:02 +00001434
Serhiy Storchaka4fdb6842015-02-03 01:21:08 +02001435 return type_error("int() argument must be a string, a bytes-like object "
1436 "or a number, not '%.200s'", o);
Guido van Rossume15dee51995-07-18 14:12:02 +00001437}
1438
1439PyObject *
Fred Drake79912472000-07-09 04:06:11 +00001440PyNumber_Float(PyObject *o)
Guido van Rossume15dee51995-07-18 14:12:02 +00001441{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001442 PyNumberMethods *m;
Guido van Rossume15dee51995-07-18 14:12:02 +00001443
Victor Stinner71aea8e2016-08-19 16:59:55 +02001444 if (o == NULL) {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001445 return null_error();
Victor Stinner71aea8e2016-08-19 16:59:55 +02001446 }
1447
Serhiy Storchaka16931c32016-06-03 21:42:55 +03001448 if (PyFloat_CheckExact(o)) {
1449 Py_INCREF(o);
1450 return o;
1451 }
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001452 m = o->ob_type->tp_as_number;
1453 if (m && m->nb_float) { /* This should include subclasses of float */
1454 PyObject *res = m->nb_float(o);
Serhiy Storchaka16931c32016-06-03 21:42:55 +03001455 double val;
1456 if (!res || PyFloat_CheckExact(res)) {
1457 return res;
1458 }
1459 if (!PyFloat_Check(res)) {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001460 PyErr_Format(PyExc_TypeError,
Serhiy Storchaka16931c32016-06-03 21:42:55 +03001461 "%.50s.__float__ returned non-float (type %.50s)",
1462 o->ob_type->tp_name, res->ob_type->tp_name);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001463 Py_DECREF(res);
1464 return NULL;
1465 }
Serhiy Storchaka16931c32016-06-03 21:42:55 +03001466 /* Issue #26983: warn if 'res' not of exact type float. */
1467 if (PyErr_WarnFormat(PyExc_DeprecationWarning, 1,
1468 "%.50s.__float__ returned non-float (type %.50s). "
1469 "The ability to return an instance of a strict subclass of float "
1470 "is deprecated, and may be removed in a future version of Python.",
1471 o->ob_type->tp_name, res->ob_type->tp_name)) {
1472 Py_DECREF(res);
1473 return NULL;
1474 }
1475 val = PyFloat_AS_DOUBLE(res);
1476 Py_DECREF(res);
1477 return PyFloat_FromDouble(val);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001478 }
1479 if (PyFloat_Check(o)) { /* A float subclass with nb_float == NULL */
Serhiy Storchaka16931c32016-06-03 21:42:55 +03001480 return PyFloat_FromDouble(PyFloat_AS_DOUBLE(o));
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001481 }
1482 return PyFloat_FromString(o);
Guido van Rossume15dee51995-07-18 14:12:02 +00001483}
1484
Guido van Rossumcd16bf62007-06-13 18:07:49 +00001485
1486PyObject *
1487PyNumber_ToBase(PyObject *n, int base)
1488{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001489 PyObject *res = NULL;
1490 PyObject *index = PyNumber_Index(n);
Guido van Rossumcd16bf62007-06-13 18:07:49 +00001491
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001492 if (!index)
1493 return NULL;
1494 if (PyLong_Check(index))
1495 res = _PyLong_Format(index, base);
1496 else
1497 /* It should not be possible to get here, as
1498 PyNumber_Index already has a check for the same
1499 condition */
Serhiy Storchaka95949422013-08-27 19:40:23 +03001500 PyErr_SetString(PyExc_ValueError, "PyNumber_ToBase: index not int");
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001501 Py_DECREF(index);
1502 return res;
Guido van Rossumcd16bf62007-06-13 18:07:49 +00001503}
1504
1505
Guido van Rossumcea1c8c1998-05-22 00:47:05 +00001506/* Operations on sequences */
Guido van Rossume15dee51995-07-18 14:12:02 +00001507
Guido van Rossumcea1c8c1998-05-22 00:47:05 +00001508int
Fred Drake79912472000-07-09 04:06:11 +00001509PySequence_Check(PyObject *s)
Guido van Rossume15dee51995-07-18 14:12:02 +00001510{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001511 if (PyDict_Check(s))
1512 return 0;
1513 return s != NULL && s->ob_type->tp_as_sequence &&
1514 s->ob_type->tp_as_sequence->sq_item != NULL;
Guido van Rossume15dee51995-07-18 14:12:02 +00001515}
1516
Martin v. Löwis18e16552006-02-15 17:27:45 +00001517Py_ssize_t
Jeremy Hylton6253f832000-07-12 12:56:19 +00001518PySequence_Size(PyObject *s)
Guido van Rossume15dee51995-07-18 14:12:02 +00001519{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001520 PySequenceMethods *m;
Guido van Rossume15dee51995-07-18 14:12:02 +00001521
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001522 if (s == NULL) {
1523 null_error();
1524 return -1;
1525 }
Guido van Rossume15dee51995-07-18 14:12:02 +00001526
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001527 m = s->ob_type->tp_as_sequence;
Serhiy Storchaka813f9432017-04-16 09:21:44 +03001528 if (m && m->sq_length) {
1529 Py_ssize_t len = m->sq_length(s);
1530 assert(len >= 0 || PyErr_Occurred());
1531 return len;
1532 }
Guido van Rossume15dee51995-07-18 14:12:02 +00001533
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001534 type_error("object of type '%.200s' has no len()", s);
1535 return -1;
Guido van Rossume15dee51995-07-18 14:12:02 +00001536}
1537
Marc-André Lemburgcf5f3582000-07-17 09:22:55 +00001538#undef PySequence_Length
Martin v. Löwis18e16552006-02-15 17:27:45 +00001539Py_ssize_t
Marc-André Lemburgcf5f3582000-07-17 09:22:55 +00001540PySequence_Length(PyObject *s)
1541{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001542 return PySequence_Size(s);
Marc-André Lemburgcf5f3582000-07-17 09:22:55 +00001543}
1544#define PySequence_Length PySequence_Size
1545
Guido van Rossume15dee51995-07-18 14:12:02 +00001546PyObject *
Fred Drake79912472000-07-09 04:06:11 +00001547PySequence_Concat(PyObject *s, PyObject *o)
Guido van Rossume15dee51995-07-18 14:12:02 +00001548{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001549 PySequenceMethods *m;
Guido van Rossume15dee51995-07-18 14:12:02 +00001550
Victor Stinner71aea8e2016-08-19 16:59:55 +02001551 if (s == NULL || o == NULL) {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001552 return null_error();
Victor Stinner71aea8e2016-08-19 16:59:55 +02001553 }
Guido van Rossume15dee51995-07-18 14:12:02 +00001554
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001555 m = s->ob_type->tp_as_sequence;
1556 if (m && m->sq_concat)
1557 return m->sq_concat(s, o);
Guido van Rossumcea1c8c1998-05-22 00:47:05 +00001558
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001559 /* Instances of user classes defining an __add__() method only
1560 have an nb_add slot, not an sq_concat slot. So we fall back
1561 to nb_add if both arguments appear to be sequences. */
1562 if (PySequence_Check(s) && PySequence_Check(o)) {
1563 PyObject *result = binary_op1(s, o, NB_SLOT(nb_add));
1564 if (result != Py_NotImplemented)
1565 return result;
1566 Py_DECREF(result);
1567 }
1568 return type_error("'%.200s' object can't be concatenated", s);
Guido van Rossume15dee51995-07-18 14:12:02 +00001569}
1570
1571PyObject *
Martin v. Löwis18e16552006-02-15 17:27:45 +00001572PySequence_Repeat(PyObject *o, Py_ssize_t count)
Guido van Rossume15dee51995-07-18 14:12:02 +00001573{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001574 PySequenceMethods *m;
Guido van Rossume15dee51995-07-18 14:12:02 +00001575
Victor Stinner71aea8e2016-08-19 16:59:55 +02001576 if (o == NULL) {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001577 return null_error();
Victor Stinner71aea8e2016-08-19 16:59:55 +02001578 }
Guido van Rossume15dee51995-07-18 14:12:02 +00001579
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001580 m = o->ob_type->tp_as_sequence;
1581 if (m && m->sq_repeat)
1582 return m->sq_repeat(o, count);
Guido van Rossumcea1c8c1998-05-22 00:47:05 +00001583
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001584 /* Instances of user classes defining a __mul__() method only
1585 have an nb_multiply slot, not an sq_repeat slot. so we fall back
1586 to nb_multiply if o appears to be a sequence. */
1587 if (PySequence_Check(o)) {
1588 PyObject *n, *result;
1589 n = PyLong_FromSsize_t(count);
1590 if (n == NULL)
1591 return NULL;
1592 result = binary_op1(o, n, NB_SLOT(nb_multiply));
1593 Py_DECREF(n);
1594 if (result != Py_NotImplemented)
1595 return result;
1596 Py_DECREF(result);
1597 }
1598 return type_error("'%.200s' object can't be repeated", o);
Guido van Rossume15dee51995-07-18 14:12:02 +00001599}
1600
1601PyObject *
Thomas Wouterse289e0b2000-08-24 20:08:19 +00001602PySequence_InPlaceConcat(PyObject *s, PyObject *o)
1603{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001604 PySequenceMethods *m;
Thomas Wouterse289e0b2000-08-24 20:08:19 +00001605
Victor Stinner71aea8e2016-08-19 16:59:55 +02001606 if (s == NULL || o == NULL) {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001607 return null_error();
Victor Stinner71aea8e2016-08-19 16:59:55 +02001608 }
Thomas Wouterse289e0b2000-08-24 20:08:19 +00001609
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001610 m = s->ob_type->tp_as_sequence;
1611 if (m && m->sq_inplace_concat)
1612 return m->sq_inplace_concat(s, o);
1613 if (m && m->sq_concat)
1614 return m->sq_concat(s, o);
Thomas Wouterse289e0b2000-08-24 20:08:19 +00001615
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001616 if (PySequence_Check(s) && PySequence_Check(o)) {
1617 PyObject *result = binary_iop1(s, o, NB_SLOT(nb_inplace_add),
1618 NB_SLOT(nb_add));
1619 if (result != Py_NotImplemented)
1620 return result;
1621 Py_DECREF(result);
1622 }
1623 return type_error("'%.200s' object can't be concatenated", s);
Thomas Wouterse289e0b2000-08-24 20:08:19 +00001624}
1625
1626PyObject *
Martin v. Löwis18e16552006-02-15 17:27:45 +00001627PySequence_InPlaceRepeat(PyObject *o, Py_ssize_t count)
Thomas Wouterse289e0b2000-08-24 20:08:19 +00001628{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001629 PySequenceMethods *m;
Thomas Wouterse289e0b2000-08-24 20:08:19 +00001630
Victor Stinner71aea8e2016-08-19 16:59:55 +02001631 if (o == NULL) {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001632 return null_error();
Victor Stinner71aea8e2016-08-19 16:59:55 +02001633 }
Thomas Wouterse289e0b2000-08-24 20:08:19 +00001634
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001635 m = o->ob_type->tp_as_sequence;
1636 if (m && m->sq_inplace_repeat)
1637 return m->sq_inplace_repeat(o, count);
1638 if (m && m->sq_repeat)
1639 return m->sq_repeat(o, count);
Thomas Wouterse289e0b2000-08-24 20:08:19 +00001640
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001641 if (PySequence_Check(o)) {
1642 PyObject *n, *result;
1643 n = PyLong_FromSsize_t(count);
1644 if (n == NULL)
1645 return NULL;
1646 result = binary_iop1(o, n, NB_SLOT(nb_inplace_multiply),
1647 NB_SLOT(nb_multiply));
1648 Py_DECREF(n);
1649 if (result != Py_NotImplemented)
1650 return result;
1651 Py_DECREF(result);
1652 }
1653 return type_error("'%.200s' object can't be repeated", o);
Thomas Wouterse289e0b2000-08-24 20:08:19 +00001654}
1655
1656PyObject *
Martin v. Löwis18e16552006-02-15 17:27:45 +00001657PySequence_GetItem(PyObject *s, Py_ssize_t i)
Guido van Rossume15dee51995-07-18 14:12:02 +00001658{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001659 PySequenceMethods *m;
Guido van Rossume15dee51995-07-18 14:12:02 +00001660
Victor Stinner71aea8e2016-08-19 16:59:55 +02001661 if (s == NULL) {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001662 return null_error();
Victor Stinner71aea8e2016-08-19 16:59:55 +02001663 }
Guido van Rossume15dee51995-07-18 14:12:02 +00001664
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001665 m = s->ob_type->tp_as_sequence;
1666 if (m && m->sq_item) {
1667 if (i < 0) {
1668 if (m->sq_length) {
1669 Py_ssize_t l = (*m->sq_length)(s);
Victor Stinnere20310f2015-11-05 13:56:58 +01001670 if (l < 0) {
1671 assert(PyErr_Occurred());
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001672 return NULL;
Victor Stinnere20310f2015-11-05 13:56:58 +01001673 }
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001674 i += l;
1675 }
1676 }
1677 return m->sq_item(s, i);
1678 }
Guido van Rossume15dee51995-07-18 14:12:02 +00001679
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001680 return type_error("'%.200s' object does not support indexing", s);
Guido van Rossume15dee51995-07-18 14:12:02 +00001681}
1682
1683PyObject *
Martin v. Löwis18e16552006-02-15 17:27:45 +00001684PySequence_GetSlice(PyObject *s, Py_ssize_t i1, Py_ssize_t i2)
Guido van Rossume15dee51995-07-18 14:12:02 +00001685{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001686 PyMappingMethods *mp;
Guido van Rossume15dee51995-07-18 14:12:02 +00001687
Victor Stinner71aea8e2016-08-19 16:59:55 +02001688 if (!s) {
1689 return null_error();
1690 }
Guido van Rossume15dee51995-07-18 14:12:02 +00001691
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001692 mp = s->ob_type->tp_as_mapping;
Benjamin Peterson568867a2010-09-11 16:02:03 +00001693 if (mp && mp->mp_subscript) {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001694 PyObject *res;
1695 PyObject *slice = _PySlice_FromIndices(i1, i2);
1696 if (!slice)
1697 return NULL;
1698 res = mp->mp_subscript(s, slice);
1699 Py_DECREF(slice);
1700 return res;
1701 }
Guido van Rossume15dee51995-07-18 14:12:02 +00001702
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001703 return type_error("'%.200s' object is unsliceable", s);
Guido van Rossume15dee51995-07-18 14:12:02 +00001704}
1705
1706int
Martin v. Löwis18e16552006-02-15 17:27:45 +00001707PySequence_SetItem(PyObject *s, Py_ssize_t i, PyObject *o)
Guido van Rossume15dee51995-07-18 14:12:02 +00001708{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001709 PySequenceMethods *m;
Guido van Rossume15dee51995-07-18 14:12:02 +00001710
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001711 if (s == NULL) {
1712 null_error();
1713 return -1;
1714 }
Guido van Rossume15dee51995-07-18 14:12:02 +00001715
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001716 m = s->ob_type->tp_as_sequence;
1717 if (m && m->sq_ass_item) {
1718 if (i < 0) {
1719 if (m->sq_length) {
1720 Py_ssize_t l = (*m->sq_length)(s);
Serhiy Storchaka813f9432017-04-16 09:21:44 +03001721 if (l < 0) {
1722 assert(PyErr_Occurred());
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001723 return -1;
Serhiy Storchaka813f9432017-04-16 09:21:44 +03001724 }
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001725 i += l;
1726 }
1727 }
1728 return m->sq_ass_item(s, i, o);
1729 }
Guido van Rossumcea1c8c1998-05-22 00:47:05 +00001730
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001731 type_error("'%.200s' object does not support item assignment", s);
1732 return -1;
Guido van Rossume15dee51995-07-18 14:12:02 +00001733}
1734
Guido van Rossum6cdc6f41996-08-21 17:41:54 +00001735int
Martin v. Löwis18e16552006-02-15 17:27:45 +00001736PySequence_DelItem(PyObject *s, Py_ssize_t i)
Guido van Rossum6cdc6f41996-08-21 17:41:54 +00001737{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001738 PySequenceMethods *m;
Guido van Rossum6cdc6f41996-08-21 17:41:54 +00001739
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001740 if (s == NULL) {
1741 null_error();
1742 return -1;
1743 }
Guido van Rossum6cdc6f41996-08-21 17:41:54 +00001744
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001745 m = s->ob_type->tp_as_sequence;
1746 if (m && m->sq_ass_item) {
1747 if (i < 0) {
1748 if (m->sq_length) {
1749 Py_ssize_t l = (*m->sq_length)(s);
Serhiy Storchaka813f9432017-04-16 09:21:44 +03001750 if (l < 0) {
1751 assert(PyErr_Occurred());
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001752 return -1;
Serhiy Storchaka813f9432017-04-16 09:21:44 +03001753 }
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001754 i += l;
1755 }
1756 }
1757 return m->sq_ass_item(s, i, (PyObject *)NULL);
1758 }
Guido van Rossumcea1c8c1998-05-22 00:47:05 +00001759
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001760 type_error("'%.200s' object doesn't support item deletion", s);
1761 return -1;
Guido van Rossum6cdc6f41996-08-21 17:41:54 +00001762}
1763
Guido van Rossumcea1c8c1998-05-22 00:47:05 +00001764int
Martin v. Löwis18e16552006-02-15 17:27:45 +00001765PySequence_SetSlice(PyObject *s, Py_ssize_t i1, Py_ssize_t i2, PyObject *o)
Guido van Rossume15dee51995-07-18 14:12:02 +00001766{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001767 PyMappingMethods *mp;
Guido van Rossume15dee51995-07-18 14:12:02 +00001768
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001769 if (s == NULL) {
1770 null_error();
1771 return -1;
1772 }
Guido van Rossume15dee51995-07-18 14:12:02 +00001773
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001774 mp = s->ob_type->tp_as_mapping;
Benjamin Peterson568867a2010-09-11 16:02:03 +00001775 if (mp && mp->mp_ass_subscript) {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001776 int res;
1777 PyObject *slice = _PySlice_FromIndices(i1, i2);
1778 if (!slice)
1779 return -1;
1780 res = mp->mp_ass_subscript(s, slice, o);
1781 Py_DECREF(slice);
1782 return res;
1783 }
Thomas Wouters1d75a792000-08-17 22:37:32 +00001784
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001785 type_error("'%.200s' object doesn't support slice assignment", s);
1786 return -1;
Guido van Rossume15dee51995-07-18 14:12:02 +00001787}
1788
Guido van Rossumcea1c8c1998-05-22 00:47:05 +00001789int
Martin v. Löwis18e16552006-02-15 17:27:45 +00001790PySequence_DelSlice(PyObject *s, Py_ssize_t i1, Py_ssize_t i2)
Guido van Rossum6cdc6f41996-08-21 17:41:54 +00001791{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001792 PyMappingMethods *mp;
Guido van Rossum6cdc6f41996-08-21 17:41:54 +00001793
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001794 if (s == NULL) {
1795 null_error();
1796 return -1;
1797 }
Guido van Rossum6cdc6f41996-08-21 17:41:54 +00001798
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001799 mp = s->ob_type->tp_as_mapping;
Benjamin Peterson568867a2010-09-11 16:02:03 +00001800 if (mp && mp->mp_ass_subscript) {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001801 int res;
1802 PyObject *slice = _PySlice_FromIndices(i1, i2);
1803 if (!slice)
1804 return -1;
1805 res = mp->mp_ass_subscript(s, slice, NULL);
1806 Py_DECREF(slice);
1807 return res;
1808 }
1809 type_error("'%.200s' object doesn't support slice deletion", s);
1810 return -1;
Guido van Rossum6cdc6f41996-08-21 17:41:54 +00001811}
1812
Guido van Rossume15dee51995-07-18 14:12:02 +00001813PyObject *
Fred Drake79912472000-07-09 04:06:11 +00001814PySequence_Tuple(PyObject *v)
Guido van Rossume15dee51995-07-18 14:12:02 +00001815{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001816 PyObject *it; /* iter(v) */
1817 Py_ssize_t n; /* guess for result tuple size */
1818 PyObject *result = NULL;
1819 Py_ssize_t j;
Guido van Rossume15dee51995-07-18 14:12:02 +00001820
Victor Stinner71aea8e2016-08-19 16:59:55 +02001821 if (v == NULL) {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001822 return null_error();
Victor Stinner71aea8e2016-08-19 16:59:55 +02001823 }
Guido van Rossume15dee51995-07-18 14:12:02 +00001824
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001825 /* Special-case the common tuple and list cases, for efficiency. */
1826 if (PyTuple_CheckExact(v)) {
1827 /* Note that we can't know whether it's safe to return
1828 a tuple *subclass* instance as-is, hence the restriction
1829 to exact tuples here. In contrast, lists always make
1830 a copy, so there's no need for exactness below. */
1831 Py_INCREF(v);
1832 return v;
1833 }
Raymond Hettinger610a51f2015-05-17 14:45:58 -07001834 if (PyList_CheckExact(v))
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001835 return PyList_AsTuple(v);
Guido van Rossumcea1c8c1998-05-22 00:47:05 +00001836
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001837 /* Get iterator. */
1838 it = PyObject_GetIter(v);
1839 if (it == NULL)
1840 return NULL;
Guido van Rossumcea1c8c1998-05-22 00:47:05 +00001841
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001842 /* Guess result size and allocate space. */
Armin Ronacheraa9a79d2012-10-06 14:03:24 +02001843 n = PyObject_LengthHint(v, 10);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001844 if (n == -1)
1845 goto Fail;
1846 result = PyTuple_New(n);
1847 if (result == NULL)
1848 goto Fail;
Tim Peters6912d4d2001-05-05 03:56:37 +00001849
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001850 /* Fill the tuple. */
1851 for (j = 0; ; ++j) {
1852 PyObject *item = PyIter_Next(it);
1853 if (item == NULL) {
1854 if (PyErr_Occurred())
1855 goto Fail;
1856 break;
1857 }
1858 if (j >= n) {
Martin Pantere8db8612016-07-25 02:30:05 +00001859 size_t newn = (size_t)n;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001860 /* The over-allocation strategy can grow a bit faster
1861 than for lists because unlike lists the
1862 over-allocation isn't permanent -- we reclaim
1863 the excess before the end of this routine.
1864 So, grow by ten and then add 25%.
1865 */
Martin Pantere8db8612016-07-25 02:30:05 +00001866 newn += 10u;
1867 newn += newn >> 2;
1868 if (newn > PY_SSIZE_T_MAX) {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001869 /* Check for overflow */
1870 PyErr_NoMemory();
1871 Py_DECREF(item);
1872 goto Fail;
1873 }
Martin Pantere8db8612016-07-25 02:30:05 +00001874 n = (Py_ssize_t)newn;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001875 if (_PyTuple_Resize(&result, n) != 0) {
1876 Py_DECREF(item);
1877 goto Fail;
1878 }
1879 }
1880 PyTuple_SET_ITEM(result, j, item);
1881 }
Guido van Rossumcea1c8c1998-05-22 00:47:05 +00001882
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001883 /* Cut tuple back if guess was too large. */
1884 if (j < n &&
1885 _PyTuple_Resize(&result, j) != 0)
1886 goto Fail;
Tim Peters6912d4d2001-05-05 03:56:37 +00001887
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001888 Py_DECREF(it);
1889 return result;
Tim Peters6912d4d2001-05-05 03:56:37 +00001890
1891Fail:
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001892 Py_XDECREF(result);
1893 Py_DECREF(it);
1894 return NULL;
Guido van Rossume15dee51995-07-18 14:12:02 +00001895}
1896
Guido van Rossum3c5936a1996-12-05 21:51:24 +00001897PyObject *
Fred Drake79912472000-07-09 04:06:11 +00001898PySequence_List(PyObject *v)
Guido van Rossum3c5936a1996-12-05 21:51:24 +00001899{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001900 PyObject *result; /* result list */
1901 PyObject *rv; /* return value from PyList_Extend */
Guido van Rossum4669fb41997-04-02 05:31:09 +00001902
Victor Stinner71aea8e2016-08-19 16:59:55 +02001903 if (v == NULL) {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001904 return null_error();
Victor Stinner71aea8e2016-08-19 16:59:55 +02001905 }
Guido van Rossum5dba9e81998-07-10 18:03:50 +00001906
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001907 result = PyList_New(0);
1908 if (result == NULL)
1909 return NULL;
Tim Petersf553f892001-05-01 20:45:31 +00001910
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001911 rv = _PyList_Extend((PyListObject *)result, v);
1912 if (rv == NULL) {
1913 Py_DECREF(result);
1914 return NULL;
1915 }
1916 Py_DECREF(rv);
1917 return result;
Guido van Rossum3c5936a1996-12-05 21:51:24 +00001918}
1919
Andrew M. Kuchling74042d62000-06-18 18:43:14 +00001920PyObject *
Fred Drake79912472000-07-09 04:06:11 +00001921PySequence_Fast(PyObject *v, const char *m)
Andrew M. Kuchling74042d62000-06-18 18:43:14 +00001922{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001923 PyObject *it;
Raymond Hettinger2fb70292004-01-11 23:26:51 +00001924
Victor Stinner71aea8e2016-08-19 16:59:55 +02001925 if (v == NULL) {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001926 return null_error();
Victor Stinner71aea8e2016-08-19 16:59:55 +02001927 }
Andrew M. Kuchling74042d62000-06-18 18:43:14 +00001928
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001929 if (PyList_CheckExact(v) || PyTuple_CheckExact(v)) {
1930 Py_INCREF(v);
1931 return v;
1932 }
Andrew M. Kuchling74042d62000-06-18 18:43:14 +00001933
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001934 it = PyObject_GetIter(v);
1935 if (it == NULL) {
1936 if (PyErr_ExceptionMatches(PyExc_TypeError))
1937 PyErr_SetString(PyExc_TypeError, m);
1938 return NULL;
1939 }
Raymond Hettinger2fb70292004-01-11 23:26:51 +00001940
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001941 v = PySequence_List(it);
1942 Py_DECREF(it);
Andrew M. Kuchling74042d62000-06-18 18:43:14 +00001943
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001944 return v;
Andrew M. Kuchling74042d62000-06-18 18:43:14 +00001945}
1946
Tim Peters16a77ad2001-09-08 04:00:12 +00001947/* Iterate over seq. Result depends on the operation:
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001948 PY_ITERSEARCH_COUNT: -1 if error, else # of times obj appears in seq.
1949 PY_ITERSEARCH_INDEX: 0-based index of first occurrence of obj in seq;
1950 set ValueError and return -1 if none found; also return -1 on error.
Tim Peters16a77ad2001-09-08 04:00:12 +00001951 Py_ITERSEARCH_CONTAINS: return 1 if obj in seq, else 0; -1 on error.
1952*/
Neal Norwitz1fc4b772006-03-04 18:49:58 +00001953Py_ssize_t
Tim Peters16a77ad2001-09-08 04:00:12 +00001954_PySequence_IterSearch(PyObject *seq, PyObject *obj, int operation)
Guido van Rossume15dee51995-07-18 14:12:02 +00001955{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001956 Py_ssize_t n;
1957 int wrapped; /* for PY_ITERSEARCH_INDEX, true iff n wrapped around */
1958 PyObject *it; /* iter(seq) */
Guido van Rossume15dee51995-07-18 14:12:02 +00001959
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001960 if (seq == NULL || obj == NULL) {
1961 null_error();
1962 return -1;
1963 }
Tim Peters75f8e352001-05-05 11:33:43 +00001964
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001965 it = PyObject_GetIter(seq);
1966 if (it == NULL) {
1967 type_error("argument of type '%.200s' is not iterable", seq);
1968 return -1;
1969 }
Guido van Rossume15dee51995-07-18 14:12:02 +00001970
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001971 n = wrapped = 0;
1972 for (;;) {
1973 int cmp;
1974 PyObject *item = PyIter_Next(it);
1975 if (item == NULL) {
1976 if (PyErr_Occurred())
1977 goto Fail;
1978 break;
1979 }
Tim Peters16a77ad2001-09-08 04:00:12 +00001980
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001981 cmp = PyObject_RichCompareBool(obj, item, Py_EQ);
1982 Py_DECREF(item);
1983 if (cmp < 0)
1984 goto Fail;
1985 if (cmp > 0) {
1986 switch (operation) {
1987 case PY_ITERSEARCH_COUNT:
1988 if (n == PY_SSIZE_T_MAX) {
1989 PyErr_SetString(PyExc_OverflowError,
1990 "count exceeds C integer size");
1991 goto Fail;
1992 }
1993 ++n;
1994 break;
Tim Peters16a77ad2001-09-08 04:00:12 +00001995
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001996 case PY_ITERSEARCH_INDEX:
1997 if (wrapped) {
1998 PyErr_SetString(PyExc_OverflowError,
1999 "index exceeds C integer size");
2000 goto Fail;
2001 }
2002 goto Done;
Tim Peters16a77ad2001-09-08 04:00:12 +00002003
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002004 case PY_ITERSEARCH_CONTAINS:
2005 n = 1;
2006 goto Done;
Tim Peters16a77ad2001-09-08 04:00:12 +00002007
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002008 default:
Barry Warsawb2e57942017-09-14 18:13:16 -07002009 Py_UNREACHABLE();
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002010 }
2011 }
Tim Peters16a77ad2001-09-08 04:00:12 +00002012
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002013 if (operation == PY_ITERSEARCH_INDEX) {
2014 if (n == PY_SSIZE_T_MAX)
2015 wrapped = 1;
2016 ++n;
2017 }
2018 }
Tim Peters16a77ad2001-09-08 04:00:12 +00002019
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002020 if (operation != PY_ITERSEARCH_INDEX)
2021 goto Done;
Tim Peters16a77ad2001-09-08 04:00:12 +00002022
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002023 PyErr_SetString(PyExc_ValueError,
2024 "sequence.index(x): x not in sequence");
2025 /* fall into failure code */
Tim Peters16a77ad2001-09-08 04:00:12 +00002026Fail:
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002027 n = -1;
2028 /* fall through */
Tim Peters16a77ad2001-09-08 04:00:12 +00002029Done:
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002030 Py_DECREF(it);
2031 return n;
Tim Peters75f8e352001-05-05 11:33:43 +00002032
Guido van Rossume15dee51995-07-18 14:12:02 +00002033}
2034
Tim Peters16a77ad2001-09-08 04:00:12 +00002035/* Return # of times o appears in s. */
Neal Norwitz1fc4b772006-03-04 18:49:58 +00002036Py_ssize_t
Tim Peters16a77ad2001-09-08 04:00:12 +00002037PySequence_Count(PyObject *s, PyObject *o)
Guido van Rossume15dee51995-07-18 14:12:02 +00002038{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002039 return _PySequence_IterSearch(s, o, PY_ITERSEARCH_COUNT);
Guido van Rossume15dee51995-07-18 14:12:02 +00002040}
2041
Tim Peterscb8d3682001-05-05 21:05:01 +00002042/* Return -1 if error; 1 if ob in seq; 0 if ob not in seq.
Tim Peters16a77ad2001-09-08 04:00:12 +00002043 * Use sq_contains if possible, else defer to _PySequence_IterSearch().
Tim Peterscb8d3682001-05-05 21:05:01 +00002044 */
2045int
2046PySequence_Contains(PyObject *seq, PyObject *ob)
2047{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002048 Py_ssize_t result;
2049 PySequenceMethods *sqm = seq->ob_type->tp_as_sequence;
2050 if (sqm != NULL && sqm->sq_contains != NULL)
2051 return (*sqm->sq_contains)(seq, ob);
2052 result = _PySequence_IterSearch(seq, ob, PY_ITERSEARCH_CONTAINS);
2053 return Py_SAFE_DOWNCAST(result, Py_ssize_t, int);
Tim Peterscb8d3682001-05-05 21:05:01 +00002054}
2055
Guido van Rossumcea1c8c1998-05-22 00:47:05 +00002056/* Backwards compatibility */
2057#undef PySequence_In
2058int
Fred Drake79912472000-07-09 04:06:11 +00002059PySequence_In(PyObject *w, PyObject *v)
Guido van Rossumcea1c8c1998-05-22 00:47:05 +00002060{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002061 return PySequence_Contains(w, v);
Guido van Rossumcea1c8c1998-05-22 00:47:05 +00002062}
2063
Neal Norwitz1fc4b772006-03-04 18:49:58 +00002064Py_ssize_t
Fred Drake79912472000-07-09 04:06:11 +00002065PySequence_Index(PyObject *s, PyObject *o)
Guido van Rossume15dee51995-07-18 14:12:02 +00002066{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002067 return _PySequence_IterSearch(s, o, PY_ITERSEARCH_INDEX);
Guido van Rossume15dee51995-07-18 14:12:02 +00002068}
2069
Guido van Rossumcea1c8c1998-05-22 00:47:05 +00002070/* Operations on mappings */
2071
2072int
Fred Drake79912472000-07-09 04:06:11 +00002073PyMapping_Check(PyObject *o)
Guido van Rossume15dee51995-07-18 14:12:02 +00002074{
Benjamin Peterson21992272011-12-28 12:01:31 -06002075 return o && o->ob_type->tp_as_mapping &&
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002076 o->ob_type->tp_as_mapping->mp_subscript;
Guido van Rossume15dee51995-07-18 14:12:02 +00002077}
2078
Martin v. Löwis18e16552006-02-15 17:27:45 +00002079Py_ssize_t
Jeremy Hylton6253f832000-07-12 12:56:19 +00002080PyMapping_Size(PyObject *o)
Guido van Rossume15dee51995-07-18 14:12:02 +00002081{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002082 PyMappingMethods *m;
Guido van Rossume15dee51995-07-18 14:12:02 +00002083
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002084 if (o == NULL) {
2085 null_error();
2086 return -1;
2087 }
Guido van Rossume15dee51995-07-18 14:12:02 +00002088
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002089 m = o->ob_type->tp_as_mapping;
Serhiy Storchaka813f9432017-04-16 09:21:44 +03002090 if (m && m->mp_length) {
2091 Py_ssize_t len = m->mp_length(o);
2092 assert(len >= 0 || PyErr_Occurred());
2093 return len;
2094 }
Guido van Rossume15dee51995-07-18 14:12:02 +00002095
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002096 type_error("object of type '%.200s' has no len()", o);
2097 return -1;
Guido van Rossume15dee51995-07-18 14:12:02 +00002098}
2099
Marc-André Lemburgcf5f3582000-07-17 09:22:55 +00002100#undef PyMapping_Length
Martin v. Löwis18e16552006-02-15 17:27:45 +00002101Py_ssize_t
Marc-André Lemburgcf5f3582000-07-17 09:22:55 +00002102PyMapping_Length(PyObject *o)
2103{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002104 return PyMapping_Size(o);
Marc-André Lemburgcf5f3582000-07-17 09:22:55 +00002105}
2106#define PyMapping_Length PyMapping_Size
2107
Guido van Rossumcea1c8c1998-05-22 00:47:05 +00002108PyObject *
Serhiy Storchakac6792272013-10-19 21:03:34 +03002109PyMapping_GetItemString(PyObject *o, const char *key)
Guido van Rossumcea1c8c1998-05-22 00:47:05 +00002110{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002111 PyObject *okey, *r;
Guido van Rossumcea1c8c1998-05-22 00:47:05 +00002112
Victor Stinner71aea8e2016-08-19 16:59:55 +02002113 if (key == NULL) {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002114 return null_error();
Victor Stinner71aea8e2016-08-19 16:59:55 +02002115 }
Guido van Rossumcea1c8c1998-05-22 00:47:05 +00002116
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002117 okey = PyUnicode_FromString(key);
2118 if (okey == NULL)
2119 return NULL;
2120 r = PyObject_GetItem(o, okey);
2121 Py_DECREF(okey);
2122 return r;
Guido van Rossumcea1c8c1998-05-22 00:47:05 +00002123}
2124
2125int
Serhiy Storchakac6792272013-10-19 21:03:34 +03002126PyMapping_SetItemString(PyObject *o, const char *key, PyObject *value)
Guido van Rossumcea1c8c1998-05-22 00:47:05 +00002127{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002128 PyObject *okey;
2129 int r;
Guido van Rossumcea1c8c1998-05-22 00:47:05 +00002130
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002131 if (key == NULL) {
2132 null_error();
2133 return -1;
2134 }
Guido van Rossumcea1c8c1998-05-22 00:47:05 +00002135
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002136 okey = PyUnicode_FromString(key);
2137 if (okey == NULL)
2138 return -1;
2139 r = PyObject_SetItem(o, okey, value);
2140 Py_DECREF(okey);
2141 return r;
Guido van Rossumcea1c8c1998-05-22 00:47:05 +00002142}
2143
2144int
Serhiy Storchakac6792272013-10-19 21:03:34 +03002145PyMapping_HasKeyString(PyObject *o, const char *key)
Guido van Rossume15dee51995-07-18 14:12:02 +00002146{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002147 PyObject *v;
Guido van Rossume15dee51995-07-18 14:12:02 +00002148
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002149 v = PyMapping_GetItemString(o, key);
2150 if (v) {
2151 Py_DECREF(v);
2152 return 1;
2153 }
2154 PyErr_Clear();
2155 return 0;
Guido van Rossume15dee51995-07-18 14:12:02 +00002156}
2157
Guido van Rossumcea1c8c1998-05-22 00:47:05 +00002158int
Fred Drake79912472000-07-09 04:06:11 +00002159PyMapping_HasKey(PyObject *o, PyObject *key)
Guido van Rossume15dee51995-07-18 14:12:02 +00002160{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002161 PyObject *v;
Guido van Rossume15dee51995-07-18 14:12:02 +00002162
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002163 v = PyObject_GetItem(o, key);
2164 if (v) {
2165 Py_DECREF(v);
2166 return 1;
2167 }
2168 PyErr_Clear();
2169 return 0;
Guido van Rossume15dee51995-07-18 14:12:02 +00002170}
2171
Oren Milman0ccc0f62017-10-08 11:17:46 +03002172/* This function is quite similar to PySequence_Fast(), but specialized to be
2173 a helper for PyMapping_Keys(), PyMapping_Items() and PyMapping_Values().
2174 */
2175static PyObject *
2176method_output_as_list(PyObject *o, _Py_Identifier *meth_id)
2177{
2178 PyObject *it, *result, *meth_output;
2179
2180 assert(o != NULL);
2181 meth_output = _PyObject_CallMethodId(o, meth_id, NULL);
2182 if (meth_output == NULL || PyList_CheckExact(meth_output)) {
2183 return meth_output;
2184 }
2185 it = PyObject_GetIter(meth_output);
2186 if (it == NULL) {
2187 if (PyErr_ExceptionMatches(PyExc_TypeError)) {
2188 PyErr_Format(PyExc_TypeError,
2189 "%.200s.%U() returned a non-iterable (type %.200s)",
2190 Py_TYPE(o)->tp_name,
2191 meth_id->object,
2192 Py_TYPE(meth_output)->tp_name);
2193 }
2194 Py_DECREF(meth_output);
2195 return NULL;
2196 }
2197 Py_DECREF(meth_output);
2198 result = PySequence_List(it);
2199 Py_DECREF(it);
2200 return result;
2201}
2202
Guido van Rossumcc2b0162007-02-11 06:12:03 +00002203PyObject *
2204PyMapping_Keys(PyObject *o)
2205{
Martin v. Löwisbd928fe2011-10-14 10:20:37 +02002206 _Py_IDENTIFIER(keys);
Guido van Rossumcc2b0162007-02-11 06:12:03 +00002207
Oren Milman0ccc0f62017-10-08 11:17:46 +03002208 if (o == NULL) {
2209 return null_error();
2210 }
2211 if (PyDict_CheckExact(o)) {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002212 return PyDict_Keys(o);
Oren Milman0ccc0f62017-10-08 11:17:46 +03002213 }
2214 return method_output_as_list(o, &PyId_keys);
Guido van Rossumcc2b0162007-02-11 06:12:03 +00002215}
2216
2217PyObject *
2218PyMapping_Items(PyObject *o)
2219{
Martin v. Löwisbd928fe2011-10-14 10:20:37 +02002220 _Py_IDENTIFIER(items);
Guido van Rossumcc2b0162007-02-11 06:12:03 +00002221
Oren Milman0ccc0f62017-10-08 11:17:46 +03002222 if (o == NULL) {
2223 return null_error();
2224 }
2225 if (PyDict_CheckExact(o)) {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002226 return PyDict_Items(o);
Oren Milman0ccc0f62017-10-08 11:17:46 +03002227 }
2228 return method_output_as_list(o, &PyId_items);
Guido van Rossumcc2b0162007-02-11 06:12:03 +00002229}
2230
2231PyObject *
2232PyMapping_Values(PyObject *o)
2233{
Martin v. Löwisbd928fe2011-10-14 10:20:37 +02002234 _Py_IDENTIFIER(values);
Guido van Rossumcc2b0162007-02-11 06:12:03 +00002235
Oren Milman0ccc0f62017-10-08 11:17:46 +03002236 if (o == NULL) {
2237 return null_error();
2238 }
2239 if (PyDict_CheckExact(o)) {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002240 return PyDict_Values(o);
Oren Milman0ccc0f62017-10-08 11:17:46 +03002241 }
2242 return method_output_as_list(o, &PyId_values);
Guido van Rossumcc2b0162007-02-11 06:12:03 +00002243}
2244
Guido van Rossum823649d2001-03-21 18:40:58 +00002245/* isinstance(), issubclass() */
2246
Benjamin Peterson9fc9bf42012-03-20 23:26:41 -04002247/* abstract_get_bases() has logically 4 return states:
Barry Warsawf16951c2002-04-23 22:45:44 +00002248 *
Barry Warsawf16951c2002-04-23 22:45:44 +00002249 * 1. getattr(cls, '__bases__') could raise an AttributeError
2250 * 2. getattr(cls, '__bases__') could raise some other exception
2251 * 3. getattr(cls, '__bases__') could return a tuple
2252 * 4. getattr(cls, '__bases__') could return something other than a tuple
2253 *
2254 * Only state #3 is a non-error state and only it returns a non-NULL object
2255 * (it returns the retrieved tuple).
2256 *
2257 * Any raised AttributeErrors are masked by clearing the exception and
2258 * returning NULL. If an object other than a tuple comes out of __bases__,
2259 * then again, the return value is NULL. So yes, these two situations
2260 * produce exactly the same results: NULL is returned and no error is set.
2261 *
2262 * If some exception other than AttributeError is raised, then NULL is also
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002263 * returned, but the exception is not cleared. That's because we want the
Barry Warsawf16951c2002-04-23 22:45:44 +00002264 * exception to be propagated along.
2265 *
2266 * Callers are expected to test for PyErr_Occurred() when the return value
2267 * is NULL to decide whether a valid exception should be propagated or not.
2268 * When there's no exception to propagate, it's customary for the caller to
2269 * set a TypeError.
2270 */
Neil Schemenauer6b471292001-10-18 03:18:43 +00002271static PyObject *
2272abstract_get_bases(PyObject *cls)
Guido van Rossum823649d2001-03-21 18:40:58 +00002273{
Benjamin Peterson9fc9bf42012-03-20 23:26:41 -04002274 _Py_IDENTIFIER(__bases__);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002275 PyObject *bases;
Guido van Rossum823649d2001-03-21 18:40:58 +00002276
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002277 Py_ALLOW_RECURSION
Serhiy Storchakaf320be72018-01-25 10:49:40 +02002278 (void)_PyObject_LookupAttrId(cls, &PyId___bases__, &bases);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002279 Py_END_ALLOW_RECURSION
Serhiy Storchakaf320be72018-01-25 10:49:40 +02002280 if (bases != NULL && !PyTuple_Check(bases)) {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002281 Py_DECREF(bases);
2282 return NULL;
2283 }
2284 return bases;
Neil Schemenauer6b471292001-10-18 03:18:43 +00002285}
2286
2287
2288static int
2289abstract_issubclass(PyObject *derived, PyObject *cls)
2290{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002291 PyObject *bases = NULL;
2292 Py_ssize_t i, n;
2293 int r = 0;
Neil Schemenauer6b471292001-10-18 03:18:43 +00002294
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002295 while (1) {
2296 if (derived == cls)
2297 return 1;
2298 bases = abstract_get_bases(derived);
2299 if (bases == NULL) {
2300 if (PyErr_Occurred())
2301 return -1;
2302 return 0;
2303 }
2304 n = PyTuple_GET_SIZE(bases);
2305 if (n == 0) {
2306 Py_DECREF(bases);
2307 return 0;
2308 }
2309 /* Avoid recursivity in the single inheritance case */
2310 if (n == 1) {
2311 derived = PyTuple_GET_ITEM(bases, 0);
2312 Py_DECREF(bases);
2313 continue;
2314 }
2315 for (i = 0; i < n; i++) {
2316 r = abstract_issubclass(PyTuple_GET_ITEM(bases, i), cls);
2317 if (r != 0)
2318 break;
2319 }
2320 Py_DECREF(bases);
2321 return r;
2322 }
Guido van Rossum823649d2001-03-21 18:40:58 +00002323}
2324
Walter Dörwaldd9a6ad32002-12-12 16:41:44 +00002325static int
2326check_class(PyObject *cls, const char *error)
2327{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002328 PyObject *bases = abstract_get_bases(cls);
2329 if (bases == NULL) {
2330 /* Do not mask errors. */
2331 if (!PyErr_Occurred())
2332 PyErr_SetString(PyExc_TypeError, error);
2333 return 0;
2334 }
2335 Py_DECREF(bases);
2336 return -1;
Walter Dörwaldd9a6ad32002-12-12 16:41:44 +00002337}
2338
Brett Cannon4f653312004-03-20 22:52:14 +00002339static int
Antoine Pitrouec569b72008-08-26 22:40:48 +00002340recursive_isinstance(PyObject *inst, PyObject *cls)
Guido van Rossum823649d2001-03-21 18:40:58 +00002341{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002342 PyObject *icls;
Serhiy Storchakaf320be72018-01-25 10:49:40 +02002343 int retval;
Benjamin Peterson9fc9bf42012-03-20 23:26:41 -04002344 _Py_IDENTIFIER(__class__);
Guido van Rossum03bc7d32003-02-12 03:32:58 +00002345
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002346 if (PyType_Check(cls)) {
2347 retval = PyObject_TypeCheck(inst, (PyTypeObject *)cls);
2348 if (retval == 0) {
Serhiy Storchakaf320be72018-01-25 10:49:40 +02002349 retval = _PyObject_LookupAttrId(inst, &PyId___class__, &icls);
2350 if (icls != NULL) {
2351 if (icls != (PyObject *)(inst->ob_type) && PyType_Check(icls)) {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002352 retval = PyType_IsSubtype(
Serhiy Storchakaf320be72018-01-25 10:49:40 +02002353 (PyTypeObject *)icls,
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002354 (PyTypeObject *)cls);
Serhiy Storchakaf320be72018-01-25 10:49:40 +02002355 }
2356 else {
2357 retval = 0;
2358 }
2359 Py_DECREF(icls);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002360 }
2361 }
2362 }
2363 else {
2364 if (!check_class(cls,
Benjamin Petersone893af52010-06-28 19:43:42 +00002365 "isinstance() arg 2 must be a type or tuple of types"))
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002366 return -1;
Serhiy Storchakaf320be72018-01-25 10:49:40 +02002367 retval = _PyObject_LookupAttrId(inst, &PyId___class__, &icls);
2368 if (icls != NULL) {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002369 retval = abstract_issubclass(icls, cls);
2370 Py_DECREF(icls);
2371 }
2372 }
Guido van Rossum823649d2001-03-21 18:40:58 +00002373
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002374 return retval;
Guido van Rossum823649d2001-03-21 18:40:58 +00002375}
2376
2377int
Brett Cannon4f653312004-03-20 22:52:14 +00002378PyObject_IsInstance(PyObject *inst, PyObject *cls)
2379{
Benjamin Petersonce798522012-01-22 11:24:29 -05002380 _Py_IDENTIFIER(__instancecheck__);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002381 PyObject *checker;
Christian Heimesd5e2b6f2008-03-19 21:50:51 +00002382
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002383 /* Quick test for an exact match */
2384 if (Py_TYPE(inst) == (PyTypeObject *)cls)
2385 return 1;
Christian Heimesd5e2b6f2008-03-19 21:50:51 +00002386
Georg Brandl72b8a802014-10-03 09:26:37 +02002387 /* We know what type's __instancecheck__ does. */
2388 if (PyType_CheckExact(cls)) {
2389 return recursive_isinstance(inst, cls);
2390 }
2391
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002392 if (PyTuple_Check(cls)) {
2393 Py_ssize_t i;
2394 Py_ssize_t n;
2395 int r = 0;
Antoine Pitrouec569b72008-08-26 22:40:48 +00002396
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002397 if (Py_EnterRecursiveCall(" in __instancecheck__"))
2398 return -1;
2399 n = PyTuple_GET_SIZE(cls);
2400 for (i = 0; i < n; ++i) {
2401 PyObject *item = PyTuple_GET_ITEM(cls, i);
2402 r = PyObject_IsInstance(inst, item);
2403 if (r != 0)
2404 /* either found it, or got an error */
2405 break;
2406 }
2407 Py_LeaveRecursiveCall();
2408 return r;
2409 }
Benjamin Peterson88fe5f92009-05-16 21:55:24 +00002410
Benjamin Petersonce798522012-01-22 11:24:29 -05002411 checker = _PyObject_LookupSpecial(cls, &PyId___instancecheck__);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002412 if (checker != NULL) {
2413 PyObject *res;
2414 int ok = -1;
2415 if (Py_EnterRecursiveCall(" in __instancecheck__")) {
2416 Py_DECREF(checker);
2417 return ok;
2418 }
Victor Stinnerde4ae3d2016-12-04 22:59:09 +01002419 res = PyObject_CallFunctionObjArgs(checker, inst, NULL);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002420 Py_LeaveRecursiveCall();
2421 Py_DECREF(checker);
2422 if (res != NULL) {
2423 ok = PyObject_IsTrue(res);
2424 Py_DECREF(res);
2425 }
2426 return ok;
2427 }
2428 else if (PyErr_Occurred())
2429 return -1;
Georg Brandl72b8a802014-10-03 09:26:37 +02002430 /* Probably never reached anymore. */
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002431 return recursive_isinstance(inst, cls);
Brett Cannon4f653312004-03-20 22:52:14 +00002432}
2433
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002434static int
Antoine Pitrouec569b72008-08-26 22:40:48 +00002435recursive_issubclass(PyObject *derived, PyObject *cls)
Guido van Rossum823649d2001-03-21 18:40:58 +00002436{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002437 if (PyType_Check(cls) && PyType_Check(derived)) {
2438 /* Fast path (non-recursive) */
2439 return PyType_IsSubtype((PyTypeObject *)derived, (PyTypeObject *)cls);
2440 }
2441 if (!check_class(derived,
2442 "issubclass() arg 1 must be a class"))
2443 return -1;
2444 if (!check_class(cls,
2445 "issubclass() arg 2 must be a class"
2446 " or tuple of classes"))
2447 return -1;
Guido van Rossum823649d2001-03-21 18:40:58 +00002448
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002449 return abstract_issubclass(derived, cls);
Guido van Rossum823649d2001-03-21 18:40:58 +00002450}
Guido van Rossum59d1d2b2001-04-20 19:13:02 +00002451
Brett Cannon4f653312004-03-20 22:52:14 +00002452int
2453PyObject_IsSubclass(PyObject *derived, PyObject *cls)
2454{
Benjamin Petersonce798522012-01-22 11:24:29 -05002455 _Py_IDENTIFIER(__subclasscheck__);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002456 PyObject *checker;
Georg Brandldcfe8e42009-05-17 08:22:45 +00002457
Georg Brandl72b8a802014-10-03 09:26:37 +02002458 /* We know what type's __subclasscheck__ does. */
2459 if (PyType_CheckExact(cls)) {
2460 /* Quick test for an exact match */
2461 if (derived == cls)
2462 return 1;
2463 return recursive_issubclass(derived, cls);
2464 }
2465
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002466 if (PyTuple_Check(cls)) {
2467 Py_ssize_t i;
2468 Py_ssize_t n;
2469 int r = 0;
Antoine Pitrouec569b72008-08-26 22:40:48 +00002470
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002471 if (Py_EnterRecursiveCall(" in __subclasscheck__"))
2472 return -1;
2473 n = PyTuple_GET_SIZE(cls);
2474 for (i = 0; i < n; ++i) {
2475 PyObject *item = PyTuple_GET_ITEM(cls, i);
2476 r = PyObject_IsSubclass(derived, item);
2477 if (r != 0)
2478 /* either found it, or got an error */
2479 break;
2480 }
2481 Py_LeaveRecursiveCall();
2482 return r;
2483 }
Benjamin Peterson88fe5f92009-05-16 21:55:24 +00002484
Benjamin Petersonce798522012-01-22 11:24:29 -05002485 checker = _PyObject_LookupSpecial(cls, &PyId___subclasscheck__);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002486 if (checker != NULL) {
2487 PyObject *res;
2488 int ok = -1;
2489 if (Py_EnterRecursiveCall(" in __subclasscheck__")) {
2490 Py_DECREF(checker);
2491 return ok;
2492 }
Victor Stinnerde4ae3d2016-12-04 22:59:09 +01002493 res = PyObject_CallFunctionObjArgs(checker, derived, NULL);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002494 Py_LeaveRecursiveCall();
2495 Py_DECREF(checker);
2496 if (res != NULL) {
2497 ok = PyObject_IsTrue(res);
2498 Py_DECREF(res);
2499 }
2500 return ok;
2501 }
2502 else if (PyErr_Occurred())
2503 return -1;
Georg Brandl72b8a802014-10-03 09:26:37 +02002504 /* Probably never reached anymore. */
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002505 return recursive_issubclass(derived, cls);
Antoine Pitrouec569b72008-08-26 22:40:48 +00002506}
2507
2508int
2509_PyObject_RealIsInstance(PyObject *inst, PyObject *cls)
2510{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002511 return recursive_isinstance(inst, cls);
Antoine Pitrouec569b72008-08-26 22:40:48 +00002512}
2513
2514int
2515_PyObject_RealIsSubclass(PyObject *derived, PyObject *cls)
2516{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002517 return recursive_issubclass(derived, cls);
Brett Cannon4f653312004-03-20 22:52:14 +00002518}
2519
2520
Guido van Rossum59d1d2b2001-04-20 19:13:02 +00002521PyObject *
2522PyObject_GetIter(PyObject *o)
2523{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002524 PyTypeObject *t = o->ob_type;
Victor Stinner14e6d092016-12-09 17:08:59 +01002525 getiterfunc f;
2526
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002527 f = t->tp_iter;
2528 if (f == NULL) {
2529 if (PySequence_Check(o))
2530 return PySeqIter_New(o);
2531 return type_error("'%.200s' object is not iterable", o);
2532 }
2533 else {
2534 PyObject *res = (*f)(o);
2535 if (res != NULL && !PyIter_Check(res)) {
2536 PyErr_Format(PyExc_TypeError,
2537 "iter() returned non-iterator "
2538 "of type '%.100s'",
2539 res->ob_type->tp_name);
2540 Py_DECREF(res);
2541 res = NULL;
2542 }
2543 return res;
2544 }
Guido van Rossum213c7a62001-04-23 14:08:49 +00002545}
2546
Christian Tismerea62ce72018-06-09 20:32:25 +02002547#undef PyIter_Check
Christian Tismer83987132018-06-11 00:48:28 +02002548
Christian Tismerea62ce72018-06-09 20:32:25 +02002549int PyIter_Check(PyObject *obj)
2550{
2551 return obj->ob_type->tp_iternext != NULL &&
2552 obj->ob_type->tp_iternext != &_PyObject_NextNotImplemented;
2553}
2554
Tim Petersf4848da2001-05-05 00:14:56 +00002555/* Return next item.
2556 * If an error occurs, return NULL. PyErr_Occurred() will be true.
2557 * If the iteration terminates normally, return NULL and clear the
2558 * PyExc_StopIteration exception (if it was set). PyErr_Occurred()
2559 * will be false.
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002560 * Else return the next object. PyErr_Occurred() will be false.
Tim Petersf4848da2001-05-05 00:14:56 +00002561 */
Guido van Rossum213c7a62001-04-23 14:08:49 +00002562PyObject *
2563PyIter_Next(PyObject *iter)
2564{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002565 PyObject *result;
2566 result = (*iter->ob_type->tp_iternext)(iter);
2567 if (result == NULL &&
2568 PyErr_Occurred() &&
2569 PyErr_ExceptionMatches(PyExc_StopIteration))
2570 PyErr_Clear();
2571 return result;
Guido van Rossum59d1d2b2001-04-20 19:13:02 +00002572}
Gregory P. Smithfb94c5f2010-03-14 06:49:55 +00002573
2574
2575/*
2576 * Flatten a sequence of bytes() objects into a C array of
2577 * NULL terminated string pointers with a NULL char* terminating the array.
2578 * (ie: an argv or env list)
2579 *
Victor Stinner0e2d3cf2013-07-07 17:22:41 +02002580 * Memory allocated for the returned list is allocated using PyMem_Malloc()
2581 * and MUST be freed by _Py_FreeCharPArray().
Gregory P. Smithfb94c5f2010-03-14 06:49:55 +00002582 */
2583char *const *
2584_PySequence_BytesToCharpArray(PyObject* self)
2585{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002586 char **array;
2587 Py_ssize_t i, argc;
2588 PyObject *item = NULL;
Victor Stinner0e2d3cf2013-07-07 17:22:41 +02002589 Py_ssize_t size;
Gregory P. Smithfb94c5f2010-03-14 06:49:55 +00002590
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002591 argc = PySequence_Size(self);
2592 if (argc == -1)
2593 return NULL;
Gregory P. Smithfb94c5f2010-03-14 06:49:55 +00002594
Stefan Krah7cacd2e2012-08-21 08:16:09 +02002595 assert(argc >= 0);
2596
2597 if ((size_t)argc > (PY_SSIZE_T_MAX-sizeof(char *)) / sizeof(char *)) {
2598 PyErr_NoMemory();
2599 return NULL;
2600 }
2601
Victor Stinner0e2d3cf2013-07-07 17:22:41 +02002602 array = PyMem_Malloc((argc + 1) * sizeof(char *));
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002603 if (array == NULL) {
2604 PyErr_NoMemory();
2605 return NULL;
2606 }
2607 for (i = 0; i < argc; ++i) {
2608 char *data;
2609 item = PySequence_GetItem(self, i);
Stefan Krahfd24f9e2012-08-20 11:04:24 +02002610 if (item == NULL) {
2611 /* NULL terminate before freeing. */
2612 array[i] = NULL;
2613 goto fail;
2614 }
Serhiy Storchakad174d242017-06-23 19:39:27 +03002615 /* check for embedded null bytes */
2616 if (PyBytes_AsStringAndSize(item, &data, NULL) < 0) {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002617 /* NULL terminate before freeing. */
2618 array[i] = NULL;
2619 goto fail;
2620 }
Victor Stinner0e2d3cf2013-07-07 17:22:41 +02002621 size = PyBytes_GET_SIZE(item) + 1;
2622 array[i] = PyMem_Malloc(size);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002623 if (!array[i]) {
2624 PyErr_NoMemory();
2625 goto fail;
2626 }
Victor Stinner0e2d3cf2013-07-07 17:22:41 +02002627 memcpy(array[i], data, size);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002628 Py_DECREF(item);
2629 }
2630 array[argc] = NULL;
Gregory P. Smithfb94c5f2010-03-14 06:49:55 +00002631
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002632 return array;
Gregory P. Smithfb94c5f2010-03-14 06:49:55 +00002633
2634fail:
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002635 Py_XDECREF(item);
2636 _Py_FreeCharPArray(array);
2637 return NULL;
Gregory P. Smithfb94c5f2010-03-14 06:49:55 +00002638}
2639
2640
2641/* Free's a NULL terminated char** array of C strings. */
2642void
2643_Py_FreeCharPArray(char *const array[])
2644{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002645 Py_ssize_t i;
2646 for (i = 0; array[i] != NULL; ++i) {
Victor Stinner0e2d3cf2013-07-07 17:22:41 +02002647 PyMem_Free(array[i]);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002648 }
Victor Stinner0e2d3cf2013-07-07 17:22:41 +02002649 PyMem_Free((void*)array);
Gregory P. Smithfb94c5f2010-03-14 06:49:55 +00002650}