blob: a7042ca39e388b046640ffb7831101651591d8a1 [file] [log] [blame]
Guido van Rossumf70e43a1991-02-19 12:39:46 +00001
Guido van Rossum85a5fbb1990-10-14 12:07:46 +00002/* Method object implementation */
3
Guido van Rossumc0b618a1997-05-02 03:12:38 +00004#include "Python.h"
Eric Snow2ebc5ce2017-09-07 23:51:28 -06005#include "internal/mem.h"
6#include "internal/pystate.h"
Jeremy Hylton4f0dcc92003-01-31 18:33:18 +00007#include "structmember.h"
Guido van Rossum85a5fbb1990-10-14 12:07:46 +00008
Christian Heimes2202f872008-02-06 14:31:34 +00009/* Free list for method objects to safe malloc/free overhead
10 * The m_self element is used to chain the objects.
11 */
Guido van Rossum1f39c5c1997-08-05 02:11:41 +000012static PyCFunctionObject *free_list = NULL;
Christian Heimes2202f872008-02-06 14:31:34 +000013static int numfree = 0;
14#ifndef PyCFunction_MAXFREELIST
15#define PyCFunction_MAXFREELIST 256
16#endif
Guido van Rossum1f39c5c1997-08-05 02:11:41 +000017
Andrew Svetlov4de29242012-12-26 23:08:54 +020018/* undefine macro trampoline to PyCFunction_NewEx */
19#undef PyCFunction_New
20
Andrew Svetlov9df36c92015-04-27 17:48:50 +030021PyAPI_FUNC(PyObject *)
Andrew Svetlov3ba3a3e2012-12-25 13:32:35 +020022PyCFunction_New(PyMethodDef *ml, PyObject *self)
23{
24 return PyCFunction_NewEx(ml, self, NULL);
25}
26
27PyObject *
Jeremy Hylton4f0dcc92003-01-31 18:33:18 +000028PyCFunction_NewEx(PyMethodDef *ml, PyObject *self, PyObject *module)
Guido van Rossum85a5fbb1990-10-14 12:07:46 +000029{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +000030 PyCFunctionObject *op;
31 op = free_list;
32 if (op != NULL) {
33 free_list = (PyCFunctionObject *)(op->m_self);
Christian Heimesd3afe782013-12-04 09:27:47 +010034 (void)PyObject_INIT(op, &PyCFunction_Type);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +000035 numfree--;
36 }
37 else {
38 op = PyObject_GC_New(PyCFunctionObject, &PyCFunction_Type);
39 if (op == NULL)
40 return NULL;
41 }
Antoine Pitroub349e4c2014-08-06 19:31:40 -040042 op->m_weakreflist = NULL;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +000043 op->m_ml = ml;
44 Py_XINCREF(self);
45 op->m_self = self;
46 Py_XINCREF(module);
47 op->m_module = module;
48 _PyObject_GC_TRACK(op);
49 return (PyObject *)op;
Guido van Rossum85a5fbb1990-10-14 12:07:46 +000050}
51
Guido van Rossumc0b618a1997-05-02 03:12:38 +000052PyCFunction
Fred Drakeee238b92000-07-09 06:03:25 +000053PyCFunction_GetFunction(PyObject *op)
Guido van Rossum85a5fbb1990-10-14 12:07:46 +000054{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +000055 if (!PyCFunction_Check(op)) {
56 PyErr_BadInternalCall();
57 return NULL;
58 }
Antoine Pitrou5b629422011-12-23 12:40:16 +010059 return PyCFunction_GET_FUNCTION(op);
Guido van Rossum85a5fbb1990-10-14 12:07:46 +000060}
61
Guido van Rossumc0b618a1997-05-02 03:12:38 +000062PyObject *
Fred Drakeee238b92000-07-09 06:03:25 +000063PyCFunction_GetSelf(PyObject *op)
Guido van Rossum85a5fbb1990-10-14 12:07:46 +000064{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +000065 if (!PyCFunction_Check(op)) {
66 PyErr_BadInternalCall();
67 return NULL;
68 }
Antoine Pitrou5b629422011-12-23 12:40:16 +010069 return PyCFunction_GET_SELF(op);
Guido van Rossum85a5fbb1990-10-14 12:07:46 +000070}
71
Guido van Rossumc0602291991-12-16 13:07:24 +000072int
Fred Drakeee238b92000-07-09 06:03:25 +000073PyCFunction_GetFlags(PyObject *op)
Guido van Rossumc0602291991-12-16 13:07:24 +000074{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +000075 if (!PyCFunction_Check(op)) {
76 PyErr_BadInternalCall();
77 return -1;
78 }
Antoine Pitrou5b629422011-12-23 12:40:16 +010079 return PyCFunction_GET_FLAGS(op);
Guido van Rossumc0602291991-12-16 13:07:24 +000080}
81
Guido van Rossum85a5fbb1990-10-14 12:07:46 +000082/* Methods (the standard built-in methods, that is) */
83
84static void
Fred Drakeee238b92000-07-09 06:03:25 +000085meth_dealloc(PyCFunctionObject *m)
Guido van Rossum85a5fbb1990-10-14 12:07:46 +000086{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +000087 _PyObject_GC_UNTRACK(m);
Antoine Pitroub349e4c2014-08-06 19:31:40 -040088 if (m->m_weakreflist != NULL) {
89 PyObject_ClearWeakRefs((PyObject*) m);
90 }
Antoine Pitrouf95a1b32010-05-09 15:52:27 +000091 Py_XDECREF(m->m_self);
92 Py_XDECREF(m->m_module);
93 if (numfree < PyCFunction_MAXFREELIST) {
94 m->m_self = (PyObject *)free_list;
95 free_list = m;
96 numfree++;
97 }
98 else {
99 PyObject_GC_Del(m);
100 }
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000101}
102
Alexandre Vassalotti4c05d3b2013-11-24 02:41:05 -0800103static PyObject *
Siddhesh Poyarekar55edd0c2018-04-30 00:29:33 +0530104meth_reduce(PyCFunctionObject *m, PyObject *Py_UNUSED(ignored))
Alexandre Vassalotti4c05d3b2013-11-24 02:41:05 -0800105{
106 PyObject *builtins;
107 PyObject *getattr;
108 _Py_IDENTIFIER(getattr);
109
110 if (m->m_self == NULL || PyModule_Check(m->m_self))
111 return PyUnicode_FromString(m->m_ml->ml_name);
112
113 builtins = PyEval_GetBuiltins();
114 getattr = _PyDict_GetItemId(builtins, &PyId_getattr);
115 return Py_BuildValue("O(Os)", getattr, m->m_self, m->m_ml->ml_name);
116}
117
118static PyMethodDef meth_methods[] = {
119 {"__reduce__", (PyCFunction)meth_reduce, METH_NOARGS, NULL},
120 {NULL, NULL}
121};
122
Larry Hastings44e2eaa2013-11-23 15:37:55 -0800123static PyObject *
124meth_get__text_signature__(PyCFunctionObject *m, void *closure)
125{
Larry Hastings2623c8c2014-02-08 22:15:29 -0800126 return _PyType_GetTextSignatureFromInternalDoc(m->m_ml->ml_name, m->m_ml->ml_doc);
Larry Hastings44e2eaa2013-11-23 15:37:55 -0800127}
128
Tim Peters6d6c1a32001-08-02 04:15:00 +0000129static PyObject *
130meth_get__doc__(PyCFunctionObject *m, void *closure)
131{
Larry Hastings2623c8c2014-02-08 22:15:29 -0800132 return _PyType_GetDocFromInternalDoc(m->m_ml->ml_name, m->m_ml->ml_doc);
Tim Peters6d6c1a32001-08-02 04:15:00 +0000133}
134
135static PyObject *
136meth_get__name__(PyCFunctionObject *m, void *closure)
137{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000138 return PyUnicode_FromString(m->m_ml->ml_name);
Tim Peters6d6c1a32001-08-02 04:15:00 +0000139}
140
Antoine Pitrou5b629422011-12-23 12:40:16 +0100141static PyObject *
142meth_get__qualname__(PyCFunctionObject *m, void *closure)
143{
144 /* If __self__ is a module or NULL, return m.__name__
145 (e.g. len.__qualname__ == 'len')
146
147 If __self__ is a type, return m.__self__.__qualname__ + '.' + m.__name__
148 (e.g. dict.fromkeys.__qualname__ == 'dict.fromkeys')
149
150 Otherwise return type(m.__self__).__qualname__ + '.' + m.__name__
151 (e.g. [].append.__qualname__ == 'list.append') */
152 PyObject *type, *type_qualname, *res;
153 _Py_IDENTIFIER(__qualname__);
154
155 if (m->m_self == NULL || PyModule_Check(m->m_self))
156 return PyUnicode_FromString(m->m_ml->ml_name);
157
158 type = PyType_Check(m->m_self) ? m->m_self : (PyObject*)Py_TYPE(m->m_self);
159
160 type_qualname = _PyObject_GetAttrId(type, &PyId___qualname__);
161 if (type_qualname == NULL)
162 return NULL;
163
164 if (!PyUnicode_Check(type_qualname)) {
165 PyErr_SetString(PyExc_TypeError, "<method>.__class__."
166 "__qualname__ is not a unicode object");
167 Py_XDECREF(type_qualname);
168 return NULL;
169 }
170
171 res = PyUnicode_FromFormat("%S.%s", type_qualname, m->m_ml->ml_name);
172 Py_DECREF(type_qualname);
173 return res;
174}
175
Neil Schemenauer10c66922001-07-12 13:27:35 +0000176static int
177meth_traverse(PyCFunctionObject *m, visitproc visit, void *arg)
178{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000179 Py_VISIT(m->m_self);
180 Py_VISIT(m->m_module);
181 return 0;
Neil Schemenauer10c66922001-07-12 13:27:35 +0000182}
183
Guido van Rossumc0b618a1997-05-02 03:12:38 +0000184static PyObject *
Tim Peters6d6c1a32001-08-02 04:15:00 +0000185meth_get__self__(PyCFunctionObject *m, void *closure)
Guido van Rossumcab650d1995-01-07 12:34:58 +0000186{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000187 PyObject *self;
Guido van Rossuma8add0e2007-05-14 22:03:55 +0000188
Antoine Pitrou5b629422011-12-23 12:40:16 +0100189 self = PyCFunction_GET_SELF(m);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000190 if (self == NULL)
191 self = Py_None;
192 Py_INCREF(self);
193 return self;
Guido van Rossumcab650d1995-01-07 12:34:58 +0000194}
195
Guido van Rossum32d34c82001-09-20 21:45:26 +0000196static PyGetSetDef meth_getsets [] = {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000197 {"__doc__", (getter)meth_get__doc__, NULL, NULL},
198 {"__name__", (getter)meth_get__name__, NULL, NULL},
Antoine Pitrou5b629422011-12-23 12:40:16 +0100199 {"__qualname__", (getter)meth_get__qualname__, NULL, NULL},
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000200 {"__self__", (getter)meth_get__self__, NULL, NULL},
Larry Hastings44e2eaa2013-11-23 15:37:55 -0800201 {"__text_signature__", (getter)meth_get__text_signature__, NULL, NULL},
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000202 {0}
Tim Peters6d6c1a32001-08-02 04:15:00 +0000203};
204
Jeremy Hylton4f0dcc92003-01-31 18:33:18 +0000205#define OFF(x) offsetof(PyCFunctionObject, x)
206
207static PyMemberDef meth_members[] = {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000208 {"__module__", T_OBJECT, OFF(m_module), PY_WRITE_RESTRICTED},
209 {NULL}
Jeremy Hylton4f0dcc92003-01-31 18:33:18 +0000210};
211
Guido van Rossumc0b618a1997-05-02 03:12:38 +0000212static PyObject *
Fred Drakeee238b92000-07-09 06:03:25 +0000213meth_repr(PyCFunctionObject *m)
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000214{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000215 if (m->m_self == NULL || PyModule_Check(m->m_self))
216 return PyUnicode_FromFormat("<built-in function %s>",
217 m->m_ml->ml_name);
218 return PyUnicode_FromFormat("<built-in method %s of %s object at %p>",
219 m->m_ml->ml_name,
220 m->m_self->ob_type->tp_name,
221 m->m_self);
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000222}
223
Guido van Rossum47b9ff62006-08-24 00:41:19 +0000224static PyObject *
225meth_richcompare(PyObject *self, PyObject *other, int op)
Guido van Rossum9bfef441993-03-29 10:43:31 +0000226{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000227 PyCFunctionObject *a, *b;
228 PyObject *res;
229 int eq;
Guido van Rossum47b9ff62006-08-24 00:41:19 +0000230
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000231 if ((op != Py_EQ && op != Py_NE) ||
232 !PyCFunction_Check(self) ||
233 !PyCFunction_Check(other))
234 {
Brian Curtindfc80e32011-08-10 20:28:54 -0500235 Py_RETURN_NOTIMPLEMENTED;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000236 }
237 a = (PyCFunctionObject *)self;
238 b = (PyCFunctionObject *)other;
239 eq = a->m_self == b->m_self;
240 if (eq)
241 eq = a->m_ml->ml_meth == b->m_ml->ml_meth;
242 if (op == Py_EQ)
243 res = eq ? Py_True : Py_False;
244 else
245 res = eq ? Py_False : Py_True;
246 Py_INCREF(res);
247 return res;
Guido van Rossum9bfef441993-03-29 10:43:31 +0000248}
249
Benjamin Peterson8f67d082010-10-17 20:54:53 +0000250static Py_hash_t
Fred Drakeee238b92000-07-09 06:03:25 +0000251meth_hash(PyCFunctionObject *a)
Guido van Rossum9bfef441993-03-29 10:43:31 +0000252{
Benjamin Peterson8f67d082010-10-17 20:54:53 +0000253 Py_hash_t x, y;
Serhiy Storchakaac20e0f2018-07-31 09:18:24 +0300254 x = _Py_HashPointer(a->m_self);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000255 y = _Py_HashPointer((void*)(a->m_ml->ml_meth));
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000256 x ^= y;
257 if (x == -1)
258 x = -2;
259 return x;
Guido van Rossum9bfef441993-03-29 10:43:31 +0000260}
261
Tim Peters6d6c1a32001-08-02 04:15:00 +0000262
Guido van Rossumc0b618a1997-05-02 03:12:38 +0000263PyTypeObject PyCFunction_Type = {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000264 PyVarObject_HEAD_INIT(&PyType_Type, 0)
265 "builtin_function_or_method",
266 sizeof(PyCFunctionObject),
267 0,
268 (destructor)meth_dealloc, /* tp_dealloc */
269 0, /* tp_print */
270 0, /* tp_getattr */
271 0, /* tp_setattr */
272 0, /* tp_reserved */
273 (reprfunc)meth_repr, /* tp_repr */
274 0, /* tp_as_number */
275 0, /* tp_as_sequence */
276 0, /* tp_as_mapping */
277 (hashfunc)meth_hash, /* tp_hash */
278 PyCFunction_Call, /* tp_call */
279 0, /* tp_str */
280 PyObject_GenericGetAttr, /* tp_getattro */
281 0, /* tp_setattro */
282 0, /* tp_as_buffer */
283 Py_TPFLAGS_DEFAULT | Py_TPFLAGS_HAVE_GC,/* tp_flags */
284 0, /* tp_doc */
285 (traverseproc)meth_traverse, /* tp_traverse */
286 0, /* tp_clear */
287 meth_richcompare, /* tp_richcompare */
Antoine Pitroub349e4c2014-08-06 19:31:40 -0400288 offsetof(PyCFunctionObject, m_weakreflist), /* tp_weaklistoffset */
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000289 0, /* tp_iter */
290 0, /* tp_iternext */
Alexandre Vassalotti4c05d3b2013-11-24 02:41:05 -0800291 meth_methods, /* tp_methods */
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000292 meth_members, /* tp_members */
293 meth_getsets, /* tp_getset */
294 0, /* tp_base */
295 0, /* tp_dict */
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000296};
Guido van Rossum3f5da241990-12-20 15:06:42 +0000297
Guido van Rossum1f39c5c1997-08-05 02:11:41 +0000298/* Clear out the free list */
299
Christian Heimesa156e092008-02-16 07:38:31 +0000300int
301PyCFunction_ClearFreeList(void)
Guido van Rossum1f39c5c1997-08-05 02:11:41 +0000302{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000303 int freelist_size = numfree;
304
305 while (free_list) {
306 PyCFunctionObject *v = free_list;
307 free_list = (PyCFunctionObject *)(v->m_self);
308 PyObject_GC_Del(v);
309 numfree--;
310 }
311 assert(numfree == 0);
312 return freelist_size;
Christian Heimesa156e092008-02-16 07:38:31 +0000313}
314
315void
316PyCFunction_Fini(void)
317{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000318 (void)PyCFunction_ClearFreeList();
Guido van Rossum1f39c5c1997-08-05 02:11:41 +0000319}
Jeremy Hylton4f0dcc92003-01-31 18:33:18 +0000320
David Malcolm49526f42012-06-22 14:55:41 -0400321/* Print summary info about the state of the optimized allocator */
322void
323_PyCFunction_DebugMallocStats(FILE *out)
324{
325 _PyDebugAllocatorStats(out,
Antoine Pitrou36b045f2013-04-11 21:01:40 +0200326 "free PyCFunctionObject",
Antoine Pitrou0811f982012-12-30 22:46:04 +0100327 numfree, sizeof(PyCFunctionObject));
David Malcolm49526f42012-06-22 14:55:41 -0400328}