调用 std::map::emplace() 并避免不必要的构造

Question

我有一个std::map，它的键是std::string，值是我自己定义的类型。

假设我有以下代码：

std::map<std::string, MyType> mymap;
std::string str1("test");
MyType value(pars); //I want value to be moved

mymap.emplace(std::make_pair(str1, std::move(value))); //A
mymap.emplace(str, std::move(value)); //B

假设 std::map 存储对，我猜 A 会进一步调用 std::pair 构造函数 (make_pair)，然后再次调用 std::pair 移动构造函数（带有右值参数的就地构造）。

而且我认为 B 只会生成对 std::pair 构造函数的调用。

那么我们可以说 B 优于 A 以避免不必要的结构吗？

Answer 1

根据http://www.cplusplus.com/reference/map/map/emplace/：

如果其键是唯一的，则在地图中插入一个新元素。这个新元素是使用 args 作为构造 value_type（它是对类型的对象）的参数就地构造的……通过调用 allocator_traits::construct 并转发 args 就地构造元素。

因此，在选项 A 中，您首先构造一对 emplace 将转发给 pair 的构造函数（作为右值），然后构造函数将执行移动构造。

选项 B 将 str 和 std::move(value) 的返回值转发给 pair 的构造函数。

所以是的，选项 A 构造 2 对，而选项 B 仅构造 1。