Copy and Swapを読んでいました。

Copy Elision のいくつかのリンクを読んでみましたが、それが何を意味するのかを正しく理解できませんでした。誰かがこの最適化とは何か、特に次のテキストの意味を説明してもらえますか

これは単なる利便性の問題ではなく、実際には最適化です。パラメーターが左辺値 (別の非 const オブジェクト) にバインドされている場合、パラメーターの作成中にオブジェクトのコピーが自動的に作成されます。ただし、s が右辺値 (一時オブジェクト、リテラル) にバインドされている場合、通常、コピーは省略され、コピー コンストラクターとデストラクターへの呼び出しが節約されます。パラメーターが const 参照として受け入れられる代入演算子の以前のバージョンでは、参照が右辺値にバインドされている場合、コピー省略は発生しません。これにより、追加のオブジェクトが作成および破棄されます。

このイディオムは何ですか? また、いつ使用する必要がありますか? どの問題を解決しますか? C++11を使うとイディオムが変わる？

あちこちで言及されていますが、「それは何ですか」という単一の質問と回答がなかったので、ここにあります。以前に言及された場所の部分的なリストを次に示します。

• お気に入りの C++ コーディング スタイルのイディオムは何ですか: コピー スワップ
• C ++でコンストラクターと=演算子のオーバーロードをコピーします:共通関数は可能ですか?
• コピー省略とは何か、コピー アンド スワップ イディオムを最適化する方法
• C++:オブジェクトの配列を動的に割り当てますか?

copy-and-swap-idiomに対する美しい答えには、少し助けが必要なコードがあります。

そして彼はメモを追加します

std::swap を型に特化し、フリー関数スワップと一緒にクラス内スワップを提供する必要があるという主張は他にもあります。 、そして私たちの機能はADLを通して見つけられます。1つの機能で十分です。

friend私は「不親切」な言葉を少し使っているので、認めなければなりません。だから、私の主な質問は次のとおりです。

• 無料の関数のように見えますが、クラス本体の中にありますか?
• なぜこれはswap静的ではないのですか? 明らかに、メンバー変数は使用しません。
• 「スワップを適切に使用すると、ADL を介してスワップが検出されます」 ? ADL は名前空間を検索しますよね? しかし、それはクラスの中にも見えますか? それとも入ってくるのはここfriendですか？

補足質問:

• C++11 では、swaps を でマークする必要がありnoexceptますか?
• C++11 とそのrange-forfriend iter begin()では、friend iter end()同じようにクラス内に配置する必要がありますか? ここでは必要ないと思いますfriendよね？

私は c++ を学んでおり、最近 (ここではスタック オーバーフローで) コピー アンド スワップ イディオムについて学びましたが、それについていくつか質問があります。たとえば、コピー アンド スワップ イディオムを使用する次のクラスがあるとします。

私の質問は、データとして Foo オブジェクトを持つが、カスタムのコピーや割り当てが必要なポインターやその他のリソースを持たない別のクラスがあるとします。

今、私は一連の質問があります：

1. クラスに対して上記で実装されたメソッドとコンストラクターはBar安全ですか? コピーアンドスワップを使用してFoo、割り当てまたはコピー時に害がないようにしBarますか?

2. コピーコンストラクターとスワップで引数を参照渡しすることは必須ですか?

3. の引数がoperator=値渡しされると、この引数に対してコピー コンストラクターが呼び出されて、オブジェクトの一時的なコピーが生成され、次に と交換されるのはこのコピーであると言うのは正しい*thisでしょうか? 参照で渡した場合operator=、大きな問題が発生しますよね？

4. このイディオムがコピーと代入で完全な安全性を提供できない状況はありFooますか?

たとえば、stdlibc++ には次のものがあります。

2 つの __u メンバーを *this に直接割り当てないのはなぜですか? スワップは __u に *this メンバーが割り当てられていることを意味しませんか?後で 0 と false を割り当てただけです...その場合、スワップは不要な作業を行っています。私は何が欠けていますか？(unique_lock::swap は、各メンバーで std::swap を実行するだけです)

私のようなクラスがある場合

コピーコンストラクターがない場合は、operator = by valueとswapを実装するのは理にかなっていますか？クラスのオブジェクトのコピーを防ぐ必要Fooがありますが、移動は許可します。

このクラスはコピーできないので、構成をコピーしたり、コピーして割り当てたりすることはできません。

編集

私はこれで私のコードをテストしました、そしてそれは私が望む振る舞いをしているようです。

コピーアンドスワップのイディオムを再利用可能なミックスインに入れようとしています:

CRTP経由で混合するつもりです：

ただし、簡単なテストでは、機能していないことが示されています。

これは「デフォルト」を 2 回出力するだけで、「コピー」も「スワップ」も出力されません。ここで何が欠けていますか？

ここで提案されているように、コピーアンドスワップイディオムを実装しようとしたテンプレートクラスを使用すると、リンカーエラーが発生します。

コピーアンドスワップのイディオムとは何ですか？

テンプレートクラスを「TemplateClass」と呼びましょう。部分的に次のように定義されています。

.hファイルに含まれている別のTemplateClass.cppに実装を配置しました。（編集：すべてが.hファイルにある場合、同じ問題が発生します）

代入演算子は次のように定義されます。

スワップ方法は次のように定義されます。

（心配しないでください、私は実際に私のメンバーに「member1」などの名前を付けません）

同じように定義された同様のクラスがありますが、テンプレートクラスではありません。ここではすべてが正常に機能します。TestClassただし、メンバーを持つクラスがありTemplateClass< HandledClass > member、そのメソッドの1つで次のような呼び出しを行う場合

未解決の外部エラーが発生します：

LNK2019：関数 "public：class TemplateClass X＆__ thiscall TemplateClass X :: operator =（class TemplateClass）"（...）の未解決の外部シンボル "void __cdecl swap（class TemplateClass＆、class TemplateClass＆）"（...） TestClass.obj内

または言い換えると、TestClass呼び出しTemplateClass<HandledClass>::operator=で何かが見つからないvoid swap( TemplateClass<HandledClass>, TemplateClass<HandledClass> )。

だから私の質問は：なぜオペレーターはスワップメソッドを見つけられないのですか？

テンプレート引数用にコンパイルされていないようです。コンパイラにフレンドボイドもコンパイルさせることはどういうわけか可能ですか？

私はおそらくfriend voidアプローチを捨てて、クラス内のスワップメソッドとクラス外のスワップメソッドとstd名前空間の1つを定義することができますが、それがそのように機能するかどうかはわかりません。とにかく可能です。

解決：

これは仕事をしました：

<T>オカレンスも削除する必要があることに注意してください。

OK、それで私はすべてコピーアンドスワップのイディオムで売られており、私はそれを実装する方法をほとんど知っていると思います。

ただし、またはコードベースはMFCのCStringクラスを文字列として使用するため、これは変更されません。

swapしなければならない（すべきか???）ので、私はできません

これにより、スローされる可能性のある一時的なCStringオブジェクトが作成されます。（それに加えて、その非効率的です。）

だから私はどこに残っているのですか？トライキャッチを追加する必要がありますか？これ（非常にまれですが）のメモリ不足状態で例外を発生させ、スワップを失敗させることを実際に許可する必要がありますか？

CStringsの実装を見ると、スワッピングを可能にするメンバーまたは関数がないようです...