blob: d8a283bcec6c3d75c9586264e39787e6d95829e7 [file] [log] [blame]
Raymond Hettinger9c323f82005-02-28 19:39:44 +00001
2#include "Python.h"
3#include "structmember.h"
4
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00005/* _functools module written and maintained
Raymond Hettinger9c323f82005-02-28 19:39:44 +00006 by Hye-Shik Chang <perky@FreeBSD.org>
7 with adaptations by Raymond Hettinger <python@rcn.com>
Thomas Wouters4d70c3d2006-06-08 14:42:34 +00008 Copyright (c) 2004, 2005, 2006 Python Software Foundation.
Raymond Hettinger9c323f82005-02-28 19:39:44 +00009 All rights reserved.
10*/
11
12/* partial object **********************************************************/
13
14typedef struct {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +000015 PyObject_HEAD
16 PyObject *fn;
17 PyObject *args;
18 PyObject *kw;
19 PyObject *dict;
20 PyObject *weakreflist; /* List of weak references */
Raymond Hettinger9c323f82005-02-28 19:39:44 +000021} partialobject;
22
23static PyTypeObject partial_type;
24
25static PyObject *
26partial_new(PyTypeObject *type, PyObject *args, PyObject *kw)
27{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +000028 PyObject *func;
29 partialobject *pto;
Raymond Hettinger9c323f82005-02-28 19:39:44 +000030
Antoine Pitrouf95a1b32010-05-09 15:52:27 +000031 if (PyTuple_GET_SIZE(args) < 1) {
32 PyErr_SetString(PyExc_TypeError,
33 "type 'partial' takes at least one argument");
34 return NULL;
35 }
Raymond Hettinger9c323f82005-02-28 19:39:44 +000036
Antoine Pitrouf95a1b32010-05-09 15:52:27 +000037 func = PyTuple_GET_ITEM(args, 0);
38 if (!PyCallable_Check(func)) {
39 PyErr_SetString(PyExc_TypeError,
40 "the first argument must be callable");
41 return NULL;
42 }
Raymond Hettinger9c323f82005-02-28 19:39:44 +000043
Antoine Pitrouf95a1b32010-05-09 15:52:27 +000044 /* create partialobject structure */
45 pto = (partialobject *)type->tp_alloc(type, 0);
46 if (pto == NULL)
47 return NULL;
Raymond Hettinger9c323f82005-02-28 19:39:44 +000048
Antoine Pitrouf95a1b32010-05-09 15:52:27 +000049 pto->fn = func;
50 Py_INCREF(func);
51 pto->args = PyTuple_GetSlice(args, 1, PY_SSIZE_T_MAX);
52 if (pto->args == NULL) {
53 pto->kw = NULL;
54 Py_DECREF(pto);
55 return NULL;
56 }
57 if (kw != NULL) {
58 pto->kw = PyDict_Copy(kw);
59 if (pto->kw == NULL) {
60 Py_DECREF(pto);
61 return NULL;
62 }
63 } else {
64 pto->kw = Py_None;
65 Py_INCREF(Py_None);
66 }
Raymond Hettinger9c323f82005-02-28 19:39:44 +000067
Antoine Pitrouf95a1b32010-05-09 15:52:27 +000068 pto->weakreflist = NULL;
69 pto->dict = NULL;
Raymond Hettingerc8b6d1b2005-03-08 06:14:50 +000070
Antoine Pitrouf95a1b32010-05-09 15:52:27 +000071 return (PyObject *)pto;
Raymond Hettinger9c323f82005-02-28 19:39:44 +000072}
73
74static void
75partial_dealloc(partialobject *pto)
76{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +000077 PyObject_GC_UnTrack(pto);
78 if (pto->weakreflist != NULL)
79 PyObject_ClearWeakRefs((PyObject *) pto);
80 Py_XDECREF(pto->fn);
81 Py_XDECREF(pto->args);
82 Py_XDECREF(pto->kw);
83 Py_XDECREF(pto->dict);
84 Py_TYPE(pto)->tp_free(pto);
Raymond Hettinger9c323f82005-02-28 19:39:44 +000085}
86
87static PyObject *
88partial_call(partialobject *pto, PyObject *args, PyObject *kw)
89{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +000090 PyObject *ret;
91 PyObject *argappl = NULL, *kwappl = NULL;
Raymond Hettinger9c323f82005-02-28 19:39:44 +000092
Antoine Pitrouf95a1b32010-05-09 15:52:27 +000093 assert (PyCallable_Check(pto->fn));
94 assert (PyTuple_Check(pto->args));
95 assert (pto->kw == Py_None || PyDict_Check(pto->kw));
Raymond Hettinger9c323f82005-02-28 19:39:44 +000096
Antoine Pitrouf95a1b32010-05-09 15:52:27 +000097 if (PyTuple_GET_SIZE(pto->args) == 0) {
98 argappl = args;
99 Py_INCREF(args);
100 } else if (PyTuple_GET_SIZE(args) == 0) {
101 argappl = pto->args;
102 Py_INCREF(pto->args);
103 } else {
104 argappl = PySequence_Concat(pto->args, args);
105 if (argappl == NULL)
106 return NULL;
107 }
Raymond Hettinger9c323f82005-02-28 19:39:44 +0000108
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000109 if (pto->kw == Py_None) {
110 kwappl = kw;
111 Py_XINCREF(kw);
112 } else {
113 kwappl = PyDict_Copy(pto->kw);
114 if (kwappl == NULL) {
115 Py_DECREF(argappl);
116 return NULL;
117 }
118 if (kw != NULL) {
119 if (PyDict_Merge(kwappl, kw, 1) != 0) {
120 Py_DECREF(argappl);
121 Py_DECREF(kwappl);
122 return NULL;
123 }
124 }
125 }
Raymond Hettinger9c323f82005-02-28 19:39:44 +0000126
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000127 ret = PyObject_Call(pto->fn, argappl, kwappl);
128 Py_DECREF(argappl);
129 Py_XDECREF(kwappl);
130 return ret;
Raymond Hettinger9c323f82005-02-28 19:39:44 +0000131}
132
133static int
134partial_traverse(partialobject *pto, visitproc visit, void *arg)
135{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000136 Py_VISIT(pto->fn);
137 Py_VISIT(pto->args);
138 Py_VISIT(pto->kw);
139 Py_VISIT(pto->dict);
140 return 0;
Raymond Hettinger9c323f82005-02-28 19:39:44 +0000141}
142
143PyDoc_STRVAR(partial_doc,
144"partial(func, *args, **keywords) - new function with partial application\n\
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000145 of the given arguments and keywords.\n");
Raymond Hettinger9c323f82005-02-28 19:39:44 +0000146
147#define OFF(x) offsetof(partialobject, x)
148static PyMemberDef partial_memberlist[] = {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000149 {"func", T_OBJECT, OFF(fn), READONLY,
150 "function object to use in future partial calls"},
151 {"args", T_OBJECT, OFF(args), READONLY,
152 "tuple of arguments to future partial calls"},
153 {"keywords", T_OBJECT, OFF(kw), READONLY,
154 "dictionary of keyword arguments to future partial calls"},
155 {NULL} /* Sentinel */
Raymond Hettinger9c323f82005-02-28 19:39:44 +0000156};
157
Raymond Hettingerc8b6d1b2005-03-08 06:14:50 +0000158static PyObject *
159partial_get_dict(partialobject *pto)
160{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000161 if (pto->dict == NULL) {
162 pto->dict = PyDict_New();
163 if (pto->dict == NULL)
164 return NULL;
165 }
166 Py_INCREF(pto->dict);
167 return pto->dict;
Raymond Hettingerc8b6d1b2005-03-08 06:14:50 +0000168}
169
170static int
171partial_set_dict(partialobject *pto, PyObject *value)
172{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000173 PyObject *tmp;
Raymond Hettingerc8b6d1b2005-03-08 06:14:50 +0000174
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000175 /* It is illegal to del p.__dict__ */
176 if (value == NULL) {
177 PyErr_SetString(PyExc_TypeError,
178 "a partial object's dictionary may not be deleted");
179 return -1;
180 }
181 /* Can only set __dict__ to a dictionary */
182 if (!PyDict_Check(value)) {
183 PyErr_SetString(PyExc_TypeError,
184 "setting partial object's dictionary to a non-dict");
185 return -1;
186 }
187 tmp = pto->dict;
188 Py_INCREF(value);
189 pto->dict = value;
190 Py_XDECREF(tmp);
191 return 0;
Raymond Hettingerc8b6d1b2005-03-08 06:14:50 +0000192}
193
Georg Brandlc2fb6c72006-02-21 17:49:57 +0000194static PyGetSetDef partial_getsetlist[] = {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000195 {"__dict__", (getter)partial_get_dict, (setter)partial_set_dict},
196 {NULL} /* Sentinel */
Raymond Hettingerc8b6d1b2005-03-08 06:14:50 +0000197};
198
Alexander Belopolsky41e422a2010-12-01 20:05:49 +0000199static PyObject *
200partial_repr(partialobject *pto)
201{
202 PyObject *result;
203 PyObject *arglist;
204 PyObject *tmp;
205 Py_ssize_t i, n;
206
207 arglist = PyUnicode_FromString("");
208 if (arglist == NULL) {
209 return NULL;
210 }
211 /* Pack positional arguments */
212 assert (PyTuple_Check(pto->args));
213 n = PyTuple_GET_SIZE(pto->args);
214 for (i = 0; i < n; i++) {
215 tmp = PyUnicode_FromFormat("%U, %R", arglist,
216 PyTuple_GET_ITEM(pto->args, i));
217 Py_DECREF(arglist);
218 if (tmp == NULL)
219 return NULL;
220 arglist = tmp;
221 }
222 /* Pack keyword arguments */
223 assert (pto->kw == Py_None || PyDict_Check(pto->kw));
224 if (pto->kw != Py_None) {
225 PyObject *key, *value;
226 for (i = 0; PyDict_Next(pto->kw, &i, &key, &value);) {
227 tmp = PyUnicode_FromFormat("%U, %U=%R", arglist,
228 key, value);
229 Py_DECREF(arglist);
230 if (tmp == NULL)
231 return NULL;
232 arglist = tmp;
233 }
234 }
235 result = PyUnicode_FromFormat("%s(%R%U)", Py_TYPE(pto)->tp_name,
236 pto->fn, arglist);
237 Py_DECREF(arglist);
238 return result;
239}
240
Jack Diederiche0cbd692009-04-01 04:27:09 +0000241/* Pickle strategy:
242 __reduce__ by itself doesn't support getting kwargs in the unpickle
243 operation so we define a __setstate__ that replaces all the information
244 about the partial. If we only replaced part of it someone would use
Ezio Melotti13925002011-03-16 11:05:33 +0200245 it as a hook to do strange things.
Jack Diederiche0cbd692009-04-01 04:27:09 +0000246 */
247
Antoine Pitrou69f71142009-05-24 21:25:49 +0000248static PyObject *
Jack Diederiche0cbd692009-04-01 04:27:09 +0000249partial_reduce(partialobject *pto, PyObject *unused)
250{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000251 return Py_BuildValue("O(O)(OOOO)", Py_TYPE(pto), pto->fn, pto->fn,
252 pto->args, pto->kw,
253 pto->dict ? pto->dict : Py_None);
Jack Diederiche0cbd692009-04-01 04:27:09 +0000254}
255
Antoine Pitrou69f71142009-05-24 21:25:49 +0000256static PyObject *
Jack Diederiche0cbd692009-04-01 04:27:09 +0000257partial_setstate(partialobject *pto, PyObject *args)
258{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000259 PyObject *fn, *fnargs, *kw, *dict;
260 if (!PyArg_ParseTuple(args, "(OOOO):__setstate__",
261 &fn, &fnargs, &kw, &dict))
262 return NULL;
263 Py_XDECREF(pto->fn);
264 Py_XDECREF(pto->args);
265 Py_XDECREF(pto->kw);
266 Py_XDECREF(pto->dict);
267 pto->fn = fn;
268 pto->args = fnargs;
269 pto->kw = kw;
270 if (dict != Py_None) {
271 pto->dict = dict;
272 Py_INCREF(dict);
273 } else {
274 pto->dict = NULL;
275 }
276 Py_INCREF(fn);
277 Py_INCREF(fnargs);
278 Py_INCREF(kw);
279 Py_RETURN_NONE;
Jack Diederiche0cbd692009-04-01 04:27:09 +0000280}
281
282static PyMethodDef partial_methods[] = {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000283 {"__reduce__", (PyCFunction)partial_reduce, METH_NOARGS},
284 {"__setstate__", (PyCFunction)partial_setstate, METH_VARARGS},
285 {NULL, NULL} /* sentinel */
Jack Diederiche0cbd692009-04-01 04:27:09 +0000286};
287
Raymond Hettinger9c323f82005-02-28 19:39:44 +0000288static PyTypeObject partial_type = {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000289 PyVarObject_HEAD_INIT(NULL, 0)
290 "functools.partial", /* tp_name */
291 sizeof(partialobject), /* tp_basicsize */
292 0, /* tp_itemsize */
293 /* methods */
294 (destructor)partial_dealloc, /* tp_dealloc */
295 0, /* tp_print */
296 0, /* tp_getattr */
297 0, /* tp_setattr */
298 0, /* tp_reserved */
Alexander Belopolsky41e422a2010-12-01 20:05:49 +0000299 (reprfunc)partial_repr, /* tp_repr */
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000300 0, /* tp_as_number */
301 0, /* tp_as_sequence */
302 0, /* tp_as_mapping */
303 0, /* tp_hash */
304 (ternaryfunc)partial_call, /* tp_call */
305 0, /* tp_str */
306 PyObject_GenericGetAttr, /* tp_getattro */
307 PyObject_GenericSetAttr, /* tp_setattro */
308 0, /* tp_as_buffer */
309 Py_TPFLAGS_DEFAULT | Py_TPFLAGS_HAVE_GC |
310 Py_TPFLAGS_BASETYPE, /* tp_flags */
311 partial_doc, /* tp_doc */
312 (traverseproc)partial_traverse, /* tp_traverse */
313 0, /* tp_clear */
314 0, /* tp_richcompare */
315 offsetof(partialobject, weakreflist), /* tp_weaklistoffset */
316 0, /* tp_iter */
317 0, /* tp_iternext */
318 partial_methods, /* tp_methods */
319 partial_memberlist, /* tp_members */
320 partial_getsetlist, /* tp_getset */
321 0, /* tp_base */
322 0, /* tp_dict */
323 0, /* tp_descr_get */
324 0, /* tp_descr_set */
325 offsetof(partialobject, dict), /* tp_dictoffset */
326 0, /* tp_init */
327 0, /* tp_alloc */
328 partial_new, /* tp_new */
329 PyObject_GC_Del, /* tp_free */
Raymond Hettinger9c323f82005-02-28 19:39:44 +0000330};
331
332
Guido van Rossum0919a1a2006-08-26 20:49:04 +0000333/* reduce (used to be a builtin) ********************************************/
334
335static PyObject *
336functools_reduce(PyObject *self, PyObject *args)
337{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000338 PyObject *seq, *func, *result = NULL, *it;
Guido van Rossum0919a1a2006-08-26 20:49:04 +0000339
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000340 if (!PyArg_UnpackTuple(args, "reduce", 2, 3, &func, &seq, &result))
341 return NULL;
342 if (result != NULL)
343 Py_INCREF(result);
Guido van Rossum0919a1a2006-08-26 20:49:04 +0000344
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000345 it = PyObject_GetIter(seq);
346 if (it == NULL) {
Alexander Belopolskye29e6bf2010-08-16 18:55:46 +0000347 if (PyErr_ExceptionMatches(PyExc_TypeError))
348 PyErr_SetString(PyExc_TypeError,
349 "reduce() arg 2 must support iteration");
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000350 Py_XDECREF(result);
351 return NULL;
352 }
Guido van Rossum0919a1a2006-08-26 20:49:04 +0000353
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000354 if ((args = PyTuple_New(2)) == NULL)
355 goto Fail;
Guido van Rossum0919a1a2006-08-26 20:49:04 +0000356
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000357 for (;;) {
358 PyObject *op2;
Guido van Rossum0919a1a2006-08-26 20:49:04 +0000359
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000360 if (args->ob_refcnt > 1) {
361 Py_DECREF(args);
362 if ((args = PyTuple_New(2)) == NULL)
363 goto Fail;
364 }
Guido van Rossum0919a1a2006-08-26 20:49:04 +0000365
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000366 op2 = PyIter_Next(it);
367 if (op2 == NULL) {
368 if (PyErr_Occurred())
369 goto Fail;
370 break;
371 }
Guido van Rossum0919a1a2006-08-26 20:49:04 +0000372
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000373 if (result == NULL)
374 result = op2;
375 else {
376 PyTuple_SetItem(args, 0, result);
377 PyTuple_SetItem(args, 1, op2);
378 if ((result = PyEval_CallObject(func, args)) == NULL)
379 goto Fail;
380 }
381 }
Guido van Rossum0919a1a2006-08-26 20:49:04 +0000382
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000383 Py_DECREF(args);
Guido van Rossum0919a1a2006-08-26 20:49:04 +0000384
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000385 if (result == NULL)
386 PyErr_SetString(PyExc_TypeError,
387 "reduce() of empty sequence with no initial value");
Guido van Rossum0919a1a2006-08-26 20:49:04 +0000388
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000389 Py_DECREF(it);
390 return result;
Guido van Rossum0919a1a2006-08-26 20:49:04 +0000391
392Fail:
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000393 Py_XDECREF(args);
394 Py_XDECREF(result);
395 Py_DECREF(it);
396 return NULL;
Guido van Rossum0919a1a2006-08-26 20:49:04 +0000397}
398
399PyDoc_STRVAR(functools_reduce_doc,
400"reduce(function, sequence[, initial]) -> value\n\
401\n\
402Apply a function of two arguments cumulatively to the items of a sequence,\n\
403from left to right, so as to reduce the sequence to a single value.\n\
404For example, reduce(lambda x, y: x+y, [1, 2, 3, 4, 5]) calculates\n\
405((((1+2)+3)+4)+5). If initial is present, it is placed before the items\n\
406of the sequence in the calculation, and serves as a default when the\n\
407sequence is empty.");
408
Raymond Hettinger9c323f82005-02-28 19:39:44 +0000409/* module level code ********************************************************/
410
411PyDoc_STRVAR(module_doc,
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000412"Tools that operate on functions.");
Raymond Hettinger9c323f82005-02-28 19:39:44 +0000413
414static PyMethodDef module_methods[] = {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000415 {"reduce", functools_reduce, METH_VARARGS, functools_reduce_doc},
416 {NULL, NULL} /* sentinel */
Raymond Hettinger9c323f82005-02-28 19:39:44 +0000417};
418
Martin v. Löwis1a214512008-06-11 05:26:20 +0000419
420static struct PyModuleDef _functoolsmodule = {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000421 PyModuleDef_HEAD_INIT,
422 "_functools",
423 module_doc,
424 -1,
425 module_methods,
426 NULL,
427 NULL,
428 NULL,
429 NULL
Martin v. Löwis1a214512008-06-11 05:26:20 +0000430};
431
Raymond Hettinger9c323f82005-02-28 19:39:44 +0000432PyMODINIT_FUNC
Martin v. Löwis1a214512008-06-11 05:26:20 +0000433PyInit__functools(void)
Raymond Hettinger9c323f82005-02-28 19:39:44 +0000434{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000435 int i;
436 PyObject *m;
437 char *name;
438 PyTypeObject *typelist[] = {
439 &partial_type,
440 NULL
441 };
Raymond Hettinger9c323f82005-02-28 19:39:44 +0000442
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000443 m = PyModule_Create(&_functoolsmodule);
444 if (m == NULL)
445 return NULL;
Raymond Hettinger9c323f82005-02-28 19:39:44 +0000446
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000447 for (i=0 ; typelist[i] != NULL ; i++) {
448 if (PyType_Ready(typelist[i]) < 0) {
449 Py_DECREF(m);
450 return NULL;
451 }
452 name = strchr(typelist[i]->tp_name, '.');
453 assert (name != NULL);
454 Py_INCREF(typelist[i]);
455 PyModule_AddObject(m, name+1, (PyObject *)typelist[i]);
456 }
457 return m;
Raymond Hettinger9c323f82005-02-28 19:39:44 +0000458}