Namespaces
Variants

std::variant<Typen...>::visit

Von de.cppreference.net
 
 
Dienstprogrammbibliothek
Sprachunterstützung
Typunterstützung (grundlegende Typen, RTTI)
Bibliotheks-Funktionstestmakros (C++20)
Programm-Dienstprogramme
Variadische Funktionen
Koroutinenunterstützung (C++20)
Vertragsunterstützung (C++26)
Drei-Wege-Vergleich
(C++20)
(C++20)(C++20)(C++20)    
(C++20)(C++20)(C++20)

Allgemeine Dienstprogramme
Relationale Operatoren (veraltet in C++20)
Ganzzahlvergleichsfunktionen
(C++20)(C++20)(C++20)    
(C++20)
Swap und Typoperationen
(C++14)
(C++11)
(C++11)
(C++11)
(C++17)
Allgemeine Vokabular-Typen
(C++11)
(C++17)
(C++17)
(C++17)
(C++11)
(C++17)
(C++23)



 
 
template< class Self, class Visitor >
constexpr decltype(auto) visit( this Self&& self, Visitor&& vis );
(1) (seit C++26)
template< class R, class Self, class Visitor >
constexpr R visit( this Self&& self, Visitor&& vis );
(2) (seit C++26)

Wendet den Besucher vis (ein Callable, das mit jeder beliebigen Kombination von Typen aus der Variante aufgerufen werden kann) auf die durch self gehaltene Variante an.

Gegeben sei der Typ V als decltype(std::forward_like<Self>(std::declval<variant>())), der äquivalente Aufruf ist:

1) return std::visit(std::forward<Visitor>(vis), (V) self);.
2) return std::visit<R>(std::forward<Visitor>(vis), (V) self);.

Parameter

vis - ein Callable , das jede mögliche Alternative der Variante akzeptiert
self - an den Visitor zu übergebende Variante

Rückgabewert

1) Das Ergebnis des std :: visit -Aufrufs.
2) Nichts, falls R (möglicherweise cv-qualifiziert) void ist; andernfalls das Ergebnis des std :: visit < R > -Aufrufs.

Exceptions

Wirft nur, wenn der Aufruf von std :: visit eine Exception wirft.

Hinweise

Feature-Test Makro Wert Std Feature
__cpp_lib_variant 202306L (C++26) member visit

Beispiel

#include <print>
#include <string>
#include <string_view>
#include <variant>
struct Base {};
struct Derived : Base {};
// Hilfstyp für den Visitor
template<class... Ts>
struct overloads : Ts... { using Ts::operator()...; };
// das zu besuchende Variant
using var_t = std::variant<int, std::string, Derived>;
int main()
{
    const auto visitor = overloads
    {
        [](int i){ std::print("int = {}\n", i); },
        [](std::string_view s){ std::println("string = “{}”", s); },
        [](const Base&){ std::println("base"); }
    };
    const var_t var1 = 42, var2 = "abc", var3 = Derived();
#if (__cpp_lib_variant >= 202306L)
    var1.visit(visitor);
    var2.visit(visitor);
    var3.visit(visitor);
#else
    std::visit(visitor, var1);
    std::visit(visitor, var2);
    std::visit(visitor, var3);
#endif
}

Ausgabe:

int = 42
string = “abc”
base

Siehe auch

(C++17)
ruft den bereitgestellten Funktor mit den Argumenten auf, die von einem oder mehreren variant s gehalten werden
(Funktions-Template)