查找分配是否可以轻松调整大小？

Question

realloc可能只是在这里和那里更新簿记信息以增加您的分配大小，或者它实际上可能是malloc一个新的并memcpy以前的分配（或可能失败）。

我希望能够查询 memory 管理器是否可以轻松调整分配的大小（或者因为它保留的数量超过我malloc d 或者因为它能够合并相邻的块等......）如果是，那么我会问它提前到memcpy并这样做，否则我想要malloc并自己以任意顺序存储原始分配的任意子集。

其他 StackOverflow 答案似乎是以下四个之一：

• 无论如何建议realloc 。 对于大量数据，这可能是非常低效的，其中双重复制可能会产生严重影响。 通常，它是最快的便携式路线。
• 建议手动malloc + memcpy + free 。 这更糟，因为现在不是在分配可能无法调整大小时进行一些双重复制，而是每次分配填满时都会双重复制所有内容。 表现得很糟糕。
• 建议特定于平台的扩展。 这不切实际，因为我的代码，像很多C代码一样，需要可移植性。
• 暗示这是不可能的。 C 已经假定存在 memory 管理器，该管理器能够调整分配大小或创建新的分配。 那么，为什么我不能对它进行更高级别的控制呢？ 我们可以对齐 malloc； 为什么不是这个？

注意：此问题发布在 C 和 C++ 标记下，因为任何一种语言的解决方案都是可接受且相关的。

编辑1：

用FB向量的话来说：

但是等等，还有更多。 许多 memory 分配器不支持就地重新分配，尽管大多数都可以。 这来自现在臭名昭著的 realloc() 设计，以不透明地执行就地重新分配或 allocate-memcpy-deallocate 循环。 这种缺乏控制随后迫使所有基于 clib 的分配器设计避免就地重新分配，其中包括 C++ 的 new 和 std::allocator。 这是效率的重大损失，因为非常便宜的就地重新分配可能意味着不那么激进的增长战略。 反过来，这意味着更少的松弛 memory 和更快的重新分配。

看到这个。

Answer 1

无论如何建议重新分配。 对于大量数据，这可能是非常低效的，其中双重复制可能会产生严重影响。

由于 realloc 有时可以避免复制和分配的原因，这是一个无关紧要的点，因为在实际实现中，大量数据不存在这种情况。 如果您知道分配很大，那么假设 realloc 必须复制和分配是相当安全的。 因此，您可以做出选择而不必进行“不可能”检查。

如果重新分配是可选的并且您负担不起副本，则无条件选择不重新分配的选项。 如果重新分配不是可选的，那么 realloc 是否会复制和分配不会影响您必须执行的操作。

建议特定于平台的扩展。 这不切实际，因为我的代码，像很多C代码一样，需要可移植性。

这是实现您所要求的唯一方法，因为没有标准方法来查询 realloc 是否将复制和分配。

但是，请记住，可以通过使用预定义的宏有条件地禁用此功能来移植此类代码。

暗示这是不可能的。

如果您选择依赖标准 C++，这是正确的。

有没有一种我在搜索中没有遇到的方法？

不，清单是详尽的。

Answer 2

标准memory 接口有据可查。 如果您想要一些不属于该界面的功能，您的解决方案将是自定义的、第三方的或特定于平台的。

• 暗示这是不可能的。 C 已经假定存在 memory 管理器，该管理器能够调整分配大小或创建新的分配。 那么，为什么我不能对它进行更高级别的控制呢？

因为它不是标准接口的一部分。 它可以成为标准接口的一部分这一事实并不意味着它是标准接口的一部分。

...我们可以对齐 malloc; 为什么不是这个？

如果您希望它成为标准，请向工作组提出更改。 它不会很快到来。

如果你现在想工作，你需要编写自己的分配器或找到满足你要求的第三方分配器。

注意

• 建议特定于平台的扩展。 这不切实际，因为我的代码，像很多C代码一样，需要可移植性。

不是一个真正的问题（或者至少，是一个人们经常处理得很好的问题）。 您可能必须为要支持的每个平台编写不同的实现（并在没有更好的地方使用realloc ），但这对于跨平台代码并不少见。

Answer 3

我想你想要得到的是你的 malloc'ed memory 块之后的备用空间大小。 It is possible, memory manager reserves a header before each block, you can get information you want from the block header, but obviously it is not portable due to different implementation of various memory manager. 我认为更好的方法是使用 memory 池自己管理堆 memory，它会更高效和便携。