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

Обменивает два 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++.

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