C++11--右值引用(Perfect Forwarding)

/* 
 * 右值引用 2: Perfect Forwarding
 */


void foo( boVector arg );
// boVector既有移动构造又有拷贝构造

template< typename T >
void relay(T arg ) {
   foo(arg);  
}

int main() {
   boVector reusable = createBoVector();
   relay(reusable);
   ...
   relay(createBoVector());
}


// 什么才能叫完美传递，Perfect Forwarding
/*
 * 1. 没有昂贵且不必要的拷贝构造
 * 2. 右值传递为右值，左值传递为左值
 */



// 解决方法:
template< typename T >
void relay(T&& arg ) {
  foo( std::forward<T>( arg ) );
}

//* 注意：之所有有效是因为，类型T是模板类型
    


/* 
 * 引用折叠的规则 ( C++ 11 ):
 * 1.  T& &   ==>  T&
 * 2.  T& &&  ==>  T&
 * 3.  T&& &  ==>  T&
 * 4.  T&& && ==>  T&&  //只有两个右值引用还是右值引用
 */




template< classs T >
struct remove_reference;    // 移除类型T的引用

// T为int&
remove_refence<int&>::type i;  // int i;

// T为int
remove_refence<int>::type i;   // int i;



template< typename T >
void relay(T&& arg ) {
   ...
}

/*
 * 右值引用由type&&指定
 *
 * 那么type&&表示右值引用?
 */


// T&&变量以右值 => 右值引用
  relay(9); =>  T = int&& =>  T&& = int&& && = int&&

// T&&变量以左值初始化 => 左值引用
  relay(x); =>  T = int&  =>  T&& = int& && = int&

// T&&是一个通用引用: 左值，右值，const，non-const等
// 前提条件:
// 1. T是一个模板类型
// 2. T发生了类型折叠
//    - T 是函数模板类型，不是类模板了类型



template< typename T >
void relay(T&& arg ) {
  foo( std::forward<T>( arg ) );    //    将arg转回T&&类型
}

// std::forward()的实现
template<class T>
T&& forward(typename remove_reference<T>::type& arg) {  
  return static_cast<T&&>(arg);
} 



// std::move()和std::forward()比较
std::move<T>(arg);    // 将arg变成一个右值类
std::forward<T>(arg); // 将arg变成T&&类型



/*
 * 总结:
 *
 * 右值引用两个主要使用地方:
 * 1. 移动语义
 * 2. 完美传递
 */