c++ - 为什么 std::allocator::construct 和 std::allocator::destroy 在元素类型上模板化？

Question

std::allocator的 construct和 destroy成员函数根据要构造的元素的类型进行参数化:

template<class T>
  class allocator
{
  public:
    typedef T value_type;
    typedef T* pointer;

    template<class U, class... Args>
      void construct(U *p, Args&&... args);

    template<class U>
      void destroy(U *p);

  ...
};

这样做的理由是什么？他们为什么不选择 value_type*或 pointer ？好像allocator<T>应该只知道如何构造或销毁 T 类型的对象.

Answer 1

这与 allocator 的原因相同s 必须有 rebind<U> typedef:因为许多容器从不分配 T

获取链表。这些分配节点，每个节点包含一个T作为成员(member)。所以allocator s 需要能够分配一些他们不知道的类型(通过 rebind<U> )。但是，这需要一个复制操作:它需要创建一个类型为 rebind<U>::other 的新分配器。 .

最好尽可能避免这种情况。因此，对于构造和销毁，分配器需要对任何类型进行适当的操作，例如链表的内部节点类型。这也使得链表的内部节点类型有可能有Allocator::construct/destruct。作为友元函数。