std::swap

Определён в заголовочном файле `<algorithm>`		(до C++11)
Определён в заголовочном файле `<utility>`		(начиная с C++11)
Определён в заголовочном файле `<string_view>`
template< class T > void swap( T& a, T& b );	(1)	(условно noexcept начиная с C++11) (constexpr начиная с C++20)
template< class T2, std::size_t N > void swap( T2 (&a)[N], T2 (&b)[N] );	(2)	(условно noexcept начиная с C++11) (constexpr начиная с C++20)

Обменивает заданные значения.

1) Меняет местами значения a и b.

Эта перегрузка участвует в разрешении перегрузки только если std::is_move_constructible_v<T> && std::is_move_assignable_v<T> является true.

(начиная с C++17)

2) Меняет местами массивы a и b. Эквивалентно std::swap_ranges(a, a + N, b).

Эта перегрузка участвует в разрешении перегрузки только если std::is_swappable_v<T2> является true.

(начиная с C++17)

Параметры

a, b	-	значения для обмена
Требования к типам
- `T` должен удовлетворять требованиям CopyConstructible и CopyAssignable (до C++11) MoveConstructible и MoveAssignable (начиная с C++11) .
- `T2` должен удовлетворять требованиям Swappable .

Возвращаемое значение

(нет)

Исключения

1)

(нет)	(до C++11)
`noexcept` спецификация: noexcept ( std:: is_nothrow_move_constructible < T > :: value && std:: is_nothrow_move_assignable < T > :: value )	(начиная с C++11)

2)

noexcept спецификация:

noexcept ( noexcept ( swap ( * a, * b ) ) )

Поиск идентификатора


           swap

в спецификации исключений находит этот шаблон функции в дополнение к тому, что найдено обычными правилами поиска, делая спецификацию исключений эквивалентной C++17 std::is_nothrow_swappable .

(начиная с C++11)
(до C++17)

noexcept спецификация:

noexcept ( std:: is_nothrow_swappable_v < T2 > )

(начиная с C++17)

Сложность

1) Константа.

2) Линейная по N .

Специализации

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

(до C++20)

Ожидаемый способ сделать програмно-определяемый тип заменяемым — предоставить нечленную функцию swap в том же пространстве имен, что и тип: подробности смотрите в Swappable .

Следующие перегрузки уже предоставлены стандартной библиотекой:

std::swap (std::pair) (C++11)	специализирует алгоритм std::swap (шаблон функции)
std::swap (std::tuple) (C++11)	специализирует алгоритм std::swap (шаблон функции)
std::swap (std::shared_ptr) (C++11)	специализирует алгоритм std::swap (шаблон функции)
std::swap (std::weak_ptr) (C++11)	специализирует алгоритм std::swap (шаблон функции)
std::swap (std::unique_ptr) (C++11)	специализирует алгоритм std::swap (шаблон функции)
std::swap (std::function) (C++11)	специализирует алгоритм std::swap (шаблон функции)
std::swap (std::basic_string)	специализирует алгоритм std::swap (шаблон функции)
std::swap (std::array) (C++11)	специализирует алгоритм std::swap (шаблон функции)
std::swap (std::deque)	специализирует алгоритм std::swap (шаблон функции)
std::swap (std::forward_list) (C++11)	специализирует алгоритм std::swap (шаблон функции)
std::swap (std::list)	специализирует алгоритм std::swap (шаблон функции)
std::swap (std::vector)	специализирует алгоритм std::swap (шаблон функции)
std::swap (std::map)	специализирует алгоритм std::swap (шаблон функции)
std::swap (std::multimap)	специализирует алгоритм std::swap (шаблон функции)
std::swap (std::set)	специализирует алгоритм std::swap (шаблон функции)
std::swap (std::multiset)	специализирует алгоритм std::swap (шаблон функции)
std::swap (std::unordered_map) (C++11)	специализирует алгоритм std::swap (шаблон функции)
std::swap (std::unordered_multimap) (C++11)	специализирует алгоритм std::swap (шаблон функции)
std::swap (std::unordered_set) (C++11)	специализирует алгоритм std::swap (шаблон функции)
std::swap (std::unordered_multiset) (C++11)	специализирует алгоритм std::swap (шаблон функции)
std::swap (std::queue) (C++11)	специализирует алгоритм std::swap (шаблон функции)
std::swap (std::priority_queue) (C++11)	специализирует алгоритм std::swap (шаблон функции)
std::swap (std::stack) (C++11)	специализирует алгоритм std::swap (шаблон функции)
std::swap (std::valarray) (C++11)	специализирует алгоритм std::swap (шаблон функции)
std::swap (std::basic_stringbuf) (C++11)	специализирует алгоритм std::swap (шаблон функции)
std::swap (std::basic_istringstream) (C++11)	специализирует алгоритм std::swap (шаблон функции)
std::swap (std::basic_ostringstream) (C++11)	специализирует алгоритм std::swap (шаблон функции)
std::swap (std::basic_stringstream) (C++11)	специализирует алгоритм std::swap (шаблон функции)
std::swap (std::basic_filebuf) (C++11)	специализирует алгоритм std::swap (шаблон функции)
std::swap (std::basic_ifstream) (C++11)	специализирует алгоритм std::swap (шаблон функции)
std::swap (std::basic_ofstream) (C++11)	специализирует алгоритм std::swap (шаблон функции)
std::swap (std::basic_fstream) (C++11)	специализирует алгоритм std::swap (шаблон функции)
std::swap (std::basic_syncbuf) (C++20)	специализирует алгоритм std::swap (шаблон функции)
std::swap (std::basic_spanbuf) (C++23)	специализирует алгоритм std::swap (шаблон функции)
std::swap (std::basic_ispanstream) (C++23)	специализирует алгоритм std::swap (шаблон функции)
std::swap (std::basic_ospanstream) (C++23)	специализирует алгоритм std::swap (шаблон функции)
std::swap (std::basic_spanstream) (C++23)	специализирует алгоритм std::swap (шаблон функции)
std::swap (std::basic_regex) (C++11)	специализирует алгоритм std::swap (шаблон функции)
std::swap (std::match_results) (C++11)	специализирует алгоритм `std::swap` (шаблон функции)
std::swap (std::thread) (C++11)	специализирует алгоритм std::swap (функция)
std::swap (std::unique_lock) (C++11)	специализирует алгоритм std::swap (шаблон функции)
std::swap (std::shared_lock) (C++14)	специализирует алгоритм std::swap (шаблон функции)
std::swap (std::promise) (C++11)	специализирует алгоритм std::swap (шаблон функции)
std::swap (std::packaged_task) (C++11)	специализирует алгоритм std::swap (шаблон функции)
std::swap (std::optional) (C++17)	специализирует алгоритм std::swap (шаблон функции)
std::swap (std::any) (C++17)	специализирует алгоритм std::swap (функция)
std::swap (std::variant) (C++17)	специализирует алгоритм std::swap (шаблон функции)
std::swap (std::basic_stacktrace) (C++23)	специализирует алгоритм std::swap (шаблон функции)
swap (std::filesystem::path) (C++17)	специализирует алгоритм std::swap (функция)
swap (std::expected) (C++23)	специализирует алгоритм std::swap (функция)
swap (std::jthread) (C++20)	специализирует алгоритм std::swap (функция)
swap (std::move_only_function) (C++23)	специализирует алгоритм std::swap (функция)
swap (std::stop_source) (C++20)	специализирует алгоритм std::swap (функция)
swap (std::stop_token) (C++20)	специализирует алгоритм std::swap (функция)

