如何通过c ++中的变体获取当前帮助类型的std::typeindex
?
说我有一个变体:
using variant_t = std::variant<int, float, bool, double, std::string>;
我希望能够创建该功能:
std::typeindex get_held_type(const variant_t& var);
这只是出于好奇,我知道这不是处理变体中数据的常用方法。
如果将其他类型添加到variant_t
,则不需要更改任何其他代码。即类型必须是自注册的。
到目前为止,这是我的尝试。我作弊了一点,因为我使用映射而不是函数,并且必须构造一个对象才能在运行时注册类型。
#include <iostream>
#include <variant>
#include <string>
#include <vector>
#include <typeindex>
#include <map>
using variant_t = std::variant<int, float, bool, double, std::string>;
static constexpr size_t variant_t_size = std::variant_size<variant_t>();
static auto get_held_type = std::map<size_t, std::type_index>{};
//loop across all types in the variant
template<size_t N>
struct crtp : crtp<N - 1>{
//ctor
crtp(){
get_held_type[N] = std::type_index(typeid (std::get<N>(variant_t{})));
}
};
template<>
struct crtp<0>{
//ctor
crtp(){
get_held_type[0] = std::type_index(typeid (std::get<0>(variant_t{})));
}
};
static crtp<variant_t_size-1> registerTypes;
int main()
{
variant_t var = 3.141;
std::cout << get_held_type[var.index()].name() << std::endl;
}
但是这会在gcc失败,并出现编译器错误:
/usr/include/c++/9/tuple:1674: error: no matching function for call to ‘std::type_index::type_index()’
1674 | second(std::forward<_Args2>(std::get<_Indexes2>(__tuple2))...)
| ^
[std::visit
在以统一方式处理所有替代项时很方便。
std::visit([](auto& v) -> std::type_index { return typeid(v); }, var)
完整演示:
#include <iostream>
#include <variant>
#include <string>
#include <typeindex>
using variant_t = std::variant<int, float, bool, double, std::string>;
int main() {
variant_t var = 3.141;
std::cout << std::visit([](auto& v) -> std::type_index { return typeid(v); }, var).name() << '\n';
}