STL定义了两种空间配置器： - allocator：位于<defalloc.h> - alloc：在<memory>包含以下头文件，将功能分离： - - 全局函数construct()/destroy()：位于<stl_construct.h>，用于构造/析构对象。 - 配置器alloc：位于<stl_alloc.h>，用于空间配置，分为一级配置器和二级配置器。 - uninitialized_copy/uninitialized_fill/uninitialized_fill_n：位于<stl_uninitialized.h>，用于填充或复制大块数据。 allocator配置器在分配空间时使用标准库函数operator new/operator delete。处于效率考虑，STL没有使用这个allocator，而是使用了更为精细的alloc配置器，将空间管理和对象管理两个阶段分离开来。 这样是为了解决内存碎片问题，TSL的空间配置器分两级。当申请空间大于128bytes时，使用第一级配置器；当申请空间小于128bytes时，使用第二级配置器。 - 第一级：__malloc_alloc_template，直接使用malloc、realloc、free管理内存。 - 第二级：__default_alloc_template，采用memory pool，由free-list维护。总共有16个free-list，每个free-list串联了一个个的内存块，当申请内存时就从一个适当的free-list中拔出一个区块给用户，用完后在返还给free-list。 两个空间配置器都是通过标准接口allocate()、deallocate()进入空间分配和空间释放的过程的。 无论alloc被定义为第一级或第二级配置器，SGI还为它再包装一个接口simple_alloc，每一个容器都直接包含这个类，当需要配置空间时，再由此类转调用allocate或deallocate： ~~~ template<class T, class Alloc> class simple_alloc { // 对配置器alloc再进行一次封装，容器就使用这个类进行空间管理 public: static T *allocate(size_t n) { return 0 == n? 0 : (T*) Alloc::allocate(n * sizeof (T)); } static T *allocate(void) { return (T*) Alloc::allocate(sizeof (T)); } static void deallocate(T *p, size_t n) { if (0 != n) Alloc::deallocate(p, n * sizeof (T)); } static void deallocate(T *p) { Alloc::deallocate(p, sizeof (T)); } }; ~~~ 容器内部直接使用这个类分配空间，例如在vector中： ~~~ typedef T value_type; typedef simple_alloc<value_type, Alloc> data_allocator; ~~~ 注意只是定义了空间分配器的类型，并没有定义实际对象。 当要分配或删除节点时： ~~~ iterator new_start = data_allocator::allocate(len); // 分配元素空间 data_allocator::deallocate(new_start, len); // 删除元素空间 ~~~ 利用类型限定符进行空间分配和释放。 参考： 《STL源码剖析》第二章。