methodobject.c 11.1 KB
Newer Older
1

Guido van Rossum's avatar
Guido van Rossum committed
2 3
/* Method object implementation */

4
#include "Python.h"
5
#include "structmember.h"
Guido van Rossum's avatar
Guido van Rossum committed
6

Christian Heimes's avatar
Christian Heimes committed
7 8 9
/* Free list for method objects to safe malloc/free overhead
 * The m_self element is used to chain the objects.
 */
10
static PyCFunctionObject *free_list = NULL;
Christian Heimes's avatar
Christian Heimes committed
11 12 13 14
static int numfree = 0;
#ifndef PyCFunction_MAXFREELIST
#define PyCFunction_MAXFREELIST 256
#endif
15

16 17 18
/* undefine macro trampoline to PyCFunction_NewEx */
#undef PyCFunction_New

19 20 21 22 23 24
PyObject *
PyCFunction_New(PyMethodDef *ml, PyObject *self)
{
    return PyCFunction_NewEx(ml, self, NULL);
}

25
PyObject *
26
PyCFunction_NewEx(PyMethodDef *ml, PyObject *self, PyObject *module)
Guido van Rossum's avatar
Guido van Rossum committed
27
{
28 29 30 31
    PyCFunctionObject *op;
    op = free_list;
    if (op != NULL) {
        free_list = (PyCFunctionObject *)(op->m_self);
32
        (void)PyObject_INIT(op, &PyCFunction_Type);
33 34 35 36 37 38 39
        numfree--;
    }
    else {
        op = PyObject_GC_New(PyCFunctionObject, &PyCFunction_Type);
        if (op == NULL)
            return NULL;
    }
40
    op->m_weakreflist = NULL;
41 42 43 44 45 46 47
    op->m_ml = ml;
    Py_XINCREF(self);
    op->m_self = self;
    Py_XINCREF(module);
    op->m_module = module;
    _PyObject_GC_TRACK(op);
    return (PyObject *)op;
Guido van Rossum's avatar
Guido van Rossum committed
48 49
}

50
PyCFunction
51
PyCFunction_GetFunction(PyObject *op)
Guido van Rossum's avatar
Guido van Rossum committed
52
{
53 54 55 56
    if (!PyCFunction_Check(op)) {
        PyErr_BadInternalCall();
        return NULL;
    }
57
    return PyCFunction_GET_FUNCTION(op);
Guido van Rossum's avatar
Guido van Rossum committed
58 59
}

60
PyObject *
61
PyCFunction_GetSelf(PyObject *op)
Guido van Rossum's avatar
Guido van Rossum committed
62
{
63 64 65 66
    if (!PyCFunction_Check(op)) {
        PyErr_BadInternalCall();
        return NULL;
    }
67
    return PyCFunction_GET_SELF(op);
Guido van Rossum's avatar
Guido van Rossum committed
68 69
}

70
int
71
PyCFunction_GetFlags(PyObject *op)
72
{
73 74 75 76
    if (!PyCFunction_Check(op)) {
        PyErr_BadInternalCall();
        return -1;
    }
77
    return PyCFunction_GET_FLAGS(op);
78 79
}

