更多的右值引用和临时对象

Question

在详细说明我之前的question 和question 时，我想了解在这个真实场景中发生了什么。我有以下模板函数：

template <typename Key, typename Value, typename HashFunction, typename Equals>
void FastHash<Key, Value, HashFunction, Equals>::Insert(const Key& key, const Value& value)
{
    Insert(std::make_pair(key, value));
}

例如，使用左值和右值的混合调用，就像在这个调用中一样：

std::string name = "The Great";
hashTable.Insert(name, "Gatsby");

（用于测试目的）。 Insert以上调用

template <typename Key, typename Value, typename HashFunction, typename Equals>
void FastHash<Key, Value, HashFunction, Equals>::Insert(pair<const Key, Value>&& keyValuePair)
{
    if (buckets.size() == 0)
    {
        buckets.resize(1);
    }

    HashFunction hash;
    unsigned long hashValue = hash(keyValuePair.first) % buckets.size();
    buckets[hashValue].push_back(std::move(keyValuePair));
}

几个问题：

1. 由于通过引用传递，我希望其中一个元素是文字字符串的一对是未定义的行为。是这样吗？

2. 当我进入make_pair 行时，代码首先调用make_pair(_Ty1&& _Val1, _Ty2&& _Val2)，因此编译器似乎将key 和value 解释为右值。为什么？

3. 进入第二个Insert 方法之前的下一个调用是pair(pair<_Other1, _Other2>&& _Right)。无论第二个Insert 采用&& 还是const &，都会发生这种情况。这里发生了什么？

4. 与最后一个相关联，考虑到它的作用，第二个 Insert 应该采用 const pair& 还是 pair&&？

更新：看了Scott Meyer关于通用引用的优秀视频，阅读了模板推导和引用折叠规则，在你的帮助下我可以回答1、2和4。但我还是看不懂为什么在Insert 调用之前调用pair 的移动构造函数。有什么帮助吗？

Answer 1

进入第二个插入方法之前的下一个调用是pair(pair<_Other1, _Other2>&& _Right)。无论第二个插入采用&& 还是const &，都会发生这种情况。这是怎么回事？

那是 std::pair 的转换构造函数：它将您传递的对 - std::make_pair(key, value) - 从 std::pair<Key, Value> 转换为第二个 Insert 函数的参数类型 std::pair<const Key, Value>。如果您自己指定对类型而不是让std::make_pair 推断它，则可以避免转换：

Insert(std::pair<const Key, Value>{key, value});

当然，这是将参数复制到 pair 中，在 C++11 中，我们有一个经验法则，即如果要复制某些内容，则应按值接受它。所以也许将这个Insert 实现为：

template <typename Key, typename Value, typename HashFunction, typename Equals>
void FastHash<Key, Value, HashFunction, Equals>::Insert(Key key, Value value)
{
    Insert(std::pair<const Key, Value>{std::move(key), std::move(value)});
}