C++ Primer 筆記——轉發
阿新 • • 發佈:2017-08-27
forward blog c++ prime 實參 不變 工作 primer 模板 pre
某些函數需要將其一個或多個實參連同類型不變的轉發給其他函數,這種情況下我們需要保持被轉發實參的所有性質,包括實參類型是否是const的以及實參是左值還是右值。
template <typename F, typename T1, typename T2> void func(F f, T1 t1, T2 t2) { f(t2, t1); } void subfunc(int v1, int &v2) { ++v2; } int i = 0; func(subfunc, i, 2); // i並沒有增加
我們可以使用右值引用來解決上述問題:
template <typename F, typename T1, typename T2> void func(F f, T1 &&t1, T2 &&t2) { f(t2, t1); } void subfunc(int v1, int &v2) { ++v2; } int i = 0; func(subfunc, i, 2); // i增加了,而且也可以傳遞const
但是函數func對於接受一個左值引用的函數工作的很好,但不能接受右值引用參數的函數:
template <typename F, typename T1, typename T2> voidfunc(F f, T1 &&t1, T2 &&t2) { f(t2, t1); } void subfunc(int &&v1, int &v2) { ++v2; } int i = 0; func(subfunc, i, 2); // 錯誤,不能從一個左值實例化int&&
為了解決上述問題,我們可以使用一個名為forward的新標準庫設施來傳遞參數,它能保持原始實參的類型。forward必須通過顯示模板實參來調用。forward返回該顯示實參類型的右值引用。
template <typename F, typename T1, typename T2> voidfunc(F f, T1 &&t1, T2 &&t2) { f(std::forward<T2>(t2), std::forward<T1>(t1)); // 通過引用折疊,左值還是左值,右值還是右值 } void subfunc(int &&v1, int &v2) { ++v2; } int i = 0; func(subfunc, i, 2); // 正確
C++ Primer 筆記——轉發