C语言泛型Map节点销毁函数未释放键值问题排查

首先，我们来定位你遇到的内存泄漏问题，以及对应的修复方式：

核心问题原因 #

1. Map初始化时的Head节点未正确设置释放函数指针 #

你的Map结构体包含一个head节点，从mapPut中的逻辑（if (getKey(map->iterator) == NULL)分支）来看，这个head节点是一个预先创建的空节点（key为NULL）。但如果Map初始化时，这个head节点的free_key和free_data函数指针没有被赋值，当你通过mapPut将key和data存入这个节点后，nodeDestroy函数调用current->free_key(current->key)时，由于free_key是未初始化的NULL值，根本无法执行释放操作，最终导致Valgrind检测到内存泄漏。

这也解释了为什么只有调用mapPut时才会出现泄漏——只有当这个未初始化函数指针的节点被用来存储实际的key和data时，才会出现无法释放的情况。

2. nodeCreate函数调用的参数顺序错误 #

在mapPut创建新节点时，你调用：

Node new_node = nodeCreate(map->copy_data, map->copy_key, map->free_data, map->free_key, &result);

这里的参数顺序明显颠倒了：你把copy_data传给了copy_key的位置，free_data传给了free_key的位置。虽然你当前测试用的free_key和free_data都是freeInt，暂时不会有功能问题，但这是一个严重的潜在bug——后续如果更换其他类型的键值对（比如字符串），错误的函数指针会导致完全错误的释放操作，甚至程序崩溃。

修复方案 #

1. 确保Map初始化时Head节点的函数指针正确赋值 #

在你的Map创建函数（比如mapCreate）中，创建head节点时必须将Map的copy_key、copy_data、free_key、free_data传递给节点，确保节点的函数指针正确初始化：

Map mapCreate(copyMapKeyElements copy_key, copyMapDataElements copy_data,
              freeMapKeyElements free_key, freeMapDataElements free_data,
              compareMapKeyElements compare_keys) {
    Map map = malloc(sizeof(struct Map_t));
    if (!map) return NULL;

    // 创建head节点时，传入正确的copy和free函数指针
    map->head = nodeCreate(copy_key, copy_data, free_key, free_data, NULL);
    if (!map->head) {
        free(map);
        return NULL;
    }

    // 初始化Map的其他成员
    map->iterator = NULL;
    map->copy_key = copy_key;
    map->copy_data = copy_data;
    map->free_key = free_key;
    map->free_data = free_data;
    map->compare_keys = compare_keys;

    return map;
}

同时要确保nodeCreate函数内部会正确将传入的函数指针赋值给节点结构体的对应成员：

Node nodeCreate(copyMapKeyElements copy_key, copyMapDataElements copy_data,
                freeMapKeyElements free_key, freeMapDataElements free_data,
                MapResult* result) {
    Node node = malloc(sizeof(struct node_t));
    if (!node) {
        if (result) *result = MAP_OUT_OF_MEMORY;
        return NULL;
    }

    node->key = NULL;
    node->data = NULL;
    node->next = NULL;
    // 正确赋值函数指针
    node->copy_key = copy_key;
    node->copy_data = copy_data;
    node->free_key = free_key;
    node->free_data = free_data;

    if (result) *result = MAP_SUCCESS;
    return node;
}

2. 修正mapPut中nodeCreate的参数顺序 #

将mapPut中的节点创建代码修正为正确的参数顺序：

Node new_node = nodeCreate(map->copy_key, map->copy_data, map->free_key, map->free_data, &result);

这样节点的free_key和free_data才会匹配Map的释放逻辑，确保nodeDestroy能正确释放键值对。

3. 额外验证：nodeDestroy逻辑确认 #

你的nodeDestroy逻辑本身是正确的：遍历链表，先调用节点的释放函数释放key和data，置空指针后再释放节点本身。修复上述两个问题后，Valgrind的泄漏警告应该会消失。

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