爲什麼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是必需的，以確保沒有引用類型以防止引用崩潰發生。