在不同的功能中分配空闲内存？

Question

我正在尝试学习C而我正在尝试编写一个基本的堆栈数据结构,但我似乎无法获得基本malloc/ free正确.

这是我一直在使用的代码(我只是在这里发布一小部分来说明一个特定的问题,而不是总代码,但错误消息是通过运行此示例代码生成的valgrind)

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

typedef struct Entry {
    struct Entry *previous;
    int value;
} Entry;

void destroyEntry(Entry entry);

int main(int argc, char *argv[])
{
    Entry* apple;
    apple = malloc(sizeof(Entry));
    destroyEntry(*(apple));
    return 0;
}

void destroyEntry(Entry entry)
{
    Entry *entry_ptr = &entry;
    free(entry_ptr);
    return;
}

当我运行它valgrind时--leak-check=full --track-origins=yes,我收到以下错误:

==20674== Invalid free() / delete / delete[] / realloc()
==20674==    at 0x4028E58: free (vg_replace_malloc.c:427)
==20674==    by 0x80485B2: destroyEntry (testing.c:53)
==20674==    by 0x8048477: main (testing.c:26)
==20674==  Address 0xbecc0070 is on thread 1's stack

我认为这个错误意味着destroyEntry不允许该函数修改main中明确分配的内存.是对的吗？为什么我不能只在另一个函数中free分配的内存main？(这种行为是否以某种方式特定于主？)

Answer 1

每当您将参数传递给函数时,都会生成一个副本,并且该函数对该副本起作用.因此,在您的情况下,您正在尝试free原始对象的副本,这没有任何意义.

您应该修改函数以获取指针,然后您可以free直接在该指针上调用它.

Answer 2

这是通过值传递,这意味着创建了副本,因此您尝试释放局部变量entry所在的内存.请注意,entry当程序超出destroyEntry功能范围时,具有自动存储持续时间的对象和驻留的内存将自动释放.

void destroyEntry(Entry entry)
{
    Entry *entry_ptr = &entry;
    free(entry_ptr);
    return;
}

你的函数应该带一个指针(通过引用传递):

void destroyEntry(Entry *entry)
{
    free(entry);
}

然后而不是destroyEntry(*(apple));你只是打电话destroyEntry(apple);.请注意,如果没有其他功能与destroyEntry功能相关联,则它是冗余的,最好直接调用free(apple).

Answer 3

这里的其他答案指出了主要问题 - 因为你在main()中调用destroyEntry时取消引用你的苹果,它通过引用传递,创建一个副本.

即使您知道自己的问题,也可以回到错误并尝试将您所看到的文本与问题联系起来,这样下次启动时您可能更有可能快速解决问题.我发现C和C++错误有时会显得格外含糊.

通常,当我在释放指针或删除对象时遇到问题时,我喜欢打印出地址,特别是在我分配地址时,当我尝试释放它时.valgrind已经给你了坏指针的地址,但它有助于将它与一个好指针进行比较.

int main()
{
  Entry * apple;
  apple = malloc(sizeof(Entry));
  printf("apple's address = %p", apple);  // Prints the address of 'apple'
  free(apple);   // You know this will work
}

执行此操作后,您会注意到printf()语句为您提供了类似0x8024712的地址(只是在正常的范围内组成一个地址),但您的valgrind输出给出了0x4028E58.您会注意到它们位于两个非常不同的位置(实际上,"0x4 ......"在堆栈中,而不是malloc()分配的堆,但我假设您刚刚开始使用它不是你的红旗),所以你知道你正试图从错误的地方释放记忆,因此"无效的免费()".

所以从那里你可以对自己说"好吧,不知怎的,我的指针已经被破坏了." 您已经将问题归结为一个小的,可编译的示例,因此从那里解决它不会花费很长时间.

TL; DR - 当遇到与指针相关的错误时,尝试打印地址或在您喜欢的调试器中找到它们.它通常至少指向正确的方向.

当然,这些都不是为了阻止在Stack Exchange上发布您的问题.数百名程序员可能会从您这样做中受益.