为什么 std::move 使用 std::remove_reference 实现？

Question

我不太明白 std::move 函数

template <class T>
typename remove_reference<T>::type&&
move(T&& a)
{
    return a;
}

为什么要 remove_reference ？ 有人能给我一个简单的解释吗？

Answer 1

考虑一下如果 T 是左值引用（例如 MyClass &）会发生什么。在这种情况下，T && 将变为 MyClass & &&，并且由于引用折叠规则，这将再次转换为 MyClass &。为了获得正确的结果，typename remove_reference::type&& 首先从类型中删除所有引用装饰，因此 MyClass & 映射到 < code>MyClass，然后将右值引用应用于它，产生 MyClass &&。

Answer 2

因为右值引用对左值引用会衰减为左值引用，并且返回左值引用将具有与您期望从 move 获得的语义不同的语义。

编辑：
呵呵，为什么投反对票？查看此代码：

template < typename T > T&& func(T&& x) { return x; }

int main()
{
        int x;

        int &y = func(x);
}

进一步阅读：http://www.justsoftwaresolutions.co.uk/cplusplus /rvalue_references_and_perfect_forwarding.html