關於C++右值及std::move()的疑問？

std::move 並不是 move，它只是一個cast而已，它可以幫助我們觸發move semantics. 我感覺這或許是C++11中很重要，但是卻又讓人誤解的一個詞。對於std::move，其實現如下：

template&
decltype(auto) move(T param)
{
using ReturnType = remove_reference_t&;
return static_cast&(param);
}


所以，它並未做任何實質的動作，所以你上面的代碼，通過右值引用拿到了str5，但是str5的值根本就沒有丟掉。

那為什麼C++ Primer會有你談到的一句話呢？那是因為std::move常常被用於觸發move constructor和move assignment operator，即move semantics. 而在這裡的行為則會上演類似這樣的場景

string(std::string src)
{
data = src.data;
src.data = nullptr;
}


std::string rr5 = std::string(std::move(str5));


你會發現，如你所願，str5的身體被掏空了。

因為std::move只是將參數轉換為右值引用而已,它從來不會移動什麼.比如說一個簡單的std::move可以實現成這樣:

template &
decltype(auto) move (T param)
{
using ReturnType = remove_reference_t&;
return static_cast& (param);
}


真正的移動操作是在移動構造函數或者移動賦值操作符中發生的:

T (T rhs);
T operator= (T rhs);


std::move的作用只是為了讓調用構造函數的時候告訴編譯器去選擇移動構造函數.

所以只要把

std::string rr5 = std::move(str5);


改成

std::string rr5 = std::move(str5);


就會真的發生移動操作了.

Overview about rvalue references, move semantics and perfect forward

move之後，只是表示該對象已可以被「掏空」，這個過程純屬打了一個語法標記（取了左值的一個右值引用）。

你如果不對它動手動腳，那麼該對象就像什麼都沒發生一樣，正常的析構，死亡。

BigObject foo(int n) {
BigObject localObj;
return std::move(localObj); // bad: DON"T do this
}


其他的答案講了為什麼move不會發生，但是並沒有說為什麼這麼設計。

Foo bar() {
Foo baz;
return baz;
}


或者匿名的臨時變數：

Foo bar, baz;
Foo qux = bar + baz;


bar + baz這個表達式就是右值，複製給qux之後就沒有辦法再被訪問到了，所以這個右值內的資源可以被qux用，只要保證move結束後這個對象是一個合法的狀態，可以安全地被析構即可。

std::string copy = std::move(str5);


這個時候std::move(str5)返回一個str5的右值引用std::string，會強制觸發move語義。在這個語句之後就不要再訪問str5了(你可以，但是我認為這是不好的practice)。但是如果是

std::string rr5 = std::move(str5);


rr5僅僅是str5的一個右值引用，move並沒有發生，所以str5仍然是原來的值。

Foo bar() {
Foo baz;
// ...
return baz;
}


std::string rr5 = std::move(str5);


之後, rr5, lr5所引用的實例都是 str5。

一般情況下，我們使用 str5，當參數：

printf( str5 )

它都不是作為右值引用在用的，std::move(str5) 返回的才是 str5 的右值引用，它僅僅是返回了一個右值引用，並沒有對對象本身做任何事。

對象作為右值引用賦值給另一個對象的時候，賦值時才會觸發移動構造函數，或者移動賦值函數。

移動構造函數僅僅是通過代碼，把一個對象的內容，移動到另一個對象里，原來的對象仍然是完整的，只是好比調用了 clear 被清空了。