如何知道链表是​​否被正确删除？

Question

我得到了以下算法，但我不太确定函数 erase 是否是在 C 中删除整个列表的正确方法，因为我不确定我是否正确释放了列表中的每个节点。

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

struct lis
{ int n;
struct lis *next;
};

typedef struct lis *list;

void create (list *l)
{
    *l=NULL;    
}

int read (void)
{
    int num;
    puts("ENTER A NUMBER");
    scanf ("%d",&num);
    return num;
}

void add (int n, list *l)
{
    list new,previous,current;
    new=malloc (sizeof(list));
    (*new).n=n;
    (*new).next=NULL;
    if (*l==NULL)
    {
        *l=new;
    }
    else
    {
        previous=*l;
        current=*l;
        while ((current!=NULL) && ((*current).n<(*new).n))
        {
            previous=current;
            current=(*current).next;
        }
        if (previous==current)
        {
            (*new).next=*l;
            *l=new;
        }
        else
        {
            (*previous).next=new;
            (*new).next=current;
        }
    }
}

void insert (list *l)
{
int n;
n=read();
while (n!=0)
{
    add(n, &(*l));
    n=read();
    }
}

void print (list l)
{
    if (l!=NULL)
    {
        while (l!=NULL)
        {
         printf ("%d\n",(*l).n);
            l=(*l).next;
        }
    }
    else
{
        puts ("empty list");
    }
}

int isempty (list l)
{
    return (l==NULL);
}



void erase (list *l)
{
    list next;
    list current=*l;
    while (current!=NULL)
    {
        next=(*current).next;
        free (current);
        current=next;                
    }
    *l=NULL;
}



int main ()
{  
    list l;
    create (&l);
    insert (&l);
    isempty(l)?puts("empty list"):puts("no empty list");
    print (l);
    erase (&l);
    isempty(l)?puts("empty list"):puts("no empty list"); //obviously this return true but just check the header node
return 0;
}

尝试使用 gdb，但我什至不知道如何从非主函数的函数中跟踪代码，也不知道如何检查堆中分配的变量是否空闲。 因此，任何为我指明使用 gdb 的正确方向或告诉我代码是否正常的答案都将不胜感激。

Answer 1

您的erase() 是正确的，但您可能会丢失其中一个指针并执行以下操作：

void erase (list *l)
{
    while (*l)
    {
        list victim = *l;
        *l = victim->next;
        free (victim);
    }
}

假设您正确插入代码并且总是以 NULL 终止您的列表，这就足够了。哦，您的添加功能可能会显着减少：

void add (int n, list *l)
{
    list p = NULL;

    while (*l && (*l)->n < n)
        l = &(*l)->next;

    p = malloc(sizeof(*p))
    p->n = n;
    p->next = *l;
    *l = p;
}

我将错误检查留给您来实施，但您的问题的直接答案是，是的，如果首先正确构建，您的 erase 方法将正确清除列表。

PS：这个：add(n, &(*l)); 在insert 函数中可以是add(n, l);。