无法理解 std::move 的实现

【问题标题】：Can't understand the implementation of std::move无法理解 std::move 的实现
【发布时间】：2016-06-24 22:49:04
【问题描述】：

这是std::move() 的可能实现。不完全符合标准的细节，但非常接近：

template<class T>
typename std::remove_reference<T>::type&&
myMove( T&& Arg )
{   
    return ( ( typename std::remove_reference<T>::type&& )Arg );
}

我不明白为什么如果我们将typename std::remove_reference<T>::type&& 替换为T&& 会不起作用，即

template<class T>
typename std::remove_reference<T>::type&&
myMove( T&& Arg )
{   
    return ( (T&&) Arg );
}

【问题讨论】：

【解决方案1】：

问题不在于移动，而是T&& 发生的引用崩溃。

关于这个here 和这些问答here 和here 的文章很好。

我将专注于演员 (T&&) 以及为什么这不起作用。

鉴于上面列出的参考折叠规则；

当T 被推断为左值引用时，问题就出现了，然后T&& 变为T& &&，它折叠为T&，给定转换，您只需将其转换回左值引用而您没有获得了使移动发生的右值引用。

std::remove_reference<T>::type 用于删除所有引用，&& 然后添加右值 ref，从而确保进行正确的转换。

typename 用于消除成员变量对成员类型的歧义。

【讨论】：