放置一个不能默认构造的不可移动对象的 std::array

Question

我有一个包含std::mutex 的类，因此它不可移动或复制。

struct MyObject {
  MyObject(std::string s_) : s(s_) {};
  std::mutex lock;
  std::thread worker;
  std::string s;
};

我可以轻松地将这个对象添加到这张地图中：

 std::map<int, MyObject> my_map;
 my_map.emplace(std::piecewise_construct, 
                std::forward_as_tuple(5),
                std::forward_as_tuple("string0"));

但我想使用std::array 来保存其中的几个：

std::map<int, std::array<MyObject, 3>> my_map;

如果MyObject 是可移动的，那么我可以这样做：

my_map.emplace(4, {MyObject("string0"), MyObject("string1"), MyObject("string2")});

但是当MyObject 不可移动时，这不起作用（如预期的那样）。我不能回退到分段构造，因为 std::array 不能从 3 个字符串的元组构造。

 my_map.emplace(std::piecewise_construct, 
                std::forward_as_tuple(4),
                std::forward_as_tuple("string0", "string1", "string2"));

有没有办法在地图中的适当位置构造一个std::array 的不可移动对象？

我将这些问题用作参考。有没有办法组合答案？

emplace and unordered_map<?, std::array<?, N>>

How to allocate a non-copyable and non-movable object into std::map?

我也试过了：

std::array<MyObject, 3> list = {
  MyObject("string0"),
  MyObject("string1"),
  MyObject("string2")
};

my_map.emplace(4, std::move(list));

认为列表应该是可移动的，但这也行不通。

Answer 1

使用自定义数组，您可以这样做

template <typename T, std::size_t N>
struct MyArray
{
    template <typename... Us>
    MyArray(Us&&... args) : arr{ std::forward<Us>(args)...} {}

    std::array<T, N> arr;
};

void foo()
{
    std::map<int, MyArray<MyObject, 3>> my_map;
    my_map.emplace(std::piecewise_construct,
                   std::forward_as_tuple(4),
                   std::forward_as_tuple(std::string("string0"),
                                         std::string("string1"),
                                         std::string("string2")));
}

Demo