簡介

一個右值引用參數作為函數的形參，在函數內部再轉發該參數的時候它已經變成一個左值了，并不是原來的類型。
比如：

template <typename T> void forwardValue(T &&val) {processValue(val); // 右值引用參數會變成左值 }

如果我們需要按照參數原來的類型轉發到另一個函數，這種轉發就被成為完美轉發。
所謂完美轉發，是指在函數模板中，完全依照模板的參數的類型（即保持參數的左值、右值特征），將參數傳遞給函數模板中調用的另一個函數。
C++11提供了一個函數用于解決這個問題，通過std::forward來實現，不管參數是T&&這種未定的引用還是明確的左值引用或者右值引用，它會按照參數原本的類型轉發。

示例

using namespace std;template<typename T> void PrintT(int &t) {cout << "lvalue" << endl; }template<typename T> void PrintT(int &&t) {cout << "rvalue" << endl; }template<typename T> void TestForward(T && v) {PrintT(v);PrintT(std::forward<int>(v));PrintT(std::move(v));cout << endl; }int main() {TestForward(1);int x = 1;TestForward(x);TestForward(std::forward<int>(x));test();return 0; }

結果：

lvalue rvalue rvaluelvalue rvalue rvaluelvalue rvalue rvalue

注意第三個示例測試代碼：

TestForward(std::forward<int>(x));

經過std::forward<int>(x)后變成了右值。

forward的轉換規則為:

• 模板參數為引用類型T、T&&時，返回右值引用
• 模板參數為引用類型T&時，返回左值引用

擴展

右值引用、完美轉發再結合可變模板參數，可以寫一個萬能的函數包裝器，帶返回值的、不帶返回值的、帶參數的或者不帶參數的都可以委托這個萬能的函數包裝器來實現參數的完美轉發。

萬能函數包裝器：

template<typename Function,typename... Args> inline auto FuncWrapper(Function && f,Args && ... args) -> decltype (f(std::forward<Args>(args)...)) {return f(std::forward<Args>(args)...); }

測試：

void test0() {cout << "void" << endl; }int test1() {return 1; }int test2(int x) {return x; }string test3(string s1,string s2) {return s1+s2; }void test() {FuncWrapper(test0);cout << FuncWrapper(test1) << endl;int a = 1;cout << FuncWrapper(test2,a) << endl;cout << FuncWrapper(test3,"aa","bb") << endl; }

輸出：

void 1 1 aabb

參考：《深入應用C++11》
https://blog.csdn.net/u012508160/article/details/79218936

與50位技術專家面對面20年技術見證，附贈技術全景圖

總結

以上是生活随笔為你收集整理的C++11：forward及完美转发的全部內容，希望文章能夠幫你解決所遇到的問題。

如果覺得生活随笔網站內容還不錯，歡迎將生活随笔推薦給好友。