c++ - std::unordered_map::operator[] - 为什么有两个签名？

Question

在C++11中，std::unordered_map::operator[]有两个版本，分别是:

mapped_type& operator[] ( const key_type& k ); //1
mapped_type& operator[] ( key_type&& k ); //2

有两个问题:

1) 为什么第二个是必要的 - 第一个允许将常量传递给函数，因为第一个包含关键字 const

2) 例如，在这种情况下将调用哪个版本，1 或 2:

std::unordered_map<std::string, int> testmap;
testmap["test"] = 1;

Answer 1

通常，键仅用于比较目的，因此您可能想知道为什么需要右值语义:const 引用应该已经涵盖了这种情况。

但需要注意的是，operator[] 确实可以创建一个新的键/值对:如果键不存在于映射中。

在这种情况下，如果使用了第二个重载，则 map 可以安全地移动 map 中提供的键值(同时默认初始化该值)。在我看来，这是一个非常罕见且可以忽略不计的优化，但是当你是 C++ 标准库时，你不应该不遗余力地为某人节省一个周期，即使它只发生一次!

至于第二个问题，我可能是错的，但应该将第二次重载视为最佳重载。

编辑:还有一个有效的观点是它可能允许您使用仅移动对象作为键值，即使这是一个有争议的决定