blob: c3bc0184796e404587cb15e3e9efec73499fb428 [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"
Victor Stinnerbcda8f12018-11-21 22:27:47 +01005#include "pycore_object.h"
Victor Stinner621cebe2018-11-12 16:53:38 +01006#include "pycore_pymem.h"
7#include "pycore_pystate.h"
Jeremy Hylton4f0dcc92003-01-31 18:33:18 +00008#include "structmember.h"
Guido van Rossum85a5fbb1990-10-14 12:07:46 +00009
Christian Heimes2202f872008-02-06 14:31:34 +000010/* Free list for method objects to safe malloc/free overhead
11 * The m_self element is used to chain the objects.
12 */
Guido van Rossum1f39c5c1997-08-05 02:11:41 +000013static PyCFunctionObject *free_list = NULL;
Christian Heimes2202f872008-02-06 14:31:34 +000014static int numfree = 0;
15#ifndef PyCFunction_MAXFREELIST
16#define PyCFunction_MAXFREELIST 256
17#endif
Guido van Rossum1f39c5c1997-08-05 02:11:41 +000018
Andrew Svetlov4de29242012-12-26 23:08:54 +020019/* undefine macro trampoline to PyCFunction_NewEx */
20#undef PyCFunction_New
21
Benjamin Petersone5024512018-09-12 12:06:42 -070022PyObject *
Andrew Svetlov3ba3a3e2012-12-25 13:32:35 +020023PyCFunction_New(PyMethodDef *ml, PyObject *self)
24{
25 return PyCFunction_NewEx(ml, self, NULL);
26}
27
28PyObject *
Jeremy Hylton4f0dcc92003-01-31 18:33:18 +000029PyCFunction_NewEx(PyMethodDef *ml, PyObject *self, PyObject *module)
Guido van Rossum85a5fbb1990-10-14 12:07:46 +000030{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +000031 PyCFunctionObject *op;
32 op = free_list;
33 if (op != NULL) {
34 free_list = (PyCFunctionObject *)(op->m_self);
Victor Stinnerb509d522018-11-23 14:27:38 +010035 (void)PyObject_INIT(op, &PyCFunction_Type);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +000036 numfree--;
37 }
38 else {
39 op = PyObject_GC_New(PyCFunctionObject, &PyCFunction_Type);
40 if (op == NULL)
41 return NULL;
42 }
Antoine Pitroub349e4c2014-08-06 19:31:40 -040043 op->m_weakreflist = NULL;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +000044 op->m_ml = ml;
45 Py_XINCREF(self);
46 op->m_self = self;
47 Py_XINCREF(module);
48 op->m_module = module;
Jeroen Demeyeraacc77f2019-05-29 20:31:52 +020049 if (ml->ml_flags & METH_VARARGS) {
50 /* For METH_VARARGS functions, it's more efficient to use tp_call
51 * instead of vectorcall. */
52 op->vectorcall = NULL;
53 }
54 else {
Jeroen Demeyer37788bc2019-05-30 15:11:22 +020055 op->vectorcall = _PyCFunction_Vectorcall;
Jeroen Demeyeraacc77f2019-05-29 20:31:52 +020056 }
Antoine Pitrouf95a1b32010-05-09 15:52:27 +000057 _PyObject_GC_TRACK(op);
58 return (PyObject *)op;
Guido van Rossum85a5fbb1990-10-14 12:07:46 +000059}
60
Guido van Rossumc0b618a1997-05-02 03:12:38 +000061PyCFunction
Fred Drakeee238b92000-07-09 06:03:25 +000062PyCFunction_GetFunction(PyObject *op)
Guido van Rossum85a5fbb1990-10-14 12:07:46 +000063{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +000064 if (!PyCFunction_Check(op)) {
65 PyErr_BadInternalCall();
66 return NULL;
67 }
Antoine Pitrou5b629422011-12-23 12:40:16 +010068 return PyCFunction_GET_FUNCTION(op);
Guido van Rossum85a5fbb1990-10-14 12:07:46 +000069}
70
Guido van Rossumc0b618a1997-05-02 03:12:38 +000071PyObject *
Fred Drakeee238b92000-07-09 06:03:25 +000072PyCFunction_GetSelf(PyObject *op)
Guido van Rossum85a5fbb1990-10-14 12:07:46 +000073{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +000074 if (!PyCFunction_Check(op)) {
75 PyErr_BadInternalCall();
76 return NULL;
77 }
Antoine Pitrou5b629422011-12-23 12:40:16 +010078 return PyCFunction_GET_SELF(op);
Guido van Rossum85a5fbb1990-10-14 12:07:46 +000079}
80
Guido van Rossumc0602291991-12-16 13:07:24 +000081int
Fred Drakeee238b92000-07-09 06:03:25 +000082PyCFunction_GetFlags(PyObject *op)
Guido van Rossumc0602291991-12-16 13:07:24 +000083{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +000084 if (!PyCFunction_Check(op)) {
85 PyErr_BadInternalCall();
86 return -1;
87 }
Antoine Pitrou5b629422011-12-23 12:40:16 +010088 return PyCFunction_GET_FLAGS(op);
Guido van Rossumc0602291991-12-16 13:07:24 +000089}
90
Guido van Rossum85a5fbb1990-10-14 12:07:46 +000091/* Methods (the standard built-in methods, that is) */
92
93static void
Fred Drakeee238b92000-07-09 06:03:25 +000094meth_dealloc(PyCFunctionObject *m)
Guido van Rossum85a5fbb1990-10-14 12:07:46 +000095{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +000096 _PyObject_GC_UNTRACK(m);
Antoine Pitroub349e4c2014-08-06 19:31:40 -040097 if (m->m_weakreflist != NULL) {
98 PyObject_ClearWeakRefs((PyObject*) m);
99 }
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000100 Py_XDECREF(m->m_self);
101 Py_XDECREF(m->m_module);
102 if (numfree < PyCFunction_MAXFREELIST) {
103 m->m_self = (PyObject *)free_list;
104 free_list = m;
105 numfree++;
106 }
107 else {
108 PyObject_GC_Del(m);
109 }
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000110}
111
Alexandre Vassalotti4c05d3b2013-11-24 02:41:05 -0800112static PyObject *
Siddhesh Poyarekar55edd0c2018-04-30 00:29:33 +0530113meth_reduce(PyCFunctionObject *m, PyObject *Py_UNUSED(ignored))
Alexandre Vassalotti4c05d3b2013-11-24 02:41:05 -0800114{
Alexandre Vassalotti4c05d3b2013-11-24 02:41:05 -0800115 _Py_IDENTIFIER(getattr);
116
117 if (m->m_self == NULL || PyModule_Check(m->m_self))
118 return PyUnicode_FromString(m->m_ml->ml_name);
119
Serhiy Storchakabb86bf42018-12-11 08:28:18 +0200120 return Py_BuildValue("N(Os)", _PyEval_GetBuiltinId(&PyId_getattr),
121 m->m_self, m->m_ml->ml_name);
Alexandre Vassalotti4c05d3b2013-11-24 02:41:05 -0800122}
123
124static PyMethodDef meth_methods[] = {
125 {"__reduce__", (PyCFunction)meth_reduce, METH_NOARGS, NULL},
126 {NULL, NULL}
127};
128
Larry Hastings44e2eaa2013-11-23 15:37:55 -0800129static PyObject *
130meth_get__text_signature__(PyCFunctionObject *m, void *closure)
131{
Larry Hastings2623c8c2014-02-08 22:15:29 -0800132 return _PyType_GetTextSignatureFromInternalDoc(m->m_ml->ml_name, m->m_ml->ml_doc);
Larry Hastings44e2eaa2013-11-23 15:37:55 -0800133}
134
Tim Peters6d6c1a32001-08-02 04:15:00 +0000135static PyObject *
136meth_get__doc__(PyCFunctionObject *m, void *closure)
137{
Larry Hastings2623c8c2014-02-08 22:15:29 -0800138 return _PyType_GetDocFromInternalDoc(m->m_ml->ml_name, m->m_ml->ml_doc);
Tim Peters6d6c1a32001-08-02 04:15:00 +0000139}
140
141static PyObject *
142meth_get__name__(PyCFunctionObject *m, void *closure)
143{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000144 return PyUnicode_FromString(m->m_ml->ml_name);
Tim Peters6d6c1a32001-08-02 04:15:00 +0000145}
146
Antoine Pitrou5b629422011-12-23 12:40:16 +0100147static PyObject *
148meth_get__qualname__(PyCFunctionObject *m, void *closure)
149{
150 /* If __self__ is a module or NULL, return m.__name__
151 (e.g. len.__qualname__ == 'len')
152
153 If __self__ is a type, return m.__self__.__qualname__ + '.' + m.__name__
154 (e.g. dict.fromkeys.__qualname__ == 'dict.fromkeys')
155
156 Otherwise return type(m.__self__).__qualname__ + '.' + m.__name__
157 (e.g. [].append.__qualname__ == 'list.append') */
158 PyObject *type, *type_qualname, *res;
159 _Py_IDENTIFIER(__qualname__);
160
161 if (m->m_self == NULL || PyModule_Check(m->m_self))
162 return PyUnicode_FromString(m->m_ml->ml_name);
163
164 type = PyType_Check(m->m_self) ? m->m_self : (PyObject*)Py_TYPE(m->m_self);
165
166 type_qualname = _PyObject_GetAttrId(type, &PyId___qualname__);
167 if (type_qualname == NULL)
168 return NULL;
169
170 if (!PyUnicode_Check(type_qualname)) {
171 PyErr_SetString(PyExc_TypeError, "<method>.__class__."
172 "__qualname__ is not a unicode object");
173 Py_XDECREF(type_qualname);
174 return NULL;
175 }
176
177 res = PyUnicode_FromFormat("%S.%s", type_qualname, m->m_ml->ml_name);
178 Py_DECREF(type_qualname);
179 return res;
180}
181
Neil Schemenauer10c66922001-07-12 13:27:35 +0000182static int
183meth_traverse(PyCFunctionObject *m, visitproc visit, void *arg)
184{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000185 Py_VISIT(m->m_self);
186 Py_VISIT(m->m_module);
187 return 0;
Neil Schemenauer10c66922001-07-12 13:27:35 +0000188}
189
Guido van Rossumc0b618a1997-05-02 03:12:38 +0000190static PyObject *
Tim Peters6d6c1a32001-08-02 04:15:00 +0000191meth_get__self__(PyCFunctionObject *m, void *closure)
Guido van Rossumcab650d1995-01-07 12:34:58 +0000192{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000193 PyObject *self;
Guido van Rossuma8add0e2007-05-14 22:03:55 +0000194
Antoine Pitrou5b629422011-12-23 12:40:16 +0100195 self = PyCFunction_GET_SELF(m);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000196 if (self == NULL)
197 self = Py_None;
198 Py_INCREF(self);
199 return self;
Guido van Rossumcab650d1995-01-07 12:34:58 +0000200}
201
Guido van Rossum32d34c82001-09-20 21:45:26 +0000202static PyGetSetDef meth_getsets [] = {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000203 {"__doc__", (getter)meth_get__doc__, NULL, NULL},
204 {"__name__", (getter)meth_get__name__, NULL, NULL},
Antoine Pitrou5b629422011-12-23 12:40:16 +0100205 {"__qualname__", (getter)meth_get__qualname__, NULL, NULL},
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000206 {"__self__", (getter)meth_get__self__, NULL, NULL},
Larry Hastings44e2eaa2013-11-23 15:37:55 -0800207 {"__text_signature__", (getter)meth_get__text_signature__, NULL, NULL},
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000208 {0}
Tim Peters6d6c1a32001-08-02 04:15:00 +0000209};
210
Jeremy Hylton4f0dcc92003-01-31 18:33:18 +0000211#define OFF(x) offsetof(PyCFunctionObject, x)
212
213static PyMemberDef meth_members[] = {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000214 {"__module__", T_OBJECT, OFF(m_module), PY_WRITE_RESTRICTED},
215 {NULL}
Jeremy Hylton4f0dcc92003-01-31 18:33:18 +0000216};
217
Guido van Rossumc0b618a1997-05-02 03:12:38 +0000218static PyObject *
Fred Drakeee238b92000-07-09 06:03:25 +0000219meth_repr(PyCFunctionObject *m)
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000220{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000221 if (m->m_self == NULL || PyModule_Check(m->m_self))
222 return PyUnicode_FromFormat("<built-in function %s>",
223 m->m_ml->ml_name);
224 return PyUnicode_FromFormat("<built-in method %s of %s object at %p>",
225 m->m_ml->ml_name,
226 m->m_self->ob_type->tp_name,
227 m->m_self);
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000228}
229
Guido van Rossum47b9ff62006-08-24 00:41:19 +0000230static PyObject *
231meth_richcompare(PyObject *self, PyObject *other, int op)
Guido van Rossum9bfef441993-03-29 10:43:31 +0000232{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000233 PyCFunctionObject *a, *b;
234 PyObject *res;
235 int eq;
Guido van Rossum47b9ff62006-08-24 00:41:19 +0000236
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000237 if ((op != Py_EQ && op != Py_NE) ||
238 !PyCFunction_Check(self) ||
239 !PyCFunction_Check(other))
240 {
Brian Curtindfc80e32011-08-10 20:28:54 -0500241 Py_RETURN_NOTIMPLEMENTED;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000242 }
243 a = (PyCFunctionObject *)self;
244 b = (PyCFunctionObject *)other;
245 eq = a->m_self == b->m_self;
246 if (eq)
247 eq = a->m_ml->ml_meth == b->m_ml->ml_meth;
248 if (op == Py_EQ)
249 res = eq ? Py_True : Py_False;
250 else
251 res = eq ? Py_False : Py_True;
252 Py_INCREF(res);
253 return res;
Guido van Rossum9bfef441993-03-29 10:43:31 +0000254}
255
Benjamin Peterson8f67d082010-10-17 20:54:53 +0000256static Py_hash_t
Fred Drakeee238b92000-07-09 06:03:25 +0000257meth_hash(PyCFunctionObject *a)
Guido van Rossum9bfef441993-03-29 10:43:31 +0000258{
Benjamin Peterson8f67d082010-10-17 20:54:53 +0000259 Py_hash_t x, y;
Serhiy Storchakaac20e0f2018-07-31 09:18:24 +0300260 x = _Py_HashPointer(a->m_self);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000261 y = _Py_HashPointer((void*)(a->m_ml->ml_meth));
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000262 x ^= y;
263 if (x == -1)
264 x = -2;
265 return x;
Guido van Rossum9bfef441993-03-29 10:43:31 +0000266}
267
Tim Peters6d6c1a32001-08-02 04:15:00 +0000268
Guido van Rossumc0b618a1997-05-02 03:12:38 +0000269PyTypeObject PyCFunction_Type = {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000270 PyVarObject_HEAD_INIT(&PyType_Type, 0)
271 "builtin_function_or_method",
272 sizeof(PyCFunctionObject),
273 0,
274 (destructor)meth_dealloc, /* tp_dealloc */
Jeroen Demeyeraacc77f2019-05-29 20:31:52 +0200275 offsetof(PyCFunctionObject, vectorcall), /* tp_vectorcall_offset */
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000276 0, /* tp_getattr */
277 0, /* tp_setattr */
Jeroen Demeyer530f5062019-05-31 04:13:39 +0200278 0, /* tp_as_async */
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000279 (reprfunc)meth_repr, /* tp_repr */
280 0, /* tp_as_number */
281 0, /* tp_as_sequence */
282 0, /* tp_as_mapping */
283 (hashfunc)meth_hash, /* tp_hash */
284 PyCFunction_Call, /* tp_call */
285 0, /* tp_str */
286 PyObject_GenericGetAttr, /* tp_getattro */
287 0, /* tp_setattro */
288 0, /* tp_as_buffer */
Jeroen Demeyeraacc77f2019-05-29 20:31:52 +0200289 Py_TPFLAGS_DEFAULT | Py_TPFLAGS_HAVE_GC |
290 _Py_TPFLAGS_HAVE_VECTORCALL, /* tp_flags */
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000291 0, /* tp_doc */
292 (traverseproc)meth_traverse, /* tp_traverse */
293 0, /* tp_clear */
294 meth_richcompare, /* tp_richcompare */
Antoine Pitroub349e4c2014-08-06 19:31:40 -0400295 offsetof(PyCFunctionObject, m_weakreflist), /* tp_weaklistoffset */
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000296 0, /* tp_iter */
297 0, /* tp_iternext */
Alexandre Vassalotti4c05d3b2013-11-24 02:41:05 -0800298 meth_methods, /* tp_methods */
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000299 meth_members, /* tp_members */
300 meth_getsets, /* tp_getset */
301 0, /* tp_base */
302 0, /* tp_dict */
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000303};
Guido van Rossum3f5da241990-12-20 15:06:42 +0000304
Guido van Rossum1f39c5c1997-08-05 02:11:41 +0000305/* Clear out the free list */
306
Christian Heimesa156e092008-02-16 07:38:31 +0000307int
308PyCFunction_ClearFreeList(void)
Guido van Rossum1f39c5c1997-08-05 02:11:41 +0000309{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000310 int freelist_size = numfree;
311
312 while (free_list) {
313 PyCFunctionObject *v = free_list;
314 free_list = (PyCFunctionObject *)(v->m_self);
315 PyObject_GC_Del(v);
316 numfree--;
317 }
318 assert(numfree == 0);
319 return freelist_size;
Christian Heimesa156e092008-02-16 07:38:31 +0000320}
321
322void
323PyCFunction_Fini(void)
324{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000325 (void)PyCFunction_ClearFreeList();
Guido van Rossum1f39c5c1997-08-05 02:11:41 +0000326}
Jeremy Hylton4f0dcc92003-01-31 18:33:18 +0000327
David Malcolm49526f42012-06-22 14:55:41 -0400328/* Print summary info about the state of the optimized allocator */
329void
330_PyCFunction_DebugMallocStats(FILE *out)
331{
332 _PyDebugAllocatorStats(out,
Antoine Pitrou36b045f2013-04-11 21:01:40 +0200333 "free PyCFunctionObject",
Antoine Pitrou0811f982012-12-30 22:46:04 +0100334 numfree, sizeof(PyCFunctionObject));
David Malcolm49526f42012-06-22 14:55:41 -0400335}