Пример

Запустить этот код

#include <algorithm>
#include <iostream>
namespace Ns
{
    class A
    {
        int id {};
        friend void swap(A& lhs, A& rhs)
        {
            std::cout << "swap(" << lhs << ", " << rhs << ")\n";
            std::swap(lhs.id, rhs.id);
        }
        friend std::ostream& operator<<(std::ostream& os, A const& a)
        {
            return os << "A::id=" << a.id;
        }
    public:
        A(int i) : id {i} {}
        A(A const&) = delete;
        A& operator = (A const&) = delete;
    };
}
int main()
{
    int a = 5, b = 3;
    std::cout << a << ' ' << b << '\n';
    std::swap(a, b);
    std::cout << a << ' ' << b << '\n';
    Ns::A p {6}, q {9};
    std::cout << p << ' ' << q << '\n';
//  std::swap(p, q); // ошибка, требования к типу не выполнены
    swap(p, q);      // OK, ADL находит подходящую friend-функцию `swap`
    std::cout << p << ' ' << q << '\n';
}

Вывод:

5 3
3 5
A::id=6 A::id=9
swap(A::id=6, A::id=9)
A::id=9 A::id=6

Отчеты о дефектах

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

DR	Применяется к	Поведение в опубликованной версии	Корректное поведение
LWG 227	C++98	`T` не требовалось быть CopyConstructible или DefaultConstructible (временный объект типа `T` мог быть неконструируемым)	`T` также требуется быть CopyConstructible
LWG 809	C++98	массивы не могли быть обменены	добавлена перегрузка (2)
LWG 2554	C++11	обмен многомерными массивами никогда не может быть noexcept из-за проблем поиска имени	исправлено для работы

См. также

ranges::swap (C++20)	меняет местами значения двух объектов (объект точки настройки)
iter_swap	меняет местами элементы, на которые указывают два итератора (шаблон функции)
swap_ranges	меняет местами два диапазона элементов (шаблон функции& объект алгоритмической функции)
ranges::swap_ranges (C++20)
exchange (C++14)	заменяет аргумент новым значением и возвращает его предыдущее значение (шаблон функции)

Поддержка компиляторов
Автономная и размещённая
Язык
Стандартная библиотека
Заголовки стандартной библиотеки
Именованные требования
Макросы тестирования возможностей (C++20)
Библиотека поддержки языка
Библиотека концепций (C++20)
Библиотека диагностики
Библиотека управления памятью
Библиотека метапрограммирования (C++11)
Библиотека общих утилит
Библиотека контейнеров
Библиотека итераторов
Библиотека диапазонов (C++20)
Библиотека алгоритмов
Библиотека строк
Библиотека обработки текста
Библиотека численных методов
Библиотека даты и времени
Библиотека ввода/вывода
Библиотека файловой системы (C++17)
Библиотека поддержки параллелизма (C++11)
Библиотека управления выполнением (C++26)
Технические спецификации
Указатель символов
Внешние библиотеки

ru.cppreference.net

Namespaces

Variants

std::swap

Содержание

Параметры

Возвращаемое значение

Исключения

Сложность

Специализации

Пример

Отчеты о дефектах

См. также