对map::emplace的语法感到困惑

Question

给定的

std::map<int, int> myMap;

下列哪一项声明

myMap.emplace(1, 2);
myMap.emplace({1, 2});
myMap.emplace(std::make_pair<int,int>(1,2));

是有效的，为什么？在我看来，第二个(带有{}s)肯定会工作，如果第三个是这样的话。

Answer 1

myMap.emplace(1,2);并不是无效的，对我来说也很好。

myMap.emplace({1,2});是无效的，因为emplace 将的参数转发给就地创建对象，而不是将value_type类型的对象本身作为参数。由于它没有接受目标类型的对象( std::pair)，编译器无法使用初始化程序列表来创建该对象。

如果std::pair将直接通过对emplace的调用来构造，那么您将根本不会从emplace中获益，而且它的存在基本上是毫无意义的。

myMap.emplace(std::make_pair<int,int>(1,2));是有效的，但可能不是您想要的。你想要的

myMap.insert(std::make_pair(1,2));

或

myMap.insert(decltype(myMap)::value_type(1,2));

因为当您已经拥有一个emplace时，std::pair不会提供任何好处。