右值引用（及其支持的Move語意和完美轉發）是C++0x將要加入的最重大語言特性之一，這點從該特性的提案在C++ - State of the Evolution列表上高居榜首也可以看得出來。
從實踐角度講，它能夠完美解決C++中長久以來為人所詬病的臨時對象效率問題。從語言本身講，它健全了C++中的引用類型在左值右值方面的缺陷。從庫設計者的角度講，它給庫設計者又帶來了一把利器。從庫使用者的角度講，不動一兵一卒便可以獲得“免費的”效率提升…
在標準C++語言中，臨時量（術語為右值，因其出現在賦值表達式的右邊）可以被傳給函數，但只能被接受為const &類型。這樣函數便無法區分傳給const &的是真實的右值還是常規變量。而且，由于類型為const &，函數也無法改變所傳對象的值。C++0x將增加一種名為右值引用的新的引用類型，記作typename &&。這種類型可以被接受為非const值，從而允許改變其值。這種改變將允許某些對象創建轉移語義。比如，一個std::vector，就其內部實現而言，是一個C式數組的封裝。如果需要創建vector臨時量或者從函數中返回vector，那就只能通過創建一個新的vector并拷貝所有存于右值中的數據來存儲數據。之后這個臨時的vector則會被銷毀，同時刪除其包含的數據。有了右值引用，一個參數為指向某個vector的右值引用的std::vector的轉移構造器就能夠簡單地將該右值中C式數組的指針復制到新的vector，然后將該右值清空。這里沒有數組拷貝，并且銷毀被清空的右值也不會銷毀保存數據的內存。返回vector的函數現在只需要返回一個std::vector<>&&。如果vector沒有轉移構造器，那么結果會像以前一樣：用std::vector<> &參數調用它的拷貝構造器。如果vector確實具有轉移構造器，那么轉移構造器就會被調用，從而避免大量的內存分配。
一. 定義
通常意義上，在C++中，可取地址，有名字的即為左值。不可取地址，沒有名字的為右值。右值主要包括字面量，函數返回的臨時變量值，表達式臨時值等。右值引用即為對右值進行引用的類型，在C++98中的引用稱為左值引用。
如有以下類和函數:
class A{private: int* _p;};A ReturnValue(){ return A();} A& a = ReturnValue(); // error: non-const lvalue reference to type 'A' cannot bind to a temporary of type 'A' const A& a2 = ReturnValue(); // ok
A&& a3 = ReturnValue();
二. 移動語義
右值引用可以引用并修改右值，但是通常情況下，修改一個臨時值是沒有意義的。然而在對臨時值進行拷貝時，我們可以通過右值引用來將臨時值內部的資源移為己用，從而避免了資源的拷貝：
#include<iostream>class A{public: A(int a) :_p(new int(a)) { } // 移動構造函數 移動語義 A(A&& rhs) : _p(rhs._p) { // 將臨時值資源置空 避免多次釋放 現在資源的歸屬權已經轉移 rhs._p = nullptr; std::cout<<"Move Constructor"<<std::endl; } // 拷貝構造函數 復制語義 A(const A& rhs) : _p(new int(*rhs._p)) { std::cout<<"Copy Constructor"<<std::endl; } private: int* _p;};A ReturnValue() { return A(5); }int main(){ A a = ReturnValue(); return 0;} 運行該代碼，發現Move Constructor被調用(在g++中會對返回值進行優化，不會有任何輸出。可以通過-fno-elide-constructors關閉這個選項)。在用右值構造對象時，編譯器會調用A(A&& rhs)形式的移動構造函數，在移動構造函數中，你可以實現自己的移動語義，這里將臨時對象中_p指向內存直接移為己用，避免了資源拷貝。當資源非常大或構造非常耗時時，效率提升將非常明顯。如果A沒有定義移動構造函數，那么像在C++98中那樣，將調用拷貝構造函數，執行拷貝語義。移動不成，還可以拷貝。
std::move：
C++11提供一個函數std::move()來將一個左值強制轉化為右值：
A a1(5);A a2 = std::move(a1);
std::move乍一看沒什么用。它主要用在兩個地方：
- 幫助更好地實現移動語義
- 實現完美轉發(下面會提到)
考慮如下代碼：
class B{public: B(B&& rhs) : _pb(rhs._pb) { // how can i move rhs._a to this->_a ? rhs._pb = nullptr; }private: A _a; int * pb;} 這一點在后面的完美轉發還會提到。現在我們可以用std::move來將rhs._a轉換為右值：_a(std::move(rhs._a))，這樣將調用A的移動構造。實現移動語義。當然這里我們確信rhs._a之后不會在使用，因為rhs即將被釋放。
三. 完美轉發
如果僅僅為了實現移動語義，右值引用是沒有必要被提出來的，因為我們在調用函數時，可以通過傳引用的方式來避免臨時值的生成，盡管代碼不是那么直觀，但效率比使用右值引用只高不低。
右值引用的另一個作用是完美轉發，完美轉發出現在泛型編程中，將模板函數參數傳遞給該函數調用的下一個模板函數。如：
template<typename T>void Forward(T t){ Do(t);} 考慮到避免拷貝，我們可以傳遞引用，形如Forward(T& t)，但是這種形式的Forward并不能接收右值作為參數，如Forward(5)。因為非常量左值不能綁定到右值。考慮常量左值引用：Forward(const T& t)，這種形式的Forward能夠接收任何類型(常量左值引用是萬能引用)，但是由于加上了常量修飾符，因此無法正確轉發非常量左值引用：
void Do(int& i){ // do something...}template<typename T>void Forward(const T& t){ Do(t);}int main(){ int a = 8; Forward(a); // error. 'void Do(int&)' : cannot convert argument 1 from 'const int' to 'int&' return 0;} 基于這種情況， 我們可以對Forward的參數進行const重載，即可正確傳遞左值引用。但是當Do函數參數為右值引用時，Forward(5)仍然不能正確傳遞，因為Forward中的參數都是左值引用。
下面介紹在 C++11 中的解決方案。
PS：引用折疊
C++11引入了引用折疊規則，結合右值引用來解決完美轉發問題：
typedef const int T;typedef T& TR;TR& v = 1; // 在C++11中 v的實際類型為 const int&
T& + & = T&T& + && = T&T&& + & = T&T&& + && = T&&
再談轉發
那么上面的引用折疊規則，對完美轉發有什么用呢？我們注意到，對于T&&類型，它和左值引用折疊為左值引用，和右值引用折疊為右值引用。基于這種特性，我們可以用 T&& 作為我們的轉發函數模板參數：
template<typename T>void Forward(T&& t){ Do(static_cast<T&&>(t));} 當傳入左值引用 X& 時：
void Forward(X& && t){ Do(static_cast<X& &&>(t));} void Forward(X& t){ Do(static_cast<X&>(t));} void Forward(X&& && t){ Do(static_cast<X&& &&>(t));} void Forward(X&& t){ Do(static_cast<X&&>(t));} 在C++11中，static_cast<T&&>(t) 可以通過 std::forward<T>(t) 來替代，std::forward是C++11用于實現完美轉發的一個函數，它和std::move一樣，都通過static_cast來實現。我們的Forward函數最終變成了：
template<typename T>void Forward(T&& t){ Do(std::forward<T>(t));} #include<iostream>using namespace std;void Do(int& i) { cout << "左值引用" << endl; }void Do(int&& i) { cout << "右值引用" << endl; }void Do(const int& i) { cout << "常量左值引用" << endl; }void Do(const int&& i) { cout << "常量右值引用" << endl; }template<typename T>void PerfectForward(T&& t){ Do(forward<T>(t)); }int main(){ int a; const int b; PerfectForward(a); // 左值引用 PerfectForward(move(a)); // 右值引用 PerfectForward(b); // 常量左值引用 PerfectForward(move(b)); // 常量右值引用 return 0;} 四. 附注
左值和左值引用，右值和右值引用都是同一個東西，引用不是一個新的類型，僅僅是一個別名。這一點對于理解模板推導很重要。對于以下兩個函數
template<typename T>void Fun(T t){ // do something...}template<typename T>void Fun(T& t){ // do otherthing...} Fun(T t)和Fun(T& t)他們都能接受左值(引用)，它們的區別在于對參數作不同的語義，前者執行拷貝語義，后者只是取個新的別名。因此調用Fun(a)編譯器會報錯，因為它不知道你要對a執行何種語義。另外，對于Fun(T t)來說，由于它執行拷貝語義，因此它還能接受右值。因此調用Fun(5)不會報錯，因為左值引用無法引用到右值，因此只有Fun(T t)能執行拷貝。
最后，附上VS中 std::move 和 std::forward 的源碼:
// movetemplate<class _Ty> inline typename remove_reference<_Ty>::type&& move(_Ty&& _Arg) _NOEXCEPT{ return ((typename remove_reference<_Ty>::type&&)_Arg);}// forwardtemplate<class _Ty> inline _Ty&& forward(typename remove_reference<_Ty>::type& _Arg){ // forward an lvalue return (static_cast<_Ty&&>(_Arg));}template<class _Ty> inline _Ty&& forward(typename remove_reference<_Ty>::type&& _Arg) _NOEXCEPT{ // forward anything static_assert(!is_lvalue_reference<_Ty>::value, "bad forward call"); return (static_cast<_Ty&&>(_Arg));} 
