1. 程式人生 > >C++ Primer 筆記——轉發

C++ Primer 筆記——轉發

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>
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); // 錯誤,不能從一個左值實例化int&&


為了解決上述問題,我們可以使用一個名為forward的新標準庫設施來傳遞參數,它能保持原始實參的類型。forward必須通過顯示模板實參來調用。forward返回該顯示實參類型的右值引用。

template <typename F, typename T1, typename T2>
void
func(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 筆記——轉發