使用自定义分配器的std::vector必须显式指定两个模板参数，因其与默认allocator版本类型不兼容；分配器需满足C++17 Allocator Requirements，包括可复制、可比较、rebind及is_always_equal等；std::string在GCC中不支持任意分配器，应避免使用或改用basic_string/vector替代。
std::vector 用自定义分配器必须显式传模板参数
不写 std::allocator<T> 的等效替代，编译器根本不会自动推导分配器类型。哪怕你只改了分配器，std::vector<int, MyAlloc<int>> 和 std::vector<int> 是完全不同的类型，不能混用。
常见错误现象：error: no matching constructor for initialization，或传参时隐式转换失败——因为默认构造的 std::vector<int> 没法赋值给 std::vector<int, MyAlloc<int>>。
- 声明容器时，两个模板参数都得写全：
std::vector<int, MyAlloc<int>> v; - 如果封装成别名，推荐用
using而不是typedef（后者对模板支持差）：using MyVec = std::vector<int, MyAlloc<int>>; - 注意：所有依赖容器类型的函数（比如
void foo(const std::vector<int>&)）都不能直接接收自定义分配器版本——类型不匹配是硬伤
分配器必须满足 C++17 的 Allocator Requirements
光有 allocate() 和 deallocate() 不够。C++17 要求分配器是可复制、可比较、支持重绑定（rebind），且必须提供 is_always_equal 或正确实现 operator==。否则在容器扩容、移动、swap 时会崩溃或行为未定义。
使用场景：比如你写了带状态的分配器（如绑定了某块内存池地址），就必须把 is_always_equal 设为 false，并重载 == 和 != 判断是否指向同一池子。
立即学习“C++免费学习笔记（深入）”；
- 必须定义嵌套类型：
value_type、pointer、const_pointer、size_type、difference_type - 必须提供
rebind<U>::other（C++17 后可用template<class U> using rebind_alloc = MyAlloc<U>;） - 若分配器含状态（如持有
char*池地址），is_always_equal必须是std::false_type，否则容器可能跳过相等性检查导致误复用内存
std::string 在 GCC libstdc++ 下不支持任意分配器
std::string 看似是容器，但 libstdc++（GCC 默认）和 MSVC STL 都把它特化了：其内部使用 SSO（短字符串优化），且分配器仅用于堆分配分支；更关键的是，它没完全实现 Allocator-aware Container 要求——比如缺少 get_allocator() 的 const 重载，或 move 构造中忽略分配器等价性。
常见错误现象：代码在 Clang + libc++ 下能编译，在 GCC 下报 no type named 'value_type' in 'MyAlloc<char>'，或者运行时崩溃于 basic_string::_M_construct。
- 不要试图用自定义分配器初始化
std::string，尤其避免std::string<char, MyAlloc<char>>这种写法（GCC 直接拒编） - 若真要控制字符串内存，改用
std::basic_string<char, std::char_traits<char>, MyAlloc<char>>并确认目标 STL 实现支持（libc++ 更友好） - 更稳妥的做法：用
std::vector<char, MyAlloc<char>>替代，自己封装长度/空终止逻辑
调试分配器泄漏或错配时，优先检查 operator== 和 propagate_on_container_copy_assignment
容器在拷贝、移动、swap 时，会根据 propagate_on_container_copy_assignment 决定是否用右侧分配器替换左侧；而这个决策的前提是先调 operator== 判断“能不能复用”。如果这两个没写对，你会看到内存从 A 池分配、却试图用 B 池释放——UB，大概率 crash 或静默损坏。
性能影响：每次容器操作前都可能触发分配器比较，若 operator== 做了深比较（比如比整个内存池结构），开销会明显上升。
- 无状态分配器：直接设
static constexpr bool is_always_equal{true};，省去比较 - 有状态分配器：确保
operator==只比关键标识（如池起始地址 + 大小），别比内部统计字段 - 明确设置传播策略：例如
using propagate_on_container_copy_assignment = std::true_type;表示拷贝时换分配器；设为false_type则要求两侧分配器必须==，否则抛异常（C++17 起）
真正难的不是写 allocate/deallocate，而是让分配器在容器所有生命周期动作里——包括异常路径、移动后状态、跨线程传递——都保持语义一致。很多问题只在高负载或特定 STL 版本下暴露，别依赖“看起来跑通了”。
