c++ - そのような最適化は g++ に存在しますか?

Question

次のコードスニペットを検討してください。

list<someClass>& method();
....
list<someClass> test = method();

これはどのような挙動になりますか？このコードは次のようになります:

method() からの戻り値の最適化によって返された someClass インスタンスへの参照を返し、その参照に対して someClass のコピーコンストラクターを実行しますか?
どういうわけかコピーコンストラクターを呼び出さないようにしますか?

具体的には、非常に大きなリストを返すメソッドがあり、戻り値ごとにコピーコンストラクターを呼び出さないようにしたいと考えています。

編集：ええと、申し訳ありませんが、コードは今コンパイルされます...

score 4 · Accepted Answer

このコードはコピーを作成する必要があるため、コピーコンストラクターを呼び出す必要があります。method()関数はオブジェクトへの参照を返し、そのコピーを変数に格納する必要がありますtest。

オブジェクトではなく参照を返すため、戻り値の最適化は必要ありません。

リストのコピーを作成したくない場合はtest、参照を作成できます。

list<someClass>& test = method();

ただし、testは元のリストを参照するため、変更は元のリストにtestも行われ、元のリストが破棄されるたびにtest無効になります (つまり、オブジェクトの有効期間に注意する必要があります)。

score 1 · Accepted Answer

RVOが存在します。ここに当てはまるかどうかはわかりません。とにかく、コピーを最小限に抑える方法の 1 つです。

score 0 · Accepted Answer

リストを someClass に代入することはできません (代入演算子またはコピーコンストラクターをオーバーロードし、返されたリストを使用してコンストラクトをコピーしない限り)。そうしないと、これはコンパイルされません。

score 0 · Accepted Answer

あなたのコードを見ると、リストへの参照を返し、そのコピーを作成することによって、ここで何を達成しようとしているのかを推測するのは困難です。

可能であれば、イテレータをリスト (またはイテレータへの参照) に返すというアイデアを検討してください (リストが関数に対してローカルなものではないことを前提としています)。

4 に答える 4