C++11右值引用和转发型引用教程详解

struct X {}; 
X a; 
X&& b = static_cast<X&&>(a); 
X&& c = std::move(a); 
//static_cast<X&&>(a) 和 std::move(a) 是无名右值引用，是右值 
//b 和 c 是具名右值引用，是左值 
X& d = a; 
X& e = b; 
const X& f = c; 
const X& g = X(); 
X&& h = X(); 
//左值引用d和e只能绑定左值（包括传统左值：变量a以及新型左值：右值引用b） 
//const左值引用f和g可以绑定左值（右值引用c），也可以绑定右值（临时对象X()） 
//右值引用b，c和h只能绑定右值（包括新型右值：无名右值引用std::move(a)以及传统右值：临时对象X()） 

struct X {}; 
//左值版本 
void f(const X& param1){/*处理左值参数param1*/} 
//右值版本 
void f(X&& param2){/*处理右值参数param2*/} 
X a; 
f(a);      //调用左值版本 
f(X());     //调用右值版本 
f(std::move(a)); //调用右值版本 

struct X 
{ 
  X();             //缺省构造器 
  X(const X& that);      //拷贝构造器 
  X(X&& that);         //移动构造器 
  X& operator=(const X& that); //拷贝赋值运算符 
  X& operator=(X&& that);   //移动赋值运算符 
}; 
X a;               //调用缺省构造器 
X b = a;             //调用拷贝构造器 
X c = std::move(b);       //调用移动构造器 
b = a;              //调用拷贝赋值运算符 
c = std::move(b);        //调用移动赋值运算符 

#include <iostream> 
class MemoryBlock 
{ 
public: 
  // 构造器（初始化资源） 
  explicit MemoryBlock(size_t length) 
    : _length(length) 
    , _data(new int[length]) 
  { 
  } 
  // 析构器（释放资源） 
  ~MemoryBlock() 
  { 
    if (_data != nullptr) 
    { 
      delete[] _data; 
    } 
  } 
  // 拷贝构造器（实现拷贝语义：拷贝that） 
  MemoryBlock(const MemoryBlock& that) 
    // 拷贝that对象所拥有的资源 
    : _length(that._length) 
    , _data(new int[that._length]) 
  { 
    std::copy(that._data, that._data + _length, _data); 
  } 
  // 拷贝赋值运算符（实现拷贝语义：释放this ＋ 拷贝that） 
  MemoryBlock& operator=(const MemoryBlock& that) 
  { 
    if (this != &that) 
    { 
      // 释放自身的资源 
      delete[] _data; 
      // 拷贝that对象所拥有的资源 
      _length = that._length; 
      _data = new int[_length]; 
      std::copy(that._data, that._data + _length, _data); 
    } 
    return *this; 
  } 
  // 移动构造器（实现移动语义：移动that） 
  MemoryBlock(MemoryBlock&& that) 
    // 将自身的资源指针指向that对象所拥有的资源 
    : _length(that._length) 
    , _data(that._data) 
  { 
    // 将that对象原本指向该资源的指针设为空值 
    that._data = nullptr; 
    that._length = 0; 
  } 
  // 移动赋值运算符（实现移动语义：释放this ＋ 移动that） 
  MemoryBlock& operator=(MemoryBlock&& that) 
  { 
    if (this != &that) 
    { 
      // 释放自身的资源 
      delete[] _data; 
      // 将自身的资源指针指向that对象所拥有的资源 
      _data = that._data; 
      _length = that._length; 
      // 将that对象原本指向该资源的指针设为空值 
      that._data = nullptr; 
      that._length = 0; 
    } 
    return *this; 
  } 
private: 
  size_t _length; // 资源的长度 
  int* _data; // 指向资源的指针，代表资源本身 
}; 
MemoryBlock f() { return MemoryBlock(50); } 
int main() 
{ 
  MemoryBlock a = f();      // 调用移动构造器，移动语义 
  MemoryBlock b = a;       // 调用拷贝构造器，拷贝语义 
  MemoryBlock c = std::move(a);  // 调用移动构造器，移动语义 
  a = f();            // 调用移动赋值运算符，移动语义 
  b = a;             // 调用拷贝赋值运算符，拷贝语义 
  c = std::move(a);        // 调用移动赋值运算符，移动语义 
} 

struct X {}; 
X&& var1 = X();              // var1是右值引用，只能绑定右值X() 
auto&& var2 = var1;            // var2是转发型引用，可以绑定左值var1 
                      // var2的实际类型等同于左值var1，即X& 
auto&& var3 = X();             // var3是转发型引用，可以绑定右值X() 
                      // var3的实际类型等同于右值X()，即X&& 
template<typename T> 
void g(std::vector<typename T>&& param1); // param1是右值引用 
template<typename T> 
void f(T&& param2);            // param2是转发型引用 
X a; 
f(a);        // 模板函数f()的形参param2是转发型引用，可以绑定左值a 
           // 在此次调用中模板参数T将被推导为引用类型X& 
           // 而形参param2的实际类型将等同于左值a，即X& 
f(X());       // 模板函数f()的形参param2是转发型引用，可以绑定右值X() 
           // 在此次调用中模板参数T将被推导为非引用类型X 
           // 而形参param2的实际类型将等同于右值X()，即X&& 
// 更多右值引用和转发型引用 
const auto&& var4 = 10;              // 右值引用 
template<typename T> 
void h(const T&& param1);             // 右值引用 
template <typename T/*, class Allocator = allocator*/> 
class vector 
{ 
public: 
  void push_back( T&& t );           // 右值引用 
  template <typename Args...> 
  void emplace_back( Args&&... args );     // 转发型引用 
}; 

#include<iostream> 
using namespace std; 
struct X {}; 
void inner(const X&) {cout << "inner(const X&)" << endl;} 
void inner(X&&) {cout << "inner(X&&)" << endl;} 
template<typename T> 
void outer(T&& t) {inner(t);} 
int main() 
{ 
  X a; 
  outer(a); 
  outer(X()); 
} 
//inner(const X&) 
//inner(const X&) 
std::forward()

#include<iostream> 
using namespace std; 
struct X {}; 
void inner(const X&) {cout << "inner(const X&)" << endl;} 
void inner(X&&) {cout << "inner(X&&)" << endl;} 
template<typename T> 
void outer(T&& t) {inner(forward<T>(t));} 
int main() 
{ 
  X a; 
  outer(a); 
  outer(X()); 
} 
//inner(const X&) 
//inner(X&&)