allocator 是 c++ 标准库中解耦容器与内存分配的接口契约，仅负责 allocate/deallocate，不管理对象生命周期；它不是内存池、垃圾回收器或 malloc 包装。
allocator 是什么，不是什么
它不是内存池，不是垃圾回收器，也不是 malloc 的简单包装。它是 C++ 标准库中用于解耦容器与内存分配行为的接口契约——只负责“拿内存”和“还内存”，不管理对象生命周期（构造/析构由容器自己调用 construct/destroy）。
常见错误现象：std::vector<int myalloc> v;</int> 编译失败，但没报 allocator 相关错，而是卡在 std::is_same_v 或 rebind 检查上——说明你漏了必须实现的嵌套类型或成员函数。
- 必须定义的嵌套类型：
value_type、pointer、const_pointer、reference、const_reference、size_type、difference_type、propagate_on_container_move_assignment - 必须实现的成员函数：
allocate、deallocate、construct、destroy（C++17 起construct/destroy可被省略，改用std::construct_at/std::destroy_at） -
rebind在 C++11–C++17 中需是模板结构体；C++20 起可删，标准改用allocator_traits统一适配
写一个最小可用的自定义 allocator
别一上来就搞线程安全或内存池。先让 std::vector 能跑通，验证接口语义是否正确。
使用场景：调试内存访问、统计分配次数、强制对齐（如 GPU 内存）、替换为 mmap 区域等轻量定制。
立即学习“C++免费学习笔记（深入）”；
关键点在于：分配器对象本身是无状态的（stateless），否则容器无法安全拷贝/移动（除非显式设置 propagate_on_container_copy_assignment = true）。
template <typename T>
struct SimpleAlloc {
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 = SimpleAlloc<U>; };
T* allocate(std::size_t n) {
return static_cast<T*>(::operator new(n * sizeof(T)));
}
void deallocate(T* p, std::size_t) noexcept {
::operator delete(p);
}};
注意：deallocate 的第二个参数在 C++20 前必须存在（即使不用），且不能丢掉 noexcept——STL 实现会检查异常规范。
为什么 vector 有时不调用你的 allocate
因为 small buffer optimization（SBO）或 capacity 预留未触发真实分配。更常见的原因是：你没把 allocator 传给容器构造函数，而用了默认构造。
错误写法：std::vector<int myalloc> v; // 使用默认构造，allocator 是临时默认值，可能被优化掉</int>
正确写法：std::vector<int myalloc> v(MyAlloc{}); // 显式传入实例</int>
- 如果 allocator 有状态（比如带内存池指针），必须确保所有容器操作（push_back、resize、copy）都通过相同实例传播，否则
deallocate可能崩在错误上下文 -
std::allocator_traits<a>::select_on_container_copy_construction(a)</a>在 copy 构造时被调用——若你返回新实例，旧内存将无法回收 - 调试技巧：在
allocate里打日志 +assert(n > 0)，立刻暴露是否真被调用
allocator 和 operator new/delete 的关系
它俩不互斥，但职责不同：operator new 是语言级原始内存获取接口；allocator 是库级策略抽象，可以内部调用 operator new，也可以调用 mmap、从 slab 中取、甚至返回栈地址（仅限 trivial 类型且生命周期可控）。
性能影响明显：如果你的 allocate 里加了锁、日志、或跨 NUMA 节点分配，vector::reserve 就会变慢；而 std::allocator 通常被编译器特化为直接内联 operator new，开销极低。
- 不要在
allocate中做类型相关的逻辑（比如对int特殊处理）——allocator 是模板化的，T是类型参数，不是运行时值 - 兼容性注意：MSVC 对
allocator的 SFINAE 检查比 GCC/Clang 更严格，尤其在 C++14 模式下，建议用std::allocator_traits访问所有成员，而非直调a.allocate - 真正容易被忽略的一点：allocator 不负责字节对齐。如果需要
alignas(64)缓存行对齐，必须在allocate里用std::aligned_alloc或手动对齐计算，且deallocate必须匹配释放方式
