c++ - 为什么默认由value_type参数化std::list分配器？

Question

template <
  class T,
  class Allocator = std::allocator<T>
>
class list;

通过声明一个std::list<int>变量，如下所示，我将确保std::list<int>::allocator_type的类型为std::allocator<int>。假设有一个双向链表实现，则每个内部节点都将大于value_type的大小。这是否意味着一个实现将在每次插入元素时分配两次内存？一次用于元素，一次用于节点？上面显示了std::list的前向声明以供引用。

int main(int argc, char *argv[])
{
  std::list<int> mylist;
  mylist.push_front(9);
  return 0;
}

Answer 1

参见cppreference，std::list<T>使用Node<T>分配其内部节点(例如std::allocator_traits<Allocator>::rebind_alloc<Node<T>>类)，如果Alloc<Node<T>, Args>是Allocator，则默认为Alloc<T, Args>。因此，当使用std::allocator时，std::list<T>将使用std::allocator<Node<T>>分配其内部节点。

如果要提供自定义分配器模板Alloc，并且不想std::list<T>使用Alloc<Node<T>>，则可以为rebind和the allocator Alloc will be used提供成员模板Alloc::rebind<Node<T>>::other。