戻り値の最適化 - - C++デストラクタは

Question

次のコードは、デストラクタ4回呼び出して呼び出しますか？ 私は3つのデストラクタコールしかないはずだと考えていました。

Answer 1

コンパイラは最適化しませんでした。最適化を有効にしてコンパイルしましたか？ main()で2つのオブジェクトがあります

A 
A 
F 
A 
~A 
~A 
~A 

Answer 2

ので、デストラクタは、という理由だけで、それらの回呼び出されます。ここでは

は、同じコードの出力、gccでコンパイルされています。 f()のオブジェクトの1つで、デストラクタは という1つで、と呼ばれます。合計3回（期待通りですが、読み込み中...）

fから戻ったときに作成される一時オブジェクトに対して4回目のデストラクタが呼び出されました。これは、RVOがまったくない場合にのみ発生します。 RVOはコンパイラの選択です。つまり、コンパイラが最適化するか、コンパイルできない可能性があります。この言語はRVOの保証をしません。

とにかく、最適化レベルを上げてください。あなたは3つのデストラクタ呼び出ししか見ることはできません。

Answer 3

RVOを使用することはできません。そのため、デストラクタやコピーコンストラクタ内に関数ロジックを置くべきではありません（そうです、それらも省略できます）。

戻り値の最適化は、標準で許可されているものですが、強制しません。

最適化やO2を使用しないと、私も4つのデストラクタ呼び出しを取得します。あなたが機能f()から戻っているときに、オブジェクトbの一時的なコピーが作成されます。完全な最適化と

- - 牛私は3

Answer 4

Aのインスタンスの1つの隠れ創造と破壊がありますを取得します。それはbに割り当てられ、main()になり、その後破棄されます。

Answer 5

fのローカル変数は、関数が戻るときに一時変数にコピーされます。そのため、4つのデストラクタ呼び出しがあります。 （コピー操作は、コピーコンストラクタA(A&)なく、あなたのデフォルトコンストラクタA()、それ故に3 A秒を呼び出します。）

Answer 6

メインで2つのオブジェクトがありますA a,b;、1つの目的は、機能f()のボディに：A b;、その後、一時オブジェクトそれがありますがコピーされ、そのコピーがbに格納されています。

関数の本体にbを返すと、最初にコピーが作成された後、ローカルbが破壊され、copyが変数bに割り当てられ、このコピーが破棄されます。

クラスA定義に次の行を追加して、自分自身を参照してください。コンパイラは、冗長コピーコンストラクタを排除しようとデストラクタが機能f()からローカルbが割り当てられることを意味しを呼び出しNamed Return Value Optimizationで

A(const A&) { cout << "copying" << endl; } 

を、コピーを作成せずにメインの変数bに書き込んでください。したがって、RVO/NRVOでは、3つのオブジェクトしか作成されません。

あなたのケースでRVOせずにこのコピーを破壊避けるためにどのような方法がありますが：

A a; 
A b = a.f(); 

この場合、機能f()の戻り値のコピーが変数bとして作成されて記憶されます。また、アサイメント演算子が呼び出されず、メインには2つのオブジェクト（aおよびb）が返されます。f()が返されます。

これが役に立ちます。