C++ named requirements: ValueSwappable (since C++11)

この型の2つのオブジェクトは間接参照でき、その結果得られる値は、非修飾関数呼び出し swap ( ) を使用して交換可能です。ただし、これは std::swap とユーザー定義の swap ( ) の両方が可視であるコンテキストにおいて有効です。

要件

型Tは、 ValueSwappable である場合、

1. T は LegacyIterator 要件を満たす。
2. 型 T のデリファレンス可能なオブジェクト x （終端イテレータ以外の任意の値）について、 *x は Swappable 要件を満たす。

多くの標準ライブラリ関数は、引数が ValueSwappable を満たすことを期待しています。これは、標準ライブラリがスワップを実行する際には常に using std:: swap ; swap ( * iter1, * iter2 ) ; と同等の処理を使用することを意味します。

例

#include <iostream>
#include <vector>
class IntVector
{
    std::vector<int> v;
//  IntVector& operator=(IntVector); // not assignable (C++98 way)
public:
    IntVector& operator=(IntVector) = delete; // not assignable
    void swap(IntVector& other)
    {
        v.swap(other.v);
    }
};
void swap(IntVector& v1, IntVector& v2)
{
    v1.swap(v2);
}
int main()
{
    IntVector v1, v2;    // IntVector is Swappable, but not MoveAssignable
    IntVector* p1 = &v1;
    IntVector* p2 = &v2; // IntVector* is ValueSwappable
    std::iter_swap(p1, p2); // OK: iter_swap requires ValueSwappable
//  std::swap(v1, v2); // compiler error! std::swap requires MoveAssignable
}

関連項目