从零解析Python源码： list 的动态扩容机制是如何实现的？

 

一、

Python的list（列表）是其最基础且最常用的数据结构之一，它提供了连续的内存存储空间，支持高效的随机访问和动态扩容。理解list的动态扩容机制不仅有助于我们更好地使用Python，还能让我们深入理解Python底层的内存管理策略。本文将从Python源码的角度，详细解析list的动态扩容机制是如何实现的。

二、Python list的基本结构

在深入分析动态扩容机制之前，我们先来了解一下Python list的基本结构。在Python的C实现中，list对象是通过PyListObject结构体来表示的，其定义位于Include/listobject.h文件中：

typedef struct {
    PyObject_VAR_HEAD
    /* Vector of pointers to list elements.  list[0] is ob_item[0], etc. */
    PyObject **ob_item;
    /* ob_item contains space for 'allocated' elements.  The number
     * currently in use is ob_size.
     * Invariants:
     *     0 <= ob_size <= allocated
     *     len(list) == ob_size
     *     ob_item == NULL implies ob_size == allocated == 0
     */
    Py_ssize_t allocated;
} PyListObject;

其中：

• PyObject_VAR_HEAD：这是一个宏，用于定义变长对象的头部信息，包含对象的引用计数、类型指针等基本信息。

• ob_item：一个指向PyObject指针的数组，用于存储list中的元素。

• allocated：表示当前分配的存储空间可以容纳的元素数量。

三、list的初始化

当我们创建一个新的list时，Python会为其分配一定的初始存储空间。在Objects/listobject.c文件中，PyList_Ne