Question

我在C中创建了一个非常简单的链表节点结构，带有一些通用指针数据和指向下一个节点结构的指针。我有一个函数，它将采用链表节点，并删除它以及它链接到的任何其他节点。它目前是这样的：

void freeLinkedList(LinkedListNode *node)
{
   LinkedListNode *currentNode = node;
   LinkedListNode *previousNode = NULL;
   do
   {
        free(currentNode->data);

        previousNode = currentNode;
        currentNode = currentNode->next;

        printf("Freeing node... %s\n", previousNode->name);
        free(previousNode);
        printf("freed it!\n");
    } while (currentNode != NULL);

    printf("Deleted node and all referencing nodes!");
}

它非常简单地从函数中给出的节点遍历，并继续删除指针数据，指向指向的下一个节点（如果有），然后删除前一个节点的内存。这确实像预测的那样有效......但仅限于某些情况。

实际的LinkedList结构如下所示：

typedef struct LinkedListNode {
    void *data;
    struct LinkedListNode *next;
    char name[50];
} LinkedListNode;

对于像这样动态分配的结构，该函数可以正常工作：

LinkedListNode *myNode1 = malloc(sizeof(struct LinkedListNode));
LinkedListNode *myNode2 = malloc(sizeof(struct LinkedListNode));
LinkedListNode *myNode3 = malloc(sizeof(struct LinkedListNode));
strcpy(myNode1->name, "Node1");
myNode1->data = NULL;
myNode1->next = myNode2;

strcpy(myNode2->name, "Node2");
myNode2->data = NULL;
myNode2->next = myNode3;

strcpy(myNode3->name, "Node3");
myNode3->data = NULL;
myNode3->next = NULL;

freeLinkedList(myNode1); // CALLING DELETE FUNCTION HERE

但如果我使用的结构不是在堆内存上分配的结构，而是自动堆栈内存，如下所示：

LinkedListNode myNode1 = {NULL, NULL, "Node1"};
LinkedListNode myNode2 = {NULL, NULL, "Node2"};
LinkedListNode myNode3 = {NULL, NULL, "Node3"};

myNode1.next = &myNode2;
myNode2.next = &myNode3;

freeLinkedList(&myNode1); // CALLING DELETE FUNCTION HERE

我在函数的这一行得到 SIGSEGV - 分段错误：

free(previousNode);

此错误仅发生在最后一个节点的自由函数中，即输出将显示： “释放节点... node3

然后崩溃。

但非常有趣的是，到目前为止我只是使用上面的例子来体验它。如果我说，再声明一个本地LinkedListNode结构：

LinkedListNode myNode1 = {NULL, NULL, "Node1"};
LinkedListNode myNode2 = {NULL, NULL, "Node2"};
LinkedListNode myNode3 = {NULL, NULL, "Node3"};
LinkedListNode myNode4 = {NULL, NULL, "Node4"};

myNode1.next = &myNode2;
myNode2.next = &myNode3;

freeLinkedList(&myNode1);

该功能实际上有效，并按预期执行所有操作。

我已经尝试了几个小时才想到为什么会这样，但我只是难过。是否与我试图释放堆栈中分配的内存有关？

Answer 1

您是由Undefined behavior引起的freeing of stack memory的受害者。这可能被证明是致命的，有时似乎有效。

这个帖子free() on stack memory已经回答了这个问题，应该解释一下。

在链表结构中获取SIGSEGV分段错误

1 个答案: