std::map emplace 不可移动不可复制非默认构造类型

Question

我想要一个没有复制 ctor、没有移动 ctor 和默认 ctor 的类的映射（我无法控制这个类）。

我尝试过将 std::map::emplace 与 std::piecewise_construct 和 std::forward_as_tuple 参数一起使用，但编译器似乎告诉我这是不可能的，因为它首先尝试默认构造。

// Example program
#include <iostream>
#include <string>
#include <map>
#include <utility>
#include <tuple>

class stone
{
public:
    stone() = delete;
    stone(stone& s) = delete;
    stone(stone&& s) = delete;
    stone(const std::string& s) : str(s)
    {
    }
    std::string str;
};

int main()
{
    std::map<int, stone> m;
    m.emplace(std::piecewise_construct, std::forward_as_tuple(5), std::forward_as_tuple("asdf"));
    std::cout << "map[5]: " << m[5].str << "\n";
}

在此处查看编译器错误示例：http://cpp.sh/8bbwh

我怎样才能做到这一点？我试过查看类似的问题，但它们似乎没有包含任何对我的特定场景有用的答案。

Answer 1

emplace 操作没有问题，但问题在于 std::map::operator[]，因为它要求 value_type 是默认可构造的。但是，stone 有一个已删除的默认构造函数。

相反，您可以使用没有该要求的std::map::at：

std::cout << "map[5]: " << m.at(5).str << "\n";

这是demo。

Answer 2

std::map emplace 不可移动不可复制非默认构造类型

像这样：

m.emplace(5, "asdf");

不需要 std::piecewise_construct 或 std::forward_as_tuple。

---

至于查找值，您不能使用下标运算符，因为这要求类型是默认可构造的 - 当值在查找之前不在地图中时，将使用默认构造。

要查找非默认可构造类型，您必须改用 map::find 或 map::at。前者返回迭代器结束，后者如果映射的值不存在则抛出异常。