CPython PyTupleObject 接口分析

对象结构:

typedef struct {
    PyObject_VAR_HEAD
    PyObject *ob_item[1];
} PyTupleObject;
 

常用接口:

PyTuple_New:  创建一个Tuple对象，参数为创建大小

PyTuple_GetItem: 获取Tuple的某一个元素，参数为 ob_item的索引index

PyTuple_SetItem: 设置Tuple的某一个元素，参数为 索引index和要传入的PyObject对象

PyTuple_Pack: 将多个对象打包成一个PyTupleObject，参数为size大小和一系列打包元素...

PyObject *
PyTuple_GetItem(PyObject *op, Py_ssize_t i)
{
    if (!PyTuple_Check(op)) {
        PyErr_BadInternalCall();
        return NULL;
    }
    if (i < 0 || i >= Py_SIZE(op)) {
        PyErr_SetString(PyExc_IndexError, "tuple index out of range");
        return NULL;
    }
    return ((PyTupleObject *)op) -> ob_item[i];
}

int
PyTuple_SetItem(PyObject *op, Py_ssize_t i, PyObject *newitem)
{
    PyObject *olditem;
    PyObject **p;
    if (!PyTuple_Check(op) || op->ob_refcnt != 1) {
        Py_XDECREF(newitem);            //失败减少引用计数
        PyErr_BadInternalCall();
        return -1;
    }
    if (i < 0 || i >= Py_SIZE(op)) {
        Py_XDECREF(newitem);        //失败减少引用计数
        PyErr_SetString(PyExc_IndexError,
                        "tuple assignment index out of range");
        return -1;
    }
    p = ((PyTupleObject *)op) -> ob_item + i;
    olditem = *p;
    *p = newitem;              //里面会自动保留外面的引用计数
    Py_XDECREF(olditem);       //减少之前老对象引用计数     
    return 0;
}

注：PyTuple_GetItem不会增加引用计数，所以要持有对象，必须Py_XINCREF，Py_Tuple_SetItem会对olditem进行Py_XDECREF。

PyTuple_MAXSAVESIZE = 20: 为了防止频繁内存操作，缓存的Tuple的size大小阈值，也就是size<20的小tuple对象都被

在释放和申请时加入缓存处理。

PyTuple_MAXFREELIST=2000: 要被缓存的size的Tuple最大缓存的数目，为了占用内存小，缓存也不能过大。

 

缓存对象数据结构:

free_list: 静态缓存队列

num_free: 缓存计数器

free_list的index代表对应size的大小的缓存链表，链表通过 op->ob_item[0]指向下一个可用的PyTupleObject，num_free的index代表对应size大小的缓存链表长度。这就是为什么ob_item声明部分用了PyObject* ob_item[1] 一个元素。真正的tuple长度在PyObject_VAR_HEAD的ob_size上。
--------------------- 
版权声明：本文为CSDN博主「小白一点点」的原创文章，遵循CC 4.0 by-sa版权协议，转载请附上原文出处链接及本声明。
原文链接：https://blog.csdn.net/weixin_42092782/article/details/82527798