C语言多维地图堆内存分配释放问题：Valgrind报无效释放

我想用C语言构建一种数据结构，用来记录表示海拔值的字符串，这些字符串描述地图中点的特征。每个点除了对应字符串描述的特征外，还需要包含经度（列）和纬度（行）坐标。

我打算通过在堆上为行和列分配内存，生成该地图的空结构：使用char***类型指针，先为指向行指针数组的指针分配内存，每个行指针再指向列指针数组，暂不为字符串分配内存，后续通过读取文本文件赋值字符串地址。

我采用NULL终止指针数组的策略（用空指针替代空字节标记行数组和列数组的末尾），测试时通过指针算术和计数器能正确统计行列数，但释放内存时Valgrind提示存在无效内存块释放，调用的命令是：

valgrind --leak-check=full --show-leak-kinds=all --track-origins=yes -s -v ./the_program

以下是我的代码，请问错误在哪里？为何会触发无效释放？同时想了解正确的实现方法。

int allocate_memory_for_map_structure(void) // The real function (but what is
                                            // reality?) takes a pointer to some
                                            // data stored in the data segment,
                                            // e.g. values for "width" and
                                            // "height".
{
    char    ***map;
    char    ***swap;
    char    ***swap2;
    char    ***start;
    int     count;
    int     width;
    int     height;

    width = 100; // could be any integer value passed to the function
    height = 75; // same as above
    map = malloc((height + 1) * sizeof(*map));
    if (map == NULL)
        return (-1);
    count = 0;
    swap = map;
    while (count < height){
        *swap = malloc((width + 1) * sizeof(**swap));
        if (*swap == NULL)
            return (clean_lines_in_map_structure(map));
        swap++;
        count++;
    }
    *swap = NULL;
    /*
    test_outcome_of_allocation(map); // I will not add this function's code to the
                                     // question. However, it was a simple test
                                     // that correctly counted the number of rows and
                                     // columns stoppin iterations when NULL
                                     // was reached by dereferencing incremented pointers.
    */
    start = map;
    swap2 = map;
    while (*swap != NULL){
        map = swap;
        swap++;
        free(*map);
    }
    free(start);
    return (0);
}

错误原因分析 #

你的代码核心问题出在内存释放逻辑，同时错误处理环节的清理函数大概率也存在类似问题：

1. 指针复用导致遍历起点错误：释放阶段直接沿用了分配阶段结束后的swap指针，此时swap已经指向行数组末尾的NULL位置，while (*swap != NULL)的条件从一开始就不成立，循环体完全不执行——这会导致所有行的列数组都没被释放（内存泄漏），如果clean_lines_in_map_structure函数也用了同样的逻辑，分配失败时就会错误地跳过已分配内存的释放，甚至访问无效指针触发Valgrind的无效释放提示。
2. 遍历逻辑混乱：即使循环条件修正，你当前的map = swap; swap++; free(*map)逻辑也完全错误，没有从行数组的起始位置开始遍历，反而从末尾的NULL位置操作，本质是无意义的free(NULL)（虽然free(NULL)是安全的，但完全达不到释放列数组的目的）。

正确的实现方法 #

下面是修正后的完整代码，包含安全的分配、错误处理和释放逻辑：

#include <stdlib.h>

// 统一清理已分配的地图结构
void clean_map_structure(char ***map) {
    if (map == NULL) {
        return;
    }
    char ***row_ptr = map;
    // 遍历行数组，释放每行的列指针数组
    while (*row_ptr != NULL) {
        free(*row_ptr);
        row_ptr++;
    }
    // 释放行指针数组本身
    free(map);
}

int allocate_memory_for_map_structure(void) {
    char    ***map;
    char    ***row_ptr;
    int     count;
    int     width = 100;
    int     height = 75;

    // 分配行指针数组：height行 + 1个NULL终止符
    map = malloc((height + 1) * sizeof(*map));
    if (map == NULL) {
        return -1;
    }

    row_ptr = map;
    count = 0;
    while (count < height) {
        // 分配当前行的列指针数组：width列 + 1个NULL终止符
        *row_ptr = malloc((width + 1) * sizeof(**row_ptr));
        if (*row_ptr == NULL) {
            clean_map_structure(map); // 分配失败时清理所有已分配内存
            return -1;
        }
        row_ptr++;
        count++;
    }
    *row_ptr = NULL; // 行数组末尾添加NULL终止符

    // 测试代码（若有）
    // test_outcome_of_allocation(map);

    // 示例：释放内存（实际场景中可能在其他时机调用）
    clean_map_structure(map);

    return 0;
}

关键修正点 #

1. 独立清理函数：封装统一的内存清理逻辑，避免重复代码和逻辑混乱，确保分配失败时能完整释放已分配的所有内存。
2. 正确的遍历逻辑：清理时从行数组的起始位置开始遍历，直到遇到NULL终止符，逐个释放每行的列数组，最后释放行数组本身。
3. 避免指针复用混乱：不再复用分配阶段的指针到释放阶段，而是定义专用的遍历指针，确保遍历起点正确。

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