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 не является 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++.

Смотрите также