1.2.3 类型的类型

1.2.3 类型的类型

仔细观察PyTypeObject，会有一个有趣的发现。在PyTypeObject 定义的最开始，可以发现PyObject_VAR_HEAD，这意味着Python 中的类型实际上也是一个对象。没错，在Python 中，任何一个东西都是对象，而每一个对象都是对应一种类型的，那么一个有趣的问题就出现了，类型对象的类型是什么呢？这个问题听上去很绕口，实际上却非常重要，对于其他的对象，可以通过与其关联的类型对象确定其类型，那么通过什么来确定一个对象是类型对象呢？答案就是PyType_Type：

  [typeobject.c]
PyTypeObject PyType_Type = {
PyObject_HEAD_INIT(&PyType_Type)
0, /* ob_size */
"type", /* tp_name */
sizeof(PyHeapTypeObject), /* tp_basicsize */
sizeof(PyMemberDef), /* tp_itemsize */
……
};

图1-5 PyType_Type 与一般PyTypeObject 的关系

图1-5 中那个一再出现的就是Python 内部的PyType_Type，它是所有class 的class，所以它在Python 中被称为metaclass。关于PyType_Type 和metaclass，这里不再深入阐述，在后面的章节中会详细剖析。

我们接着来看PyInt_Type 是怎么和PyType_Type 建立关系的。前面提到，在Python中，每一个对象都将自己的引用计数、类型信息保存在开始的部分中。为了方便对这部分内存的初始化，Python 中提供了几个有用的宏：

 [object.h]
#ifdef Py_TRACE_REFS
#define _PyObject_EXTRA_INIT 0, 0,
#else
#define _PyObject_EXTRA_INIT
#endif
#define PyObject_HEAD_INIT(type) \
_PyObject_EXTRA_INIT \
1, type,

再回顾一下PyObject 和PyVarObject 的定义，初始化的动作就一目了然了。实际上，这些宏在各种内建类型对象的初始化中被大量地使用着。

以PyInt_Type 为例，可以更清晰地看到一般的类型对象和这个特立独行的PyType_Type 对象之间的关系：

 [intobject.c]
PyTypeObject PyInt_Type = {
PyObject_HEAD_INIT(&PyType_Type)
0,
"int",
sizeof(PyIntObject),
……
};

（点击查看大图）图1-6 运行时整数对象及其类型之间的关系