C语言如何正确释放双指针数组与嵌套结构体动态内存

现有代码的问题 #

你当前写的dispose_school存在4个致命问题，会直接导致程序崩溃或内存泄漏：

• 变量i未定义，代码无法通过编译；就算手动定义i，也仅释放了单个student指针，没有遍历所有学生节点
• 没有释放每个student结构体内动态分配的name成员，这部分内存会直接泄漏
• 释放完单个student节点后，没有释放students双指针指向的顶层指针数组内存，这部分内存也会泄漏
• 没有做入参空校验，传入空指针时会触发非法访问崩溃

额外提醒：你当前定义的school结构体没有存储students数组的元素总个数，双指针对应的动态数组必须在分配时记录长度，否则释放时无法正确遍历所有元素，建议在school结构体中补充int student_count;成员专门存储学生总数。

实现原则 #

多层嵌套动态内存的释放必须严格遵循从最内层到最外层的顺序，绝对不能先释放外层内存，否则内层内存的地址会丢失，无法再被访问释放。
针对你的场景，内存层级从内到外依次为：

1. 每个student实例的name动态字符串
2. 每个student实例本身
3. 存储所有student指针的students顶层数组
4. school实例的name、location动态字符串
5. school实例本身

正确实现代码 #

void dispose_school(school *r)
{
    // 空指针直接返回，避免非法访问
    if (r == NULL) {
        return;
    }

    // 释放school自身的动态字符串成员
    free(r->name);
    r->name = NULL;
    free(r->location);
    r->location = NULL;

    // 逐层释放students关联内存
    if (r->students != NULL) {
        // 循环次数请替换为你实际存储学生总数的成员变量，示例用student_count
        for (int i = 0; i < r->student_count; i++) {
            if (r->students[i] != NULL) {
                // 先释放student内部的动态name
                free(r->students[i]->name);
                r->students[i]->name = NULL;
                // 再释放student实例本身
                free(r->students[i]);
                r->students[i] = NULL;
            }
        }
        // 所有内层节点释放完成后，释放顶层指针数组
        free(r->students);
        r->students = NULL;
    }

    // 最后释放school实例自身
    free(r);
}

额外注意事项 #

• 每次调用free后建议立刻将指针置为NULL，避免野指针导致的重复释放、非法访问问题
• 如果你是用realloc动态扩容students数组，一定要同步更新计数变量的值，保证计数和实际分配的元素个数完全一致
• 不要尝试用指针是否为NULL判断数组结束，动态分配的数组不会自动在末尾加NULL终止符，必须依赖提前记录的长度遍历
• 如果你原本打算用population成员存储学生总数，直接把循环条件里的r->student_count替换为r->population即可，但从字段语义看population通常指代区域人口，不建议混用，单独新增student_count字段存储学生总数语义更清晰，也不容易出后续维护问题

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