blob: 9c13e71e0f053faec25a21831be90d6e3d10b45f [file] [log] [blame]
Guido van Rossumf70e43a1991-02-19 12:39:46 +00001
Fred Drake3cf4d2b2000-07-09 00:55:06 +00002#ifndef Py_OBJIMPL_H
3#define Py_OBJIMPL_H
Peter Schneider-Kamp25f68942000-07-31 22:19:30 +00004
5#include "pymem.h"
6
Fred Drake3cf4d2b2000-07-09 00:55:06 +00007#ifdef __cplusplus
8extern "C" {
9#endif
10
Guido van Rossum85a5fbb1990-10-14 12:07:46 +000011/*
Guido van Rossumb18618d2000-05-03 23:44:39 +000012Functions and macros for modules that implement new object types.
Guido van Rossum85a5fbb1990-10-14 12:07:46 +000013You must first include "object.h".
14
Guido van Rossumb18618d2000-05-03 23:44:39 +000015 - PyObject_New(type, typeobj) allocates memory for a new object of
16 the given type; here 'type' must be the C structure type used to
17 represent the object and 'typeobj' the address of the corresponding
18 type object. Reference count and type pointer are filled in; the
19 rest of the bytes of the object are *undefined*! The resulting
20 expression type is 'type *'. The size of the object is actually
21 determined by the tp_basicsize field of the type object.
Guido van Rossum85a5fbb1990-10-14 12:07:46 +000022
Guido van Rossumb18618d2000-05-03 23:44:39 +000023 - PyObject_NewVar(type, typeobj, n) is similar but allocates a
24 variable-size object with n extra items. The size is computed as
25 tp_basicsize plus n * tp_itemsize. This fills in the ob_size field
26 as well.
Guido van Rossum85a5fbb1990-10-14 12:07:46 +000027
Guido van Rossumb18618d2000-05-03 23:44:39 +000028 - PyObject_Del(op) releases the memory allocated for an object.
29
30 - PyObject_Init(op, typeobj) and PyObject_InitVar(op, typeobj, n) are
31 similar to PyObject_{New, NewVar} except that they don't allocate
32 the memory needed for an object. Instead of the 'type' parameter,
33 they accept the pointer of a new object (allocated by an arbitrary
34 allocator) and initialize its object header fields.
35
36Note that objects created with PyObject_{New, NewVar} are allocated
37within the Python heap by an object allocator, the latter being
38implemented (by default) on top of the Python raw memory
39allocator. This ensures that Python keeps control on the user's
40objects regarding their memory management; for instance, they may be
41subject to automatic garbage collection.
42
43In case a specific form of memory management is needed, implying that
44the objects would not reside in the Python heap (for example standard
45malloc heap(s) are mandatory, use of shared memory, C++ local storage
46or operator new), you must first allocate the object with your custom
47allocator, then pass its pointer to PyObject_{Init, InitVar} for
48filling in its Python-specific fields: reference count, type pointer,
49possibly others. You should be aware that Python has very limited
50control over these objects because they don't cooperate with the
51Python memory manager. Such objects may not be eligible for automatic
52garbage collection and you have to make sure that they are released
53accordingly whenever their destructor gets called (cf. the specific
54form of memory management you're using).
55
56Unless you have specific memory management requirements, it is
57recommended to use PyObject_{New, NewVar, Del}. */
58
59/*
60 * Core object memory allocator
61 * ============================
62 */
63
Vladimir Marangozovd8a93322000-07-10 04:30:56 +000064/* The purpose of the object allocator is to make the distinction
Guido van Rossumb18618d2000-05-03 23:44:39 +000065 between "object memory" and the rest within the Python heap.
66
67 Object memory is the one allocated by PyObject_{New, NewVar}, i.e.
68 the one that holds the object's representation defined by its C
69 type structure, *excluding* any object-specific memory buffers that
70 might be referenced by the structure (for type structures that have
71 pointer fields). By default, the object memory allocator is
72 implemented on top of the raw memory allocator.
73
74 The PyCore_* macros can be defined to make the interpreter use a
75 custom object memory allocator. They are reserved for internal
76 memory management purposes exclusively. Both the core and extension
77 modules should use the PyObject_* API. */
78
79#ifndef PyCore_OBJECT_MALLOC_FUNC
80#undef PyCore_OBJECT_REALLOC_FUNC
81#undef PyCore_OBJECT_FREE_FUNC
82#define PyCore_OBJECT_MALLOC_FUNC PyCore_MALLOC_FUNC
83#define PyCore_OBJECT_REALLOC_FUNC PyCore_REALLOC_FUNC
84#define PyCore_OBJECT_FREE_FUNC PyCore_FREE_FUNC
85#endif
86
87#ifndef PyCore_OBJECT_MALLOC_PROTO
88#undef PyCore_OBJECT_REALLOC_PROTO
89#undef PyCore_OBJECT_FREE_PROTO
90#define PyCore_OBJECT_MALLOC_PROTO PyCore_MALLOC_PROTO
91#define PyCore_OBJECT_REALLOC_PROTO PyCore_REALLOC_PROTO
92#define PyCore_OBJECT_FREE_PROTO PyCore_FREE_PROTO
93#endif
94
95#ifdef NEED_TO_DECLARE_OBJECT_MALLOC_AND_FRIEND
Thomas Wouters334fb892000-07-25 12:56:38 +000096extern void *PyCore_OBJECT_MALLOC_FUNC PyCore_OBJECT_MALLOC_PROTO;
97extern void *PyCore_OBJECT_REALLOC_FUNC PyCore_OBJECT_REALLOC_PROTO;
Guido van Rossumb18618d2000-05-03 23:44:39 +000098extern void PyCore_OBJECT_FREE_FUNC PyCore_OBJECT_FREE_PROTO;
99#endif
100
101#ifndef PyCore_OBJECT_MALLOC
102#undef PyCore_OBJECT_REALLOC
103#undef PyCore_OBJECT_FREE
104#define PyCore_OBJECT_MALLOC(n) PyCore_OBJECT_MALLOC_FUNC(n)
105#define PyCore_OBJECT_REALLOC(p, n) PyCore_OBJECT_REALLOC_FUNC((p), (n))
106#define PyCore_OBJECT_FREE(p) PyCore_OBJECT_FREE_FUNC(p)
107#endif
108
109/*
110 * Raw object memory interface
111 * ===========================
112 */
113
114/* The use of this API should be avoided, unless a builtin object
115 constructor inlines PyObject_{New, NewVar}, either because the
116 latter functions cannot allocate the exact amount of needed memory,
117 either for speed. This situation is exceptional, but occurs for
118 some object constructors (PyBuffer_New, PyList_New...). Inlining
119 PyObject_{New, NewVar} for objects that are supposed to belong to
120 the Python heap is discouraged. If you really have to, make sure
121 the object is initialized with PyObject_{Init, InitVar}. Do *not*
122 inline PyObject_{Init, InitVar} for user-extension types or you
123 might seriously interfere with Python's memory management. */
124
125/* Functions */
126
127/* Wrappers around PyCore_OBJECT_MALLOC and friends; useful if you
128 need to be sure that you are using the same object memory allocator
129 as Python. These wrappers *do not* make sure that allocating 0
130 bytes returns a non-NULL pointer. Returned pointers must be checked
131 for NULL explicitly; no action is performed on failure. */
Thomas Wouters334fb892000-07-25 12:56:38 +0000132extern DL_IMPORT(void *) PyObject_Malloc(size_t);
133extern DL_IMPORT(void *) PyObject_Realloc(void *, size_t);
134extern DL_IMPORT(void) PyObject_Free(void *);
Guido van Rossumb18618d2000-05-03 23:44:39 +0000135
136/* Macros */
137#define PyObject_MALLOC(n) PyCore_OBJECT_MALLOC(n)
Thomas Wouters334fb892000-07-25 12:56:38 +0000138#define PyObject_REALLOC(op, n) PyCore_OBJECT_REALLOC((void *)(op), (n))
139#define PyObject_FREE(op) PyCore_OBJECT_FREE((void *)(op))
Guido van Rossumb18618d2000-05-03 23:44:39 +0000140
141/*
142 * Generic object allocator interface
143 * ==================================
144 */
145
146/* Functions */
Fred Drake3cf4d2b2000-07-09 00:55:06 +0000147extern DL_IMPORT(PyObject *) PyObject_Init(PyObject *, PyTypeObject *);
148extern DL_IMPORT(PyVarObject *) PyObject_InitVar(PyVarObject *,
149 PyTypeObject *, int);
150extern DL_IMPORT(PyObject *) _PyObject_New(PyTypeObject *);
151extern DL_IMPORT(PyVarObject *) _PyObject_NewVar(PyTypeObject *, int);
152extern DL_IMPORT(void) _PyObject_Del(PyObject *);
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000153
Guido van Rossumb18618d2000-05-03 23:44:39 +0000154#define PyObject_New(type, typeobj) \
155 ( (type *) _PyObject_New(typeobj) )
156#define PyObject_NewVar(type, typeobj, n) \
157 ( (type *) _PyObject_NewVar((typeobj), (n)) )
158#define PyObject_Del(op) _PyObject_Del((PyObject *)(op))
Guido van Rossuma3309961993-07-28 09:05:47 +0000159
Andrew M. Kuchling1582a3a2000-08-16 12:27:23 +0000160/* Macros trading binary compatibility for speed. See also pymem.h.
Guido van Rossumb18618d2000-05-03 23:44:39 +0000161 Note that these macros expect non-NULL object pointers.*/
162#define PyObject_INIT(op, typeobj) \
Fred Drake41deb1e2001-02-01 05:27:45 +0000163 ((op)->ob_type = (typeobj), _Py_NewReference((PyObject *)(op)), \
164 (PyType_SUPPORTS_WEAKREFS((typeobj)) \
165 ? *(PyObject_GET_WEAKREFS_LISTPTR(op)) = NULL \
166 : NULL), \
167 (op))
Guido van Rossumb18618d2000-05-03 23:44:39 +0000168#define PyObject_INIT_VAR(op, typeobj, size) \
169 ( (op)->ob_size = (size), PyObject_INIT((op), (typeobj)) )
Guido van Rossum5a849141996-07-21 02:23:54 +0000170
Guido van Rossumb18618d2000-05-03 23:44:39 +0000171#define _PyObject_SIZE(typeobj) ( (typeobj)->tp_basicsize )
172#define _PyObject_VAR_SIZE(typeobj, n) \
173 ( (typeobj)->tp_basicsize + (n) * (typeobj)->tp_itemsize )
Guido van Rossum5a849141996-07-21 02:23:54 +0000174
Guido van Rossumb18618d2000-05-03 23:44:39 +0000175#define PyObject_NEW(type, typeobj) \
176( (type *) PyObject_Init( \
177 (PyObject *) PyObject_MALLOC( _PyObject_SIZE(typeobj) ), (typeobj)) )
178#define PyObject_NEW_VAR(type, typeobj, n) \
179( (type *) PyObject_InitVar( \
180 (PyVarObject *) PyObject_MALLOC( _PyObject_VAR_SIZE((typeobj),(n)) ),\
181 (typeobj), (n)) )
Guido van Rossumb18618d2000-05-03 23:44:39 +0000182
Guido van Rossum4cc6ac72000-07-01 01:00:38 +0000183#define PyObject_DEL(op) PyObject_FREE(op)
184
Guido van Rossumb18618d2000-05-03 23:44:39 +0000185/* This example code implements an object constructor with a custom
186 allocator, where PyObject_New is inlined, and shows the important
187 distinction between two steps (at least):
188 1) the actual allocation of the object storage;
189 2) the initialization of the Python specific fields
190 in this storage with PyObject_{Init, InitVar}.
191
192 PyObject *
193 YourObject_New(...)
194 {
195 PyObject *op;
196
197 op = (PyObject *) Your_Allocator(_PyObject_SIZE(YourTypeStruct));
198 if (op == NULL)
199 return PyErr_NoMemory();
200
201 op = PyObject_Init(op, &YourTypeStruct);
202 if (op == NULL)
203 return NULL;
204
205 op->ob_field = value;
206 ...
207 return op;
208 }
209
210 Note that in C++, the use of the new operator usually implies that
211 the 1st step is performed automatically for you, so in a C++ class
212 constructor you would start directly with PyObject_Init/InitVar. */
Guido van Rossum5a849141996-07-21 02:23:54 +0000213
Jeremy Hyltonc5007aa2000-06-30 05:02:53 +0000214/*
215 * Garbage Collection Support
216 * ==========================
217 */
Jeremy Hyltond08b4c42000-06-23 19:37:02 +0000218
Jeremy Hyltonc5007aa2000-06-30 05:02:53 +0000219/* To make a new object participate in garbage collection use
220 PyObject_{New, VarNew, Del} to manage the memory. Set the type flag
Neil Schemenauera6c861f2001-01-20 15:50:42 +0000221 Py_TPFLAGS_GC and define the type method tp_traverse. You should also
Jeremy Hyltonc5007aa2000-06-30 05:02:53 +0000222 add the method tp_clear if your object is mutable. Include
Guido van Rossum4cc6ac72000-07-01 01:00:38 +0000223 PyGC_HEAD_SIZE in the calculation of tp_basicsize. Call
Neil Schemenauera6c861f2001-01-20 15:50:42 +0000224 PyObject_GC_Init after the pointers followed by tp_traverse become
Jeremy Hyltonc5007aa2000-06-30 05:02:53 +0000225 valid (usually just before returning the object from the allocation
226 method. Call PyObject_GC_Fini before those pointers become invalid
227 (usually at the top of the deallocation method). */
Jeremy Hyltond08b4c42000-06-23 19:37:02 +0000228
229#ifndef WITH_CYCLE_GC
Jeremy Hyltonc5007aa2000-06-30 05:02:53 +0000230
231#define PyGC_HEAD_SIZE 0
232#define PyObject_GC_Init(op)
233#define PyObject_GC_Fini(op)
234#define PyObject_AS_GC(op) (op)
235#define PyObject_FROM_GC(op) (op)
Jeremy Hyltonc5007aa2000-06-30 05:02:53 +0000236
237#else
238
239/* Add the object into the container set */
Fred Drake3cf4d2b2000-07-09 00:55:06 +0000240extern DL_IMPORT(void) _PyGC_Insert(PyObject *);
Jeremy Hyltonc5007aa2000-06-30 05:02:53 +0000241
242/* Remove the object from the container set */
Fred Drake3cf4d2b2000-07-09 00:55:06 +0000243extern DL_IMPORT(void) _PyGC_Remove(PyObject *);
Jeremy Hyltonc5007aa2000-06-30 05:02:53 +0000244
245#define PyObject_GC_Init(op) _PyGC_Insert((PyObject *)op)
246#define PyObject_GC_Fini(op) _PyGC_Remove((PyObject *)op)
247
248/* Structure *prefixed* to container objects participating in GC */
249typedef struct _gc_head {
250 struct _gc_head *gc_next;
251 struct _gc_head *gc_prev;
252 int gc_refs;
253} PyGC_Head;
254
255#define PyGC_HEAD_SIZE sizeof(PyGC_Head)
256
257/* Test if a type has a GC head */
258#define PyType_IS_GC(t) PyType_HasFeature((t), Py_TPFLAGS_GC)
259
260/* Test if an object has a GC head */
261#define PyObject_IS_GC(o) PyType_IS_GC((o)->ob_type)
262
263/* Get an object's GC head */
264#define PyObject_AS_GC(o) ((PyGC_Head *)(o)-1)
265
266/* Get the object given the PyGC_Head */
267#define PyObject_FROM_GC(g) ((PyObject *)(((PyGC_Head *)g)+1))
268
Barry Warsaw430d7732001-01-24 04:17:26 +0000269extern DL_IMPORT(void) _PyGC_Dump(PyGC_Head *);
Barry Warsaw803eff22001-01-23 16:37:22 +0000270
Jeremy Hyltonc5007aa2000-06-30 05:02:53 +0000271#endif /* WITH_CYCLE_GC */
Jeremy Hyltond08b4c42000-06-23 19:37:02 +0000272
Fred Drake41deb1e2001-02-01 05:27:45 +0000273/* Test if a type supports weak references */
Fred Drake033f3122001-02-02 18:17:30 +0000274#define PyType_SUPPORTS_WEAKREFS(t) \
275 (PyType_HasFeature((t), Py_TPFLAGS_HAVE_WEAKREFS) \
276 && ((t)->tp_weaklistoffset > 0))
Fred Drake41deb1e2001-02-01 05:27:45 +0000277
278#define PyObject_GET_WEAKREFS_LISTPTR(o) \
279 ((PyObject **) (((char *) (o)) + (o)->ob_type->tp_weaklistoffset))
280
Guido van Rossuma3309961993-07-28 09:05:47 +0000281#ifdef __cplusplus
282}
283#endif
284#endif /* !Py_OBJIMPL_H */