为什么 Valgrind 抱怨这段代码？答案

【问题标题】：Why does Valgrind complain about this code?为什么 Valgrind 抱怨这段代码？
【发布时间】：2018-10-22 05:37:43
【问题描述】：

我正在尝试实现一个存储非负整数的链表。我的实现如下所示：

我对内存泄漏很好奇，所以我尝试了这个名为 Valgrind 的工具，使用命令“valgrind --leak-check=yes”。

==2540== error calling PR_SET_PTRACER, vgdb might block
==2540== Invalid write of size 4
==2540==    at 0x10875E: node_create (in LinkedList/bin/main)
==2540==    by 0x108832: list_append (in LinkedList/bin/main)
==2540==    by 0x108920: main (in LinkedList/bin/main)
==2540==  Address 0x522d098 is 0 bytes after a block of size 8 alloc'd
==2540==    at 0x4C2FB0F: malloc (in /usr/lib/valgrind/vgpreload_memcheck-amd64-linux.so)
==2540==    by 0x10874B: node_create (in LinkedList/bin/main)
==2540==    by 0x108832: list_append (in LinkedList/bin/main)
==2540==    by 0x108920: main (in LinkedList/bin/main)
   .
   .
   .
==2540== Invalid read of size 4
==2540==    at 0x1088BA: list_pop (in LinkedList/bin/main)
==2540==    by 0x1089E1: main (in LinkedList/bin/main)
==2540==  Address 0x522d138 is 0 bytes after a block of size 8 alloc'd
==2540==    at 0x4C2FB0F: malloc (in /usr/lib/valgrind/vgpreload_memcheck-amd64-linux.so)
==2540==    by 0x10874B: node_create (in LinkedList/bin/main)
==2540==    by 0x108832: list_append (in LinkedList/bin/main)
==2540==    by 0x108942: main (in LinkedList/bin/main)
   .
   .
   .
==2540== HEAP SUMMARY:
==2540==     in use at exit: 0 bytes in 0 blocks
==2540==   total heap usage: 10 allocs, 10 frees, 584 bytes allocated
==2540==
==2540== All heap blocks were freed -- no leaks are possible

对应的功能是这样实现的：

struct Node {
    struct Node* next;
    int value;
};

struct List {
    struct Node* head;
};

typedef struct Node* Node;
typedef struct List* List;

Node node_create(int value, Node nextNode) {
    if(value < 0) {
        printf("Error: Could not create node, value is negative.\n");
        return NULL;
    }

    Node node = malloc(sizeof(Node));
    if(node != NULL)
    {
        node->value = value;
        node->next = nextNode;
    } else {
        printf("Error: Could not create node, malloc returned NULL.\n");
    }

    return node;
}

int list_append(List listHandle, int value) {
    Node current = listHandle->head;
    Node new = node_create(value, NULL);

    if(new == NULL) {
        return -1;
    }

    if(current == NULL) {
        listHandle->head = new;
    } else {
        while(current->next != NULL) {
            current = current->next;
        }
        current->next = new;
    }

    return value;
}

int list_pop(List listHandle) {
    if(listHandle->head == NULL) {
        printf("Error: Trying to pop an empty list.\n");
        return -1;
    }

    Node temp = listHandle->head;
    int value = temp->value;

    if(temp->next == NULL)
    {
        listHandle->head = NULL;
    } else {
        listHandle->head = temp->next;
    }

    free(temp);
    return value;
}

我做错了什么？如何改进代码？这甚至是一个问题还是 Valgrind 只是过于迂腐？

【问题讨论】：

用-ggdb重新编译行号并显示完整代码，包括main
因为你的typedef，sizeof(Node)实际上是sizeof(Node*)，所以你没有为struct Node分配足够的内存。
永远不要将指针指向看起来不像指针的东西。
@Fredrik 非常感谢，这就是问题所在。我会吸取教训，以后再也不使用 typedef 指针了 ;)
您刚刚演示了为什么Is it a good idea to typedef pointers 说“不，除了（也许）函数指针”。

标签： c linked-list valgrind

【解决方案1】：

typedef struct Node* Node;

Node node = malloc(sizeof(Node));

这将分配sizeof(Node) == sizeof(struct Node*) 字节的内存。所以Node node 不指向sizeof(struct Node) 字节的内存。您最终将获得超出范围/无效的内存访问。

要修复代码，请取消引用指向结构节点的指针或隐式使用带有 sizeof 的结构节点：

Node node = malloc(sizeof(*node));
Node node = malloc(sizeof(struct Node));

这只是一个修复。它使您的代码更加混乱，并且您刚刚发现为什么 typedef 后面的隐藏指针是一个坏主意。行：

Node node = malloc(sizeof(*Node));

不起作用，因为Node 命名了一个类型，不能取消引用，正如 cmets 中的 @Ctx 所指出的那样。

我个人强烈建议重写所有代码以使用：

 typedef struct Node Node;

 Node *node_create(int value, Node *nextNode)  {
      ...
      Node *node = malloc(sizeof(Node));
      ...
 }

现在任何立即查看函数node_create 的程序员都会知道，它返回一个指向某些数据的指针，可能是动态分配的。 Is 更具可读性，并且不会隐藏指针分配。

【讨论】：

【解决方案2】：

Node node = malloc(sizeof(Node));

Node 实际上是struct Node * - 指针。繁荣！您只是为单个指针分配了内存，而不是您的结构，它至少需要 sizeof(int) 字节。这就是为什么你不typedef 指针。

【讨论】：