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

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

constexpr 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 являются Swappable и 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.

Пример

#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++.