mirror of
https://github.com/python/cpython.git
synced 2024-11-30 05:15:14 +08:00
89a39461bf
exposed in header files. Fixed a few comments in these headers. As we might have expected, writing down invariants systematically exposed a (minor) bug. In this case, function objects have a writeable func_code attribute, which could be set to code objects with the wrong number of free variables. Calling the resulting function segfaulted the interpreter. Added a corresponding test.
77 lines
2.9 KiB
C
77 lines
2.9 KiB
C
|
|
/* Function object interface */
|
|
|
|
#ifndef Py_FUNCOBJECT_H
|
|
#define Py_FUNCOBJECT_H
|
|
#ifdef __cplusplus
|
|
extern "C" {
|
|
#endif
|
|
|
|
/* Function objects and code objects should not be confused with each other:
|
|
*
|
|
* Function objects are created by the execution of the 'def' statement.
|
|
* They reference a code object in their func_code attribute, which is a
|
|
* purely syntactic object, i.e. nothing more than a compiled version of some
|
|
* source code lines. There is one code object per source code "fragment",
|
|
* but each code object can be referenced by zero or many function objects
|
|
* depending only on how many times the 'def' statement in the source was
|
|
* executed so far.
|
|
*/
|
|
|
|
typedef struct {
|
|
PyObject_HEAD
|
|
PyObject *func_code; /* A code object */
|
|
PyObject *func_globals; /* A dictionary (other mappings won't do) */
|
|
PyObject *func_defaults; /* NULL or a tuple */
|
|
PyObject *func_closure; /* NULL or a tuple of cell objects */
|
|
PyObject *func_doc; /* The __doc__ attribute, can be anything */
|
|
PyObject *func_name; /* The __name__ attribute, a string object */
|
|
PyObject *func_dict; /* The __dict__ attribute, a dict or NULL */
|
|
PyObject *func_weakreflist; /* List of weak references */
|
|
PyObject *func_module; /* The __module__ attribute, can be anything */
|
|
|
|
/* Invariant:
|
|
* func_closure contains the bindings for func_code->co_freevars, so
|
|
* PyTuple_Size(func_closure) == PyCode_GetNumFree(func_code)
|
|
* (func_closure may be NULL if PyCode_GetNumFree(func_code) == 0).
|
|
*/
|
|
} PyFunctionObject;
|
|
|
|
PyAPI_DATA(PyTypeObject) PyFunction_Type;
|
|
|
|
#define PyFunction_Check(op) ((op)->ob_type == &PyFunction_Type)
|
|
|
|
PyAPI_FUNC(PyObject *) PyFunction_New(PyObject *, PyObject *);
|
|
PyAPI_FUNC(PyObject *) PyFunction_GetCode(PyObject *);
|
|
PyAPI_FUNC(PyObject *) PyFunction_GetGlobals(PyObject *);
|
|
PyAPI_FUNC(PyObject *) PyFunction_GetModule(PyObject *);
|
|
PyAPI_FUNC(PyObject *) PyFunction_GetDefaults(PyObject *);
|
|
PyAPI_FUNC(int) PyFunction_SetDefaults(PyObject *, PyObject *);
|
|
PyAPI_FUNC(PyObject *) PyFunction_GetClosure(PyObject *);
|
|
PyAPI_FUNC(int) PyFunction_SetClosure(PyObject *, PyObject *);
|
|
|
|
/* Macros for direct access to these values. Type checks are *not*
|
|
done, so use with care. */
|
|
#define PyFunction_GET_CODE(func) \
|
|
(((PyFunctionObject *)func) -> func_code)
|
|
#define PyFunction_GET_GLOBALS(func) \
|
|
(((PyFunctionObject *)func) -> func_globals)
|
|
#define PyFunction_GET_MODULE(func) \
|
|
(((PyFunctionObject *)func) -> func_module)
|
|
#define PyFunction_GET_DEFAULTS(func) \
|
|
(((PyFunctionObject *)func) -> func_defaults)
|
|
#define PyFunction_GET_CLOSURE(func) \
|
|
(((PyFunctionObject *)func) -> func_closure)
|
|
|
|
/* The classmethod and staticmethod types lives here, too */
|
|
PyAPI_DATA(PyTypeObject) PyClassMethod_Type;
|
|
PyAPI_DATA(PyTypeObject) PyStaticMethod_Type;
|
|
|
|
PyAPI_FUNC(PyObject *) PyClassMethod_New(PyObject *);
|
|
PyAPI_FUNC(PyObject *) PyStaticMethod_New(PyObject *);
|
|
|
|
#ifdef __cplusplus
|
|
}
|
|
#endif
|
|
#endif /* !Py_FUNCOBJECT_H */
|