C++是否保证内存释放后可成功分配同/更小内存？

首先看示例代码：

// x 是此前通过 'new' 分配的 int*
delete x;
x = new int;

1. 最后一行的内存分配是否总能成功？ #

不能保证。C++标准从未承诺释放一块内存后，紧接着分配相同或更小尺寸的内存一定成功。哪怕刚释放的内存空间足够容纳目标类型，也存在分配失败的可能。

2. 标准不做此保证是为了预留优化空间吗？ #

是的。内存分配器的实现有很高的自由度，标准不强制这种“即时复用”的行为，是为了给分配器留下优化空间：

• 分配器可能会将释放的内存归还给操作系统（比如大块内存的释放操作），而非保留在进程的内存池中；
• 分配器可能会对内存块做合并、整理等后台操作，短时间内该内存块无法被重新分配；
• 部分分配器会针对不同尺寸的内存使用不同的分配池，刚释放的内存块可能不属于当前请求尺寸的池。

3. 主流实现是否利用了这个优化空间？ #

大部分主流分配器（比如glibc的ptmalloc、Windows的HeapAlloc）在多数情况下会复用刚释放的小内存块，但没有任何主流实现会提供“必然成功”的保证。它们的复用策略是基于性能优化，而非语义承诺。

4. 存在释放后分配必然失败的场景吗？ #

有，举两个典型场景：

• 大块内存归还操作系统：如果之前分配的是一块非常大的内存（比如超过内存页阈值），delete后分配器会直接将内存归还给操作系统。此时进程的地址空间中已经没有这块内存，紧接着new相同尺寸的内存时，可能因为系统整体内存不足、地址空间碎片等原因分配失败。
• 多线程竞争内存池：在多线程环境中，刚释放的内存块可能被其他线程立刻抢走并占用，当前线程的new请求就会因为内存池对应尺寸的块耗尽而失败。

内容的提问来源于stack exchange，提问作者Sourav Kannantha B