C语言如何释放动态结构体中的动态数组？valgrind报内存泄漏如何解决？

根因分析 #

你遇到的40字节内存泄漏和free报错的核心原因是Remove_Beg函数存在数组越界访问，破坏了堆内存的管理结构：

• 10个int大小的数组刚好占40字节，对应你Create函数中申请的ptr->queue内存块
• 当队列插入10个元素满负载时，end成员的值会递减到-1，此时Remove_Beg中&(q_ptr->queue[q_ptr->end-1])等价于访问queue[-2]，属于非法越界读写，直接破坏了malloc底层维护的堆块头信息
• 堆结构损坏后，后续执行free(ptr->queue)时系统会识别到内存结构异常，终止释放操作，最终导致该40字节内存块泄漏

修复步骤 #

1. 修复Remove_Beg函数的越界和逻辑缺陷 #

原函数只做了元素移动，没有更新beg、elements计数，且存在边界错误，修复后的逻辑如下：

int Remove_Beg(QueueType *q_ptr)
{
    if (q_ptr->elements == 0) {
        printf("Queue Empty");
        return -1;
    }
    printf("\n");
    // 从第二个元素开始往前移动，覆盖队头
    for (int i = q_ptr->beg; i > q_ptr->end + 1; i--) {
        q_ptr->queue[i] = q_ptr->queue[i-1];
    }
    // 更新队头指针和元素计数
    q_ptr->beg--;
    q_ptr->elements--;
    return 0;
}

额外说明：原代码中Insert_end、Remove_Beg都声明了int返回值但没有对应return语句，会触发编译警告，建议补全对应场景的返回值

2. 封装队列销毁函数（可选但推荐） #

为了符合封装原则，避免手动释放出错，建议新增队列销毁接口：

• 首先在queue.h中新增函数声明：

void Destroy(QueueType *q_ptr);

• 在queue.c中实现销毁逻辑：

void Destroy(QueueType *q_ptr)
{
    if (q_ptr == NULL) return;
    free(q_ptr->queue);
    free(q_ptr);
}

• 在main.c中替换原来的手动free逻辑：

// 删掉原来的两行free，改用销毁接口
Destroy(ptr);

验证 #

修复完成后重新编译运行，再用valgrind检测就不会出现内存泄漏和free报错的问题。

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