80 81 82
PyObject *
PyCFunction_Call(PyObject *func, PyObject *arg, PyObject *kw)
{
83 84
#define CHECK_RESULT(res) assert(res != NULL || PyErr_Occurred())

85 86 87
    PyCFunctionObject* f = (PyCFunctionObject*)func;
    PyCFunction meth = PyCFunction_GET_FUNCTION(func);
    PyObject *self = PyCFunction_GET_SELF(func);
88
    PyObject *res;
89 90 91 92
    Py_ssize_t size;

    switch (PyCFunction_GET_FLAGS(func) & ~(METH_CLASS | METH_STATIC | METH_COEXIST)) {
    case METH_VARARGS:
93 94 95 96 97
        if (kw == NULL || PyDict_Size(kw) == 0) {
            res = (*meth)(self, arg);
            CHECK_RESULT(res);
            return res;
        }
98 99
        break;
    case METH_VARARGS | METH_KEYWORDS:
100 101 102
        res = (*(PyCFunctionWithKeywords)meth)(self, arg, kw);
        CHECK_RESULT(res);
        return res;
103 104 105
    case METH_NOARGS:
        if (kw == NULL || PyDict_Size(kw) == 0) {
            size = PyTuple_GET_SIZE(arg);
106 107 108 109 110
            if (size == 0) {
                res = (*meth)(self, NULL);
                CHECK_RESULT(res);
                return res;
            }
111 112 113 114 115 116 117 118 119
            PyErr_Format(PyExc_TypeError,
                "%.200s() takes no arguments (%zd given)",
                f->m_ml->ml_name, size);
            return NULL;
        }
        break;
    case METH_O:
        if (kw == NULL || PyDict_Size(kw) == 0) {
            size = PyTuple_GET_SIZE(arg);
120 121 122 123 124
            if (size == 1) {
                res = (*meth)(self, PyTuple_GET_ITEM(arg, 0));
                CHECK_RESULT(res);
                return res;
            }
125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140
            PyErr_Format(PyExc_TypeError,
                "%.200s() takes exactly one argument (%zd given)",
                f->m_ml->ml_name, size);
            return NULL;
        }
        break;
    default:
        PyErr_SetString(PyExc_SystemError, "Bad call flags in "
                        "PyCFunction_Call. METH_OLDARGS is no "
                        "longer supported!");

        return NULL;
    }
    PyErr_Format(PyExc_TypeError, "%.200s() takes no keyword arguments",
                 f->m_ml->ml_name);
    return NULL;
141 142

#undef CHECK_RESULT
143 144
}

Guido van Rossum's avatar
Guido van Rossum committed
145 146 147
/* Methods (the standard built-in methods, that is) */

static void
148
meth_dealloc(PyCFunctionObject *m)
Guido van Rossum's avatar
Guido van Rossum committed
149
{
150
    _PyObject_GC_UNTRACK(m);
151 152 153
    if (m->m_weakreflist != NULL) {
        PyObject_ClearWeakRefs((PyObject*) m);
    }
154 155 156 157 158 159 160 161 162 163
    Py_XDECREF(m->m_self);
    Py_XDECREF(m->m_module);
    if (numfree < PyCFunction_MAXFREELIST) {
        m->m_self = (PyObject *)free_list;
        free_list = m;
        numfree++;
    }
    else {
        PyObject_GC_Del(m);
    }
Guido van Rossum's avatar
Guido van Rossum committed
164 165
}

166 167 168 169 170 171 172 173 174 175 176 177 178 179 180 181 182 183 184 185
static PyObject *
meth_reduce(PyCFunctionObject *m)
{
    PyObject *builtins;
    PyObject *getattr;
    _Py_IDENTIFIER(getattr);

    if (m->m_self == NULL || PyModule_Check(m->m_self))
        return PyUnicode_FromString(m->m_ml->ml_name);

    builtins = PyEval_GetBuiltins();
    getattr = _PyDict_GetItemId(builtins, &PyId_getattr);
    return Py_BuildValue("O(Os)", getattr, m->m_self, m->m_ml->ml_name);
}

static PyMethodDef meth_methods[] = {
    {"__reduce__", (PyCFunction)meth_reduce, METH_NOARGS, NULL},
    {NULL, NULL}
};

186 187 188
static PyObject *
meth_get__text_signature__(PyCFunctionObject *m, void *closure)
{
189
    return _PyType_GetTextSignatureFromInternalDoc(m->m_ml->ml_name, m->m_ml->ml_doc);
190 191
}

192 193 194
static PyObject *
meth_get__doc__(PyCFunctionObject *m, void *closure)
{
195
    return _PyType_GetDocFromInternalDoc(m->m_ml->ml_name, m->m_ml->ml_doc);
196 197 198 199 200
}

static PyObject *
meth_get__name__(PyCFunctionObject *m, void *closure)
{
201
    return PyUnicode_FromString(m->m_ml->ml_name);
202 203
}

