新しい変数を導入して戻り値の最適化を無効にしますか？

Question

我々は、すべてのFooのコピーコンストラクタが副作用を持っている場合でも値のコピーが取られないように

Foo returnAFoo() 
{ 
    return Foo(); 
} 

が戻り値の最適化でコンパイルされますことを知っています。しかしwill

Foo returnAFoo() 
{ 
    Foo f = Foo(); 
    return f; 
} 

too？ 2番目の構文は、デバッグ時に役立ちます。しかし、私はそうすることで重要な最適化を捨てていますか？おそらく私は明示的な移動コンストラクタを書く必要がありますか？

Answer 1

いいえ、ここでもコピーエリシジョンを適用できます。この特定のケースでは、NRVO（戻り値最適化）と呼ばれます。コピー・エリジョンを実行するための移動コンストラクタは必要ありません。 copy elisionは、コピーコンストラクタのみを持っていたC++ 98/03以降、標準になっています。

すべてのコードパスが同じオブジェクト（NRVO）を返すか、すべてのコードパスが一時オブジェクト（RVO）を返すかを確認する必要があります。

同じ関数内でNRVOとRVOを混在させて一致させると、最適化を適用するのが難しくなります。

---

Sample code NRVOを示す。