Именованные требования C++: Swappable

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

Требования

Тип U является Swappable с типом T, если для любого объекта u типа U и любого объекта t типа T

Многие функции стандартной библиотеки (например, многие алгоритмы) требуют, чтобы их аргументы удовлетворяли требованиям Swappable, то есть при каждой операции обмена, выполняемой стандартной библиотекой, используется эквивалент using std::swap; swap(t, u);.

Типичные реализации либо

Примечания

Не указано, включается ли <algorithm>(до C++11)<utility>(начиная с C++11) фактически при выполнении обмена функциями стандартной библиотеки, поэтому функция swap(), предоставленная пользователем, не должна рассчитывать на её включение.

Пример

#include <iostream>
#include <vector>

struct IntVector
{
    std::vector<int> v;

    IntVector& operator=(IntVector) = delete; // not assignable

    void swap(IntVector& other)
    {
        v.swap(other.v);
    }

    void operator()(auto rem, auto term = " ")
    {
        std::cout << rem << "{{";
        for (int n{}; int e : v)
            std::cout << (n++ ? ", " : "") << e;
        std::cout << "}}" << term;
    }
};

void swap(IntVector& v1, IntVector& v2)
{
    v1.swap(v2);
}

int main()
{
    IntVector v1{{1, 1, 1, 1}}, v2{{2222, 2222}};

    auto prn = [&]{ v1("v1", ", "), v2("v2", ";\n"); };

//  std::swap(v1, v2); // Compiler error! std::swap requires MoveAssignable
    prn();
    std::iter_swap(&v1, &v2); // OK: library calls unqualified swap()
    prn();
    std::ranges::swap(v1, v2); // OK: library calls unqualified swap()
    prn();
}

v1{{1, 1, 1, 1}}, v2{{2222, 2222}};
v1{{2222, 2222}}, v2{{1, 1, 1, 1}};
v1{{1, 1, 1, 1}}, v2{{2222, 2222}};

Отчёты об ошибках

Следующие отчёты об ошибках, изменяющие поведение, были ретроактивно применены к ранее опубликованным стандартам C++.

См. также