C++14 自定义容器支持分配器

Question

我实现了我的自定义分配器，并且可以像这样在 STL 容器中使用它:

std::map<int, int, std::less<int>, CustomAllocator<int,100>> m1;

现在我想创建一个支持这个自定义分配器的自定义容器。我知道如何在 C++17 中使用 pmr::polymorphic_allocator<byte> 来做到这一点.所以，假设我们有一些 Node结构和习惯slist容器类，它存储这些节点。因此，要使用我们的自定义分配器，我们将在我们的类中创建一个成员:

allocator_type m_allocator;

allocator_type 的定义如下:

using allocator_type = pmr::polymorphic_allocator<byte>;

并在slist我们需要分配器的方法，我们可以像这样使用它:

//in insert method, construct new Node to store
m_allocator.construct(...);

我们的客户端代码如下所示:

test_resource tr; // our custom allocator
slist<pmr::string> lst(&tr);

但是我怎样才能在 C++11/14 中实现同样的事情呢？我应该在我的自定义容器中指定什么来使用我的 CustomAllocator ？

Answer 1

可能最简单的解决方案是遵循标准库的模型，并为您的容器提供它要使用的分配器的模板参数。

当你这样做时，不要忘记标准库(从 C++11 开始)要求对分配器的所有访问都要经过 std::allocator_traits。而不是直接访问分配器对象的成员(因为它可能没有全部)。您也应该这样做，以便与设计用于标准库的其他分配器兼容。

作为使用分配器特征的示例，请考虑这个人为设计的“容器”:

template <class A>
struct StringContainer
{
  std::string *data;
  A allocator;

 StringContainer(std::string value, A allocator);
  ~StringContainer();
};

以下是实现构造函数的错误方式:

StringContainer(std::string value, A a) : allocator(a)
{
  data = allocator.allocate(sizeof(int));
  allocator.construct(data, value);
}

原因是分配器不需要提供 construct成员。如果他们不提供，安置 new是要使用的。因此，正确实现构造函数的方法是:

StringContainer(std::string value, A a) : allocator(a)
{
  data = std::allocator_traits<A>::allocate(allocator, 1);
  std::allocator_traits<A>::construct(allocator, data, value);
}

是std::allocator_traits<A>::construct负责调用construct如果A支持它，或放置new如果没有。

同样，析构函数应该这样实现:

~StringContainer()
{
  std::allocator_traits<A>::destroy(allocator, data);
  std::allocator_traits<A>::deallocate(allocator, data, 1);
}

实际上，即使是类的实现也有些错误。 data的类型应该是:

typename std::allocator_traits<A>::pointer data;