自定义allocator需实现value_type、allocate、deallocate及比较运算符，construct/destroy由allocator_traits默认处理，不可重载；须保证对齐，适配底层分配器时避免重复管理。
自定义 allocator 是 C++ 中控制 STL 容器内存分配行为的核心机制，它不改变容器接口，却能深度影响性能、内存布局甚至线程安全性。关键在于实现符合标准要求的 allocator_traits 接口约定，而非简单重写所有成员函数。
理解 allocator 的最小必要接口
C++17 起，标准只要求自定义 allocator 实现以下几项（其余由 std::allocator_traits 默认提供）：
-
value_type：所管理对象的类型（如
T） -
allocate(size_t n)：申请足够容纳
n个value_type的原始内存（不调用构造） -
deallocate(pointer p, size_t n)：释放之前通过
allocate分配的内存（不调用析构） - operator== / operator!=（C++20 要求可比较，用于判断是否为同一内存池）
例如，一个基于栈的简易 allocator 可直接使用 alloca（仅限函数作用域）或预分配缓冲区；而内存池 allocator 则在 allocate 中从空闲链表取块，在 deallocate 中归还——构造/析构仍由容器内部完成。
正确处理对象生命周期：construct/destroy 不在 allocator 内部实现
注意：construct 和 destroy 已被弃用（C++17），且**不应**在自定义 allocator 中重载它们。STL 容器统一通过 std::allocator_traits::construct(a, p, args...) 调用，其默认行为是直接调用 ::new(p) T(std::forward 和 p->~T()。你只需确保 allocate 返回的指针满足对齐要求（如用 std::align 或 aligned_alloc），构造本身由语言设施完成。
立即学习“C++免费学习笔记（深入）”；
适配已有内存管理器（如 tcmalloc/jemalloc）
若想让 std::vector 使用 jemalloc，allocator 实现只需将 allocate 映射到 je_malloc(n * sizeof(T))，deallocate 映射到 je_free(p)，并确保 max_align_t 对齐（jemalloc 默认满足）。无需封装线程局部缓存逻辑——那是 jemalloc 自己的事。重点是避免重复管理：不要在 allocator 里再做 slab 切分，除非你明确要替代底层分配器的行为。
注意事项与常见陷阱
使用自定义 allocator 时需格外注意：
-
容器类型不同，allocator 使用深度不同：
std::vector仅用 allocate/deallocate；std::map还依赖propagate_on_container_copy_assignment等 trait 控制拷贝时是否传播 allocator -
allocator 实例可能被拷贝：确保它是轻量、无状态的（stateless），或显式支持有状态（C++11 后允许），否则容器操作（如
swap）可能出错 -
不要忽略 rebind：虽然 C++11 后
allocator_traits会自动处理rebind::other，但若你旧式实现中用了template，必须保证它正确返回对应类型的 allocatorstruct rebind { using other = MyAlloc } -
调试建议：先用
std::scoped_allocator_adaptor测试嵌套容器（如vector），再逐步替换到底层分配器>
不复杂但容易忽略。
