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

Zwei Objekte dieses Typs können dereferenziert werden und die resultierenden Werte können mittels nicht qualifiziertem Funktionsaufruf swap ( ) im Kontext ausgetauscht werden, wo sowohl std::swap als auch die benutzerdefinierten swap ( ) s sichtbar sind.

Anforderungen

Ein Typ T ist ValueSwappable wenn

1. T erfüllt die LegacyIterator Anforderungen.
2. Für jedes dereferenzierbare Objekt x vom Typ T (d.h. jeden Wert außer dem End-Iterator), *x erfüllt die Swappable Anforderungen.

Viele Funktionen der Standardbibliothek erwarten, dass ihre Argumente ValueSwappable erfüllen, was bedeutet, dass die Standardbibliothek bei jedem Swap-Vorgang das Äquivalent von using std:: swap ; swap ( * iter1, * iter2 ) ; verwendet.

Beispiel

#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
}

Siehe auch