g++中std::vector扩容峰值内存为2X而非3X的原因探究

在g++（如g++11）环境中，std::vector默认以2倍因子扩容，理论上扩容时会同时存在原内存块（X）和新分配的2X内存块，峰值内存应为3X，但实际测试中观测到仅为2X，核心原因在于底层内存分配器的原地扩容优化：

• 理论模型的前提是扩容必须分配全新独立内存块，再拷贝原数据，此时两块内存同时存在。但g++的std::vector底层依赖C标准库的malloc/realloc机制，而非强制分配新块。
• 当vector需要扩容时，其底层实现会尝试调用realloc调整现有内存块大小。如果原内存块后续有足够的连续空闲空间，realloc会直接扩展原块的长度，无需分配新内存块，也不会产生原内存块和新内存块共存的情况，峰值内存自然仅为最终的2X。
• 只有当原内存块后续空间不足时，realloc才会分配新块、拷贝数据、释放原块，此时峰值内存才会达到3X。你的测试场景中，2M个Writes实例的内存布局刚好满足原地扩容的条件，因此观测到了2X的峰值。
• 额外说明：这种优化是C标准库内存分配器的特性，而非std::vector本身的逻辑，但g++的vector实现充分利用了这一特性来降低内存开销。

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