左值、右值

在C++11中所有的值必屬於左值、右值兩者之一，右值又可以細分為純右值、將亡值。在C++11中可以取地址的、有名字的就是左值，反之，不能取地址的、沒有名字的就是右值（將亡值或純右值）。舉個例子，int a = b+c, a 就是左值，其有變數名為a，通過&a可以獲取該變數的地址；表示式b+c、函式int func()的返回值是右值，在其被賦值給某一變數前，我們不能通過變數名找到它，＆(b+c)這樣的操作則不會通過編譯。

右值、將亡值

在理解C++11的右值前，先看看C++98中右值的概念：C++98中右值是純右值，純右值指的是臨時變數值、不跟物件關聯的字面量值。臨時變數指的是非引用返回的函式返回值、表示式等，例如函式int func()的返回值，表示式a+b；不跟物件關聯的字面量值，例如true，2，”C”等。

C++11對C++98中的右值進行了擴充。在C++11中右值又分為純右值（prvalue，Pure Rvalue）和將亡值（xvalue，eXpiring Value）。其中純右值的概念等同於我們在C++98標準中右值的概念，指的是臨時變數和不跟物件關聯的字面量值；將亡值則是C++11新增的跟右值引用相關的表示式，這樣表示式通常是將要被移動的物件（移為他用），比如返回右值引用T&&的函式返回值、std::move的返回值，或者轉換為T&&的型別轉換函式的返回值。

將亡值可以理解為通過“盜取”其他變數記憶體空間的方式獲取到的值。在確保其他變數不再被使用、或即將被銷燬時，通過“盜取”的方式可以避免記憶體空間的釋放和分配，能夠延長變數值的生命期。

左值引用、右值引用

左值引用就是對一個左值進行引用的型別。右值引用就是對一個右值進行引用的型別，事實上，由於右值通常不具有名字，我們也只能通過引用的方式找到它的存在。

右值引用和左值引用都是屬於引用型別。無論是宣告一個左值引用還是右值引用，都必須立即進行初始化。而其原因可以理解為是引用型別本身自己並不擁有所繫結物件的記憶體，只是該物件的一個別名。左值引用是具名變數值的別名，而右值引用則是不具名（匿名）變數的別名。

左值引用通常也不能繫結到右值，但常量左值引用是個“萬能”的引用型別。它可以接受非常量左值、常量左值、右值對其進行初始化。不過常量左值所引用的右值在它的“餘生”中只能是隻讀的。相對地，非常量左值只能接受非常量左值對其進行初始化。

int &a = 2;       # 左值引用繫結到右值，編譯失敗

int b = 2;        # 非常量左值
const int &c = b; # 常量左值引用繫結到非常量左值，編譯通過
const int d = 2;  # 常量左值
const int &e = c; # 常量左值引用繫結到常量左值，編譯通過
const int &b =2;  # 常量左值引用繫結到右值，程式設計通過

右值值引用通常不能繫結到任何的左值，要想繫結一個左值到右值引用，通常需要std::move()將左值強制轉換為右值，例如：

int a;
int &&r1 = c;             # 編譯失敗
int &&r2 = std::move(a);  # 編譯通過

下表列出了在C++11中各種引用型別可以引用的值的型別。值得注意的是，只要能夠繫結右值的引用型別，都能夠延長右值的生命期。

參考資料