来自comp.lang.c常见问题列表:free如何知道释放多少字节?

malloc/free实现在分配每个块时记住它的大小，因此在释放时不需要提醒它大小。(通常，大小存储在已分配块的相邻位置，这就是为什么如果已分配块的边界稍有超出，情况通常会很糟糕)

回答你问题的后半部分:是的，你可以，在C语言中一个相当常见的模式如下:

typedef struct {
    size_t numElements
    int elements[1]; /* but enough space malloced for numElements at runtime */
} IntArray_t;

#define SIZE 10
IntArray_t* myArray = malloc(sizeof(intArray_t) + SIZE * sizeof(int));
myArray->numElements = SIZE;

最初的技术是分配一个稍大的块，并在开始时存储大小，然后将博客的其余部分交给应用程序。额外的空间用于保存大小和可能的链接，以便将空闲块连接在一起以便重用。

然而，这些技巧也存在一些问题，比如糟糕的缓存和内存管理行为。在块中使用内存会导致不必要的分页，还会创建脏页，使共享和写时复制变得复杂。

因此，一个更高级的技术是保持一个单独的目录。还开发了一些奇异的方法，其中内存区域使用相同的2次方大小。

一般来说，答案是:分配一个单独的数据结构来保持状态。

与此相关的是，GLib库具有不保存隐式大小的内存分配函数——然后您只需将size参数传递给free即可。这可以减少部分开销。

free()如何知道释放多少内存?我突然被一个明显重复的问题阻止了回答。这个答案应该与这个副本相关:

对于malloc，堆分配器将原始返回指针的映射存储到稍后释放内存所需的相关细节。这通常涉及以与正在使用的分配器相关的任何形式存储内存区域的大小，例如原始大小，或用于跟踪分配的二叉树中的节点，或正在使用的内存“单元”的计数。

Free不会失败，如果你“重命名”指针，或以任何方式复制它。然而，它是不计算参考，只有第一个自由将是正确的。额外的自由是“双重自由”错误。

试图释放与之前malloc返回值不同且尚未释放的任何指针将会出错。不可能部分释放从malloc返回的内存区域。

来自comp.lang.c常见问题列表:free如何知道释放多少字节?

malloc/free实现在分配每个块时记住它的大小，因此在释放时不需要提醒它大小。(通常，大小存储在已分配块的相邻位置，这就是为什么如果已分配块的边界稍有超出，情况通常会很糟糕)