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

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

Tauscht zwei variant-Objekte.

• Wenn sowohl *this als auch rhs aufgrund einer Ausnahme wertlos sind, wird nichts getan.
• Andernfalls, wenn sowohl *this als auch rhs dieselbe Alternative enthalten, wird swap(*std::get_if<i>(this), *std::get_if<i>(std::addressof(rhs))) aufgerufen, wobei i index() ist. Wenn eine Ausnahme ausgelöst wird, hängt der Zustand der Werte von der Ausnahmesicherheit der aufgerufenen swap-Funktion ab.
• Andernfalls werden die Werte von rhs und *this ausgetauscht. Wenn eine Ausnahme ausgelöst wird, hängt der Zustand von *this und rhs von der Ausnahmesicherheit des Move-Konstruktors von variant ab.

Das Programm ist fehlerhaft, es sei denn, der Typ T_i ist Swappable und std::is_move_constructible_v<T_i> ist true für alle T_i in Types....

Parameter

Rückgabewert

(keine)

Ausnahmen

Wenn this - > index ( ) == rhs. index ( ) , kann jede Ausnahme ausgelöst werden, die von swap ( * std:: get_if < i > ( this ) , * std:: get_if < i > ( std:: addressof ( rhs ) ) ) ausgelöst wird, wobei i gleich index() ist.

Andernfalls kann jede Ausnahme ausgelöst werden, die von den Move-Konstruktoren der aktuell in * this und rhs gehaltenen Alternativen ausgelöst wird.

Hinweise

Beispiel

#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

Fehlerberichte

Die folgenden verhaltensändernden Fehlerberichte wurden rückwirkend auf zuvor veröffentlichte C++-Standards angewendet.

Siehe auch