std::visit
Elaborare le alternative di variant
std::visit è una lezione C++ Academy gratuita su CoddyKit. Questa è la lezione 4 di 4. Puoi leggere la lezione completa qui gratuitamente — poi esercitati direttamente nel browser con un editor di codice integrato e un tutor IA disponibile 24/7. Fa parte del percorso di apprendimento C++ Academy, e i tuoi progressi si sincronizzano tra il web e l'app CoddyKit. Il corso C++ Academy include 4 lezioni in totale.
Perché std::visit?
Controllare manualmente ogni alternativa con get_if diventa verboso. std::visit applica un oggetto chiamabile al tipo contenuto attualmente dalla variant, gestendo automaticamente il dispatch.
#include <iostream>
#include <variant>
int main() {
std::variant<int, double> v = 4;
std::visit([](auto x){ std::cout << x << "\n"; }, v);
}Un visitor con lambda generica
Una lambda che accetta auto funziona con ogni alternativa, purché il corpo compili per tutte. In questo caso viene stampato il tipo attivo.
#include <iostream>
#include <string>
#include <variant>
int main() {
std::variant<int, std::string> v = std::string("hi");
std::visit([](const auto& x){ std::cout << x << "\n"; }, v);
}Restituire un valore
std::visit può restituire un valore. Ogni ramo deve restituire lo stesso tipo.
#include <iostream>
#include <variant>
int main() {
std::variant<int, double> v = 2.5;
double d = std::visit([](auto x){ return x * 2.0; }, v);
std::cout << d << "\n";
}Comportamenti per tipo con if constexpr
Per agire in modo diverso a seconda del tipo all'interno di un'unica lambda generica, combini if constexpr con std::decay_t e std::is_same_v.
#include <iostream>
#include <string>
#include <variant>
#include <type_traits>
int main() {
std::variant<int, std::string> v = 5;
std::visit([](const auto& x){
using T = std::decay_t<decltype(x)>;
if constexpr (std::is_same_v<T, int>) std::cout << "int " << x << "\n";
else std::cout << "str " << x << "\n";
}, v);
}Un visitor basato su struct
È anche possibile scrivere una struct con più overload di operator(), uno per tipo. Il compilatore seleziona l'overload corrispondente.
#include <iostream>
#include <string>
#include <variant>
struct Printer {
void operator()(int i) const { std::cout << "int " << i << "\n"; }
void operator()(const std::string& s) const { std::cout << "str " << s << "\n"; }
};
int main() {
std::variant<int, std::string> v = std::string("yo");
std::visit(Printer{}, v);
}L'idiom overloaded
Un helper molto usato combina più lambda in un unico visitor. Ogni lambda gestisce un tipo specifico.
#include <iostream>
#include <string>
#include <variant>
template<class... Ts> struct overloaded : Ts... { using Ts::operator()...; };
template<class... Ts> overloaded(Ts...) -> overloaded<Ts...>;
int main() {
std::variant<int, std::string> v = 8;
std::visit(overloaded{
[](int i){ std::cout << "i=" << i << "\n"; },
[](const std::string& s){ std::cout << "s=" << s << "\n"; }
}, v);
}Completezza
Un visitor deve gestire ogni alternativa, altrimenti il codice non viene compilato. Questo controllo in fase di compilazione impedisce di dimenticare un caso.
Visitare e modificare
Se si passa la variant per riferimento non const, il visitor può modificare il valore memorizzato direttamente.
#include <iostream>
#include <variant>
int main() {
std::variant<int, double> v = 10;
std::visit([](auto& x){ x += 1; }, v);
std::cout << std::get<int>(v) << "\n";
}Più variant
std::visit può accettare più variant contemporaneamente; il visitor riceve quindi un argomento per ciascuna variant.
#include <iostream>
#include <variant>
int main() {
std::variant<int, double> a = 2;
std::variant<int, double> b = 3.0;
auto sum = std::visit([](auto x, auto y){ return x + y; }, a, b);
std::cout << sum << "\n";
}Scegliere lo stile del visitor
Utilizzi una lambda generica con auto per una gestione uniforme, l'idiom overloaded per una logica chiara specifica per tipo e un visitor basato su struct quando il comportamento deve essere riutilizzato in più punti del codice.
Visit rispetto a get_if
get_if è adatto per un singolo controllo rapido, ma std::visit è più scalabile: impone la gestione completa dei casi e mantiene tutta la logica specifica per tipo in un unico punto.
Verifica rapida
Verifichi la Sua comprensione di std::visit.
Riepilogo
Ha imparato a conoscere std::visit:
- Invia un oggetto chiamabile all'alternativa attiva.
- Utilizzi lambda generiche,
if constexpr, visitor basati su struct o l'idiom overloaded. - I visitor devono gestire tutte le alternative, con un controllo in fase di compilazione.
- Possono restituire valori e visitare più variant insieme.
Domande Frequenti
La lezione «std::visit» è gratuita?
Sì — il testo completo di «std::visit» è gratuito qui sul web. Per esercitarvi in modo interattivo (un editor di codice integrato e un tutor IA 24/7) e sbloccare il resto del corso C++ Academy, passa a CoddyKit PRO. Il corso C++ Academy include 4 lezioni in totale.
Cosa imparerò in «std::visit»?
Elaborare le alternative di variant Eserciti C++ Academy con codice pratico che esegui direttamente nel browser, e un tutor IA 24/7 risponde alle tue domande mentre lavori sulla lezione.
Ho bisogno di esperienza per iniziare C++ Academy?
Non è richiesta alcuna esperienza precedente. C++ Academy su CoddyKit è strutturato per principianti e studenti avanzati, quindi puoi iniziare da qui o dall'inizio e procedere al tuo ritmo. Questa è la lezione 4 di 4.
Quanto tempo richiede la lezione «std::visit»?
La maggior parte delle lezioni CoddyKit richiede circa 5–10 minuti. Ogni lezione è breve e interattiva, quindi fai progressi costanti e riprendi esattamente da dove hai lasciato su web e app.
Posso scrivere ed eseguire codice in questa lezione C++ Academy?
Sì. Ogni lezione C++ Academy include un editor di codice integrato, quindi scrivi ed esegui codice reale direttamente nel tuo browser e ricevi feedback istantaneo dall'IA — nessuna configurazione locale necessaria.