std::variant<Types...>::swap

void swap( variant& rhs ) noexcept(/* see below */);

Обменивает два объекта variant.

• Если оба *this и rhs не имеют значения вследствие исключения, ничего не делает.
• В противном случае, если оба *this и rhs содержат одну и ту же альтернативу, вызывает swap(*std::get_if<i>(this), *std::get_if<i>(std::addressof(rhs))), где i — это index(). Если выбрасывается исключение, состояние значений зависит от гарантии безопасности исключений функции swap.
• В противном случае обменивает значения rhs и *this. Если выбрасывается исключение, состояние *this и rhs зависит от гарантии безопасности исключений конструктора перемещения variant.

Программа некорректна, если тип T_i не являются обмениваемыми и std::is_move_constructible_v<T_i> не является true для всех T_i в Types....

Параметры

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

отсутствует

Исключения

Если this->index() == rhs.index(), может выбросить любое исключение, выбрасываемое swap(*std::get_if<i>(this), *std::get_if<i>(std::addressof(rhs))), где i — это index().

В противном случае может выбросить любое исключение, выбрасываемое конструкторами перемещения альтернатив, которые в данный момент содержатся в *this и rhs.

noexcept(((std::is_nothrow_move_constructible_v<Types> &&
           std::is_nothrow_swappable_v<Types>) && ...))

Примечания

Пример

#include <iostream>
#include <string>
#include <variant>

int main()
{
    std::variant<int, std::string> v1{2}, v2{"abc"};
    std::visit([](auto&& x) { std::cout << x << ' '; }, v1);
    std::visit([](auto&& x) { std::cout << x << '\n'; }, v2);
    v1.swap(v2);
    std::visit([](auto&& x) { std::cout << x << ' '; }, v1);
    std::visit([](auto&& x) { std::cout << x << '\n'; }, v2);
}

2 abc
abc 2

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

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

См. также