#include <type_traits>
#include <any>
#include <functional>
#include <iomanip>
#include <iostream>
#include <typeindex>
#include <typeinfo>
#include <unordered_map>
#include <vector>
//any是编译期的异质集合，要显示指定处理的类型；我们可以记录每种类型的哈希值，实现运行期动态处理这样的异质集合
//这里我们根据类型信息的哈希值去bind每种类型的处理函数//绑定器生成器
template<class T, class F>
inline std::pair<const std::type_index, std::function<void(std::any const&)>>
GeneratorBinder(F const& f)
{return {std::type_index(typeid(T)),[g = f](std::any const& a){if constexpr (std::is_void_v<T>)g();elseg(std::any_cast<T const&>(a));}};
}
//定义绑定器集合
static std::unordered_map<std::type_index, std::function<void(std::any const&)>> any_visitor
{//注册基本类型的处理函数GeneratorBinder<void>([] { std::cout << "{}"; }),GeneratorBinder<int>([](int x) { std::cout << x; }),GeneratorBinder<unsigned>([](unsigned x) { std::cout << x; }),GeneratorBinder<float>([](float x) { std::cout << x; }),GeneratorBinder<double>([](double x) { std::cout << x; }),GeneratorBinder<char const*>([](char const* s){ std::cout << std::quoted(s);})
};
//处理器
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 << "Unregistered type " << std::quoted(a.type().name());}
}//注册器
template<class T, class F>
inline void registrar(F const& f)
{std::cout << "Register visitor for type "<< std::quoted(typeid(T).name()) << '\n';any_visitor.insert(to_any_visitor<T>(f));
}auto main() -> int
{std::vector<std::any> va{ {}, 42, 123u, 3.14159f, 2.71828, "C++17", };std::cout << "{ ";for (const std::any& a : va) {process(a);std::cout << ", ";}std::cout << "}\n";process(std::any(0xFULL)); //未注册的类型std::cout << '\n';//注册操作registrar<unsigned long long>([](auto x) {std::cout << std::hex << std::showbase << x;});process(std::any(0xFULL)); //< OK ： 0xfstd::cout << '\n';return 0;
}