Python源码 -- C语言实现面向对象编程(基类&派生类&多态)

背景

python是面向对象的解释性语言，然而python是通过C语言实现的，C语言怎么跟面向对象扯上了关系？ C语言可以实现面向对象的性质？ 

原文链接：http://blog.csdn.net/ordeder/article/details/25296307

【基础数据结构】

#define PyObject_HEAD                   \    _PyObject_HEAD_EXTRA                \    Py_ssize_t ob_refcnt;               \    struct _typeobject *ob_type;

以上宏等价于：

  Py_ssize_t ob_refcnt;  struct _typeobject *ob_type;

参数: ob_refcnt 作为引用计数(类似智能指针的概念),当引用计数为0的时候对象及被销毁。

参数：_typeobject 即 PyTypeObject实现如下：在python中，一切对对象，包括类型也是一种对象。

typedef struct _typeobject {    PyObject_VAR_HEAD    const char *tp_name; /* For printing, in format "<module>.<name>" */    Py_ssize_t tp_basicsize, tp_itemsize; /* For allocation */    /* Methods to implement standard operations */    destructor tp_dealloc;    printfunc tp_print;    getattrfunc tp_getattr;    setattrfunc tp_setattr;    cmpfunc tp_compare;    reprfunc tp_repr;    /* Method suites for standard classes */    PyNumberMethods *tp_as_number;    PySequenceMethods *tp_as_sequence;    PyMappingMethods *tp_as_mapping;  ...    allocfunc tp_alloc;    newfunc tp_new;    freefunc tp_free; /* Low-level free-memory routine */    inquiry tp_is_gc; /* For PyObject_IS_GC */    PyObject *tp_bases;    PyObject *tp_mro; /* method resolution order */    PyObject *tp_cache;    PyObject *tp_subclasses;    PyObject *tp_weaklist;    destructor tp_del;...} PyTypeObject;

【Python中对象的基类--C语言实现类的概念及其继承】

typedef struct _object {    PyObject_HEAD} PyObject;

整数类：
主要用一个long类型存储整数的值。

typedef struct {      PyObject_HEAD       long ob_ival;  } PyIntObject; 

还比如python中的其他复杂类型的类PyDictObject：

typedef struct _dictobject PyDictObject;struct _dictobject {    PyObject_HEAD    Py_ssize_t ma_fill;  /* # Active + # Dummy */    ...    PyDictEntry *ma_table;    ...};

通过对比PyIntObject和PyDictObject可得：类PyIntObject和PyDictObject都继承了基类PyObject(PyObject_HEAD）。

【PyObject & PyTypeObject -- C语言实现多态】

PyIntObject和PyDictObject对PyObject_HEAD中的ob_type的赋值是不同的，分别为：

PyTypeObject PyInt_Type = {    PyVarObject_HEAD_INIT(&PyType_Type, 0)    "int",    sizeof(PyIntObject),    0,    (destructor)int_dealloc,                    /* tp_dealloc */    (printfunc)int_print,                       /* tp_print */    0,                                          /* tp_getattr */    0,                                          /* tp_setattr */    (cmpfunc)int_compare,                       /* tp_compare */   ...    int_new,                                    /* tp_new */    (freefunc)int_free,                         /* tp_free */};

PyTypeObject PyDict_Type = {    PyVarObject_HEAD_INIT(&PyType_Type, 0)    "dict",    sizeof(PyDictObject),    0,    (destructor)dict_dealloc,                   /* tp_dealloc */    (printfunc)dict_print,                      /* tp_print */    0,                                          /* tp_getattr */    0,                                          /* tp_setattr */    (cmpfunc)dict_compare,                      /* tp_compare */    ...    dict_new,                                   /* tp_new */    PyObject_GC_Del,                            /* tp_free */};

PyObject 作为python的基类，PyObject* 指针能够指向派生类，而派生类中各个类对象对成员ob_type都有自己的解释（PyIntObject：PyInt_Type PyDictObject：PyDict_Type）
即，ob_type依据类的类型构建了基本操作的回调函数，从而，基类指针指向派生类对象后调用的通用接口，如print函数，将被解释为具体派生类的print函数，例如；
PyObject *ppy = &pyintobj；
ppy -> ob_type -> tp_print     即为： pyintobj -> ob_type -> int_print

PyObject *ppy = &pydictobj；
ppy -> ob_type -> tp_print     即为： pyintobj -> ob_type -> dict_print

总结：多态，通过不同类对ob_type进行初始化，为通用函数接口注册相应的回调函数，即可实现了多态；