c - 为什么不在这种情况下使用free()

所以我还有一个新问题要问你。此函数用于读取传入文件中的所有字节，将它们存储在堆中，然后将地址存储到传入的“content”参数中的这些字节以及传入的“length”参数中的长度。

bool load(FILE* file, BYTE** content, size_t* length)
{
if (file == NULL)
{
    return false;
}

//array to hold the bytes??
BYTE* buffer = malloc(sizeof(BYTE));

//To hold the number of bytes currently loaded
size_t size = 0;


//Pointer to keep track of where I am adding the data to in buffer

//get all the bytes from the file and put them in the buffer
for(int i = fgetc(file); i != EOF; i = fgetc(file))
{
    buffer[size] = (char) i;
    size++;
    buffer = realloc(buffer, size + 1);
}

//dereference length
*length = size;

//derefernce content
*content = buffer;

//free(buffer);
return true;
}

所以以前这个函数所属的大型程序不起作用，但是当我注释掉

free(buffer);

我的程序开始运行得很好。当我遇到一个双自由错误时，我很有动力去评论这个问题。所以我的问题是：为什么在这种情况下调用free会导致错误？
我的直觉告诉我这是因为

*content

指向现在是“删除”，所以我的程序没有工作。此外，在稍后的代码中，我也释放了内容*，这就是双自由错误的来源。然而，出于某种原因，我倾向于相信这些数据实际上并没有被“删除”。
抱歉，如果这是很多的话，我已经被内存分配，空闲，和指针弄糊涂了一段时间，我试图获得更深入的理解。

最佳答案

在分配内存（或一般资源）时，必须确保具有清晰的所有权语义。谁拥有分配的资源并负责释放它？
对于分配资源的函数，合理的语义是，如果成功，函数将返回分配的资源，除非另有说明，否则调用方拥有该资源。如果函数失败，调用方不必执行任何清理。
load()函数分配缓冲区。在它的大部分功能体中，load()拥有这个缓冲区。就在返回success之前，它有效地将缓冲区的所有权转移给调用者（通过content输出参数）。如果在分配缓冲区之后load()有一个故障点，那么它应该沿着该故障路径调用free(buffer)。
我还不得不指出您的代码中的一些问题：

BYTE* buffer = malloc(sizeof(BYTE));

您应该测试malloc是否失败。此外，sizeof (BYTE)也没有用处，因为根据定义，它是1。

buffer = realloc(buffer, size + 1);

这是拙劣的做法。如果realloc失败，您将丢失buffer的旧值并泄漏内存。最好是：

BYTE* tmp = realloc(buffer, size + 1);
if (tmp == NULL)
{
    free(buffer);
    return false;
}
buffer = tmp;

最后，每次将缓冲区增加1字节是非常低效的。更典型的做法是将缓冲区大小增加一倍或增加更大的数量。

关于c - 为什么不在这种情况下使用free()，我们在Stack Overflow上找到一个类似的问题：https://stackoverflow.com/questions/39240029/