C内存泄漏，哪里没有内存泄漏？ （瓦尔格林德）

Question

valgrind 告诉我代码中的特定行会造成内存泄漏，但是在查看该行时，它似乎甚至无法创建内存泄漏。

我正在使用这个非常简单的链表结构 list.h：

typedef struct _linekd_list{
    void* object;
    struct _linked_list* next;
}linked_list;

这就是在 list.c 中初始化列表的方式：

linked_list* newlist(){
    linked_list * list = malloc(sizeof(linked_list));
    list->next = NULL;  //As a flag, that there is no next element
    list->object = NULL;
    return list;
}

我的队列如此工作，第一个linked_list 的第一个对象始终为NULL，第一个对象存储在下一个linked_list 中。

现在这里是发生内存泄漏的地方：

int list_add(void* new_object, linked_list* list){
        while(list->next != NULL) {  //First go to the end of the queue
            list = list->next;
        }
        list->next = malloc(sizeof(linked_list)); //Vangrind says there is a leak
        list->next->next = NULL; //Set the next list-object to NULL (acts like a flag)
        list->next->object = new_object; //And now store the pointer of the actual object
        if(list->next->object == new_object) {
            return 0;
        } else {
            return 1;
        }
    return 0;
}

这就是 valgrind 告诉我的：

==33369== 16 bytes in 1 blocks are definitely lost in loss record 1 of 3
==33369==    at 0x483B7F3: malloc (in /usr/lib/x86_64-linux-gnu/valgrind/vgpreload_memcheck-amd64-linux.so)
==33369==    by 0x402219: list_add (list.c:11)
==33369==    by 0x4012D0: main (test_list.c:38)
==33369== 

这是递归释放列表的函数（未检测到内存泄漏）：

void free_list(linked_list* list){
    if(list->next != NULL) {
        free_list(list->next);
        free(list);
    }
}

Answer 1

您不会释放列表中的最后一个节点。

如果list->next为NULL ， free_list什么也不做。 但你不想什么都不做。 你不想递归，但你仍然需要释放节点。 所以将调用从条件中free ，或者更改测试以检查list本身是否为NULL