C++でコンストラクタと=演算子のオーバーロードをコピーする：一般的な関数は可能ですか？

Question

コピーコンストラクター

MyClass(const MyClass&); 

と=演算子オーバーロード

MyClass& operator = (const MyClass&); 

は同じコードを持ち、同じパラメーターを持ち、戻り値が異なるだけで、共通の関数それらの両方のために使用する？

Answer 1

はい。一般的な選択肢は2つあります。 1 - 私はお勧めしません - 明示的にコピーコンストラクタからoperator=を呼び出すことです：

MyClass(const MyClass& other) 
{ 
    operator=(other); 
} 

しかし、それは古い状態と自己に起因する問題を扱うことになると良いoperator=を提供することが課題となっています割り当て。また、すべてのメンバーとベースは、otherに割り当てられていても、最初にデフォルトで初期化されます。これは、すべてのメンバーと拠点にとって有効ではないかもしれませんし、有効であってもそれは意味的に冗長であり、事実上高価かもしれません。

コピーコンストラクタとスワップメソッドを使用してoperator=を実装することがますます普及しています。

MyClass& operator=(const MyClass& other) 
{ 
    MyClass tmp(other); 
    swap(tmp); 
    return *this; 
} 

かさえ：

MyClass& operator=(MyClass other) 
{ 
    swap(other); 
    return *this; 
} 

swap機能はそれだけで内部の所有権を交換し、既存の状態をクリーンアップしたり、新しいリソースを割り当てる必要がないとして書き込むことが一般的に簡単です。

コピーとスワップイディオムの利点は、自動的に自己割り当て安全であることと、スワップ操作がノースローであることを前提とすることです。

例外的に安全であるためには、手作業で書かれた代入演算子は、通常、新しいリソースの割り当てが発生した場合に古いリソースを割り当てることができるように、譲受人の古いリソースを割り当て解除する前に新しいリソースのコピーを割り当てる必要があります。まだ返されます。これらはすべて、コピーアンドスワップで無料で提供されますが、通常はより複雑で、したがってエラーが発生しやすく、最初からやり直す必要があります。

スワップメソッドが真のスワップであり、コピーコンストラクタと代入演算子自体を使用するデフォルトのstd::swapではなく、注意してください。

通常、メンバーワーカーswapが使用されます。 std::swapが動作し、すべての基本タイプとポインタタイプで「ノースロー」が保証されています。ほとんどのスマートポインタは、ノースロー保証でスワップすることもできます。

Answer 2

コピーコンストラクタは、以前は生のメモリであったオブジェクトの初期化を行います。代入演算子OTOHは、既存の値を新しいもので上書きします。これは、しばしば、古いリソース（たとえばメモリ）を破棄し、新しいリソースを割り当てることです。

2つの間に類似点がある場合は、代入演算子が破壊とコピー構築を実行することです。いくつかの開発者は、インプレース破棄とそれに続く配置コピー構築による割り当てを実際に実装していました。しかし、これは非常にの悪い考えです。（何この場合は、派生クラスの割り当て時に呼ばれる基本クラスの代入演算子のですか？）通常、今日チャールズとしてswapを使用している標準的なイディオムと考えられています何

が提案：

は

MyClass& operator=(MyClass other) 
{ 
    swap(other); 
    return *this; 
} 

これはコピーを使用しています破壊の前に構築（失敗するかもしれない）する必要があります（失敗しないでください）。

Answer 3

何かがについての私を気に：私の心は、「コピー」を考えているとき、単語「スワップ」を読んで、

MyClass& operator=(const MyClass& other) 
{ 
    MyClass tmp(other); 
    swap(tmp); 
    return *this; 
} 

まず、私の常識を刺激します。また、私はこの空想的なトリックの目標に疑問を呈します。はい、新しい（コピーされた）リソースを構築する際の例外はスワップの前に起こるはずです。これは新しいデータがすべてライブになる前に満たされていることを確認する安全な方法のようです。

これは問題ありません。だから、スワップ後に起こる例外はどうですか？ （一時オブジェクトが有効範囲外になったときに古いリソースが破棄された場合）割り当てのユーザーの観点から、操作は失敗しましたが、失敗しました。それは巨大な副作用があります：コピーは実際に起こりました。失敗したのはリソースのクリーンアップだけでした。外部から操作が失敗したように見えても、宛先オブジェクトの状態は変更されています。

だから、私の代わりに、より自然な「転送」を行うには、「スワップ」の提案：

MyClass& operator=(const MyClass& other) 
{ 
    MyClass tmp(other); 
    transfer(tmp); 
    return *this; 
} 

あり、一時的なオブジェクトの構築はまだだが、次の即時アクションは、すべての現在のリソースを解放することです移動前の宛先（およびNULLにすることで、二重解放されないようにする）、ソースのリソースを移動します。

{construct、move、destruct}ではなく、{construct、destruct、move}を提案します。最も危険な行動であるこの動きは、他のすべてが解決された後に最後に取られたものである。

はい、どちらの方式でも破壊には問題があります。データが壊れている（あなたがそれとは思わなかったときにコピーされた）か、紛失していた（あなたがそうは思わなかったときに解放された）。失われたものは壊れたものよりも優れています。悪いデータよりも優れたデータはありません。

スワップの代わりに転送。それはとにかく私の提案です。