204 205 206 207 208 209 210 211 212 213 214 215 216 217 218 219 220 221 222 223 224 225 226 227 228 229 230 231 232 233 234 235 236 237 238
static PyObject *
meth_get__qualname__(PyCFunctionObject *m, void *closure)
{
    /* If __self__ is a module or NULL, return m.__name__
       (e.g. len.__qualname__ == 'len')

       If __self__ is a type, return m.__self__.__qualname__ + '.' + m.__name__
       (e.g. dict.fromkeys.__qualname__ == 'dict.fromkeys')

       Otherwise return type(m.__self__).__qualname__ + '.' + m.__name__
       (e.g. [].append.__qualname__ == 'list.append') */
    PyObject *type, *type_qualname, *res;
    _Py_IDENTIFIER(__qualname__);

    if (m->m_self == NULL || PyModule_Check(m->m_self))
        return PyUnicode_FromString(m->m_ml->ml_name);

    type = PyType_Check(m->m_self) ? m->m_self : (PyObject*)Py_TYPE(m->m_self);

    type_qualname = _PyObject_GetAttrId(type, &PyId___qualname__);
    if (type_qualname == NULL)
        return NULL;

    if (!PyUnicode_Check(type_qualname)) {
        PyErr_SetString(PyExc_TypeError, "<method>.__class__."
                        "__qualname__ is not a unicode object");
        Py_XDECREF(type_qualname);
        return NULL;
    }

    res = PyUnicode_FromFormat("%S.%s", type_qualname, m->m_ml->ml_name);
    Py_DECREF(type_qualname);
    return res;
}

239 240 241
static int
meth_traverse(PyCFunctionObject *m, visitproc visit, void *arg)
{
242 243 244
    Py_VISIT(m->m_self);
    Py_VISIT(m->m_module);
    return 0;
245 246
}

247
static PyObject *
248
meth_get__self__(PyCFunctionObject *m, void *closure)
249
{
250
    PyObject *self;
251

252
    self = PyCFunction_GET_SELF(m);
253 254 255 256
    if (self == NULL)
        self = Py_None;
    Py_INCREF(self);
    return self;
257 258
}

259
static PyGetSetDef meth_getsets [] = {
260 261
    {"__doc__",  (getter)meth_get__doc__,  NULL, NULL},
    {"__name__", (getter)meth_get__name__, NULL, NULL},
262
    {"__qualname__", (getter)meth_get__qualname__, NULL, NULL},
263
    {"__self__", (getter)meth_get__self__, NULL, NULL},
264
    {"__text_signature__", (getter)meth_get__text_signature__, NULL, NULL},
265
    {0}
266 267
};

268 269 270
#define OFF(x) offsetof(PyCFunctionObject, x)

static PyMemberDef meth_members[] = {
271 272
    {"__module__",    T_OBJECT,     OFF(m_module), PY_WRITE_RESTRICTED},
    {NULL}
273 274
};

275
static PyObject *
276
meth_repr(PyCFunctionObject *m)
Guido van Rossum's avatar
Guido van Rossum committed
277
{
278 279 280 281 282 283 284
    if (m->m_self == NULL || PyModule_Check(m->m_self))
        return PyUnicode_FromFormat("<built-in function %s>",
                                   m->m_ml->ml_name);
    return PyUnicode_FromFormat("<built-in method %s of %s object at %p>",
                               m->m_ml->ml_name,
                               m->m_self->ob_type->tp_name,
                               m->m_self);
Guido van Rossum's avatar
Guido van Rossum committed
285 286
}

