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

Tauscht zwei variant Objekte aus.

• Wenn sowohl * this als auch rhs aufgrund einer Exception wertlos sind, erfolgt keine Aktion.
• 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 gleich index() ist. Falls eine Exception ausgelöst wird, hängt der Zustand der Werte von der Exception-Sicherheit der aufgerufenen swap -Funktion ab.
• Andernfalls werden die Werte von rhs und * this ausgetauscht. Falls eine Exception ausgelöst wird, hängt der Zustand von * this und rhs von der Exception-Sicherheit des Move-Konstruktors des Variants 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