[C++] 보편 참조

개요

• 변수(auto &&)나 인자(템플릿 인자 - T &&)가 r-value reference(&&) 형태이며 타입 추론이 필요한 레퍼런스
• 형태는 r-value reference지만 실제 의미는 l-value reference일 수도 있는 레퍼런스
• l-value도 인자로 받을 수 있음
• 타입 추론
  • & &는 &
  • & &&는 &
  • && &는 &
  • && &&는 &&

예제

• 코드

   #include <iostream>
      
   using namespace std;
      
   void func(int &i) { cout << "func(int &i)" << endl; }
   void func(int &&i) { cout << "func(int &&i)" << endl; }
      
   template <typename T> void wrapper0(T &&t) { func(t); };
   template <typename T> void wrapper1(T &&t) { func(forward<decltype(t)>(t)); };
   template <typename T> void wrapper2(T &&t) { func(forward<T>(t)); }
      
   int main() {
   	int i = 0;
   	int &lri = i;
      
   	wrapper0(i);
   	wrapper1(i);
   	wrapper2(i);
      
   	cout << "------" << endl;
      
   	wrapper0(move(i));
   	wrapper1(move(i));
   	wrapper2(move(i));
      
   	cout << "------" << endl;
      
   	wrapper0(lri);
   	wrapper1(lri);
   	wrapper2(lri);
      
   	cout << "------" << endl;
      
   	wrapper0(0);
   	wrapper1(0);
   	wrapper2(0);
      
   	return 0;
   }
  

• 실행 결과

   func(int &i)
   func(int &i)
   func(int &i)
   ------
   func(int &i)
   func(int &&i)
   func(int &&i)
   ------
   func(int &i)
   func(int &i)
   func(int &i)
   ------
   func(int &i)
   func(int &&i)
   func(int &&i)