blob: 93eda62a2745bf239a675dc96036f75d5ba1b1ff [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
Serhiy Storchaka31a65542013-12-11 21:07:54 +02001247/* Return a Python int from the object item.
Serhiy Storchaka95949422013-08-27 19:40:23 +03001248 Raise TypeError if the result is not an int
Guido van Rossum98297ee2007-11-06 21:34:58 +00001249 or if the object cannot be interpreted as an index.
Thomas Wouters00ee7ba2006-08-21 19:07:27 +00001250*/
1251PyObject *
Guido van Rossum38fff8c2006-03-07 18:50:55 +00001252PyNumber_Index(PyObject *item)
1253{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001254 PyObject *result = NULL;
Victor Stinner71aea8e2016-08-19 16:59:55 +02001255 if (item == NULL) {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001256 return null_error();
Victor Stinner71aea8e2016-08-19 16:59:55 +02001257 }
1258
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001259 if (PyLong_Check(item)) {
1260 Py_INCREF(item);
1261 return item;
1262 }
Serhiy Storchaka31a65542013-12-11 21:07:54 +02001263 if (!PyIndex_Check(item)) {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001264 PyErr_Format(PyExc_TypeError,
1265 "'%.200s' object cannot be interpreted "
1266 "as an integer", item->ob_type->tp_name);
Serhiy Storchaka31a65542013-12-11 21:07:54 +02001267 return NULL;
1268 }
1269 result = item->ob_type->tp_as_number->nb_index(item);
1270 if (!result || PyLong_CheckExact(result))
1271 return result;
1272 if (!PyLong_Check(result)) {
1273 PyErr_Format(PyExc_TypeError,
1274 "__index__ returned non-int (type %.200s)",
1275 result->ob_type->tp_name);
1276 Py_DECREF(result);
1277 return NULL;
1278 }
1279 /* Issue #17576: warn if 'result' not of exact type int. */
1280 if (PyErr_WarnFormat(PyExc_DeprecationWarning, 1,
1281 "__index__ returned non-int (type %.200s). "
1282 "The ability to return an instance of a strict subclass of int "
1283 "is deprecated, and may be removed in a future version of Python.",
1284 result->ob_type->tp_name)) {
1285 Py_DECREF(result);
1286 return NULL;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001287 }
1288 return result;
Guido van Rossum38fff8c2006-03-07 18:50:55 +00001289}
1290
Thomas Wouters00ee7ba2006-08-21 19:07:27 +00001291/* Return an error on Overflow only if err is not NULL*/
1292
1293Py_ssize_t
1294PyNumber_AsSsize_t(PyObject *item, PyObject *err)
1295{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001296 Py_ssize_t result;
1297 PyObject *runerr;
1298 PyObject *value = PyNumber_Index(item);
1299 if (value == NULL)
1300 return -1;
Thomas Wouters00ee7ba2006-08-21 19:07:27 +00001301
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001302 /* We're done if PyLong_AsSsize_t() returns without error. */
1303 result = PyLong_AsSsize_t(value);
1304 if (result != -1 || !(runerr = PyErr_Occurred()))
1305 goto finish;
Thomas Wouters00ee7ba2006-08-21 19:07:27 +00001306
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001307 /* Error handling code -- only manage OverflowError differently */
1308 if (!PyErr_GivenExceptionMatches(runerr, PyExc_OverflowError))
1309 goto finish;
Thomas Wouters00ee7ba2006-08-21 19:07:27 +00001310
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001311 PyErr_Clear();
1312 /* If no error-handling desired then the default clipping
1313 is sufficient.
1314 */
1315 if (!err) {
1316 assert(PyLong_Check(value));
1317 /* Whether or not it is less than or equal to
1318 zero is determined by the sign of ob_size
1319 */
1320 if (_PyLong_Sign(value) < 0)
1321 result = PY_SSIZE_T_MIN;
1322 else
1323 result = PY_SSIZE_T_MAX;
1324 }
1325 else {
1326 /* Otherwise replace the error with caller's error object. */
1327 PyErr_Format(err,
1328 "cannot fit '%.200s' into an index-sized integer",
1329 item->ob_type->tp_name);
1330 }
Guido van Rossum98297ee2007-11-06 21:34:58 +00001331
Thomas Wouters00ee7ba2006-08-21 19:07:27 +00001332 finish:
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001333 Py_DECREF(value);
1334 return result;
Thomas Wouters00ee7ba2006-08-21 19:07:27 +00001335}
1336
1337
Guido van Rossume15dee51995-07-18 14:12:02 +00001338PyObject *
Fred Drake79912472000-07-09 04:06:11 +00001339PyNumber_Long(PyObject *o)
Guido van Rossume15dee51995-07-18 14:12:02 +00001340{
Serhiy Storchaka54cd1962016-08-21 20:03:08 +03001341 PyObject *result;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001342 PyNumberMethods *m;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001343 PyObject *trunc_func;
Serhiy Storchaka4fdb6842015-02-03 01:21:08 +02001344 Py_buffer view;
Benjamin Peterson9fc9bf42012-03-20 23:26:41 -04001345 _Py_IDENTIFIER(__trunc__);
Christian Heimes15ebc882008-02-04 18:48:49 +00001346
Victor Stinner71aea8e2016-08-19 16:59:55 +02001347 if (o == NULL) {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001348 return null_error();
Victor Stinner71aea8e2016-08-19 16:59:55 +02001349 }
1350
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001351 if (PyLong_CheckExact(o)) {
1352 Py_INCREF(o);
1353 return o;
1354 }
1355 m = o->ob_type->tp_as_number;
1356 if (m && m->nb_int) { /* This should include subclasses of int */
Serhiy Storchaka54cd1962016-08-21 20:03:08 +03001357 result = (PyObject *)_PyLong_FromNbInt(o);
1358 if (result != NULL && !PyLong_CheckExact(result)) {
1359 Py_SETREF(result, _PyLong_Copy((PyLongObject *)result));
1360 }
1361 return result;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001362 }
Benjamin Peterson1b1a8e72012-03-20 23:48:11 -04001363 trunc_func = _PyObject_LookupSpecial(o, &PyId___trunc__);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001364 if (trunc_func) {
INADA Naoki72dccde2017-02-16 09:26:01 +09001365 result = _PyObject_CallNoArg(trunc_func);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001366 Py_DECREF(trunc_func);
Serhiy Storchaka54cd1962016-08-21 20:03:08 +03001367 if (result == NULL || PyLong_CheckExact(result)) {
1368 return result;
1369 }
1370 if (PyLong_Check(result)) {
1371 Py_SETREF(result, _PyLong_Copy((PyLongObject *)result));
1372 return result;
1373 }
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001374 /* __trunc__ is specified to return an Integral type,
Martin Panter7462b6492015-11-02 03:37:02 +00001375 but int() needs to return an int. */
Serhiy Storchaka54cd1962016-08-21 20:03:08 +03001376 m = result->ob_type->tp_as_number;
Serhiy Storchaka31a65542013-12-11 21:07:54 +02001377 if (m == NULL || m->nb_int == NULL) {
1378 PyErr_Format(
1379 PyExc_TypeError,
1380 "__trunc__ returned non-Integral (type %.200s)",
Serhiy Storchaka54cd1962016-08-21 20:03:08 +03001381 result->ob_type->tp_name);
1382 Py_DECREF(result);
Serhiy Storchaka31a65542013-12-11 21:07:54 +02001383 return NULL;
1384 }
Serhiy Storchaka54cd1962016-08-21 20:03:08 +03001385 Py_SETREF(result, (PyObject *)_PyLong_FromNbInt(result));
1386 if (result != NULL && !PyLong_CheckExact(result)) {
1387 Py_SETREF(result, _PyLong_Copy((PyLongObject *)result));
1388 }
1389 return result;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001390 }
Benjamin Peterson1b1a8e72012-03-20 23:48:11 -04001391 if (PyErr_Occurred())
1392 return NULL;
Christian Heimes15ebc882008-02-04 18:48:49 +00001393
Serhiy Storchaka4fdb6842015-02-03 01:21:08 +02001394 if (PyUnicode_Check(o))
1395 /* The below check is done in PyLong_FromUnicode(). */
1396 return PyLong_FromUnicodeObject(o, 10);
1397
Martin Pantereeb896c2015-11-07 02:32:21 +00001398 if (PyBytes_Check(o))
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001399 /* need to do extra error checking that PyLong_FromString()
Serhiy Storchakaf6d0aee2013-08-03 20:55:06 +03001400 * doesn't do. In particular int('9\x005') must raise an
1401 * exception, not truncate at the null.
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001402 */
Martin Pantereeb896c2015-11-07 02:32:21 +00001403 return _PyLong_FromBytes(PyBytes_AS_STRING(o),
1404 PyBytes_GET_SIZE(o), 10);
1405
1406 if (PyByteArray_Check(o))
1407 return _PyLong_FromBytes(PyByteArray_AS_STRING(o),
1408 PyByteArray_GET_SIZE(o), 10);
1409
1410 if (PyObject_GetBuffer(o, &view, PyBUF_SIMPLE) == 0) {
Serhiy Storchaka54cd1962016-08-21 20:03:08 +03001411 PyObject *bytes;
Martin Pantereeb896c2015-11-07 02:32:21 +00001412
1413 /* Copy to NUL-terminated buffer. */
1414 bytes = PyBytes_FromStringAndSize((const char *)view.buf, view.len);
1415 if (bytes == NULL) {
1416 PyBuffer_Release(&view);
1417 return NULL;
1418 }
1419 result = _PyLong_FromBytes(PyBytes_AS_STRING(bytes),
1420 PyBytes_GET_SIZE(bytes), 10);
1421 Py_DECREF(bytes);
Serhiy Storchaka4fdb6842015-02-03 01:21:08 +02001422 PyBuffer_Release(&view);
1423 return result;
1424 }
Guido van Rossume15dee51995-07-18 14:12:02 +00001425
Serhiy Storchaka4fdb6842015-02-03 01:21:08 +02001426 return type_error("int() argument must be a string, a bytes-like object "
1427 "or a number, not '%.200s'", o);
Guido van Rossume15dee51995-07-18 14:12:02 +00001428}
1429
1430PyObject *
Fred Drake79912472000-07-09 04:06:11 +00001431PyNumber_Float(PyObject *o)
Guido van Rossume15dee51995-07-18 14:12:02 +00001432{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001433 PyNumberMethods *m;
Guido van Rossume15dee51995-07-18 14:12:02 +00001434
Victor Stinner71aea8e2016-08-19 16:59:55 +02001435 if (o == NULL) {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001436 return null_error();
Victor Stinner71aea8e2016-08-19 16:59:55 +02001437 }
1438
Serhiy Storchaka16931c32016-06-03 21:42:55 +03001439 if (PyFloat_CheckExact(o)) {
1440 Py_INCREF(o);
1441 return o;
1442 }
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001443 m = o->ob_type->tp_as_number;
1444 if (m && m->nb_float) { /* This should include subclasses of float */
1445 PyObject *res = m->nb_float(o);
Serhiy Storchaka16931c32016-06-03 21:42:55 +03001446 double val;
1447 if (!res || PyFloat_CheckExact(res)) {
1448 return res;
1449 }
1450 if (!PyFloat_Check(res)) {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001451 PyErr_Format(PyExc_TypeError,
Serhiy Storchaka16931c32016-06-03 21:42:55 +03001452 "%.50s.__float__ returned non-float (type %.50s)",
1453 o->ob_type->tp_name, res->ob_type->tp_name);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001454 Py_DECREF(res);
1455 return NULL;
1456 }
Serhiy Storchaka16931c32016-06-03 21:42:55 +03001457 /* Issue #26983: warn if 'res' not of exact type float. */
1458 if (PyErr_WarnFormat(PyExc_DeprecationWarning, 1,
1459 "%.50s.__float__ returned non-float (type %.50s). "
1460 "The ability to return an instance of a strict subclass of float "
1461 "is deprecated, and may be removed in a future version of Python.",
1462 o->ob_type->tp_name, res->ob_type->tp_name)) {
1463 Py_DECREF(res);
1464 return NULL;
1465 }
1466 val = PyFloat_AS_DOUBLE(res);
1467 Py_DECREF(res);
1468 return PyFloat_FromDouble(val);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001469 }
1470 if (PyFloat_Check(o)) { /* A float subclass with nb_float == NULL */
Serhiy Storchaka16931c32016-06-03 21:42:55 +03001471 return PyFloat_FromDouble(PyFloat_AS_DOUBLE(o));
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001472 }
1473 return PyFloat_FromString(o);
Guido van Rossume15dee51995-07-18 14:12:02 +00001474}
1475
Guido van Rossumcd16bf62007-06-13 18:07:49 +00001476
1477PyObject *
1478PyNumber_ToBase(PyObject *n, int base)
1479{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001480 PyObject *res = NULL;
1481 PyObject *index = PyNumber_Index(n);
Guido van Rossumcd16bf62007-06-13 18:07:49 +00001482
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001483 if (!index)
1484 return NULL;
1485 if (PyLong_Check(index))
1486 res = _PyLong_Format(index, base);
1487 else
1488 /* It should not be possible to get here, as
1489 PyNumber_Index already has a check for the same
1490 condition */
Serhiy Storchaka95949422013-08-27 19:40:23 +03001491 PyErr_SetString(PyExc_ValueError, "PyNumber_ToBase: index not int");
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001492 Py_DECREF(index);
1493 return res;
Guido van Rossumcd16bf62007-06-13 18:07:49 +00001494}
1495
1496
Guido van Rossumcea1c8c1998-05-22 00:47:05 +00001497/* Operations on sequences */
Guido van Rossume15dee51995-07-18 14:12:02 +00001498
Guido van Rossumcea1c8c1998-05-22 00:47:05 +00001499int
Fred Drake79912472000-07-09 04:06:11 +00001500PySequence_Check(PyObject *s)
Guido van Rossume15dee51995-07-18 14:12:02 +00001501{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001502 if (PyDict_Check(s))
1503 return 0;
1504 return s != NULL && s->ob_type->tp_as_sequence &&
1505 s->ob_type->tp_as_sequence->sq_item != NULL;
Guido van Rossume15dee51995-07-18 14:12:02 +00001506}
1507
Martin v. Löwis18e16552006-02-15 17:27:45 +00001508Py_ssize_t
Jeremy Hylton6253f832000-07-12 12:56:19 +00001509PySequence_Size(PyObject *s)
Guido van Rossume15dee51995-07-18 14:12:02 +00001510{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001511 PySequenceMethods *m;
Guido van Rossume15dee51995-07-18 14:12:02 +00001512
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001513 if (s == NULL) {
1514 null_error();
1515 return -1;
1516 }
Guido van Rossume15dee51995-07-18 14:12:02 +00001517
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001518 m = s->ob_type->tp_as_sequence;
Serhiy Storchaka813f9432017-04-16 09:21:44 +03001519 if (m && m->sq_length) {
1520 Py_ssize_t len = m->sq_length(s);
1521 assert(len >= 0 || PyErr_Occurred());
1522 return len;
1523 }
Guido van Rossume15dee51995-07-18 14:12:02 +00001524
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001525 type_error("object of type '%.200s' has no len()", s);
1526 return -1;
Guido van Rossume15dee51995-07-18 14:12:02 +00001527}
1528
Marc-André Lemburgcf5f3582000-07-17 09:22:55 +00001529#undef PySequence_Length
Martin v. Löwis18e16552006-02-15 17:27:45 +00001530Py_ssize_t
Marc-André Lemburgcf5f3582000-07-17 09:22:55 +00001531PySequence_Length(PyObject *s)
1532{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001533 return PySequence_Size(s);
Marc-André Lemburgcf5f3582000-07-17 09:22:55 +00001534}
1535#define PySequence_Length PySequence_Size
1536
Guido van Rossume15dee51995-07-18 14:12:02 +00001537PyObject *
Fred Drake79912472000-07-09 04:06:11 +00001538PySequence_Concat(PyObject *s, PyObject *o)
Guido van Rossume15dee51995-07-18 14:12:02 +00001539{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001540 PySequenceMethods *m;
Guido van Rossume15dee51995-07-18 14:12:02 +00001541
Victor Stinner71aea8e2016-08-19 16:59:55 +02001542 if (s == NULL || o == NULL) {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001543 return null_error();
Victor Stinner71aea8e2016-08-19 16:59:55 +02001544 }
Guido van Rossume15dee51995-07-18 14:12:02 +00001545
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001546 m = s->ob_type->tp_as_sequence;
1547 if (m && m->sq_concat)
1548 return m->sq_concat(s, o);
Guido van Rossumcea1c8c1998-05-22 00:47:05 +00001549
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001550 /* Instances of user classes defining an __add__() method only
1551 have an nb_add slot, not an sq_concat slot. So we fall back
1552 to nb_add if both arguments appear to be sequences. */
1553 if (PySequence_Check(s) && PySequence_Check(o)) {
1554 PyObject *result = binary_op1(s, o, NB_SLOT(nb_add));
1555 if (result != Py_NotImplemented)
1556 return result;
1557 Py_DECREF(result);
1558 }
1559 return type_error("'%.200s' object can't be concatenated", s);
Guido van Rossume15dee51995-07-18 14:12:02 +00001560}
1561
1562PyObject *
Martin v. Löwis18e16552006-02-15 17:27:45 +00001563PySequence_Repeat(PyObject *o, Py_ssize_t count)
Guido van Rossume15dee51995-07-18 14:12:02 +00001564{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001565 PySequenceMethods *m;
Guido van Rossume15dee51995-07-18 14:12:02 +00001566
Victor Stinner71aea8e2016-08-19 16:59:55 +02001567 if (o == NULL) {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001568 return null_error();
Victor Stinner71aea8e2016-08-19 16:59:55 +02001569 }
Guido van Rossume15dee51995-07-18 14:12:02 +00001570
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001571 m = o->ob_type->tp_as_sequence;
1572 if (m && m->sq_repeat)
1573 return m->sq_repeat(o, count);
Guido van Rossumcea1c8c1998-05-22 00:47:05 +00001574
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001575 /* Instances of user classes defining a __mul__() method only
1576 have an nb_multiply slot, not an sq_repeat slot. so we fall back
1577 to nb_multiply if o appears to be a sequence. */
1578 if (PySequence_Check(o)) {
1579 PyObject *n, *result;
1580 n = PyLong_FromSsize_t(count);
1581 if (n == NULL)
1582 return NULL;
1583 result = binary_op1(o, n, NB_SLOT(nb_multiply));
1584 Py_DECREF(n);
1585 if (result != Py_NotImplemented)
1586 return result;
1587 Py_DECREF(result);
1588 }
1589 return type_error("'%.200s' object can't be repeated", o);
Guido van Rossume15dee51995-07-18 14:12:02 +00001590}
1591
1592PyObject *
Thomas Wouterse289e0b2000-08-24 20:08:19 +00001593PySequence_InPlaceConcat(PyObject *s, PyObject *o)
1594{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001595 PySequenceMethods *m;
Thomas Wouterse289e0b2000-08-24 20:08:19 +00001596
Victor Stinner71aea8e2016-08-19 16:59:55 +02001597 if (s == NULL || o == NULL) {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001598 return null_error();
Victor Stinner71aea8e2016-08-19 16:59:55 +02001599 }
Thomas Wouterse289e0b2000-08-24 20:08:19 +00001600
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001601 m = s->ob_type->tp_as_sequence;
1602 if (m && m->sq_inplace_concat)
1603 return m->sq_inplace_concat(s, o);
1604 if (m && m->sq_concat)
1605 return m->sq_concat(s, o);
Thomas Wouterse289e0b2000-08-24 20:08:19 +00001606
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001607 if (PySequence_Check(s) && PySequence_Check(o)) {
1608 PyObject *result = binary_iop1(s, o, NB_SLOT(nb_inplace_add),
1609 NB_SLOT(nb_add));
1610 if (result != Py_NotImplemented)
1611 return result;
1612 Py_DECREF(result);
1613 }
1614 return type_error("'%.200s' object can't be concatenated", s);
Thomas Wouterse289e0b2000-08-24 20:08:19 +00001615}
1616
1617PyObject *
Martin v. Löwis18e16552006-02-15 17:27:45 +00001618PySequence_InPlaceRepeat(PyObject *o, Py_ssize_t count)
Thomas Wouterse289e0b2000-08-24 20:08:19 +00001619{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001620 PySequenceMethods *m;
Thomas Wouterse289e0b2000-08-24 20:08:19 +00001621
Victor Stinner71aea8e2016-08-19 16:59:55 +02001622 if (o == NULL) {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001623 return null_error();
Victor Stinner71aea8e2016-08-19 16:59:55 +02001624 }
Thomas Wouterse289e0b2000-08-24 20:08:19 +00001625
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001626 m = o->ob_type->tp_as_sequence;
1627 if (m && m->sq_inplace_repeat)
1628 return m->sq_inplace_repeat(o, count);
1629 if (m && m->sq_repeat)
1630 return m->sq_repeat(o, count);
Thomas Wouterse289e0b2000-08-24 20:08:19 +00001631
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001632 if (PySequence_Check(o)) {
1633 PyObject *n, *result;
1634 n = PyLong_FromSsize_t(count);
1635 if (n == NULL)
1636 return NULL;
1637 result = binary_iop1(o, n, NB_SLOT(nb_inplace_multiply),
1638 NB_SLOT(nb_multiply));
1639 Py_DECREF(n);
1640 if (result != Py_NotImplemented)
1641 return result;
1642 Py_DECREF(result);
1643 }
1644 return type_error("'%.200s' object can't be repeated", o);
Thomas Wouterse289e0b2000-08-24 20:08:19 +00001645}
1646
1647PyObject *
Martin v. Löwis18e16552006-02-15 17:27:45 +00001648PySequence_GetItem(PyObject *s, Py_ssize_t i)
Guido van Rossume15dee51995-07-18 14:12:02 +00001649{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001650 PySequenceMethods *m;
Guido van Rossume15dee51995-07-18 14:12:02 +00001651
Victor Stinner71aea8e2016-08-19 16:59:55 +02001652 if (s == NULL) {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001653 return null_error();
Victor Stinner71aea8e2016-08-19 16:59:55 +02001654 }
Guido van Rossume15dee51995-07-18 14:12:02 +00001655
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001656 m = s->ob_type->tp_as_sequence;
1657 if (m && m->sq_item) {
1658 if (i < 0) {
1659 if (m->sq_length) {
1660 Py_ssize_t l = (*m->sq_length)(s);
Victor Stinnere20310f2015-11-05 13:56:58 +01001661 if (l < 0) {
1662 assert(PyErr_Occurred());
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001663 return NULL;
Victor Stinnere20310f2015-11-05 13:56:58 +01001664 }
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001665 i += l;
1666 }
1667 }
1668 return m->sq_item(s, i);
1669 }
Guido van Rossume15dee51995-07-18 14:12:02 +00001670
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001671 return type_error("'%.200s' object does not support indexing", s);
Guido van Rossume15dee51995-07-18 14:12:02 +00001672}
1673
1674PyObject *
Martin v. Löwis18e16552006-02-15 17:27:45 +00001675PySequence_GetSlice(PyObject *s, Py_ssize_t i1, Py_ssize_t i2)
Guido van Rossume15dee51995-07-18 14:12:02 +00001676{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001677 PyMappingMethods *mp;
Guido van Rossume15dee51995-07-18 14:12:02 +00001678
Victor Stinner71aea8e2016-08-19 16:59:55 +02001679 if (!s) {
1680 return null_error();
1681 }
Guido van Rossume15dee51995-07-18 14:12:02 +00001682
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001683 mp = s->ob_type->tp_as_mapping;
Benjamin Peterson568867a2010-09-11 16:02:03 +00001684 if (mp && mp->mp_subscript) {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001685 PyObject *res;
1686 PyObject *slice = _PySlice_FromIndices(i1, i2);
1687 if (!slice)
1688 return NULL;
1689 res = mp->mp_subscript(s, slice);
1690 Py_DECREF(slice);
1691 return res;
1692 }
Guido van Rossume15dee51995-07-18 14:12:02 +00001693
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001694 return type_error("'%.200s' object is unsliceable", s);
Guido van Rossume15dee51995-07-18 14:12:02 +00001695}
1696
1697int
Martin v. Löwis18e16552006-02-15 17:27:45 +00001698PySequence_SetItem(PyObject *s, Py_ssize_t i, PyObject *o)
Guido van Rossume15dee51995-07-18 14:12:02 +00001699{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001700 PySequenceMethods *m;
Guido van Rossume15dee51995-07-18 14:12:02 +00001701
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001702 if (s == NULL) {
1703 null_error();
1704 return -1;
1705 }
Guido van Rossume15dee51995-07-18 14:12:02 +00001706
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001707 m = s->ob_type->tp_as_sequence;
1708 if (m && m->sq_ass_item) {
1709 if (i < 0) {
1710 if (m->sq_length) {
1711 Py_ssize_t l = (*m->sq_length)(s);
Serhiy Storchaka813f9432017-04-16 09:21:44 +03001712 if (l < 0) {
1713 assert(PyErr_Occurred());
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001714 return -1;
Serhiy Storchaka813f9432017-04-16 09:21:44 +03001715 }
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001716 i += l;
1717 }
1718 }
1719 return m->sq_ass_item(s, i, o);
1720 }
Guido van Rossumcea1c8c1998-05-22 00:47:05 +00001721
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001722 type_error("'%.200s' object does not support item assignment", s);
1723 return -1;
Guido van Rossume15dee51995-07-18 14:12:02 +00001724}
1725
Guido van Rossum6cdc6f41996-08-21 17:41:54 +00001726int
Martin v. Löwis18e16552006-02-15 17:27:45 +00001727PySequence_DelItem(PyObject *s, Py_ssize_t i)
Guido van Rossum6cdc6f41996-08-21 17:41:54 +00001728{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001729 PySequenceMethods *m;
Guido van Rossum6cdc6f41996-08-21 17:41:54 +00001730
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001731 if (s == NULL) {
1732 null_error();
1733 return -1;
1734 }
Guido van Rossum6cdc6f41996-08-21 17:41:54 +00001735
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001736 m = s->ob_type->tp_as_sequence;
1737 if (m && m->sq_ass_item) {
1738 if (i < 0) {
1739 if (m->sq_length) {
1740 Py_ssize_t l = (*m->sq_length)(s);
Serhiy Storchaka813f9432017-04-16 09:21:44 +03001741 if (l < 0) {
1742 assert(PyErr_Occurred());
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001743 return -1;
Serhiy Storchaka813f9432017-04-16 09:21:44 +03001744 }
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001745 i += l;
1746 }
1747 }
1748 return m->sq_ass_item(s, i, (PyObject *)NULL);
1749 }
Guido van Rossumcea1c8c1998-05-22 00:47:05 +00001750
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001751 type_error("'%.200s' object doesn't support item deletion", s);
1752 return -1;
Guido van Rossum6cdc6f41996-08-21 17:41:54 +00001753}
1754
Guido van Rossumcea1c8c1998-05-22 00:47:05 +00001755int
Martin v. Löwis18e16552006-02-15 17:27:45 +00001756PySequence_SetSlice(PyObject *s, Py_ssize_t i1, Py_ssize_t i2, PyObject *o)
Guido van Rossume15dee51995-07-18 14:12:02 +00001757{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001758 PyMappingMethods *mp;
Guido van Rossume15dee51995-07-18 14:12:02 +00001759
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001760 if (s == NULL) {
1761 null_error();
1762 return -1;
1763 }
Guido van Rossume15dee51995-07-18 14:12:02 +00001764
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001765 mp = s->ob_type->tp_as_mapping;
Benjamin Peterson568867a2010-09-11 16:02:03 +00001766 if (mp && mp->mp_ass_subscript) {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001767 int res;
1768 PyObject *slice = _PySlice_FromIndices(i1, i2);
1769 if (!slice)
1770 return -1;
1771 res = mp->mp_ass_subscript(s, slice, o);
1772 Py_DECREF(slice);
1773 return res;
1774 }
Thomas Wouters1d75a792000-08-17 22:37:32 +00001775
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001776 type_error("'%.200s' object doesn't support slice assignment", s);
1777 return -1;
Guido van Rossume15dee51995-07-18 14:12:02 +00001778}
1779
Guido van Rossumcea1c8c1998-05-22 00:47:05 +00001780int
Martin v. Löwis18e16552006-02-15 17:27:45 +00001781PySequence_DelSlice(PyObject *s, Py_ssize_t i1, Py_ssize_t i2)
Guido van Rossum6cdc6f41996-08-21 17:41:54 +00001782{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001783 PyMappingMethods *mp;
Guido van Rossum6cdc6f41996-08-21 17:41:54 +00001784
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001785 if (s == NULL) {
1786 null_error();
1787 return -1;
1788 }
Guido van Rossum6cdc6f41996-08-21 17:41:54 +00001789
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001790 mp = s->ob_type->tp_as_mapping;
Benjamin Peterson568867a2010-09-11 16:02:03 +00001791 if (mp && mp->mp_ass_subscript) {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001792 int res;
1793 PyObject *slice = _PySlice_FromIndices(i1, i2);
1794 if (!slice)
1795 return -1;
1796 res = mp->mp_ass_subscript(s, slice, NULL);
1797 Py_DECREF(slice);
1798 return res;
1799 }
1800 type_error("'%.200s' object doesn't support slice deletion", s);
1801 return -1;
Guido van Rossum6cdc6f41996-08-21 17:41:54 +00001802}
1803
Guido van Rossume15dee51995-07-18 14:12:02 +00001804PyObject *
Fred Drake79912472000-07-09 04:06:11 +00001805PySequence_Tuple(PyObject *v)
Guido van Rossume15dee51995-07-18 14:12:02 +00001806{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001807 PyObject *it; /* iter(v) */
1808 Py_ssize_t n; /* guess for result tuple size */
1809 PyObject *result = NULL;
1810 Py_ssize_t j;
Guido van Rossume15dee51995-07-18 14:12:02 +00001811
Victor Stinner71aea8e2016-08-19 16:59:55 +02001812 if (v == NULL) {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001813 return null_error();
Victor Stinner71aea8e2016-08-19 16:59:55 +02001814 }
Guido van Rossume15dee51995-07-18 14:12:02 +00001815
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001816 /* Special-case the common tuple and list cases, for efficiency. */
1817 if (PyTuple_CheckExact(v)) {
1818 /* Note that we can't know whether it's safe to return
1819 a tuple *subclass* instance as-is, hence the restriction
1820 to exact tuples here. In contrast, lists always make
1821 a copy, so there's no need for exactness below. */
1822 Py_INCREF(v);
1823 return v;
1824 }
Raymond Hettinger610a51f2015-05-17 14:45:58 -07001825 if (PyList_CheckExact(v))
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001826 return PyList_AsTuple(v);
Guido van Rossumcea1c8c1998-05-22 00:47:05 +00001827
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001828 /* Get iterator. */
1829 it = PyObject_GetIter(v);
1830 if (it == NULL)
1831 return NULL;
Guido van Rossumcea1c8c1998-05-22 00:47:05 +00001832
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001833 /* Guess result size and allocate space. */
Armin Ronacheraa9a79d2012-10-06 14:03:24 +02001834 n = PyObject_LengthHint(v, 10);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001835 if (n == -1)
1836 goto Fail;
1837 result = PyTuple_New(n);
1838 if (result == NULL)
1839 goto Fail;
Tim Peters6912d4d2001-05-05 03:56:37 +00001840
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001841 /* Fill the tuple. */
1842 for (j = 0; ; ++j) {
1843 PyObject *item = PyIter_Next(it);
1844 if (item == NULL) {
1845 if (PyErr_Occurred())
1846 goto Fail;
1847 break;
1848 }
1849 if (j >= n) {
Martin Pantere8db8612016-07-25 02:30:05 +00001850 size_t newn = (size_t)n;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001851 /* The over-allocation strategy can grow a bit faster
1852 than for lists because unlike lists the
1853 over-allocation isn't permanent -- we reclaim
1854 the excess before the end of this routine.
1855 So, grow by ten and then add 25%.
1856 */
Martin Pantere8db8612016-07-25 02:30:05 +00001857 newn += 10u;
1858 newn += newn >> 2;
1859 if (newn > PY_SSIZE_T_MAX) {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001860 /* Check for overflow */
1861 PyErr_NoMemory();
1862 Py_DECREF(item);
1863 goto Fail;
1864 }
Martin Pantere8db8612016-07-25 02:30:05 +00001865 n = (Py_ssize_t)newn;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001866 if (_PyTuple_Resize(&result, n) != 0) {
1867 Py_DECREF(item);
1868 goto Fail;
1869 }
1870 }
1871 PyTuple_SET_ITEM(result, j, item);
1872 }
Guido van Rossumcea1c8c1998-05-22 00:47:05 +00001873
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001874 /* Cut tuple back if guess was too large. */
1875 if (j < n &&
1876 _PyTuple_Resize(&result, j) != 0)
1877 goto Fail;
Tim Peters6912d4d2001-05-05 03:56:37 +00001878
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001879 Py_DECREF(it);
1880 return result;
Tim Peters6912d4d2001-05-05 03:56:37 +00001881
1882Fail:
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001883 Py_XDECREF(result);
1884 Py_DECREF(it);
1885 return NULL;
Guido van Rossume15dee51995-07-18 14:12:02 +00001886}
1887
Guido van Rossum3c5936a1996-12-05 21:51:24 +00001888PyObject *
Fred Drake79912472000-07-09 04:06:11 +00001889PySequence_List(PyObject *v)
Guido van Rossum3c5936a1996-12-05 21:51:24 +00001890{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001891 PyObject *result; /* result list */
1892 PyObject *rv; /* return value from PyList_Extend */
Guido van Rossum4669fb41997-04-02 05:31:09 +00001893
Victor Stinner71aea8e2016-08-19 16:59:55 +02001894 if (v == NULL) {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001895 return null_error();
Victor Stinner71aea8e2016-08-19 16:59:55 +02001896 }
Guido van Rossum5dba9e81998-07-10 18:03:50 +00001897
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001898 result = PyList_New(0);
1899 if (result == NULL)
1900 return NULL;
Tim Petersf553f892001-05-01 20:45:31 +00001901
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001902 rv = _PyList_Extend((PyListObject *)result, v);
1903 if (rv == NULL) {
1904 Py_DECREF(result);
1905 return NULL;
1906 }
1907 Py_DECREF(rv);
1908 return result;
Guido van Rossum3c5936a1996-12-05 21:51:24 +00001909}
1910
Andrew M. Kuchling74042d62000-06-18 18:43:14 +00001911PyObject *
Fred Drake79912472000-07-09 04:06:11 +00001912PySequence_Fast(PyObject *v, const char *m)
Andrew M. Kuchling74042d62000-06-18 18:43:14 +00001913{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001914 PyObject *it;
Raymond Hettinger2fb70292004-01-11 23:26:51 +00001915
Victor Stinner71aea8e2016-08-19 16:59:55 +02001916 if (v == NULL) {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001917 return null_error();
Victor Stinner71aea8e2016-08-19 16:59:55 +02001918 }
Andrew M. Kuchling74042d62000-06-18 18:43:14 +00001919
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001920 if (PyList_CheckExact(v) || PyTuple_CheckExact(v)) {
1921 Py_INCREF(v);
1922 return v;
1923 }
Andrew M. Kuchling74042d62000-06-18 18:43:14 +00001924
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001925 it = PyObject_GetIter(v);
1926 if (it == NULL) {
1927 if (PyErr_ExceptionMatches(PyExc_TypeError))
1928 PyErr_SetString(PyExc_TypeError, m);
1929 return NULL;
1930 }
Raymond Hettinger2fb70292004-01-11 23:26:51 +00001931
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001932 v = PySequence_List(it);
1933 Py_DECREF(it);
Andrew M. Kuchling74042d62000-06-18 18:43:14 +00001934
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001935 return v;
Andrew M. Kuchling74042d62000-06-18 18:43:14 +00001936}
1937
Tim Peters16a77ad2001-09-08 04:00:12 +00001938/* Iterate over seq. Result depends on the operation:
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001939 PY_ITERSEARCH_COUNT: -1 if error, else # of times obj appears in seq.
1940 PY_ITERSEARCH_INDEX: 0-based index of first occurrence of obj in seq;
1941 set ValueError and return -1 if none found; also return -1 on error.
Tim Peters16a77ad2001-09-08 04:00:12 +00001942 Py_ITERSEARCH_CONTAINS: return 1 if obj in seq, else 0; -1 on error.
1943*/
Neal Norwitz1fc4b772006-03-04 18:49:58 +00001944Py_ssize_t
Tim Peters16a77ad2001-09-08 04:00:12 +00001945_PySequence_IterSearch(PyObject *seq, PyObject *obj, int operation)
Guido van Rossume15dee51995-07-18 14:12:02 +00001946{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001947 Py_ssize_t n;
1948 int wrapped; /* for PY_ITERSEARCH_INDEX, true iff n wrapped around */
1949 PyObject *it; /* iter(seq) */
Guido van Rossume15dee51995-07-18 14:12:02 +00001950
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001951 if (seq == NULL || obj == NULL) {
1952 null_error();
1953 return -1;
1954 }
Tim Peters75f8e352001-05-05 11:33:43 +00001955
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001956 it = PyObject_GetIter(seq);
1957 if (it == NULL) {
1958 type_error("argument of type '%.200s' is not iterable", seq);
1959 return -1;
1960 }
Guido van Rossume15dee51995-07-18 14:12:02 +00001961
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001962 n = wrapped = 0;
1963 for (;;) {
1964 int cmp;
1965 PyObject *item = PyIter_Next(it);
1966 if (item == NULL) {
1967 if (PyErr_Occurred())
1968 goto Fail;
1969 break;
1970 }
Tim Peters16a77ad2001-09-08 04:00:12 +00001971
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001972 cmp = PyObject_RichCompareBool(obj, item, Py_EQ);
1973 Py_DECREF(item);
1974 if (cmp < 0)
1975 goto Fail;
1976 if (cmp > 0) {
1977 switch (operation) {
1978 case PY_ITERSEARCH_COUNT:
1979 if (n == PY_SSIZE_T_MAX) {
1980 PyErr_SetString(PyExc_OverflowError,
1981 "count exceeds C integer size");
1982 goto Fail;
1983 }
1984 ++n;
1985 break;
Tim Peters16a77ad2001-09-08 04:00:12 +00001986
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001987 case PY_ITERSEARCH_INDEX:
1988 if (wrapped) {
1989 PyErr_SetString(PyExc_OverflowError,
1990 "index exceeds C integer size");
1991 goto Fail;
1992 }
1993 goto Done;
Tim Peters16a77ad2001-09-08 04:00:12 +00001994
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001995 case PY_ITERSEARCH_CONTAINS:
1996 n = 1;
1997 goto Done;
Tim Peters16a77ad2001-09-08 04:00:12 +00001998
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001999 default:
Barry Warsawb2e57942017-09-14 18:13:16 -07002000 Py_UNREACHABLE();
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002001 }
2002 }
Tim Peters16a77ad2001-09-08 04:00:12 +00002003
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002004 if (operation == PY_ITERSEARCH_INDEX) {
2005 if (n == PY_SSIZE_T_MAX)
2006 wrapped = 1;
2007 ++n;
2008 }
2009 }
Tim Peters16a77ad2001-09-08 04:00:12 +00002010
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002011 if (operation != PY_ITERSEARCH_INDEX)
2012 goto Done;
Tim Peters16a77ad2001-09-08 04:00:12 +00002013
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002014 PyErr_SetString(PyExc_ValueError,
2015 "sequence.index(x): x not in sequence");
2016 /* fall into failure code */
Tim Peters16a77ad2001-09-08 04:00:12 +00002017Fail:
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002018 n = -1;
2019 /* fall through */
Tim Peters16a77ad2001-09-08 04:00:12 +00002020Done:
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002021 Py_DECREF(it);
2022 return n;
Tim Peters75f8e352001-05-05 11:33:43 +00002023
Guido van Rossume15dee51995-07-18 14:12:02 +00002024}
2025
Tim Peters16a77ad2001-09-08 04:00:12 +00002026/* Return # of times o appears in s. */
Neal Norwitz1fc4b772006-03-04 18:49:58 +00002027Py_ssize_t
Tim Peters16a77ad2001-09-08 04:00:12 +00002028PySequence_Count(PyObject *s, PyObject *o)
Guido van Rossume15dee51995-07-18 14:12:02 +00002029{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002030 return _PySequence_IterSearch(s, o, PY_ITERSEARCH_COUNT);
Guido van Rossume15dee51995-07-18 14:12:02 +00002031}
2032
Tim Peterscb8d3682001-05-05 21:05:01 +00002033/* Return -1 if error; 1 if ob in seq; 0 if ob not in seq.
Tim Peters16a77ad2001-09-08 04:00:12 +00002034 * Use sq_contains if possible, else defer to _PySequence_IterSearch().
Tim Peterscb8d3682001-05-05 21:05:01 +00002035 */
2036int
2037PySequence_Contains(PyObject *seq, PyObject *ob)
2038{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002039 Py_ssize_t result;
2040 PySequenceMethods *sqm = seq->ob_type->tp_as_sequence;
2041 if (sqm != NULL && sqm->sq_contains != NULL)
2042 return (*sqm->sq_contains)(seq, ob);
2043 result = _PySequence_IterSearch(seq, ob, PY_ITERSEARCH_CONTAINS);
2044 return Py_SAFE_DOWNCAST(result, Py_ssize_t, int);
Tim Peterscb8d3682001-05-05 21:05:01 +00002045}
2046
Guido van Rossumcea1c8c1998-05-22 00:47:05 +00002047/* Backwards compatibility */
2048#undef PySequence_In
2049int
Fred Drake79912472000-07-09 04:06:11 +00002050PySequence_In(PyObject *w, PyObject *v)
Guido van Rossumcea1c8c1998-05-22 00:47:05 +00002051{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002052 return PySequence_Contains(w, v);
Guido van Rossumcea1c8c1998-05-22 00:47:05 +00002053}
2054
Neal Norwitz1fc4b772006-03-04 18:49:58 +00002055Py_ssize_t
Fred Drake79912472000-07-09 04:06:11 +00002056PySequence_Index(PyObject *s, PyObject *o)
Guido van Rossume15dee51995-07-18 14:12:02 +00002057{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002058 return _PySequence_IterSearch(s, o, PY_ITERSEARCH_INDEX);
Guido van Rossume15dee51995-07-18 14:12:02 +00002059}
2060
Guido van Rossumcea1c8c1998-05-22 00:47:05 +00002061/* Operations on mappings */
2062
2063int
Fred Drake79912472000-07-09 04:06:11 +00002064PyMapping_Check(PyObject *o)
Guido van Rossume15dee51995-07-18 14:12:02 +00002065{
Benjamin Peterson21992272011-12-28 12:01:31 -06002066 return o && o->ob_type->tp_as_mapping &&
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002067 o->ob_type->tp_as_mapping->mp_subscript;
Guido van Rossume15dee51995-07-18 14:12:02 +00002068}
2069
Martin v. Löwis18e16552006-02-15 17:27:45 +00002070Py_ssize_t
Jeremy Hylton6253f832000-07-12 12:56:19 +00002071PyMapping_Size(PyObject *o)
Guido van Rossume15dee51995-07-18 14:12:02 +00002072{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002073 PyMappingMethods *m;
Guido van Rossume15dee51995-07-18 14:12:02 +00002074
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002075 if (o == NULL) {
2076 null_error();
2077 return -1;
2078 }
Guido van Rossume15dee51995-07-18 14:12:02 +00002079
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002080 m = o->ob_type->tp_as_mapping;
Serhiy Storchaka813f9432017-04-16 09:21:44 +03002081 if (m && m->mp_length) {
2082 Py_ssize_t len = m->mp_length(o);
2083 assert(len >= 0 || PyErr_Occurred());
2084 return len;
2085 }
Guido van Rossume15dee51995-07-18 14:12:02 +00002086
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002087 type_error("object of type '%.200s' has no len()", o);
2088 return -1;
Guido van Rossume15dee51995-07-18 14:12:02 +00002089}
2090
Marc-André Lemburgcf5f3582000-07-17 09:22:55 +00002091#undef PyMapping_Length
Martin v. Löwis18e16552006-02-15 17:27:45 +00002092Py_ssize_t
Marc-André Lemburgcf5f3582000-07-17 09:22:55 +00002093PyMapping_Length(PyObject *o)
2094{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002095 return PyMapping_Size(o);
Marc-André Lemburgcf5f3582000-07-17 09:22:55 +00002096}
2097#define PyMapping_Length PyMapping_Size
2098
Guido van Rossumcea1c8c1998-05-22 00:47:05 +00002099PyObject *
Serhiy Storchakac6792272013-10-19 21:03:34 +03002100PyMapping_GetItemString(PyObject *o, const char *key)
Guido van Rossumcea1c8c1998-05-22 00:47:05 +00002101{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002102 PyObject *okey, *r;
Guido van Rossumcea1c8c1998-05-22 00:47:05 +00002103
Victor Stinner71aea8e2016-08-19 16:59:55 +02002104 if (key == NULL) {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002105 return null_error();
Victor Stinner71aea8e2016-08-19 16:59:55 +02002106 }
Guido van Rossumcea1c8c1998-05-22 00:47:05 +00002107
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002108 okey = PyUnicode_FromString(key);
2109 if (okey == NULL)
2110 return NULL;
2111 r = PyObject_GetItem(o, okey);
2112 Py_DECREF(okey);
2113 return r;
Guido van Rossumcea1c8c1998-05-22 00:47:05 +00002114}
2115
2116int
Serhiy Storchakac6792272013-10-19 21:03:34 +03002117PyMapping_SetItemString(PyObject *o, const char *key, PyObject *value)
Guido van Rossumcea1c8c1998-05-22 00:47:05 +00002118{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002119 PyObject *okey;
2120 int r;
Guido van Rossumcea1c8c1998-05-22 00:47:05 +00002121
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002122 if (key == NULL) {
2123 null_error();
2124 return -1;
2125 }
Guido van Rossumcea1c8c1998-05-22 00:47:05 +00002126
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002127 okey = PyUnicode_FromString(key);
2128 if (okey == NULL)
2129 return -1;
2130 r = PyObject_SetItem(o, okey, value);
2131 Py_DECREF(okey);
2132 return r;
Guido van Rossumcea1c8c1998-05-22 00:47:05 +00002133}
2134
2135int
Serhiy Storchakac6792272013-10-19 21:03:34 +03002136PyMapping_HasKeyString(PyObject *o, const char *key)
Guido van Rossume15dee51995-07-18 14:12:02 +00002137{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002138 PyObject *v;
Guido van Rossume15dee51995-07-18 14:12:02 +00002139
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002140 v = PyMapping_GetItemString(o, key);
2141 if (v) {
2142 Py_DECREF(v);
2143 return 1;
2144 }
2145 PyErr_Clear();
2146 return 0;
Guido van Rossume15dee51995-07-18 14:12:02 +00002147}
2148
Guido van Rossumcea1c8c1998-05-22 00:47:05 +00002149int
Fred Drake79912472000-07-09 04:06:11 +00002150PyMapping_HasKey(PyObject *o, PyObject *key)
Guido van Rossume15dee51995-07-18 14:12:02 +00002151{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002152 PyObject *v;
Guido van Rossume15dee51995-07-18 14:12:02 +00002153
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002154 v = PyObject_GetItem(o, key);
2155 if (v) {
2156 Py_DECREF(v);
2157 return 1;
2158 }
2159 PyErr_Clear();
2160 return 0;
Guido van Rossume15dee51995-07-18 14:12:02 +00002161}
2162
Oren Milman0ccc0f62017-10-08 11:17:46 +03002163/* This function is quite similar to PySequence_Fast(), but specialized to be
2164 a helper for PyMapping_Keys(), PyMapping_Items() and PyMapping_Values().
2165 */
2166static PyObject *
2167method_output_as_list(PyObject *o, _Py_Identifier *meth_id)
2168{
2169 PyObject *it, *result, *meth_output;
2170
2171 assert(o != NULL);
2172 meth_output = _PyObject_CallMethodId(o, meth_id, NULL);
2173 if (meth_output == NULL || PyList_CheckExact(meth_output)) {
2174 return meth_output;
2175 }
2176 it = PyObject_GetIter(meth_output);
2177 if (it == NULL) {
2178 if (PyErr_ExceptionMatches(PyExc_TypeError)) {
2179 PyErr_Format(PyExc_TypeError,
2180 "%.200s.%U() returned a non-iterable (type %.200s)",
2181 Py_TYPE(o)->tp_name,
2182 meth_id->object,
2183 Py_TYPE(meth_output)->tp_name);
2184 }
2185 Py_DECREF(meth_output);
2186 return NULL;
2187 }
2188 Py_DECREF(meth_output);
2189 result = PySequence_List(it);
2190 Py_DECREF(it);
2191 return result;
2192}
2193
Guido van Rossumcc2b0162007-02-11 06:12:03 +00002194PyObject *
2195PyMapping_Keys(PyObject *o)
2196{
Martin v. Löwisbd928fe2011-10-14 10:20:37 +02002197 _Py_IDENTIFIER(keys);
Guido van Rossumcc2b0162007-02-11 06:12:03 +00002198
Oren Milman0ccc0f62017-10-08 11:17:46 +03002199 if (o == NULL) {
2200 return null_error();
2201 }
2202 if (PyDict_CheckExact(o)) {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002203 return PyDict_Keys(o);
Oren Milman0ccc0f62017-10-08 11:17:46 +03002204 }
2205 return method_output_as_list(o, &PyId_keys);
Guido van Rossumcc2b0162007-02-11 06:12:03 +00002206}
2207
2208PyObject *
2209PyMapping_Items(PyObject *o)
2210{
Martin v. Löwisbd928fe2011-10-14 10:20:37 +02002211 _Py_IDENTIFIER(items);
Guido van Rossumcc2b0162007-02-11 06:12:03 +00002212
Oren Milman0ccc0f62017-10-08 11:17:46 +03002213 if (o == NULL) {
2214 return null_error();
2215 }
2216 if (PyDict_CheckExact(o)) {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002217 return PyDict_Items(o);
Oren Milman0ccc0f62017-10-08 11:17:46 +03002218 }
2219 return method_output_as_list(o, &PyId_items);
Guido van Rossumcc2b0162007-02-11 06:12:03 +00002220}
2221
2222PyObject *
2223PyMapping_Values(PyObject *o)
2224{
Martin v. Löwisbd928fe2011-10-14 10:20:37 +02002225 _Py_IDENTIFIER(values);
Guido van Rossumcc2b0162007-02-11 06:12:03 +00002226
Oren Milman0ccc0f62017-10-08 11:17:46 +03002227 if (o == NULL) {
2228 return null_error();
2229 }
2230 if (PyDict_CheckExact(o)) {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002231 return PyDict_Values(o);
Oren Milman0ccc0f62017-10-08 11:17:46 +03002232 }
2233 return method_output_as_list(o, &PyId_values);
Guido van Rossumcc2b0162007-02-11 06:12:03 +00002234}
2235
Guido van Rossum823649d2001-03-21 18:40:58 +00002236/* isinstance(), issubclass() */
2237
Benjamin Peterson9fc9bf42012-03-20 23:26:41 -04002238/* abstract_get_bases() has logically 4 return states:
Barry Warsawf16951c2002-04-23 22:45:44 +00002239 *
Barry Warsawf16951c2002-04-23 22:45:44 +00002240 * 1. getattr(cls, '__bases__') could raise an AttributeError
2241 * 2. getattr(cls, '__bases__') could raise some other exception
2242 * 3. getattr(cls, '__bases__') could return a tuple
2243 * 4. getattr(cls, '__bases__') could return something other than a tuple
2244 *
2245 * Only state #3 is a non-error state and only it returns a non-NULL object
2246 * (it returns the retrieved tuple).
2247 *
2248 * Any raised AttributeErrors are masked by clearing the exception and
2249 * returning NULL. If an object other than a tuple comes out of __bases__,
2250 * then again, the return value is NULL. So yes, these two situations
2251 * produce exactly the same results: NULL is returned and no error is set.
2252 *
2253 * If some exception other than AttributeError is raised, then NULL is also
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002254 * returned, but the exception is not cleared. That's because we want the
Barry Warsawf16951c2002-04-23 22:45:44 +00002255 * exception to be propagated along.
2256 *
2257 * Callers are expected to test for PyErr_Occurred() when the return value
2258 * is NULL to decide whether a valid exception should be propagated or not.
2259 * When there's no exception to propagate, it's customary for the caller to
2260 * set a TypeError.
2261 */
Neil Schemenauer6b471292001-10-18 03:18:43 +00002262static PyObject *
2263abstract_get_bases(PyObject *cls)
Guido van Rossum823649d2001-03-21 18:40:58 +00002264{
Benjamin Peterson9fc9bf42012-03-20 23:26:41 -04002265 _Py_IDENTIFIER(__bases__);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002266 PyObject *bases;
Guido van Rossum823649d2001-03-21 18:40:58 +00002267
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002268 Py_ALLOW_RECURSION
Serhiy Storchakaf320be72018-01-25 10:49:40 +02002269 (void)_PyObject_LookupAttrId(cls, &PyId___bases__, &bases);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002270 Py_END_ALLOW_RECURSION
Serhiy Storchakaf320be72018-01-25 10:49:40 +02002271 if (bases != NULL && !PyTuple_Check(bases)) {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002272 Py_DECREF(bases);
2273 return NULL;
2274 }
2275 return bases;
Neil Schemenauer6b471292001-10-18 03:18:43 +00002276}
2277
2278
2279static int
2280abstract_issubclass(PyObject *derived, PyObject *cls)
2281{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002282 PyObject *bases = NULL;
2283 Py_ssize_t i, n;
2284 int r = 0;
Neil Schemenauer6b471292001-10-18 03:18:43 +00002285
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002286 while (1) {
2287 if (derived == cls)
2288 return 1;
2289 bases = abstract_get_bases(derived);
2290 if (bases == NULL) {
2291 if (PyErr_Occurred())
2292 return -1;
2293 return 0;
2294 }
2295 n = PyTuple_GET_SIZE(bases);
2296 if (n == 0) {
2297 Py_DECREF(bases);
2298 return 0;
2299 }
2300 /* Avoid recursivity in the single inheritance case */
2301 if (n == 1) {
2302 derived = PyTuple_GET_ITEM(bases, 0);
2303 Py_DECREF(bases);
2304 continue;
2305 }
2306 for (i = 0; i < n; i++) {
2307 r = abstract_issubclass(PyTuple_GET_ITEM(bases, i), cls);
2308 if (r != 0)
2309 break;
2310 }
2311 Py_DECREF(bases);
2312 return r;
2313 }
Guido van Rossum823649d2001-03-21 18:40:58 +00002314}
2315
Walter Dörwaldd9a6ad32002-12-12 16:41:44 +00002316static int
2317check_class(PyObject *cls, const char *error)
2318{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002319 PyObject *bases = abstract_get_bases(cls);
2320 if (bases == NULL) {
2321 /* Do not mask errors. */
2322 if (!PyErr_Occurred())
2323 PyErr_SetString(PyExc_TypeError, error);
2324 return 0;
2325 }
2326 Py_DECREF(bases);
2327 return -1;
Walter Dörwaldd9a6ad32002-12-12 16:41:44 +00002328}
2329
Brett Cannon4f653312004-03-20 22:52:14 +00002330static int
Antoine Pitrouec569b72008-08-26 22:40:48 +00002331recursive_isinstance(PyObject *inst, PyObject *cls)
Guido van Rossum823649d2001-03-21 18:40:58 +00002332{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002333 PyObject *icls;
Serhiy Storchakaf320be72018-01-25 10:49:40 +02002334 int retval;
Benjamin Peterson9fc9bf42012-03-20 23:26:41 -04002335 _Py_IDENTIFIER(__class__);
Guido van Rossum03bc7d32003-02-12 03:32:58 +00002336
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002337 if (PyType_Check(cls)) {
2338 retval = PyObject_TypeCheck(inst, (PyTypeObject *)cls);
2339 if (retval == 0) {
Serhiy Storchakaf320be72018-01-25 10:49:40 +02002340 retval = _PyObject_LookupAttrId(inst, &PyId___class__, &icls);
2341 if (icls != NULL) {
2342 if (icls != (PyObject *)(inst->ob_type) && PyType_Check(icls)) {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002343 retval = PyType_IsSubtype(
Serhiy Storchakaf320be72018-01-25 10:49:40 +02002344 (PyTypeObject *)icls,
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002345 (PyTypeObject *)cls);
Serhiy Storchakaf320be72018-01-25 10:49:40 +02002346 }
2347 else {
2348 retval = 0;
2349 }
2350 Py_DECREF(icls);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002351 }
2352 }
2353 }
2354 else {
2355 if (!check_class(cls,
Benjamin Petersone893af52010-06-28 19:43:42 +00002356 "isinstance() arg 2 must be a type or tuple of types"))
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002357 return -1;
Serhiy Storchakaf320be72018-01-25 10:49:40 +02002358 retval = _PyObject_LookupAttrId(inst, &PyId___class__, &icls);
2359 if (icls != NULL) {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002360 retval = abstract_issubclass(icls, cls);
2361 Py_DECREF(icls);
2362 }
2363 }
Guido van Rossum823649d2001-03-21 18:40:58 +00002364
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002365 return retval;
Guido van Rossum823649d2001-03-21 18:40:58 +00002366}
2367
2368int
Brett Cannon4f653312004-03-20 22:52:14 +00002369PyObject_IsInstance(PyObject *inst, PyObject *cls)
2370{
Benjamin Petersonce798522012-01-22 11:24:29 -05002371 _Py_IDENTIFIER(__instancecheck__);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002372 PyObject *checker;
Christian Heimesd5e2b6f2008-03-19 21:50:51 +00002373
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002374 /* Quick test for an exact match */
2375 if (Py_TYPE(inst) == (PyTypeObject *)cls)
2376 return 1;
Christian Heimesd5e2b6f2008-03-19 21:50:51 +00002377
Georg Brandl72b8a802014-10-03 09:26:37 +02002378 /* We know what type's __instancecheck__ does. */
2379 if (PyType_CheckExact(cls)) {
2380 return recursive_isinstance(inst, cls);
2381 }
2382
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002383 if (PyTuple_Check(cls)) {
2384 Py_ssize_t i;
2385 Py_ssize_t n;
2386 int r = 0;
Antoine Pitrouec569b72008-08-26 22:40:48 +00002387
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002388 if (Py_EnterRecursiveCall(" in __instancecheck__"))
2389 return -1;
2390 n = PyTuple_GET_SIZE(cls);
2391 for (i = 0; i < n; ++i) {
2392 PyObject *item = PyTuple_GET_ITEM(cls, i);
2393 r = PyObject_IsInstance(inst, item);
2394 if (r != 0)
2395 /* either found it, or got an error */
2396 break;
2397 }
2398 Py_LeaveRecursiveCall();
2399 return r;
2400 }
Benjamin Peterson88fe5f92009-05-16 21:55:24 +00002401
Benjamin Petersonce798522012-01-22 11:24:29 -05002402 checker = _PyObject_LookupSpecial(cls, &PyId___instancecheck__);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002403 if (checker != NULL) {
2404 PyObject *res;
2405 int ok = -1;
2406 if (Py_EnterRecursiveCall(" in __instancecheck__")) {
2407 Py_DECREF(checker);
2408 return ok;
2409 }
Victor Stinnerde4ae3d2016-12-04 22:59:09 +01002410 res = PyObject_CallFunctionObjArgs(checker, inst, NULL);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002411 Py_LeaveRecursiveCall();
2412 Py_DECREF(checker);
2413 if (res != NULL) {
2414 ok = PyObject_IsTrue(res);
2415 Py_DECREF(res);
2416 }
2417 return ok;
2418 }
2419 else if (PyErr_Occurred())
2420 return -1;
Georg Brandl72b8a802014-10-03 09:26:37 +02002421 /* Probably never reached anymore. */
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002422 return recursive_isinstance(inst, cls);
Brett Cannon4f653312004-03-20 22:52:14 +00002423}
2424
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002425static int
Antoine Pitrouec569b72008-08-26 22:40:48 +00002426recursive_issubclass(PyObject *derived, PyObject *cls)
Guido van Rossum823649d2001-03-21 18:40:58 +00002427{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002428 if (PyType_Check(cls) && PyType_Check(derived)) {
2429 /* Fast path (non-recursive) */
2430 return PyType_IsSubtype((PyTypeObject *)derived, (PyTypeObject *)cls);
2431 }
2432 if (!check_class(derived,
2433 "issubclass() arg 1 must be a class"))
2434 return -1;
2435 if (!check_class(cls,
2436 "issubclass() arg 2 must be a class"
2437 " or tuple of classes"))
2438 return -1;
Guido van Rossum823649d2001-03-21 18:40:58 +00002439
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002440 return abstract_issubclass(derived, cls);
Guido van Rossum823649d2001-03-21 18:40:58 +00002441}
Guido van Rossum59d1d2b2001-04-20 19:13:02 +00002442
Brett Cannon4f653312004-03-20 22:52:14 +00002443int
2444PyObject_IsSubclass(PyObject *derived, PyObject *cls)
2445{
Benjamin Petersonce798522012-01-22 11:24:29 -05002446 _Py_IDENTIFIER(__subclasscheck__);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002447 PyObject *checker;
Georg Brandldcfe8e42009-05-17 08:22:45 +00002448
Georg Brandl72b8a802014-10-03 09:26:37 +02002449 /* We know what type's __subclasscheck__ does. */
2450 if (PyType_CheckExact(cls)) {
2451 /* Quick test for an exact match */
2452 if (derived == cls)
2453 return 1;
2454 return recursive_issubclass(derived, cls);
2455 }
2456
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002457 if (PyTuple_Check(cls)) {
2458 Py_ssize_t i;
2459 Py_ssize_t n;
2460 int r = 0;
Antoine Pitrouec569b72008-08-26 22:40:48 +00002461
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002462 if (Py_EnterRecursiveCall(" in __subclasscheck__"))
2463 return -1;
2464 n = PyTuple_GET_SIZE(cls);
2465 for (i = 0; i < n; ++i) {
2466 PyObject *item = PyTuple_GET_ITEM(cls, i);
2467 r = PyObject_IsSubclass(derived, item);
2468 if (r != 0)
2469 /* either found it, or got an error */
2470 break;
2471 }
2472 Py_LeaveRecursiveCall();
2473 return r;
2474 }
Benjamin Peterson88fe5f92009-05-16 21:55:24 +00002475
Benjamin Petersonce798522012-01-22 11:24:29 -05002476 checker = _PyObject_LookupSpecial(cls, &PyId___subclasscheck__);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002477 if (checker != NULL) {
2478 PyObject *res;
2479 int ok = -1;
2480 if (Py_EnterRecursiveCall(" in __subclasscheck__")) {
2481 Py_DECREF(checker);
2482 return ok;
2483 }
Victor Stinnerde4ae3d2016-12-04 22:59:09 +01002484 res = PyObject_CallFunctionObjArgs(checker, derived, NULL);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002485 Py_LeaveRecursiveCall();
2486 Py_DECREF(checker);
2487 if (res != NULL) {
2488 ok = PyObject_IsTrue(res);
2489 Py_DECREF(res);
2490 }
2491 return ok;
2492 }
2493 else if (PyErr_Occurred())
2494 return -1;
Georg Brandl72b8a802014-10-03 09:26:37 +02002495 /* Probably never reached anymore. */
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002496 return recursive_issubclass(derived, cls);
Antoine Pitrouec569b72008-08-26 22:40:48 +00002497}
2498
2499int
2500_PyObject_RealIsInstance(PyObject *inst, PyObject *cls)
2501{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002502 return recursive_isinstance(inst, cls);
Antoine Pitrouec569b72008-08-26 22:40:48 +00002503}
2504
2505int
2506_PyObject_RealIsSubclass(PyObject *derived, PyObject *cls)
2507{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002508 return recursive_issubclass(derived, cls);
Brett Cannon4f653312004-03-20 22:52:14 +00002509}
2510
2511
Guido van Rossum59d1d2b2001-04-20 19:13:02 +00002512PyObject *
2513PyObject_GetIter(PyObject *o)
2514{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002515 PyTypeObject *t = o->ob_type;
Victor Stinner14e6d092016-12-09 17:08:59 +01002516 getiterfunc f;
2517
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002518 f = t->tp_iter;
2519 if (f == NULL) {
2520 if (PySequence_Check(o))
2521 return PySeqIter_New(o);
2522 return type_error("'%.200s' object is not iterable", o);
2523 }
2524 else {
2525 PyObject *res = (*f)(o);
2526 if (res != NULL && !PyIter_Check(res)) {
2527 PyErr_Format(PyExc_TypeError,
2528 "iter() returned non-iterator "
2529 "of type '%.100s'",
2530 res->ob_type->tp_name);
2531 Py_DECREF(res);
2532 res = NULL;
2533 }
2534 return res;
2535 }
Guido van Rossum213c7a62001-04-23 14:08:49 +00002536}
2537
Tim Petersf4848da2001-05-05 00:14:56 +00002538/* Return next item.
2539 * If an error occurs, return NULL. PyErr_Occurred() will be true.
2540 * If the iteration terminates normally, return NULL and clear the
2541 * PyExc_StopIteration exception (if it was set). PyErr_Occurred()
2542 * will be false.
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002543 * Else return the next object. PyErr_Occurred() will be false.
Tim Petersf4848da2001-05-05 00:14:56 +00002544 */
Guido van Rossum213c7a62001-04-23 14:08:49 +00002545PyObject *
2546PyIter_Next(PyObject *iter)
2547{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002548 PyObject *result;
2549 result = (*iter->ob_type->tp_iternext)(iter);
2550 if (result == NULL &&
2551 PyErr_Occurred() &&
2552 PyErr_ExceptionMatches(PyExc_StopIteration))
2553 PyErr_Clear();
2554 return result;
Guido van Rossum59d1d2b2001-04-20 19:13:02 +00002555}
Gregory P. Smithfb94c5f2010-03-14 06:49:55 +00002556
2557
2558/*
2559 * Flatten a sequence of bytes() objects into a C array of
2560 * NULL terminated string pointers with a NULL char* terminating the array.
2561 * (ie: an argv or env list)
2562 *
Victor Stinner0e2d3cf2013-07-07 17:22:41 +02002563 * Memory allocated for the returned list is allocated using PyMem_Malloc()
2564 * and MUST be freed by _Py_FreeCharPArray().
Gregory P. Smithfb94c5f2010-03-14 06:49:55 +00002565 */
2566char *const *
2567_PySequence_BytesToCharpArray(PyObject* self)
2568{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002569 char **array;
2570 Py_ssize_t i, argc;
2571 PyObject *item = NULL;
Victor Stinner0e2d3cf2013-07-07 17:22:41 +02002572 Py_ssize_t size;
Gregory P. Smithfb94c5f2010-03-14 06:49:55 +00002573
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002574 argc = PySequence_Size(self);
2575 if (argc == -1)
2576 return NULL;
Gregory P. Smithfb94c5f2010-03-14 06:49:55 +00002577
Stefan Krah7cacd2e2012-08-21 08:16:09 +02002578 assert(argc >= 0);
2579
2580 if ((size_t)argc > (PY_SSIZE_T_MAX-sizeof(char *)) / sizeof(char *)) {
2581 PyErr_NoMemory();
2582 return NULL;
2583 }
2584
Victor Stinner0e2d3cf2013-07-07 17:22:41 +02002585 array = PyMem_Malloc((argc + 1) * sizeof(char *));
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002586 if (array == NULL) {
2587 PyErr_NoMemory();
2588 return NULL;
2589 }
2590 for (i = 0; i < argc; ++i) {
2591 char *data;
2592 item = PySequence_GetItem(self, i);
Stefan Krahfd24f9e2012-08-20 11:04:24 +02002593 if (item == NULL) {
2594 /* NULL terminate before freeing. */
2595 array[i] = NULL;
2596 goto fail;
2597 }
Serhiy Storchakad174d242017-06-23 19:39:27 +03002598 /* check for embedded null bytes */
2599 if (PyBytes_AsStringAndSize(item, &data, NULL) < 0) {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002600 /* NULL terminate before freeing. */
2601 array[i] = NULL;
2602 goto fail;
2603 }
Victor Stinner0e2d3cf2013-07-07 17:22:41 +02002604 size = PyBytes_GET_SIZE(item) + 1;
2605 array[i] = PyMem_Malloc(size);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002606 if (!array[i]) {
2607 PyErr_NoMemory();
2608 goto fail;
2609 }
Victor Stinner0e2d3cf2013-07-07 17:22:41 +02002610 memcpy(array[i], data, size);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002611 Py_DECREF(item);
2612 }
2613 array[argc] = NULL;
Gregory P. Smithfb94c5f2010-03-14 06:49:55 +00002614
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002615 return array;
Gregory P. Smithfb94c5f2010-03-14 06:49:55 +00002616
2617fail:
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002618 Py_XDECREF(item);
2619 _Py_FreeCharPArray(array);
2620 return NULL;
Gregory P. Smithfb94c5f2010-03-14 06:49:55 +00002621}
2622
2623
2624/* Free's a NULL terminated char** array of C strings. */
2625void
2626_Py_FreeCharPArray(char *const array[])
2627{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002628 Py_ssize_t i;
2629 for (i = 0; array[i] != NULL; ++i) {
Victor Stinner0e2d3cf2013-07-07 17:22:41 +02002630 PyMem_Free(array[i]);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002631 }
Victor Stinner0e2d3cf2013-07-07 17:22:41 +02002632 PyMem_Free((void*)array);
Gregory P. Smithfb94c5f2010-03-14 06:49:55 +00002633}