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

Dos objetos de este tipo pueden ser desreferenciados y los valores resultantes pueden ser intercambiados usando una llamada de función no calificada swap ( ) en el contexto donde tanto std::swap como los swap ( ) definidos por el usuario son visibles.

Requisitos

Un tipo T es ValueSwappable si

1. T satisface los requisitos de LegacyIterator .
2. Para cualquier objeto desreferenciable x de tipo T (es decir, cualquier valor que no sea el iterador final), *x satisface los requisitos de Swappable .

Muchas funciones de la biblioteca estándar esperan que sus argumentos cumplan con ValueSwappable , lo que significa que cada vez que la biblioteca estándar realiza un swap, utiliza el equivalente de using std:: swap ; swap ( * iter1, * iter2 ) ; .

Ejemplo

#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 es Swappable, pero no MoveAssignable
    IntVector* p1 = &v1;
    IntVector* p2 = &v2; // IntVector* es ValueSwappable
    std::iter_swap(p1, p2); // OK: iter_swap requiere ValueSwappable
//  std::swap(v1, v2); // error del compilador! std::swap requiere MoveAssignable
}

Véase también