环形缓冲区（circular buffer）实现出现Segmentation Fault求助

问题描述 #

实现环形缓冲区时，调用print_cbuf()函数完成打印后立即触发段错误，输出显示缓冲区内容、指针地址等信息均正常打印，但函数返回后程序崩溃，与预期的“仅读写缓冲区时出错”不符。

错误原因分析 #

1. 初始化时的致命赋值错误 #

在new_circular_buffer()函数中，存在一行完全错误的赋值：

cbuf->size = cbuf->size;

这行代码将结构体中未初始化的size成员赋值给自己，导致cbuf->size成为随机垃圾值。后续所有依赖该值的操作（如push的指针移动、reset的内存清零）都会基于错误的偏移量访问内存，虽然print_cbuf()未直接使用该值，但垃圾值已破坏内存结构，最终在函数返回时触发段错误。

2. 测试代码中的野指针操作 #

测试函数中存在未初始化指针的解引用：

char* data;
*data = 13;

data是未分配内存的野指针，直接赋值会写入随机内存地址，这也是潜在的段错误触发点。

3. 指针边界判断逻辑错误 #

push和pop函数中，指针绕回的判断条件错误：

if (cbuf->write == cbuf->buffer + (cbuf->max_len - 1) * sizeof(item))

• sizeof(item)是void*的大小，并非元素实际大小，应使用cbuf->size
• 边界计算错误：缓冲区的实际末尾地址应为cbuf->buffer + cbuf->max_len * cbuf->size，而非(max_len-1)*size，会导致最后一个元素的位置无法被正确处理。

4. pop函数的未初始化指针问题 #

pop函数中直接使用未分配内存的指针：

void* item;
memcpy(item, cbuf->read, cbuf->size);

item未指向有效内存，memcpy会写入随机地址，必然触发段错误。

优化与修复建议 #

1. 修正初始化赋值错误 #

将new_circular_buffer()中的错误赋值改为正确传入参数：

cbuf_t* new_circular_buffer(size_t capacity, size_t size)
{
    cbuf_t* cbuf = (cbuf_t*) malloc(sizeof(cbuf_t));
    if (NULL == cbuf)
        return NULL;

    char* buffer = (char*) malloc(capacity * size);
    if (NULL == buffer)
    {
        free(cbuf);
        return NULL;
    }

    cbuf->buffer = buffer;
    cbuf->write = cbuf->buffer;
    cbuf->read = cbuf->buffer;
    cbuf->size = size; // 修正为传入的元素大小
    cbuf->curr_len = 0;
    cbuf->max_len = capacity;

    return cbuf;
}

2. 修复指针边界判断逻辑 #

重新实现push和pop中的指针移动与绕回逻辑，使用总字节数判断边界：

bool cbuf_push(cbuf_t* cbuf, void* item)
{
    if (!cbuf || !item || cbuf_full(cbuf))
    {
        return false;
    }

    memcpy(cbuf->write, item, cbuf->size);
    size_t total_bytes = cbuf->max_len * cbuf->size;
    cbuf->write += cbuf->size;
    // 判断是否到达缓冲区末尾
    if (cbuf->write >= cbuf->buffer + total_bytes)
    {
        cbuf->write = cbuf->buffer;
    }
    cbuf->curr_len++;
    return true;
}

3. 重构pop函数避免野指针 #

改为让调用者提供缓冲区，避免内部分配内存导致的泄漏风险：

bool cbuf_pop(cbuf_t* cbuf, void* item)
{
    if (!cbuf || !item || cbuf_empty(cbuf))
    {
        return false;
    }

    memcpy(item, cbuf->read, cbuf->size);
    size_t total_bytes = cbuf->max_len * cbuf->size;
    cbuf->read += cbuf->size;
    if (cbuf->read >= cbuf->buffer + total_bytes)
    {
        cbuf->read = cbuf->buffer;
    }
    cbuf->curr_len--;
    return true;
}

4. 修复测试代码的野指针 #

将未初始化指针改为栈上变量：

// Push 1 element
char data = 13;
assert(cbuf_push(cbuf, &data));

5. 增加参数合法性检查 #

所有公共函数开头添加空指针检查，避免非法访问：

bool cbuf_empty(cbuf_t* cbuf)
{
    if (!cbuf) return true;
    return (0 == cbuf->curr_len);
}

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