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

Question

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

13

我对std::move函数的理解不是很好。

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

为什么要移除引用（remove_reference）？有人能给我一个简单的解释吗？

- Guillaume Paris

2个回答

7

因为将右值引用转换为左值引用会衰减为左值引用，而返回左值引用与您从 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

- Šimon Tóth

网页内容由stack overflow 提供, 点击上面的

可以查看英文原文，
原文链接

- fredoverflow · Accepted Answer

考虑一下如果T是左值引用，例如MyClass &会发生什么。在这种情况下，T &&将变成MyClass & &&，由于引用折叠规则，这将再次转换为MyClass &。为了实现正确的结果，typename remove_reference<MyClass&>::type&&首先从类型中删除任何引用修饰符，因此MyClass &被映射到MyClass，然后应用右值引用，产生MyClass &&。