如何完全管理像map这样的std容器的堆内存分配？

Question

我对使用多个std map <int，int>感兴趣，我希望所有这些都能从公共内存池中分配元素。 从我到目前为止所读到的，我可以使用自定义分配器，如Boost pool_alloc来实现这一点。

我的问题是，尽管使用像Boost pool_alloc这样的东西来管理元素本身的分配，std map仍然会使用一小部分堆内存作为某种形式的容器开销，不会被boost pool_alloc管理？ 关于使用std地图本身，我正在考虑指向元素的指针。

Answer 1

简短的版本

地图类型，例如：

typedef std::map<
    int,
    int,
    less<int>,
    boost::pool_allocator<pair<const int, int> >
    > 
    AMapType;

将使用boost :: pool_allocators增长所需的所有分配。 一些初始结构可能在堆栈上创建。 确切的结构多少和具体是依赖于实现的。

分配器重新绑定

通过使用allocator::rebind可以实现上述目的

所有std :: allocator符合的分配器（例如boost :: pool_allocator）都以以下形式提供重新绑定模板结构：

template<class U> struct rebind{
   typedef AllocatorType<U> other;
};

这可用于为不同类型获取相同类型的分配器：

typedef AllocatorOfOther AllocatorType::rebind<ADifferentType>::other;

gcc std :: map内部结构

g ++ std :: map实现（我检查过4.7.3和4.1.1）完全是由单个节点类型构建的。 这包括键值对以及rbTree结构所需的指针和颜色位。 为了分配它，它使用来自用户提供的分配器的重新绑定结构来定义节点分配器。 这用于地图增长时它所做的所有分配。 每个新节点都在一次分配中分配。

标准

我检查了C ++ 11标准，但找不到任何指定如何分配这种结构的内容。 要么我找不到合适的部分，要么没有指定。 不使用给定分配器类型的用户似乎有点无意义。