自定义RingBuffer类dequeue函数异常问题求助

你的RingBuffer实现完全忽略了Python对象的引用计数规则，这就是整数看似正常、其他类型出问题的核心原因：

1. 入队时未持有对象引用 #

PyArg_ParseTuple解析得到的item是借用引用，你直接将其存入缓冲区数组，但未调用Py_INCREF(item)增加引用计数。这会引发两种情况：

• 小整数属于Python维护的整数池，引用计数永远不会归零，不会被回收，因此表现正常。
• 列表、字符串等对象会在其他引用被释放时被Python回收，此时缓冲区中的指针变为悬空指针，后续访问就会出现错误数据或段错误。

2. 出队时未传递有效引用 #

取出对象返回给调用者时，需要确保调用者获得该对象的合法拥有引用。当前代码直接返回缓冲区中的对象指针，但未调整引用计数，若对象已被回收，返回的就是无效内存。

修复后的代码 #

修正的enqueue函数 #

static PyObject *
RingBuffer_enqueue(RingBuffer *self, PyObject *args)
{
    PyObject *item = NULL;

    if (!PyArg_ParseTuple(args, "O", &item))
        return NULL;

    // 增加引用计数，确保缓冲区持有对象的合法引用
    Py_INCREF(item);

    if (self->size == self->capacity)
    {
        Py_DECREF(self->items[self->head]);
        self->items[self->head] = item;
        self->head = (self->head + 1) % self->capacity;
    }
    else
    {
        self->items[self->tail] = item;
        self->tail = (self->tail + 1) % self->capacity;
        self->size++;
    }

    Py_RETURN_NONE;
}

修正的dequeue函数 #

static PyObject *
RingBuffer_dequeue(RingBuffer *self)
{
    if (self->size == 0)
        Py_RETURN_NONE;

    PyObject *item = self->items[self->head];
    self->items[self->head] = NULL;
    self->head = (self->head + 1) % self->capacity;
    self->size--;

    // 增加引用计数，让调用者获得对象的合法引用
    Py_INCREF(item);
    return item;
}

额外注意事项 #

• RingBuffer销毁时，必须遍历items数组，对所有非NULL对象调用Py_DECREF，避免内存泄漏。
• 初始化items数组时，需将所有元素设为NULL，防止访问野指针。

内容的提问来源于stack exchange，提问作者sekomer