C VALGRIND大小为8的读取无效,链接列表,释放节点

C VALGRIND大小为8的读取无效,链接列表,释放节点,c,pointers,linked-list,valgrind,memcheck,C,Pointers,Linked List,Valgrind,Memcheck,我正试图找出Valgrind抱怨的原因 如果有人能给我一个提示,让我明白为什么我的代码会产生不良行为,我将非常感激 我已经创建了一系列结构。每个条目都是由结构组成的链表的开头。现在我要释放结构数组中每个链表的元素 但瓦尔格林说: ==15084== Memcheck, a memory error detector ==15084== Copyright (C) 2002-2013, and GNU GPL'd, by Julian Seward et al. ==15084== Using V

我正试图找出Valgrind抱怨的原因

如果有人能给我一个提示,让我明白为什么我的代码会产生不良行为,我将非常感激

我已经创建了一系列结构。每个条目都是由结构组成的链表的开头。现在我要释放结构数组中每个链表的元素

但瓦尔格林说:

==15084== Memcheck, a memory error detector
==15084== Copyright (C) 2002-2013, and GNU GPL'd, by Julian Seward et al.
==15084== Using Valgrind-3.10.0 and LibVEX; rerun with -h for copyright info
==15084== Command: /tmp/3RKi4ZeFa74f-a.out tests/16_allPositive output/ausgabe_16_allPositive
==15084== 
==15084== Invalid read of size 8
==15084==    at 0x402006: reset (1441261801.c:807)
==15084==    by 0x402489: main (1441261801.c:927)
==15084==  Address 0x51e0de8 is 8 bytes inside a block of size 16 free'd
==15084==    at 0x4C29E90: free (vg_replace_malloc.c:473)
==15084==    by 0x401FF5: reset (1441261801.c:809)
==15084==    by 0x402489: main (1441261801.c:927)
==15084== 
==15084== Invalid read of size 8
==15084==    at 0x401FEA: reset (1441261801.c:809)
==15084==    by 0x402489: main (1441261801.c:927)
==15084==  Address 0x51e0d48 is 8 bytes inside a block of size 16 free'd
==15084==    at 0x4C29E90: free (vg_replace_malloc.c:473)
==15084==    by 0x401FF5: reset (1441261801.c:809)
==15084==    by 0x402489: main (1441261801.c:927)
==15084== 
==15084== Invalid read of size 8
==15084==    at 0x401FFA: reset (1441261801.c:807)
==15084==    by 0x402489: main (1441261801.c:927)
==15084==  Address 0x51e0d48 is 8 bytes inside a block of size 16 free'd
==15084==    at 0x4C29E90: free (vg_replace_malloc.c:473)
==15084==    by 0x401FF5: reset (1441261801.c:809)
==15084==    by 0x402489: main (1441261801.c:927)
==15084== 
==15084== 
==15084== HEAP SUMMARY:
==15084==     in use at exit: 0 bytes in 0 blocks
==15084==   total heap usage: 119 allocs, 119 frees, 7,787 bytes allocated
==15084== 
==15084== All heap blocks were freed -- no leaks are possible
==15084== 
==15084== For counts of detected and suppressed errors, rerun with: -v
==15084== ERROR SUMMARY: 51 errors from 3 contexts (suppressed: 0 from 0)
这似乎是错误的功能

    void reset()
 784: {
 785:   //lösche alle (zeiger)char *arrays der conti structs
 786:   for(int i = 0; i < zeile1; i++)
 787:   {
 788:   struct node *p = &conti[i];
 789:   if((*p).next != NULL)
 790:   {
 791:       for(; (*p).next != NULL; p=(*p).next)
 792:       {
 793:                   free((*p).volume);
 794:       }
 795:                   free((*p).volume);
 796:   }else if ((*p).next == NULL)
 797:   {
 798:                   free((*p).volume);
 799:       }
 800:   }
 801:   //lösche die listenelemente der jeweiligen container
 802:   for(int i = 0; i < zeile1; i++)
 803:   {
 804:   struct node *p = &conti[i];
 805:   if((*p).next != NULL)
 806:   {
 807:       for(; (*p).next != NULL; p=(*p).next)
 808:       {
 809:                   free((*p).next);
 810:       }
 811:   }
 812:   }
 813:   //lösche die (zeiger)input char *arrays
 814:   for (int j = 0; j < zeile2; j++)
 815:   {
 816:       free(input[j].volume);
 817:       }
 818:   //lösche die struct arrays
 819:       free(conti);
 820:       free(input);
 821: }

我期待着您的帮助。

这是一种相当典型的编码风格,直到(a)您使用valgrind或(b)实际拥有一个系统,当您释放内存时,另一个线程可以占用您的内存

for(; (*p).next != NULL; p=(*p).next)
{
     free((*p).next);
}
当你通过这个循环,你得到了p,然后你释放了它所指向的东西

free(p->next); //p->next now points to freed memory
然后你得到你刚刚释放的东西

p = p->next; //p now points to freed memory
然后你可以通过树来释放它所指向的东西

free(p->next); //Trying to access freed memory
然后您必须有额外的代码来释放列表中的第一个元素,因为您不能在该循环中释放它。

注意,在他的答案中给出了答案。请把这归功于他

请使用
->
箭头运算符而不是
(*p)。下一步
;它的发明有很好的理由

您的释放代码当前为:

struct node *p = &conti[i];
if((*p).next != NULL)
{
    for(; (*p).next != NULL; p=(*p).next)
    {
        free((*p).next);
    }
}
请注意,循环重复在代码中的
if
条件下进行的测试;这是不必要的,您可以简单地删除
if
代码,但当然不能删除其中的循环

代码应注意避免访问释放的内存。您可以使用或多或少的标准技术,在内存空闲之前保留
next
指针值:

struct node *p = &conti[i]->next;
while (p != NULL)
{
    struct node *next = p->next;
    free(p);
    p = next;
}

您好,谢谢您的快速帮助。我没有主意了。所以我理解我会两次释放一些东西。您提到了一种典型的编码风格。你所说的编码风格是什么意思?或者我如何通过使用不同风格的valgrind来消除这个错误?为什么要编写
(*p).next
而不是
p->next
?箭头操作符的发明有一个很好的理由-请使用它。谢谢大家的快速帮助!期待更多的c编程!
struct node *p = &conti[i]->next;
while (p != NULL)
{
    struct node *next = p->next;
    free(p);
    p = next;
}