C++堆管理器跟踪对象大小机制及堆内存消耗估算问询

好问题！这两个点其实是紧密关联的，我来一步步给你拆解清楚：

不管是用new/delete还是malloc/free，底层的堆管理器（比如glibc的ptmalloc、Windows的HeapAlloc）都靠**控制块（Control Block）**来跟踪内存块的信息。具体来说：

• 当你请求分配内存时，堆管理器会在**实际给你的对象内存的前面（偶尔也会在后面）**额外分配一小块空间，这个空间就是控制块。里面存着当前内存块的大小、是否处于已分配状态、前后块的指针（用于维护空闲块链表）等管理信息。
• 举个例子：你调用new MyClass()，堆管理器先计算sizeof(MyClass)，再按平台要求对齐（比如8字节），然后加上控制块的大小，才是它向操作系统申请的总内存。当你拿到返回的指针时，其实是跳过了控制块的起始地址，直接指向对象的内存区域。
• 当你调用delete ptr时，堆管理器会把指针往回偏移控制块的长度，读取里面存储的大小信息，这样就知道要回收多大的内存块了。
• 额外提一句：如果是用new[]分配数组，控制块里还会额外存储数组的元素个数，这样delete[]才能正确遍历每个元素调用析构函数。

你的思路是对的，但确实要把堆管理器的控制块开销算进去：

• 首先，sizeof(object)是对象本身的大小，堆管理器会把它向上取整到平台的对齐边界（通常是8字节，64位系统可能是16字节），这部分是对象的实际占用内存。
• 然后，每个分配的内存块都会附带一个控制块的开销，这个大小取决于平台和堆实现：32位系统下通常是4-8字节，64位系统下可能是8-16字节。比如glibc的ptmalloc，小内存块的控制块在32位是8字节，64位是16字节。
• 所以计算总内存消耗时，每个分配的对象都要加上这个控制块的开销。比如你分配一个sizeof为1字节的小对象，对齐到8字节，再加上4字节控制块，实际每个对象占用12字节——如果分配1000个这样的小对象，总开销就是12KB，比单纯的1000字节大了不少。
• 当然，有些堆管理器会有优化（比如slab分配），对于相同大小的对象会批量分配内存，减少控制块的重复开销，但本质上每个独立的分配单元还是会有对应的管理成本。

内容的提问来源于stack exchange，提问作者Fyodor Menshikov