通过Cpython3.9源码看看为什么python中一切皆对象
在Python中,我们说“一切皆对象”,是因为Python中的所有数据类型(包括数值、字符串、列表、元组、字典、函数等)都是以对象的形式表示和处理的。每个对象都有一个类型,该类型定义了对象的行为和它可以执行的操作。这种一致的对象模型使得Python语言简单易懂且具有很高的灵活性。
在CPython
源码中,我们可以通过以下几点来解释为什么一切皆对象:
PyObject
结构:在Include/object.h
文件中,PyObject
结构是所有Python对象的基本表示。它包含了一个指向类型对象的指针ob_type
,以及一个表示引用计数的整数ob_refcnt
。这意味着在CPython
中,所有对象都具有这两个基本属性。更复杂的数据类型通常会在其类型定义中包含PyObject
结构作为第一个成员,从而继承这些基本属性。
typedef struct _object {
_PyObject_HEAD_EXTRA // 用双向链表实现对象管理
Py_ssize_t ob_refcnt; // 引用计数,对象创建时默认值为1
struct _typeobject *ob_type; // 类型,很重要
} PyObject;
/* Define pointers to support a doubly-linked list of all live heap objects. */
#define _PyObject_HEAD_EXTRA
struct _object *_ob_next;
struct _object *_ob_prev;
typedef struct _typeobject PyTypeObject;
-
统一的对象操作:在
Include/object.h
文件中,Python提供了一组统一的宏和函数,用于操作不同类型的Python对象。例如,Py_INCREF
和Py_DECREF
用于处理对象的引用计数,Py_TYPE
用于获取对象的类型。这些通用的操作使得Python对象具有一致的行为,从而实现了“一切皆对象”的设计理念。 -
类型对象:在
CPython
中,每种数据类型都有一个类型对象,它是PyTypeObject
结构的实例。类型对象包含了许多与该类型相关的属性和方法,如类型名、创建和销毁对象的函数、访问和修改属性的函数等。类型对象充当了Python中不同数据类型的“模板”,使得所有对象都遵循一致的模型。你可以在Include/cpython/object.h
文件中找到PyTypeObject
结构的定义。
看看PyTypeObject
这个很重要的类型结构体
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;
Py_ssize_t tp_vectorcall_offset;
getattrfunc tp_getattr;
setattrfunc tp_setattr