移动语义std :: move

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<MyClass&>::type&&首先从类型中删除任何引用装饰,然后MyClass &映射到MyClass,然后将rvalue引用应用于它,屈服MyClass &&.

Answer 2

因为对左值引用的右值引用会衰减为左值引用,并且引用左值引用将具有与您期望的语义不同的语义move.

编辑:嗯,为什么要downvote？看看这段代码:

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