std::allocator不能直接继承重写，因其是模板别名或空基类，无虚函数且不保证ABI兼容；容器可能通过traits或特化绕过派生类。
为什么 std::allocator 不能直接继承后重写 allocate
因为 std::allocator 是模板别名（C++17 起）或空基类，不是设计来被继承的；它不带虚函数，也不保证 ABI 兼容性。你继承它，编译器可能不调用你的 allocate，尤其在容器内部通过 traits 或特化路径绕过你的派生类。
实操建议：
- 不要继承
std::allocator，哪怕它看起来“干净” - 从零实现一个满足 Allocator Requirements 的类——必须提供
value_type、allocate、deallocate、construct、destroy等成员（C++17 后construct/destroy可省略，但推荐保留） - 记得定义
rebind（或 C++11 起用template<class U> struct rebind { using other = MyAllocator<U>; };） - 如果你用 C++20，注意
allocator_traits会默认调用allocate带size_t和const void*hint 参数的重载，没实现就链接失败
怎么让 std::vector 真正用上你的分配器
模板参数必须显式传入，且类型要完全匹配：容器实例化时的分配器类型决定了所有内存操作路由到哪。漏掉模板参数、或用 typedef 隐藏了模板参数，都会回退到默认分配器。
常见错误现象：std::vector<int, MyAllocator<int>> v; 编译通过，但运行时仍走 malloc —— 很可能是 MyAllocator 没正确定义 deallocate 的签名（比如少了 size 参数），导致 allocator_traits::deallocate 静默 fallback 到默认行为。
立即学习“C++免费学习笔记（深入）”；
实操建议：
- 声明时严格写全：
std::vector<int, MyAllocator<int>> v;，别用using Vec = std::vector<int>再试图“注入”分配器 - 在
MyAllocator<T>里加static_assert验证关键 typedef 是否存在：static_assert(std::is_same_v<value_type, T>); - 用
std::allocator_traits<MyAllocator<int>>::allocate(...)手动测试分配路径，确认没走 fallback
allocate 和 deallocate 的 size 单位到底是字节还是元素个数
是元素个数，不是字节。这是最常踩的坑：有人按 malloc 习惯乘 sizeof(T)，结果分配器被调用两次——一次由容器传入元素数，一次你在里面又乘一遍，导致内存越界或崩溃。
使用场景：当你底层用 mmap 或内存池时，得自己算字节数，但输入参数 n 就是你要分配的 T 对象个数，别重复转换。
实操建议：
-
allocate(size_t n)的n是对象个数，不是字节；deallocate(pointer p, size_t n)的n必须和对应allocate的n完全一致（C++17 起强制要求） - 如果底层需要字节数，用
n * sizeof(value_type)计算，但只在内部用，不改变接口语义 - 在
deallocate里加断言：assert(p != nullptr && n > 0);，避免容器传错参数（比如 move 后 double-free）
自定义分配器在移动构造/赋值时如何保持状态
默认情况下，分配器是 CopyConstructible 且状态无关（stateless），但一旦你加了成员变量（比如指向内存池的指针），就必须处理传播问题：移动后原分配器是否还有效？新容器能否用旧分配器释放内存？
性能影响：不设传播策略，容器移动构造可能触发深拷贝分配器对象，或拒绝移动（退化为拷贝构造）。
实操建议：
- 显式特化
std::allocator_traits<MyAllocator<T>>::propagate_on_container_move_assignment为std::true_type，否则移动赋值不会转移分配器状态 - 若分配器有状态（如绑定某块池），必须实现
==和!=运算符，用于容器判断能否跨实例交换内存（比如swap） - 别假设分配器对象可复制——如果它管理独占资源（如
std::unique_ptr<Pool>），就禁用拷贝，只支持移动，并设propagate_on_container_copy_assignment为false
真正难的不是写 allocate，是让所有容器操作路径都尊重你的状态生命周期。稍不注意，move 之后原分配器里的指针就成悬垂了。
