考虑到使用最近的 Visual Studio C++ 编译器的 Windows 上的 C++，我想知道 heap 的实现：
假设我使用的是发布编译器，并且我不关心内存碎片/打包问题，那么在堆上分配内存是否存在内存开销？如果是这样，那么每个分配大概有多少字节？
64-bit 的代码会比 32-bit 大吗？
我不太了解现代 heap 实现，但我想知道是否在每次分配时都将标记写入 heap，或者是否有某种维护表（如文件分配表）。
在相关点上（因为我主要考虑标准库功能，如“地图”），Microsoft 标准库实现是否曾经使用自己的分配器（用于树节点之类的东西）来优化 堆使用情况？
【问题讨论】：
标签： c++ windows visual-studio memory-management heap-memory
是的，当然。
分配的每个内存块都会有一个恒定的“标题”开销，以及一个小的可变部分（通常在末尾）。究竟有多少取决于使用的确切 C 运行时库。过去，我通过实验发现每次分配大约 32-64 字节。可变部分是为了应对对齐 - 每个内存块都将对齐到一些不错的甚至 2^n 基地址 - 通常是 8 或 16 个字节。
我不熟悉std::map 或类似的内部设计是如何工作的，但我非常怀疑他们在那里有特殊的优化。
您可以通过以下方式轻松测试开销：
char *a, *b;
a = new char;
b = new char;
ptrdiff_t diff = a - b;
cout << "a=" << a << " b=" << b << " diff=" << diff;
[请注意，这可能是这里的大多数正则，上面的 a-b 表达式调用未定义的行为，因为减去一个分配的地址和另一个的地址，是未定义的行为。这是为了应对没有线性内存地址的机器，例如分段内存或“不同类型的数据根据其类型存储在位置”。以上内容绝对适用于任何不使用分段内存模型且堆中有多个数据段的基于 x86 的操作系统 - 这意味着它肯定适用于 32 位和 64 位模式的 Windows 和 Linux]。
您可能希望以不同的类型运行它 - 请记住，差异在“类型的编号，因此如果您将其设为 int *a, *b 将采用“四个字节单位”。您可以制作一个 @ 987654324@
[diff 可能是负数，如果你在循环中运行它（不删除a 和b），你可能会发现突然跳转，其中一大块内存耗尽，运行时库分配了另一个大块]
【讨论】：
Visual C++ 在分配的缓冲区边界附近嵌入控制信息（链接/大小和可能的一些校验和）。这也有助于在内存分配和释放期间捕获一些缓冲区溢出。
除此之外，您应该记住 malloc() 需要返回针对所有基本类型（char、int、long long、double、void*、void(*)()）适当对齐的指针和该对齐通常是最大类型的大小，因此它可能是 8 甚至 16 个字节。如果分配单个字节，则仅对齐可能会丢失 7 到 15 个字节。我不确定operator new 是否有相同的行为，但很可能是这样。
这应该会给你一个想法。精确的内存浪费只能从文档（如果有）或测试中确定。语言标准没有用任何术语定义它。
【讨论】：
是的。所有实用的动态内存分配器都具有最小的粒度1。例如，如果粒度为 16 个字节，而您只请求 1 个字节，那么仍然会分配整个 16 个字节。如果您要求 17 字节，则分配大小为 32 字节的块等...
还有一个（相关的）对齐问题。2
相当多的分配器似乎是大小映射和空闲列表的组合——它们将潜在的分配大小拆分为“桶”，并为每个分配器保留一个单独的空闲列表。看看Doug Lea's malloc。还有许多其他的分配技术需要权衡取舍，但这超出了这里的范围......
1 通常为 8 或 16 个字节。如果分配器使用空闲列表，那么它必须在每个空闲槽内编码两个指针，因此空闲槽不能小于 8 字节（32 位）或 16 字节（16 位）。例如，如果分配器试图拆分一个 8 字节的槽以满足 4 字节的请求，那么剩余的 4 字节将没有足够的空间来编码空闲列表指针。
2 例如，如果您的平台上的long long 是 8 个字节，那么即使分配器的内部数据结构可以处理小于该值的块，实际分配较小的块可能将下一个 8 字节分配推送到未对齐的内存地址。
【讨论】：