std::allocator是C++标准库默认内存分配器，负责为STL容器分配和释放原始内存，不直接构造或析构对象，而是配合operator new与delete完成内存管理，通过construct和destroy调用处理对象生命周期。
在C++中，STL容器（如vector、list、map等）默认使用std::allocator来管理内存分配与释放。但有时我们需要控制内存的分配方式——比如使用内存池、共享内存或调试内存泄漏——这时就可以通过自定义分配器（Allocator）来实现。
什么是std::allocator？
std::allocator是C++标准库提供的默认内存分配器，负责为容器分配和释放原始内存。它不直接构造或析构对象，而是配合和完成内存管理，并通过和显式析构函数调用处理对象生命周期。
一个最简单的默认分配器使用示例如下：
std::vector<int, std::allocator<int>> vec; // 等价于 std::vector<int>
可以看到，第二个模板参数就是分配器类型，默认即为std::allocator<T>。
立即学习“C++免费学习笔记（深入）”；
如何自定义分配器？
要自定义STL容器的内存分配器，需实现一个符合Allocator概念的类。该类必须满足一定接口要求，主要包括以下几个关键成员：
- value_type：被分配类型的别名
- pointer：指向value_type的指针
- const_pointer：常量指针
- reference：引用类型
- const_reference：常量引用
- size_type：大小类型（通常是size_t）
- difference_type：指针差值类型
- allocate(n)：分配n个对象所需原始内存（不构造）
- deallocate(ptr, n)：释放ptr指向的内存块（不析构）
- construct(ptr, args...)：在指定地址构造对象
- destroy(ptr)：显式调用析构函数
- rebind<U>：允许分配器适配不同类型（必要模板结构）
下面是一个简化但可用的自定义分配器示例，使用malloc/free代替new/delete：
template <typename T>
struct MallocAllocator {
using value_type = T;
using pointer = T*;
using const_pointer = const T*;
using reference = T&;
using const_reference = const T&;
using size_type = size_t;
using difference_type = ptrdiff_t;
<pre class='brush:php;toolbar:false;'>template <typename U>
struct rebind {
using other = MallocAllocator<U>;
};
MallocAllocator() = default;
template <typename U>
MallocAllocator(const MallocAllocator<U>&) {}
T* allocate(size_t n) {
if (n > std::numeric_limits<size_t>::max() / sizeof(T))
throw std::bad_array_new_length();
void* ptr = std::malloc(n * sizeof(T));
if (!ptr) throw std::bad_alloc();
return static_cast<T*>(ptr);
}
void deallocate(T* ptr, size_t n) {
std::free(ptr);
}
template <typename... Args>
void construct(T* ptr, Args&&... args) {
::new (ptr) T(std::forward<Args>(args)...);
}
void destroy(T* ptr) {
ptr->~T();
}};
然后可以将这个分配器用于vector：
std::vector<int, MallocAllocator<int>> vec; vec.push_back(10); vec.push_back(20);
实际应用场景举例
自定义分配器不只是理论工具，在以下场景非常有用：
- 内存池优化：频繁创建销毁小对象时（如游戏帧更新），可预先分配大块内存，提升性能并减少碎片。
- 共享内存通信：多进程间共享STL容器数据，需确保对象构建在共享内存段内。
- 调试内存问题：记录每次分配/释放，检测内存泄漏或越界访问。
- 嵌入式系统限制：避免使用堆或需要严格控制内存布局时。
例如，一个简单的调试分配器可以在allocate/deallocate中打印日志：
template <typename T>
struct DebugAllocator {
using value_type = T;
// ... 类型定义同上
<pre class='brush:php;toolbar:false;'>T* allocate(size_t n) {
T* ptr = std::allocator<T>{}.allocate(n);
std::cout << "ALLOC: " << ptr << " size=" << n * sizeof(T) << '\n';
return ptr;
}
void deallocate(T* ptr, size_t n) {
std::cout << "FREE: " << ptr << '\n';
std::allocator<T>{}.deallocate(ptr, n);
}
// construct/destroy 同理转发};
注意事项与限制
虽然可以自定义分配器，但要注意几点：
- 分配器对象可能被拷贝，应设计为无状态或支持赋值比较。
- C++17起对某些容器（如std::vector）的分配器传播行为做了调整，注意版本兼容性。
- 不同分配器分配的内存不能混用，两个使用不同分配器的容器通常不能直接交换数据。
- 异常安全性需自行保证，allocate失败应抛出std::bad_alloc。
基本上就这些。自定义分配器机制灵活但容易出错，建议先从包装默认分配器开始尝试，逐步深入。掌握它之后，就能更好地掌控程序的内存行为。
