std :: move returnステートメント

Question

私は、std::moveを返信文for exampleに書くことは絶対に注意してきました。いくつかのエッジケースを除いて、for example。

私は次のような別の簡単な例があります：std::moveが価値があるかもしれないと思います。しかし、私はなぜ、将来のC++でそれが変わるのか分からないのですか？

#include <iostream> 

struct A 
{ 
}; 

struct C 
{ 
}; 

struct B 
{ 
    B(const A&, const C&) { std::cout << "B was copied\n"; } 
    B(A&&, C&&) { std::cout << "B was moved\n"; } 
}; 

B f() 
{ 
    A a; 
    C c; 
    //return {a, c}; // Gives "B was copied" 
    return {std::move(a), std::move(c)}; // Gives "B was moved" 
} 

int main() { 
    f(); 
    return 0; 
} 

Answer 1

return {std::move(a), std::move(c)} 

あなたは基本的にB::B(A&&, C&&)代わりのバージョンconst&参照を取っを呼び出している

return B{std::move(a), std::move(c)} 

に相当します。これは戻り値の移動とは関係ありません。

この関数の戻り値はの一時的なインスタンスで、のprvalueです。それはC++ 17、それは"guaranteed copy elision"から恩恵を受けるでしょう。 C++ 17の前には、RVOdまたはターゲットに移動します。