右值引用

傳統的C++引用（左值引用）使得識別符號關聯到左值。左值是一個表示資料的表示式（如變數名或解除引用的指標），程式可以獲得其地址。
C++11新增了右值引用。右值引用，顧名思義，可以關聯到右值，即——可以出現在賦值表示式的右邊，但不能對其應用地址運算子的值。
右值包括字面常量（C風格字串除外，它表示地址）。諸如x+y等表示式以及返回值的函式（條件是該函式返回的不是引用）。
右值引用用符號&&表示。如：

int x = 10, y = 23;
int & r = x + y;//非法，編譯器報錯
int && r2 = x + y;//合法
double
 
 && r3 = std::sqrt(2.0);

將右值關聯到右值引用導致該右值被儲存到特定的位置，且可以獲取該位置的地址。也就是說，雖然不能將運算子&用於12或者(x + y)，但可以將其用於r1。通過將資料與特定的地址關聯，使得可以通過右值引用來訪問該資料。

但其實這不是C++11引入右值引用的主要原因。

移動語義

有些函式，表示式的執行會創建出臨時物件，在臨時物件即將被銷燬的時候，將字元，類物件等變數留在原來的地方，不去刪除它們，而是改變它們的所有權，使得它們仍然儲存在原來的地址上，但擺脫了臨時物件的身份，這種方法被稱為移動語義。

例如有一個函式返回一個臨時變數，此時編譯器做的工作就是，建立一個該臨時物件的副本，然後將臨時物件銷燬，再將該臨時物件的副本賦值給一個普通物件，然後銷燬該副本。而移動語義的做法是：直接將臨時物件的所有權交給該普通物件。

其實移動語義實際上避免了移動原始資料，而只是修改了記錄而已。

用右值引用實現移動語義

要實現移動語義，需要採取某種方式，讓編譯器知道什麼時候需要複製，什麼時候不需要。這就是右值引用發揮作用的地方。

對於類來說，可以定義一個移動建構函式。與常規的複製建構函式（使用左值引用，而且一般宣告為const）不同，移動建構函式使用右值引用作為引數，該引用關聯到右值實參。而且不同與複製建構函式可執行的深複製，移動建構函式只是調整記錄。在將所有權轉移轉移給新物件的過程中，移動建構函式可能修改其實參，這意味著右值引用引數不應是const。

下面舉例說明移動建構函式的用法及其與複製建構函式的區別：

//為了偷懶，程式只列出了兩個建構函式的具體定義並說明他們的區別
#include "iostream"
using namespace std;

class example{
 private:
    int n;      //number of elements
    char * pc;  //pointer to data
 public:
    example();
    explicit example(int k);
    example(int k, char ch);
    //copy constructor
    example(const example & f): n(f.n) {
        pc = new char[n];
        for (int i = 0; i < n; ++i)
            pc[i] = f.pc[i];
    }
    //move constructor
    example(example && f) : n(f.n) {
        pc = f.pc;
        f.pc = nullptr; //c++11
        f.n = 0;
    }
    ~example();
};

下面語句使用的是複製建構函式，它執行深複製：

example two = one;  //引用f指向左值物件one

下面語句使用的是移動建構函式：

example three (one + two);

在移動建構函式的定義中，它讓pc指向現有的資料，以獲取這些資料的所有權。此時，因為如果pc和f.pc指向相同的詩句，呼叫解構函式時將帶來麻煩，因為程式不能對同一個地址呼叫兩次delete []。所以該建構函式隨後將原來的指標設定為空指標。這也是不宣告為const的原因。
這種奪取所有權的方式成為竊取。

簡而言之，實現移動語義的兩個步驟：使用右值引用告訴編譯器什麼時候可使用移動語義和編寫移動建構函式以提供所需的行為。

所以，通過提供一個使用左值引用的複製建構函式和一個使用右值引用的建構函式，兩個建構函式將初始化分成了兩組。
使用左值物件初始化物件時，將使用複製建構函式，而使用右值物件初始化物件時，將使用移動建構函式。
程式設計師可根據需要賦予這些建構函式不同的行為。

當然，適用於建構函式的移動語義考慮也適用於賦值運算子。如

example & example::operator=(example && f) {
    if (this == &f) return *this;
    delete []pc;
    n = f.n;
    pc = f.pc;
    f.n = 0;
    f.pc = nullptr; //C++11
    return *this;
}

移動賦值運算子刪除目標物件中的原始資料，並將源物件的所有權轉讓給目標。

強制移動：

假設one two是兩個類物件，下面的語句將呼叫賦值運算子：

one = two;

但是如果不想呼叫複製運算子而是想直接使用移動語義呢？

c++11提供了標頭檔案utility中的move函式來進行轉換：

#include<utility>
one = std::move(two);

請注意：能這樣做的前提是已經定義了移動賦值運算子。