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

c++ forward關鍵字

forward的由來：模板函數中的推導類型，作為函數的參數時，即使用T&& arg來聲明，推導出來具體的類型後，也不能把推導出來後的具體類型，轉化成右值引用。forward就是為瞭解決這個問題的。

forward() 函數的作用：它接受一個參數，然後返回該參數本來所對應的類型的引用。

下麵的例子就不能夠調用

void rvalue_call(int&& v)

void rvalue_call(const int&& v)

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));//實參為右值常引用   
}

解決辦法：加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));
}