Valgrind在尝试释放malloc的结构时报告内存错误

Question

当释放以前分配的结构时，Valgrind总是抱怨存在内存错误。 该结构如下所示：

typedef struct bullet
{
  int x, y;
  struct bullet * next;
} BULLET;

...我通过使用分配内存

BULLET * b;
b = malloc(sizeof(BULLET)); // sizeof(BULLET) is 16

然后，通过简单地调用free(b);释放结构free(b); 。 Valgrind对此似乎并不满意，因此它告诉我

==2619== Invalid read of size 8
==2619==    at 0x40249F: ctrl_bullets (player.c:89)
==2619==    by 0x405083: loop_game (game.c:305)
==2619==    by 0x406CCA: main (main.c:47)
==2619==  Address 0x5b8d818 is 8 bytes inside a block of size 16 free'd
==2619==    at 0x4C29A9E: free (in /usr/lib/valgrind/vgpreload_memcheck-amd64-linux.so)
==2619==    by 0x402E04: rm_bullet (player.c:329)
==2619==    by 0x402485: ctrl_bullets (player.c:95)
==2619==    by 0x405083: loop_game (game.c:305)
==2619==    by 0x406CCA: main (main.c:47)

当然，我不能只分配8个字节，因为那将是存储指针所需的大小，而不是结构的大小-那么为什么Valgrind总是告诉我有错误？

编辑 ：更多可能与之相关的代码...

void
ctrl_bullets(WINDOW * w_field, BULLETLIST * lb)
{
  if (lb->num > 0)
  {
    BULLET * b;

    for (b = lb->head; b != NULL; b = b->next) // player.c:89
    {
      if (b->x > CON_FIELDMAXX)
      {
        write_log(LOG_DEBUG, "Bullet %p is outside the playing field; x: %d; "
                  "y: %d\n", (void *) b, b->x, b->y);
        rm_bullet(w_field, lb, b);
      }
      else
      {
        mv_bullet(w_field, b);
      }
    }
  }
}

Answer 1

问题是您释放了b，但是尝试访问b-> next

valgrind告诉您的错误是您正在访问已释放的16字节块中的8字节块（NEXT指针）。

如果释放b，则无法访问b-> next。 只需将其存储在tmp变量中即可：P

（此外，请记住在释放b之后将其设置为null，这样就不会有悬空指针了 ）

Answer 2

next字段最有可能是BULLET内部的8个字节。 您可能已经将&next放在某个地方，并在ctrl_bullets (player.c:89)重复使用了。 但是由于您没有向我们展示该代码，所以我们不能多说。

编辑：也许我们可以猜测您的next指针形成了一个链表，并且在执行free时没有将另一个元素的next指针设置为0 。