C++ Primer 筆記——理解std::move

標籤：string   bsp   執行個體化   typename   color   筆記   過程   資料   使用   

標準庫move函數是使用右值引用的模板的一個很好的例子。標準庫是這樣定義std::move的：

template <typename T>typename remove_reference<T>::type&& move(T&& t){    return static_cast<typename remove_reference<T>::type&&>(t);}

 

我們考慮如下代碼的工作過程：

std::string s1("hi"), s2;s2 = std::move(string("hi"));    // 正確，從一個右值移動資料s2 = std::move(s1);                // 正確，但是在賦值之後，s1的值是不確定的

在第一個賦值中，實參是string類型的右值，因此過程為：

• 推斷T的類型為 string
• remove_reference<string> 的 type 成員是 string
• move 傳回型別是 string&&
• move 的函數參數t的類型為 string&&

因此，這個調用執行個體化 move<string>，即函數

string&& move(string &&t)

在第二個賦值中，實參是一個左值，因此：

• 推斷T的類型為 string&
• remove_reference<string&> 的 type 成員是 string
• move 傳回型別是 string&&
• move 的函數參數t的類型為 string& &&，會摺疊成 string&

因此，這個調用執行個體化 move<string&>，即

string&& move(string &t)

 

　　通常情況下，static_cast 只能用於其他合法的類型轉換。但是有一條針對右值的特許規則：雖然不能隱式的將一個左值轉換成右值引用，但我們可以用static_cast顯示的將一個左值轉換為一個右值。

 

C++ Primer 筆記——理解std::move