強制的にコピーを削除しますか？ gcc 5.4.1

Question

私は現在、ファクトリ関数のパターンを実装できるようにするために、C++とcopy elision、特に「名前付き戻り値最適化」（NRVO）と苦労しています。異なるコンパイラ間で一貫した動作を得ることができません。注：virtual base-dtorを削除すると問題は解決しますが、実際の実装には必要です。

デストラクタが呼び出されたGCC 5.4.0の場合は、何のコピーの省略が行われていない：

$ g++ test2.cpp && ./a.out 
start 
dtor derived 
dtor base 
done. should have leaked! 

のgcc 5.4.1を使用している場合（Ubuntuは5.4.1、それを呼び出し、私は、これはSVN-頭であると仮定）、私は様々な他のGCCの上だけでなく、私の手を得ることができ、すべてのclangsがエリジオンを実行し、正常にメモリリーク：私はinternetz間で異なる場所を読んで

$ g++ test2.cpp && ./a.out 
start 
done. should have leaked! 

、コンパイラはは、コピーを行うこと許可されていますelision（必須ではありません）。 C++ 17のみ保証付きコピーelisionを導入しています。これはgcc 5.4.0のバグですか、それとも単に標準を違う方法で実装しているのですか？

Answer 1

コピーelisionは、C++ 17までのオプションの最適化であり、場合によってはC++ 17でも必須です。私が覚えている限り、（N）RVOのコピーエリートはC++でも必須ではありません - 唯一必須のコピーエリシジョンのケースは一時的な初期化です。

（N）RVOはプログラムの動作を決して変更してはならず、プログラムが正常に機能するためには必要ありません。あなたはそれが（N）RVOにかかわらず、正常に動作するようにあなたのコードを書き、単に速いとき/ IF（N）RVOキックで動作する必要があります。

は、GCC 5.4.0の場合

Answer 2

デストラクタがあります呼ばれる、全くコピーの省略は実行されません。

start 
dtor derived 
dtor base 
done. should have leaked! 

実は、エリジオンはを行ったコピー。そうでなければあなたは見たでしょう

start 
dtor derived 
dtor base 
dtor derived 
dtor base 
done. should have leaked! 

ここでは、2つの機会があります。 1つはfのRVO（NRVOではなく、通常の名前のないRVOであることに注意してください）ともう1つは一時的なものから*derivedのコピー構成です。 GCC 5.4.0は、可能なコピーの1つを実行しました。

すべて...エリジオンを実行しても正常にderivedが指すメモリをリークし、正常メモリ

にGCC 5.4.0を漏らします。他のコンパイラは、5.4.0が作成し、その後破棄した一時ファイルを作成しませんでした。

私はinternetz間で異なる場所を読んで、コンパイラは、コピーの省略を行うことが許可されますがを必要とされていません。

正しい。

だから、これはGCC 5.4.0

号にバグで常にコピーの省略を実装していないコンパイラは、標準に準拠しています。あなたの質問から私の前の引用のハイライト部分を見てください。