C ++:无法使用scoped_allocator_adaptor传播polymorphic_allocator

时间:2019-02-12 16:29:19

标签: c++ boost c++17 allocator

我有一个vector<vector<int>>,并且希望从memory_resource中获取整个内存(即外部向量和内部向量的全部)。这是一个精简的示例,首先是无聊的部分:

#include <boost/container/pmr/memory_resource.hpp>
#include <boost/container/scoped_allocator.hpp>
#include <boost/container/pmr/polymorphic_allocator.hpp>
#include <iostream>
#include <string>
#include <vector>

// Sample memory resource that prints debug information
class MemoryResource : public boost::container::pmr::memory_resource {
  void* do_allocate(std::size_t bytes, std::size_t alignment) {
    std::cout << "Allocate " << bytes << " bytes" << std::endl;
    return malloc(bytes);
  }
  void do_deallocate(void* p, std::size_t bytes, std::size_t alignment) { free(p); }
  bool do_is_equal(const memory_resource& other) const noexcept { return true; }
};

这是我感兴趣的部分:

template <typename T>
using Alloc = boost::container::pmr::polymorphic_allocator<T>;
// using Alloc = std::allocator<T>;

template <typename T>
using PmrVector = std::vector<T, boost::container::scoped_allocator_adaptor<Alloc<T>>>;

using Inner = PmrVector<int>;

int main() {
  MemoryResource resource{};

  PmrVector<Inner> v(1000, Alloc<Inner>{&resource});
  // PmrVector<Inner> v(1337, Alloc<Inner>{});
  v[0].resize(100);
}

这给了我lengthy compiler warning,本质上说它找不到内部向量的构造函数。

如果我不是使用多态分配器,而是使用常规分配器(例如std :: allocator-参见注释掉的行),那么一切似乎都可以正常工作。

gcc错误消息比clang更好:

/usr/local/include/boost/container/allocator_traits.hpp:415:10:
error: no matching function for call to '
  std::vector<int, polymorphic_allocator<int> >::vector(
    scoped_allocator_adaptor<...>&, polymorphic_allocator<...>&
  )
'

为什么要通过两次分配器来增强向量构造?

此外,here是使用STL(实验性)而不是boost的版本。那给出了一条实际的错误消息“如果uses_allocator为true,则必须使用分配器进行构造”,但这对我也没有帮助。

也许我在理解概念上的错误。是这样做的方法还是有解决原始问题的更好方法?

1 个答案:

答案 0 :(得分:2)

啊。该解释隐藏在std::experimental::pmr::polymorphic_allocator::construct中:

  

任何人都可以调用此函数(通过std :: allocator_traits)   分配器感知对象,例如std :: vector,被赋予了   std :: polymorphic_allocator作为要使用的分配器。以来   memory_resource *隐式转换为polymorphic_allocator,   内存资源指针将传播到任何支持分配器的对象   多态分配器的子对象。

因此,事实证明多态分配器会自动传播。这也解释了为什么分配器在gcc错误消息中被两次传递。

这是一个有效的版本:

template <typename T>
using Alloc = std::experimental::pmr::polymorphic_allocator<T>;

template <typename T>
using PmrVector = std::vector<T, Alloc<T>>;

using Inner = PmrVector<int>;

int main() {
  MemoryResource resource{};

  PmrVector<Inner> v(1000, Alloc<Inner>{&resource});
  v[0].resize(100);
}

这是几个小时前我需要的信息:

如何将polymorphic_allocator和scoped_allocator_adaptor一起使用?

你不知道。确保所有内部容器也使用多态分配器,然后内存资源将被自动传递。