why PyObject* can point to any object in python?

Question

In python's source code, there are some macro definitions like this:

#define PyObject_HEAD    \
    int ob_refcnt;       \
    struct _typeobject *ob_type;


#define PyObject_VAR_HEAD  \
    PyObject_HEAD          \
    int ob_size; 


typedef struct _object {  
    PyObject_HEAD  
} PyObject;    

typedef struct _object {  
    PyObject_HEAD   
    long ob_ival;   
} PyIntObject;   

typedef struct {   
    PyObject_VAR_HEAD   
} PyVarObject;

The question is, why PyObject* can point to each object(such as PyIntObject, PyVarObject) in python?

Are there some backslashes missing in the macro definitions? — Jens
– Jens, Commented Jul 31, 2012 at 9:20

Steve Jessop · Accepted Answer · 2012-07-31 10:14:56Z

12

Each struct for the different types of Python object has an instance of PyObject_HEAD as its first member (or the first member of its first member, and so on).

This member sub-object is guaranteed to be located at the same address as the full object.

The PyObject_HEAD* points at that member sub-object, but could be cast to the full type once ob_type has been inspected to work out what the full type is.

This trick isn't unique to CPython -- it's often used to implement a limited kind of inheritance in C. Basically you model the "is a X" relationship by "has a X at the start of".

edited Jul 31, 2012 at 10:14

answered Jul 31, 2012 at 9:33

Steve Jessop

281k40 gold badges473 silver badges709 bronze badges

Sign up to request clarification or add additional context in comments.

1 Comment

Leon Chang Over a year ago

In this, it mentioned Py_REFCNT, Py_TYPE and Py_SIZE macros, but no #define's like Py_REFCNT(x) (x->ob_type). Can someone show their source code or the link to it?

Sebastian Hoffmann · Accepted Answer · 2012-07-31 09:16:45Z

2

Because PyObject_HEAD is ALWAYS the first struct member not affected by the concrete underlying type. The pointer will ofcourse get casted.

answered Jul 31, 2012 at 9:16

Sebastian Hoffmann

11.6k7 gold badges55 silver badges80 bronze badges

Collectives™ on Stack Overflow

why PyObject* can point to any object in python?

2 Answers 2

1 Comment

Comments

Your Answer

Linked

Hot Network Questions

Collectives™ on Stack Overflow

2 Answers 2

1 Comment

Comments

Your Answer

Sign up or log in

Post as a guest

Linked

Related