c/c++ 右值引用，forward關鍵字

c++ forward關鍵字

forward的由來：保持住參數的右值屬性。

模板函數中的推導類型，作為另一函數的參數時，不管實參是什么類型，作為另一個參數的實參時，都變成了左值。因為C++里規定函數的形參就是左值，不管調用側的實參是否是右值。所以，調用的另一個函數的形參即使用T&& arg來聲明，傳過去的也是左值，編譯不過，因為不能自動把左值轉化成右值，除非使用std::move。forward就是為了解決這個問題的。

forward() 函數的作用：保持住實參的類型。

include <iostream>
using namespace std;

void rvalue_call(int& v){
  cout << "& call" << endl;
}
void rvalue_call(int&& v){
  cout << "&& call" << endl;
}
void rvalue_call(const int& v){
  cout << "const & call" << endl;
}
void rvalue_call(const int&& v){
  cout << "const && call" << endl;
}

template<typename T>
void func(T&& a){
  rvalue_call(a);
}

int main(void){
  int x = 1;
  func(x);//實參為左值                                           
  int& y = x;
  func(y);//實參為左值引用                                       
  func(std::move(y));//實參為右值引用                            
  func(100);//實參為右值引用          
  const int a = 11;
  func(a);//實參為左值常引用   
  func(std::move(a));//實參為右值常引用   
}

執行結果：

& call
& call
& call
& call
const & call
const & call

上面的例子即使傳遞的是右值，但也不能夠調用到

void rvalue_call(int&& v)

void rvalue_call(const int&& v)

解決辦法：加std::forward

#include <iostream>
using namespace std;

void rvalue_call(int& v){
  cout << "& call" << endl;
}
void rvalue_call(int&& v){
  cout << "&& call" << endl;
}
void rvalue_call(const int& v){
  cout << "const & call" << endl;
}
void rvalue_call(const int&& v){
  cout << "const && call" << endl;
}

template<typename T>
void func(T&& a){
  rvalue_call(std::forward<T> (a));
}

int main(void){
  int x = 1;
  func(x);//實參為左值                                           
  int& y = x;
  func(y);//實參為左值引用                                       
  func(std::move(y));//實參為右值引用                            
  func(100);
    
  const int a = 11;
  func(a);
  func(std::move(a));
}

執行結果：發現可以調用到右值的兩個函數。這就是std::forward函數在模板里的作用

& call
& call
&& call
&& call
const & call
const && call

另一個例子：

#include <iostream>
#include <utility>

template<typename F, typename T1, typename T2>
void fcn2(F f, T1&& t1, T2&& t2){
  f(std::forward<T2>(t2), std::forward<T1>(t1));//OK
  //f(std::move(t2), std::forward<T1>(t1));//OK
  //f(t2, t1);//ERROR
}

void f1(int&& i1, int& i2){
  i1 = 10;
  i2 = 20;
}



int main(){
  int i1 = 1, i2 = 2;
  int& a = i1;
  int& b = i2;
  int&& c = 111;

  fcn2(f1, i1, 42);//因為42為右值，所以fcn2的T2為右值，如果不加forward，把T2的形參傳給另一個函數時，它就變成了左值，但是函數f1的參數時右值，這時，編譯就不過了。
  std::cout << i1 << ", " << i2 << std::endl;

}

c/c++ 學習互助QQ群：877684253

本人微信：xiaoshitou5854