为何用realloc重分配allocator::allocate预分配内存能保留起始地址？

现象复现 #

使用malloc分配后调用realloc扩容，地址发生变化：

using namespace std;

int *t = static_cast<int*>(malloc(2*sizeof(int)));
cout << "address " << t << endl;

t = static_cast<int*>(realloc(t, 10*sizeof(int)));
cout << "address " << t << endl;

输出：

// both of the addresses are different
address 0x55c454fc5180
address 0x55c454fc55b0

而使用allocator::allocate后调用realloc扩容，地址保持不变：

allocator<int> alloc;
int *t = alloc.allocate(2*sizeof(int));
cout << "address " << t << endl;

// reallocating memory using realloc
t = static_cast<int*>(realloc(t, 10*sizeof(int)));
cout << "address " << t << endl;

输出：

// now the addresses are the same 
address 0x55c454fc5180
address 0x55c454fc5180

核心原因解析 #

1. realloc的本质行为

realloc的扩容逻辑只有两种：

• 原地扩容：如果原内存块后续有足够的连续空闲空间，直接扩展原块，返回原地址，原数据保留。
• 迁移扩容：如果原块后续空间不足，会分配新的内存块，复制原数据到新块，释放原块，返回新地址。

两种场景的差异，根源在于malloc和allocator::allocate的底层内存分配策略不同。

2. malloc的分配逻辑

malloc是C标准库的分配函数，遵循"按需分配最小可用块"的策略：

• 当你请求2*sizeof(int)的内存时，它会分配刚好能容纳该大小的内存块（加上少量用于内存管理的元数据）。
• 后续扩容到10*sizeof(int)时，原块后续的空间通常已被其他分配占用，或者本身没有足够连续空间，因此只能触发迁移扩容，地址改变。

3. allocator::allocate的分配逻辑

C标准库的默认allocator（以GCC的libstdc为例），底层虽然也调用malloc，但会做额外的策略优化：

• 针对小内存分配，会自动将分配大小调整到固定的对齐倍数（比如16字节、32字节），或者直接预分配比请求更大的内存块，以此减少频繁分配的开销。
• 当你请求2*sizeof(int)时，实际分配的内存可能已经能容纳10*sizeof(int)甚至更多。此时调用realloc扩容，原块本身就有足够空间，自然触发原地扩容，地址保持不变。

关键提醒：这不是必然行为 #

这种结果完全依赖于编译器的allocator实现和当前堆内存的碎片化状态，属于C++标准中的未定义行为：

• 换用MSVC等其他编译器的STL实现，或者在堆内存碎片化严重的场景下，allocator::allocate配合realloc也可能出现地址改变的情况。
• 不能将这种现象作为可靠的业务逻辑依赖。

可靠的替代方案 #

如果必须保证内存地址不变，推荐两种稳妥方案：

• 提前预估最大内存需求，直接分配足够大的内存块，避免后续扩容操作。
• 实现自定义内存池，在预先分配的大块内存内部进行内存管理，完全控制地址和扩容逻辑。

内容的提问来源于stack exchange，提问作者su-angel