std::any:: type
From cppreference.net
C++
Utilities library
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
const
std::
type_info
&
type
(
)
const
noexcept
;
|
(depuis C++17) | |
Interroge le type contenu.
Valeur de retour
Le typeid de la valeur contenue si l'instance est non vide, sinon typeid ( void ) .
Exemple
L'exemple démontre
std::any
l'idiome visiteur avec la capacité d'enregistrer de nouveaux visiteurs à la compilation et à l'exécution.
Exécuter ce code
#include <any> #include <functional> #include <iomanip> #include <iostream> #include <type_traits> #include <typeindex> #include <typeinfo> #include <unordered_map> #include <vector> template<class T, class F> inline std::pair<const std::type_index, std::function<void(const std::any&)>> to_any_visitor(const F& f) { return { std::type_index(typeid(T)), [g = f](std::any const& a) { if constexpr (std::is_void_v<T>) g(); else g(std::any_cast<T const&>(a)); } }; } static std::unordered_map<std::type_index, std::function<void(const std::any&)>> any_visitor { to_any_visitor<void>([] { std::cout << "{}"; }), to_any_visitor<int>([](int x) { std::cout << x; }), to_any_visitor<unsigned>([](unsigned x) { std::cout << x; }), to_any_visitor<float>([](float x) { std::cout << x; }), to_any_visitor<double>([](double x) { std::cout << x; }), to_any_visitor<char const*>([](char const* s) { std::cout << std::quoted(s); }), // ... ajouter plus de gestionnaires pour vos types ... }; inline void process(const std::any& a) { if (const auto it = any_visitor.find(std::type_index(a.type())); it != any_visitor.cend()) it->second(a); else std::cout << "Type non enregistré " << std::quoted(a.type().name()); } template<class T, class F> inline void register_any_visitor(const F& f) { std::cout << "Enregistrer le visiteur pour le type " << std::quoted(typeid(T).name()) << '\n'; any_visitor.insert(to_any_visitor<T>(f)); } int main() { std::vector<std::any> va{{}, 42, 123u, 3.14159f, 2,71828, "C++17"}; for (int n{}; const std::any& a : va) { std::cout << (n++ ? ", " : "["); process(a); } std::cout << "]\n"; process(std::any(0xFULL)); //< Type non enregistré "y" (unsigned long long) std::cout << '\n'; register_any_visitor<unsigned long long>([](auto x) { std::cout << std::hex << std::showbase << x; }); process(std::any(0xFULL)); //< OK: 0xf std::cout << '\n'; }
Sortie possible :
[{}, 42, 123, 3.14159, 2.71828, "C++17"]
Type non enregistré "y"
Enregistrer visiteur pour le type "y"
0xf
Voir aussi
|
(C++11)
|
enveloppe autour d'un objet
type_info
, qui peut être utilisé comme index dans les conteneurs associatifs et non ordonnés associatifs
(classe) |