释放堆栈

Question

因此，我知道对堆栈中分配的变量调用free()会导致无效指针错误。

在mallocED指针中，malloc()在实际指针之前分配8个字节，以保留关于指针大小的信息。因此，我想知道是否在一个结构之前做了一个长，然后在该结构上调用free，是否可以释放该结构（当然，这偏离了分配这8个字节是malloc所做的唯一额外的事情的假设）。

我想我的最后一个问题是，堆栈变量分配和堆分配之间是否有真正的区别（就后端对内核的调用而言）。

Answer 1

一些C实现可能会在分配的空间之前使用数据来帮助他们管理空间。有些人没有。有些人这样做是为了某些规模的分配，而不是其他的。如果他们这样做，它可能是八个字节，也可能是其他一些量。你不应该依赖这方面的任何行为。

当在块中声明long对象和结构时，编译器可能会将它们放在堆栈上，也可能不会将它们放在堆栈上。它可能会将long放在struct之前，或者反之亦然，或者，因为它优化了程序，它可能会将long保存在寄存器中，而根本不将其放在堆栈中，并且它可能会执行其他操作。在一些C实现中，长度为8个字节。在有些情况下，情况并非如此。没有好的方法来确保两个独立的对象放在相邻的内存中。（您可以通过将它们放在一个更大的结构中来使它们不分离。）

即使您能够拼凑出一个long后跟一个struct，您怎么知道要在long中放入什么值呢？C实现把分配的长度放进去了吗？还是指向另一个块的指针？还是C实现用来跟踪已分配内存的数据库的其他部分？如果malloc和free在分配的空间之前使用内存，则该内存不是空的。它需要有一些价值，你不知道那是什么。

是的，在堆栈上分配的内存和从堆中分配的内存之间存在差异。这超出了C向程序呈现的模型。但是，在进程具有堆栈和堆的系统中，它们通常位于进程内存的不同位置。特别是，堆栈内存必须在堆栈增长和收缩时保持可用。你不能把它和堆混在一起而不弄坏东西。

当你尝试各种事情时，询问会发生什么是很好的。然而，malloc和free的现代实现相当复杂，您必须将它们作为一种服务接受，而不能轻松地查看它们。相反，为了帮助您学习，您可以考虑以下内容：

>

如何编写自己的malloc和free？

你怎么能让所有这些工作？如何将兆字节分成块？如何记住哪些块是分配的，哪些是免费的？当有人打电话给myfree，你怎么知道他们回馈了多少？当使用myfree返回相邻的块时，如何将它们重新组合成更大的块？