C语言结构体内部指针的正确内存释放及泄漏排查问题

1. 如何正确释放内存避免泄漏 #

按照分配顺序的逆序执行释放操作：

• 先遍历my_list.pairs数组的每一个struct pair元素，依次释放其中通过malloc分配的element1和element2指针（注意：只有当这两个指针确实指向堆内存时才能释放，栈内存不能手动free）。
• 等所有element指针都释放完成后，再释放my_list.pairs这个动态数组本身。

示例代码片段：

// 假设pair数组的长度为n
for (int i = 0; i < n; i++) {
    // 先判空再释放，避免野指针风险
    if (my_list.pairs[i].element1 != NULL) {
        free(my_list.pairs[i].element1);
        my_list.pairs[i].element1 = NULL; // 置空防止后续误操作
    }
    if (my_list.pairs[i].element2 != NULL) {
        free(my_list.pairs[i].element2);
        my_list.pairs[i].element2 = NULL;
    }
}
// 最后释放pair数组
free(my_list.pairs);
my_list.pairs = NULL;

2. 释放my_list.pairs[0].element1触发无效free的原因 #

常见的几个触发场景：

• element1指向栈内存：你可能把栈上定义的struct element变量地址直接赋值给了element1（比如my_list.pairs[0].element1 = &stack_element;）。栈内存由系统自动回收，不能用free释放，强行调用会触发无效操作。
• 重复释放指针：该指针之前已经被执行过free操作，再次释放会触发重复释放的错误。
• 指针未指向合法堆内存：要么element1是未初始化的随机值，要么你根本没通过malloc/calloc/realloc给它分配内存，直接赋值了无效地址。

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