R值裁判和完美轉發

Question

我讀過有關& &幾張紙，我只是好奇，如果有：

void fnc_1(int&& p) 
{ 
//... 
} 

void fnc(int&& r) 
{ 
fnc_1(r);//am I suppose to/should I? call it like so:fnc_1(std::forward(r)) 
} 

或只是路過「R」是不夠嗎？

Answer 1

std::forward模板通常用於依賴類型。請仔細閱讀this question，看看它是否適用於此。這是一個難以掌握的主題，所以請隨時更新您的問題，並提供有關您確切問題的相關細節（使用整數的右值引用並不令人興奮......）。

我相信你的問題是關於右值引用的基本屬性的理解。經驗法則是：

• 無論有一個名稱是一個左值（const或不）。
• 什麼都沒有名字是一個右值。
• &&的類型綁定到右值。

如果你有一個函數...

void foo(SomeClass&& x) 
{ 
    // ... then here x has type SomeClass& ! 
} 

然後身體裏面，x是出了名的，因此一個升值。它確實有類型SomeClass&。您必須使用std::move把一個SomeClass&到SomeClass&&：

void bar(SomeClass&& x) 
{ 
    // Since `x` has a name here, it is a Lvalue. 
    // Therefore it has type SomeClass&, what the signature doesn't indicate. 

    // We thus have to explicitly turn it into a rvalue: 
    foo(std::move(x)); 
} 

Answer 2

fnc_1(r)不會編譯，因爲r是一個左值，就像任何其他變量，無論其類型。是的，沒錯，名爲右值的引用是左值，而不是右值。

fnc_1(std::forward(r))也不會編譯，因爲std::forward是專門設計不推斷其模板參數。

要通過一個右值，下面的任一會的工作：

fnc_1(std::move(r)) 
fnc_1(std::forward<int&&>(r)) 
fnc_1(std::forward<int>(r)) 

使用std::move是投一個左到右值的慣用方式，所以我會建議使用。