需要自定义allocator的原因有四：1.性能优化，通过对象池等方式减少内存分配开销；2.实现内存隔离，便于模块化管理和调试；3.进行资源控制，限制内存使用总量；4.满足跨线程或跨平台的兼容性需求。实现时需继承std::allocator并重写allocate、deallocate、construct、destroy等方法，并提供rebind机制支持类型转换。使用时需注意接口兼容性、状态管理、异常处理、类型无关性和线程安全问题。
在c++的STL中，allocator的作用是负责管理容器内部使用的内存分配和释放。它把内存操作从容器本身解耦出来，使得我们可以自定义内存管理方式，比如优化性能、调试内存问题或适配特定平台。
为什么需要自定义allocator
标准库提供的默认allocator虽然通用，但在某些场景下可能不够高效或者不满足特殊需求。例如：
- 性能优化：如果你知道某个容器频繁分配小块内存，可以使用对象池式的allocator来减少系统调用开销。
- 内存隔离：希望将不同模块的数据分配到不同的内存区域，便于管理和调试。
- 资源控制：限制某类对象能使用的最大内存总量，防止内存泄漏或滥用。
- 跨线程/跨平台兼容性：在嵌入式系统或有特殊内存模型的平台上，需要定制符合环境要求的分配器。
如何实现一个自定义allocator
要实现一个自定义的allocator，你需要继承std::allocator并重写一些关键函数。一个最基础的allocator通常包含以下几个部分：
- allocate()：用于分配原始内存。
- deallocate()：用于释放之前分配的内存。
- 构造和析构函数相关的方法（construct() 和 destroy()）。
- 类型转换支持（通过rebind机制）。
下面是一个简单的示例，展示了一个基本的自定义allocator结构：
template <typename T> struct MyAllocator { using value_type = T; MyAllocator() = default; template <typename U> MyAllocator(const MyAllocator<U>&) {} T* allocate(std::size_t n) { return static_cast<T*>(::operator new(n * sizeof(T))); } void deallocate(T* p, std::size_t /*n*/) { ::operator delete(p); } };
这个例子只是简单封装了new和delete，但你可以在此基础上加入日志记录、内存池等功能。
使用自定义allocator的注意事项
当你准备使用自定义的allocator时，有几个点需要注意：
- 兼容性：确保你的allocator支持所有必要的接口，否则可能无法与某些STL容器一起工作。
- 状态管理：如果你的allocator有内部状态（比如内存池），要注意拷贝构造和赋值操作是否合理。
- 异常安全：allocate()方法应该处理内存不足的情况，要么抛出异常，要么返回空指针。
- 类型无关性：有些allocator设计为适用于多种类型，这时需要用rebind机制来切换类型。
- 线程安全：如果多个线程同时使用同一个allocator实例进行分配，要考虑加锁或其他同步手段。
小细节：如何绑定不同类型
STL容器模板参数中的allocator通常是针对特定类型的，比如vector
例如：
template <typename T> struct MyAllocator { template <class U> struct rebind { using other = MyAllocator<U>; }; };
有了这段代码，当容器需要为另一个类型分配内存时，就能自动通过rebind获取对应的allocator类型。
基本上就这些。allocator虽然看起来有点底层，但理解之后其实不复杂，只是容易忽略一些细节，尤其是rebind和状态管理这些地方。
