std::variant<Typen...>::visit
Von de.cppreference.net
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
Diesen Code ausführen
#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) |