c++ - free list期间，有1个segment error

Question

两个函数，一个是创建链表，一个是释放链表。如果Create函数返回一个指向头节点的双指针，使用这个节点来释放链表，会遇到段错误。但是，如果将 Create 函数更改为返回指向头节点的指针，然后释放列表，就可以了。

谁能帮我解释一下？这是有段错误的代码:

#include <stdio.h>
#include <stdlib.h>

typedef struct ListNode{
    int m_nValue;
    ListNode* m_pNext;
}ListNode;

ListNode** CreateList(int data[], int length){
   if(length<=0 || data == NULL)
       return NULL;
   ListNode *pHead = (ListNode*)malloc(sizeof(ListNode));
   ListNode *pNode = pHead;
   pNode->m_pNext = NULL;
   pNode->m_nValue = data[0];
   int i=1;
   for(; i<length; i++){
       ListNode *temp = (ListNode*)malloc(sizeof(ListNode));
       temp->m_nValue = data[i];
       temp->m_pNext = NULL;
       pNode->m_pNext = temp;
       pNode = temp;
   }
   return &pHead;
}

void FreeList(ListNode **pHead){
    ListNode *pNode;
    while(pHead!=NULL && *pHead!=NULL){
        pNode = *pHead;
        *pHead = pNode->m_pNext; // here will encounter an error;
        free(pNode);
    }
    pHead = NULL;
}

int main(){
    int data[] = {1,2,3,4,5};
    ListNode **pHead = CreateList(data, sizeof(data)/sizeof(int));
    FreeList(pHead);
}

但是，如果我将 CreateList 的返回类型更改为 ListNode* CreateList(...)，则效果会很好。

ListNode* CreateList(int data[], int length){
     if(length<=0 || data == NULL)
          return NULL;
   ListNode *pHead = (ListNode*)malloc(sizeof(ListNode));
   ListNode *pNode = pHead;
   pNode->m_pNext = NULL;
   pNode->m_nValue = data[0];
   int i=1;
   for(; i<length; i++){
       ListNode *temp = (ListNode*)malloc(sizeof(ListNode));
       temp->m_nValue = data[i];
       temp->m_pNext = NULL;
       pNode->m_pNext = temp;
       pNode = temp;
   }
   return pHead;
}
int main(){
    int data[] = {1,2,3,4,5};
    ListNode *pHead = CreateList(data, sizeof(data)/sizeof(int));
    FreeList(&pHead);
}

Answer 1

在 ListNode** CreateList(int data[], int length) 方法中，您将返回指向局部变量的指针，该变量在函数返回时显然无效。

也就是说，您在CreateList 函数中声明了一个指针变量ListNode* PHead，并返回变量pHead 的地址。指针变量 pHead 存储在堆栈中，当 CreateList 函数返回时，堆栈展开，用于存储 pHead 的内存被释放，尽管 pHead< 指向的内存 在堆上仍然可用。