std::variant<Types...>:: visit
|
template
<
class
Self,
class
Visitor
>
constexpr decltype ( auto ) visit ( this Self && self, Visitor && vis ) ; |
(1) | (depuis C++26) |
|
template
<
class
R,
class
Self,
class
Visitor
>
constexpr R visit ( this Self && self, Visitor && vis ) ; |
(2) | (depuis C++26) |
Applique le visiteur vis (un Callable pouvant être appelé avec n'importe quelle combinaison de types du variant) au variant détenu par self .
Étant donné le type V comme decltype ( std:: forward_like < Self > ( std:: declval < variant > ( ) ) ) , l'appel équivalent est :
Table des matières |
Paramètres
| vis | - | un Callable qui accepte chaque alternative possible de la variante |
| self | - | variante à passer au visiteur |
Valeur de retour
R
est (éventuellement qualifié cv)
void
; sinon le résultat de l'invocation
std
::
visit
<
R
>
.
Exceptions
Ne lance que si l'appel à std :: visit lance.
Notes
| Macro de test de fonctionnalité | Valeur | Std | Fonctionnalité |
|---|---|---|---|
__cpp_lib_variant
|
202306L
|
(C++26) |
membre
visit
|
Exemple
#include <print> #include <string> #include <string_view> #include <variant> struct Base {}; struct Derived : Base {}; // type d'assistance pour le visiteur template<class... Ts> struct overloads : Ts... { using Ts::operator()...; }; // le variant à visiter 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 }
Sortie :
int = 42 string = “abc” base
Voir aussi
|
(C++17)
|
appelle le foncteur fourni avec les arguments contenus dans un ou plusieurs
variant
s
(modèle de fonction) |