287 288
static PyObject *
meth_richcompare(PyObject *self, PyObject *other, int op)
289
{
290 291 292 293 294 295 296 297
    PyCFunctionObject *a, *b;
    PyObject *res;
    int eq;

    if ((op != Py_EQ && op != Py_NE) ||
        !PyCFunction_Check(self) ||
        !PyCFunction_Check(other))
    {
298
        Py_RETURN_NOTIMPLEMENTED;
299 300 301 302 303 304 305 306 307 308 309 310
    }
    a = (PyCFunctionObject *)self;
    b = (PyCFunctionObject *)other;
    eq = a->m_self == b->m_self;
    if (eq)
        eq = a->m_ml->ml_meth == b->m_ml->ml_meth;
    if (op == Py_EQ)
        res = eq ? Py_True : Py_False;
    else
        res = eq ? Py_False : Py_True;
    Py_INCREF(res);
    return res;
311 312
}

313
static Py_hash_t
314
meth_hash(PyCFunctionObject *a)
315
{
316
    Py_hash_t x, y;
317 318 319 320 321 322 323 324 325 326 327 328 329 330
    if (a->m_self == NULL)
        x = 0;
    else {
        x = PyObject_Hash(a->m_self);
        if (x == -1)
            return -1;
    }
    y = _Py_HashPointer((void*)(a->m_ml->ml_meth));
    if (y == -1)
        return -1;
    x ^= y;
    if (x == -1)
        x = -2;
    return x;
331 332
}

333

334
PyTypeObject PyCFunction_Type = {
335 336 337 338 339 340 341 342 343 344 345 346 347 348 349 350 351 352 353 354 355 356 357 358
    PyVarObject_HEAD_INIT(&PyType_Type, 0)
    "builtin_function_or_method",
    sizeof(PyCFunctionObject),
    0,
    (destructor)meth_dealloc,                   /* tp_dealloc */
    0,                                          /* tp_print */
    0,                                          /* tp_getattr */
    0,                                          /* tp_setattr */
    0,                                          /* tp_reserved */
    (reprfunc)meth_repr,                        /* tp_repr */
    0,                                          /* tp_as_number */
    0,                                          /* tp_as_sequence */
    0,                                          /* tp_as_mapping */
    (hashfunc)meth_hash,                        /* tp_hash */
    PyCFunction_Call,                           /* tp_call */
    0,                                          /* tp_str */
    PyObject_GenericGetAttr,                    /* tp_getattro */
    0,                                          /* tp_setattro */
    0,                                          /* tp_as_buffer */
    Py_TPFLAGS_DEFAULT | Py_TPFLAGS_HAVE_GC,/* tp_flags */
    0,                                          /* tp_doc */
    (traverseproc)meth_traverse,                /* tp_traverse */
    0,                                          /* tp_clear */
    meth_richcompare,                           /* tp_richcompare */
359
    offsetof(PyCFunctionObject, m_weakreflist), /* tp_weaklistoffset */
360 361
    0,                                          /* tp_iter */
    0,                                          /* tp_iternext */
362
    meth_methods,                               /* tp_methods */
363 364 365 366
    meth_members,                               /* tp_members */
    meth_getsets,                               /* tp_getset */
    0,                                          /* tp_base */
    0,                                          /* tp_dict */
Guido van Rossum's avatar
Guido van Rossum committed
367
};
Guido van Rossum's avatar
Guido van Rossum committed
368

369 370
/* Clear out the free list */

Christian Heimes's avatar
Christian Heimes committed
371 372
int
PyCFunction_ClearFreeList(void)
373
{
374 375 376 377 378 379 380 381 382 383
    int freelist_size = numfree;

    while (free_list) {
        PyCFunctionObject *v = free_list;
        free_list = (PyCFunctionObject *)(v->m_self);
        PyObject_GC_Del(v);
        numfree--;
    }
    assert(numfree == 0);
    return freelist_size;
Christian Heimes's avatar
Christian Heimes committed
384 385 386 387 388
}

void
PyCFunction_Fini(void)
{
389
    (void)PyCFunction_ClearFreeList();
390
}
391

392 393 394 395 396
/* Print summary info about the state of the optimized allocator */
void
_PyCFunction_DebugMallocStats(FILE *out)
{
    _PyDebugAllocatorStats(out,
397
                           "free PyCFunctionObject",
398
                           numfree, sizeof(PyCFunctionObject));
399
}