Question

我想说我在STL中创建一个链表：

list<int, my_allocator<int> > data;

然后我可以使用更有效的分配器，让我们说一个内存池。但是，列表是否需要分配内部存储器，如前向和后向指针来遍历列表？这些如何分配？使用普通new或以某种方式使用my_allocator？

Answer 1

容器确实重新调整了分配器的用途，以分配自己的簿记材料。（并不是说它对std::list很重要，但一般来说都是正确的。*）这就是标准分配器要求强制存在rebind模板的原因：

typedef typename Alloc::template rebind<MyInternalStuff>::other internal_allocator;

如果您的分配器为Alloc = my_allocator<T>，则internal_allocator变为my_allocator<MyInternalStuff>。

我认为这是Electronic Arts对C ++标准库的抱怨之一，这就是为什么他们的EASTL库使用不同的分配器约定来提供更严格的控制。

_{*）通常，每个节点都是某个类型Node<T>的单个对象，所以我认为std::list<T, Alloc> 只使用Alloc::rebind<Node<T>>::other分配器。}

[对不起多次修改;我的输出被破坏了，并没有正确解释它;我现在单独打印每个容器并相应地固定输出。 std::list确实只需要一个分配器。]

更新：只是为了咯咯笑，我写了一个小的demangling-allocator，它在构造时打印自己的typename。这是输入：

#include <unordered_map>
#include <set>
#include <deque>
#include <list>
#include <vector>
#include <map>

#include <iostream>

int main()
{
  std::cout << "----- unordered_map<int, double> -----------" << std::endl;
  std::unordered_map<int, double, std::hash<int>, std::equal_to<int>, funky_allocator<std::pair<const int, double>>> m { {1, 1.2} };
  std::cout << "----- set<int> -----------------------------" << std::endl;
  std::set<int, std::less<int>, funky_allocator<int>> s;
  std::cout << "----- deque<int> ---------------------------" << std::endl;
  std::deque<int, funky_allocator<int>> d;
  std::cout << "----- list<int> ----------------------------" << std::endl;
  std::list<int, funky_allocator<int>> l;
  std::cout << "----- vector<int> --------------------------" << std::endl;
  std::vector<int, funky_allocator<int>> c;
  std::cout << "----- map<int, bool> -----------------------" << std::endl;
  std::map<int, bool, std::less<int>, funky_allocator<std::pair<const int, bool>>> n { { 1, true } };
}

这里输出：

----- unordered_map<int, double> -----------
Default-construct: funky_allocator<std::pair<int const, double> >
Copy-construct:    funky_allocator<std::__detail::_Hash_node<std::pair<int const, double>, false> >
Copy-construct:    funky_allocator<std::__detail::_Hash_node<std::pair<int const, double>, false>*>

----- set<int> -----------------------------
Default-construct: funky_allocator<std::_Rb_tree_node<int> >

----- deque<int> ---------------------------
Default-construct: funky_allocator<int>
Copy-construct:    funky_allocator<int*>

----- list<int> ----------------------------
Default-construct: funky_allocator<std::_List_node<int> >

----- vector<int> --------------------------
Default-construct: funky_allocator<int>

----- map<int, bool> -----------------------
Default-construct: funky_allocator<std::_Rb_tree_node<std::pair<int const, bool> > >

详细信息取决于使用的构造函数：set和map之类的容器可能只在某些调用中构造“正确”的分配器，而在另一个调用器中，它们可能构造指定分配器的对象第一。无论哪种方式，指定的分配器永远不会被用于几个容器，而仅使用反弹版本。

STL中的自定义分配器是否只分配实际数据？

1 个答案: