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

Question

我有一个 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<...>&
  )
'

为什么 boost 会尝试通过两次传递分配器来构造向量？

此外，here是一个使用STL（实验）而不是boost的版本。那个给出了实际的错误消息 "construction with an allocator must be possible if uses_allocator is true"，但这对我也没有帮助。

也许我理解的概念有误。是这样做还是有更好的方法解决原来的问题？

Answer 1

唉。解释隐藏在std::experimental::pmr::polymorphic_allocator::construct:

This function is called (through std::allocator_traits) by any allocator-aware object, such as std::vector, that was given a std::polymorphic_allocator as the allocator to use. Since memory_resource* implicitly converts to polymorphic_allocator, the memory resource pointer will propagate to any allocator-aware subobjects using polymorphic allocators.

事实证明，多态分配器会自动传播。这也解释了为什么分配器在 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？

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

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

C++: Can't propagate polymorphic_allocator with scoped_allocator_adaptor

c++

boost

c++17

allocator

c++pmr