的std ::在地图::插入件变化C++ 17

Question

我看到的std::map和std::unordered_map的insert方法将改变从

template<class P> std::pair<iterator,bool> insert(P&& value); (C++11) 

到

std::pair<iterator,bool> insert(value_type&& value); (C++17) 

然而，对于这些容器，value_type是std::pair<A const, int>。这里有两个问题：

1. 为什么这个改变？什么是好处？
2. 这是如何工作来移动插入的关键？ C++ 11版本接受任何东西（P的约束为default_constructible<value_type, P&&>），然后是std::pair<A, int> - 这是大多数时候这个参数的类型，因为它是由std::make_pair返回的 - 并且可以调用移动构造函数A。但在C++ 17版本中，这个参数被转换为value_type，其中A是常量，然后是不可移动的。如果我没有忽视某些东西，A必须被复制。或者C++ 17是否也改变了这方面的任何东西？

谢谢！

Answer 1

在C++ 17中添加了一个额外的非模板重载到insert。

这样的超载具有的优点是，它允许基于语法{}的构造.insert({ {key}, {value, args} })。 template参数不能通过{}基于没有显式类型的构造指令。