移動セマンティクスが導入されたので、std :: swapを非推奨にしましたか？

Question

可能性の重複：
Move semantics == custom swap function obsolete?

これはstd::swapはC++ 11でどのように見えるかです：

template<typename T> 
void swap(T& x, T& y) 
{ 
    T z = std::move(x); 
    x = std::move(y); 
    y = std::move(z); 
} 

は、私はまだ自分のタイプについてstd::swapを専門としています、またはstd::swapは、私のクラスが定義している限り、効率的になるでしょうもちろん、代入演算子と移動代入演算子はありますか？

Answer 1

std::swapの専門は今任意ですが、非推奨ではない：私は持っていることを意味します

。その根拠はパフォーマンスです。

プロトタイプコードでは、おそらく多くの出荷コードでも、std::swapは十分速くなります。しかし、あなたのコードから少々控えめにしなければならない状況にあるなら、カスタムスワップを書くことは依然として大きなパフォーマンス上の利点になります。

あなたのクラスに本質的に1つの所有ポインタがあり、あなたの移動コンストラクタと移動割り当てがその1つのポインタを処理する必要がある場合を考えてみましょう。

移動コンストラクタ：1ロードと2ストア。

割り当ての移動：2つのロードと2つのストア。

カスタムスワップ：2つのロードと2つのストア。

std::swapは、1移動構成と2移動割り当て、または5負荷と6ストアです。

カスタムスワップは、おそらくstd::swapよりも2〜3倍高速です。ロードとストアを数えることで何かの速度を把握しようとしているときは、どちらも速く邪悪になるでしょう。

注：移動割り当てのコストを計算する際には、必ず移動先の値（std::swapアルゴリズム）に移動することを考慮してください。これは、ブランチのコストではあるが、割り当て解除のコストを無効にすることがよくあります。

Answer 2

あなたのタイプによって異なります。

xからz、yからx、zからyに移動します。それは基本的な表現の3つのコピー操作です（おそらく1つのポインタ、多分もっと多くの人が知っています）

おそらく、あなたのタイプの高速スワップを作成することができますあなたの基になる型のスワップは速いです）。

また、コンパイラが最適化をうまく行っていて、本質的に両方のケースを同じ命令（レジスタ内の一時的なもの）に最適化します。

私は個人的には、移動割り当てのようなものを含め、いくつかの場所から呼び出されるスワップメンバ関数を実装する傾向がありますが、YMMVです。

Answer 3

このswap()は、移動コンストラクタと2つの移動割り当てを呼び出します。私は1つが関係なく、移動コンストラクタと代入演算子の実装の、のようなクラスの彼の特定のタイプの

class X 
{ 
    int * ptr_to_huge_array; 
public: 
// ctors, assgn ops. etc. etc. 

    friend void swap(X& a, X& b) 
    { 
     using std::swap; 
     swap(a.ptr_to_huge_array, b.ptr_to_huge_array); 
    } 
}; 

をより効率的swap()を書くことができると思います。

Answer 4

私は移動セマンティクスがあるので、std :: swapの使用は推奨されていませんか？

いいえこれは汎用バージョンですが、3番目の移動操作をスキップするように最適化できます。私の好みはコピー&のスワップイディオムと、クラスのためのstd :: swapのカスタマイズを組み合わせることです。

class Aaaa 
{ 
public: 
    Aaaa(); // not interesting; defined elsewhere 
    Aaaa(Aaaa&& rvalueRef); // same 
    Aaaa(const Aaaa& ref); // same 
    ~Aaaa(); // same 
    Aaaa& operator=(Aaaa object) // copy&swap 
    { 
     swap(object); 
     return *this; 
    } 
    void swap(Aaaa& other) 
    { 
     std::swap(dataMember1, other.dataMember1); 
     std::swap(dataMember2, other.dataMember2); 
     // ... 
    } 

    // ... 
}; 

namespace std 
{ 
    template<> inline void std::swap(Aaaa& left, Aaaa& right) 
    { left.swap(right); } 
}