自定义内存分配器用于解决性能、内存布局或调试等特定需求，需满足标准接口契约，如type aliases、construct/destroy、allocate/deallocate及max_size；示例对象池allocator通过预分配块与自由链表管理实现高效复用。
自定义内存分配器不是为了炫技，而是解决特定场景下的性能、内存布局或调试需求——比如对象池复用、对齐要求、内存泄漏追踪、嵌入式受限内存管理等。STL 容器的 allocator 是一个可替换的模板参数，默认是 std::allocator，但它必须满足一套严格接口契约（Allocator Requirements），才能被标准容器安全使用。
allocator 必须实现的核心接口
一个合法的自定义 allocator 至少要提供以下类型别名和成员函数：
-
类型别名：如
value_type、pointer、const_pointer、reference、const_reference、size_type、difference_type、rebind（用于跨类型重绑定，如allocator<int>::rebind<double>::other</double></int>） -
构造/析构支持：
construct(pointer p, const T& val)和destroy(pointer p)—— 注意：C++17 起已弃用，推荐用std::construct_at/std::destroy_at替代；但为兼容旧标准或自定义逻辑，仍常保留 -
内存分配/释放：
allocate(size_type n)返回T*类型指针（实际分配的是 raw bytes，但返回类型需为T*），deallocate(pointer p, size_type n)——n是元素个数，不是字节数，且必须与 allocate 时一致 -
最大可分配数量：
max_size() const noexcept，通常返回std::numeric_limits<size_type>::max() / sizeof(T)</size_type>
写一个线程局部对象池 allocator（实用示例）
避免频繁 new/delete，适合短生命周期小对象（如 event、node）。关键点：不直接调 malloc，而用预分配块 + 自由链表管理。
template <typename T>
class object_pool_allocator {
public:
using value_type = T;
using pointer = T*;
using const_pointer = const T*;
using reference = T&;
using const_reference = const T&;
using size_type = std::size_t;
using difference_type = std::ptrdiff_t;
<pre class="brush:php;toolbar:false;">template <typename U>
struct rebind { using other = object_pool_allocator<U>; };
object_pool_allocator() = default;
template <typename U>
object_pool_allocator(const object_pool_allocator<U>&) noexcept {}
pointer allocate(size_type n) {
if (n != 1) throw std::bad_alloc(); // 只支持单对象（常见简化）
if (!free_list_) {
// 扩容：一次申请 128 个 T 对象的连续内存
auto block = static_cast<char*>(::operator new(128 * sizeof(T)));
for (size_t i = 0; i < 127; ++i) {
auto next = reinterpret_cast<char*>(block + (i+1)*sizeof(T));
*reinterpret_cast<char**>(block + i*sizeof(T)) = next;
}
*reinterpret_cast<char**>(block + 127*sizeof(T)) = nullptr;
free_list_ = block;
}
auto ptr = free_list_;
free_list_ = *reinterpret_cast<char**>(ptr);
return reinterpret_cast<T*>(ptr);
}
void deallocate(pointer p, size_type) {
if (!p) return;
*reinterpret_cast<char**>(p) = free_list_;
free_list_ = reinterpret_cast<char*>(p);
}
template <typename U, typename... Args>
void construct(U* p, Args&&... args) {
::new(p) U(std::forward<Args>(args)...);
}
template <typename U>
void destroy(U* p) {
p->~U();
}private: char* freelist = nullptr; };
⚠️注意：该 allocator 非线程安全。若需多线程，应配合 thread_local 或原子自由链表，或改用无锁结构。
立即学习“C++免费学习笔记（深入）”；
让容器真正用上你的 allocator
必须在模板实例化时显式传入，不能运行时替换：
std::vector<int object_pool_allocator>> vec;</int>std::map<:string int std::less>, object_pool_allocator<:pair std::string int>>> mp;</:pair></:string>- 所有嵌套容器（如
vector<vector a>, A></vector>）都需显式指定，否则内层仍用默认 allocator - std::string 在 C++11 后也接受 allocator 模板参数：
std::basic_string<char std::char_traits>, MyAlloc<char>></char></char>
调试与陷阱：为什么你的 allocator 没生效？
常见失效原因：
- 忘记提供
rebind，导致容器内部节点类型（如std::list<t>::node</t>）无法生成对应 allocator -
allocate返回的指针类型不是T*（例如误返回void*），编译失败或未定义行为 -
deallocate中传入的n和allocate不匹配（尤其在 vector 扩容时，n 可能远大于 1） - 没处理
std::allocator_traits的默认回退逻辑 —— 现代代码应优先通过std::allocator_traits<a>::allocate(a, n)</a>调用，它会自动处理 C++11/17 接口差异 - 异常安全性缺失：allocate 失败应抛
std::bad_alloc；construct 抛异常时，deallocate 必须能安全清理已构造对象（否则内存泄漏）
基本上就这些。自定义 allocator 不复杂但容易忽略契约细节。真正工程中，建议优先评估 pmr::polymorphic_allocator（C++17）或成熟库（如 tbb::scalable_allocator），仅在有明确收益时才手写。
