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

Question

据http://en.cppreference.com/w/cpp/utility/move

std::move声明如下：

template <typename T> 
std::remove_reference<T>::type&& move(T&& t); 

至于我的理解去，当代码模板的T在typename T扣除失去有关参考信息，所以以下内容：

template <typename T> 
void someFunction(T&& value); 

当使用像：

int five=5; 
someFunction(five); 

然后

• value是类型的int&
• T是int

或

const float value = 5.25; 
someFunction(value); 

然后

• value的类型是const float&
• T是const float。

如果是这样，那么在移动声明没有一点声明返回类型为： std::remove_reference<T>::type&&，因为T是已经不是一个引用。另外，如果std::move以参数（实践中的l值参考）为参数，则实际上由于参考折叠而返回static_cast<T&&>(t)将返回l值参考或r值参考，因此它将表现更多像std::forward不动。那么，什么是诀窍，它使它正常工作，我不明白？

Answer 1

你的例子是不正确的：

int five=5; 
someFunction(five); 

在这种情况下，T推导为int&，不int。第二个例子也是如此; T推导为const int&。

因此，返回T&&将意味着T&& &，这是由于参考折叠规则造成的T&。

这就是为什么std::remove_reference是必需的，以确保没有引用类型以防止引用崩溃发生。