C++ Primer 筆記——轉寄

標籤：其他   template   使用   type   amp   pen   轉寄   增加   std   

　　某些函數需要將其一個或多個實參連同類型不變的轉寄給其他函數，這種情況下我們需要保持被轉寄實參的所有性質，包括實參類型是否是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 筆記——轉寄