Именованные требования C++: ValueSwappable (начиная с C++11)

Два объекта этого типа можно разыменовать, а полученные значения — поменять местами с помощью неквалифицированного вызова функции swap() в контексте, где видны и std::swap, и пользовательские варианты swap().

Требования

Тип T является ValueSwappable, если

T удовлетворяет требованиям LegacyIterator.
Для любого разыменовываемого объекта x типа T (то есть любого значения, кроме итератора конца), *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
}

См. также

indirectly_swappable

(C++20)

задаёт, что значения, на которые ссылаются два типа indirectly_readable, можно поменять местами
(концепт)

© cppreference.com
Licensed under the Creative Commons Attribution-ShareAlike Unported License v3.0.
https://en.cppreference.com/cpp/named_req/ValueSwappable