c++ - std::list 对其分配器参数有何作用？

Question

std::list 由分配器类型参数化，它可能会重新绑定(bind)以分配列表节点而不是 T。那么它对传递给构造函数的分配器类型的对象有什么作用呢？

template <class T, class Alloc = std::allocator<T>>
class list
{
    class node { ... T element; ... };

    using real_alloc =
        typename std::allocator_traits<Alloc>::template rebind_alloc<node>;
    real_alloc m_allocator;

public:
    list(const Alloc&);
};

在上面的代码中，我们需要将m_allocator初始化为一个节点分配器，但是构造函数被赋予了一个T分配器。我们只是将 T 分配器丢在地上，还是以某种方式使用它？

Answer 1

自 C++11分配器可以是有状态的。您希望使用用户提供的分配器来构造您的内部分配器。一个Allocator明确要求可从 typename std::allocator_traits<Alloc>::template rebind_alloc<U> 构建.

列表构造函数的实现应该是这样的:

template<class T, class Alloc>
class list
{
      struct node_type {/*etc*/}; //internal
      using allocator_type_internal = typename std::allocator_traits<Alloc>::template rebind_alloc<node_type>;
      // etc.
      allocator_type_internal m_allocator; //Note we use allocator_type, not Alloc.
};

list::list(const Alloc& alloc ) : 
     m_allocator(alloc)
{ /* initialize sentinel node, etc. */ }

虽然一个好的实现会为分配器使用空基优化。