使用指针vector存在巨大内存开销的原因咨询

代码示例 #

#include <vector>

class Dummy
{
   int a,z,e,r,t,y,u,i,o,p;
}; // sizeof(Dummy) => 40

int main()
{
   const int nbObj = 1000000;
   {
      std::vector<Dummy> vec;
      for( int i = 0; i<nbObj; ++i)
         vec.push_back(Dummy());

      vec.shrink_to_fit();
      // Break here : ~40Mo used => OK

      vec.clear();
      vec.shrink_to_fit();
      // Break here : ~0Mo used => OK
   }
   {
      std::vector<Dummy*> vec;
      for( int i = 0; i<nbObj; ++i)
         vec.push_back(new Dummy);

      vec.shrink_to_fit();

      // Break Here : ~140Mo used => Why? (should be ~48Mo?)

      for(Dummy *ptr : vec)
         delete ptr;
      vec.clear();
      vec.shrink_to_fit();

      // Break here : 15Mo used => Why? (should be ~0Mo?)
   }

   return 0;
}

问题描述 #

在Windows调试环境下运行上述代码，通过任务管理器查看断点处的内存占用：存储Dummy对象的vector内存使用符合预期，但存储Dummy*指针的vector内存占用远高于计算值，清理后仍有15MB左右的残留，请问这是为什么？

原因分析 #

1. 存储指针的vector内存远超预期（~140MB vs ~48MB） #

你计算的48MB是理论值（100万个Dummy对象占40MB + 100万个8字节指针占8MB），但实际内存占用偏高是因为Windows调试堆的额外开销：

• 调试模式下，C++运行时的堆管理器会给每个new分配的内存块添加调试信息（比如内存块头部校验、尾部 guard 区域，用于检测越界访问、内存泄漏等）。每个40字节的Dummy实际会被分配更大的内存块（比如64字节，包含调试头部和尾部），100万个这样的块就会占用64MB，再加上指针数组的8MB，再加上堆管理结构本身的开销，总内存会大幅超过理论值。
• 另外，vector在push_back过程中会多次扩容，调试堆不会立即回收扩容时临时分配的内存，进一步推高了内存占用。

2. 清理后仍有15MB残留 #

清理指针并收缩vector后内存没有归零，主要有两个核心原因：

• 调试堆不会立即归还内存给操作系统：delete只是将内存归还给C++运行时的堆管理器，而非直接还给系统。调试堆为了方便后续分配、保留内存用于泄漏检测，会暂时持有这部分内存，任务管理器看到的进程内存自然不会立即下降。
• 堆内存碎片：100万个小对象的频繁分配和释放会导致堆内存碎片化，这些零散的内存块无法被合并成足够大的块归还给系统，只能留在进程的工作集中。
• 调试环境本身也会占用额外内存（比如调试器的监控数据、运行时的调试缓存），这部分也会体现在残留内存中。

补充说明 #

如果切换到Release模式运行，内存占用会更接近你的理论计算值：Release模式下没有调试堆的额外开销，堆管理器的分配策略更高效，内存会被及时复用或归还给系统。

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