一、动态生成列表
在上一篇中实现了一个Map映射,其实就是一个表。但那个表有点维护和扩展上的不方便,所以后为又开始用静态展开递归的方式来遍历枚举。其不管是怎么做,都是要得到整个枚举体的信息,然后才能进行处理。
这次使用一个动态生成表的方式来进行查询,得到相关的枚举的具体的信息。
二、例程
先看一个例程,然后分析一下:
#include <string>
#include <array>
#include <utility>
#include <type_traits>
#include <iostream>#ifdef _WIN64
#define __FUNC__ __FUNCSIG__
#else
#define __FUNC__ __PRETTY_FUNCTION__
#endif
enum class DataType {USB,PCI,HD,NOT};
template<auto T>constexpr auto TypeInfo()
{std::string_view type = __FUNC__;auto begin = type.find("T = ") + 4;auto end = type.find_last_of(']');return std::string_view{ type.data() + begin, end - begin };
}constexpr auto n = static_cast<int>(DataType::NOT);template<typename T>
constexpr auto enumMapName (T t)
{//constexpr auto n = TypeCount<T>();constexpr std::array<std::string_view,n> mapNames{[] <std::size_t... Is>(std::index_sequence<Is...>){return std::array<std::string_view,n>{ TypeInfo<static_cast<T>(Is)>()... };}(std::make_index_sequence<n>{})};return mapNames[static_cast<std::size_t>(t)];
}int main()
{DataType dt = DataType::USB;std::cout << enumMapName(dt) << std::endl;for(auto i = 0; i < n; ++i){std::cout << enumMapName(static_cast<DataType>(i)) << std::endl;}//调用方式//std::cout<<TypeInfo<DataType::HD>()<<std::endl;//std::cout<<TypeInfo<DataType(6)>()<<std::endl;//std::cout<<TypeInfo<DataType(1)>()<<std::endl;
}
如果是在c++20上可以增加一个“概念”控制(类似SFINAE),“requires std::is_enum_v”,做一下安全性的验证,其实在这里只是限定在枚举里进行反射的讨论,它可以不考虑。
上面的代码中,求枚举的数量有点暴力简单,其实也可以用其它一些方法来实现,比如下面的两种方式都可以:
//first
#include <iostream>
#define DefineEnum(Name, Type, ...) \
enum class Name { \__VA_ARGS__ \,count=std::size({__VA_ARGS__}) }; #define Enum(Name, ...) DefineEnum(Name, int, __VA_ARGS__)Enum(DataType,USB,PCI,HD);//second-需要借助前面的函数
template<typename T, std::size_t N = 0>
constexpr auto TypeCount()
{constexpr auto v = static_cast<T>(N);if constexpr (TypeInfo<v>().find("(") == std::string_view::npos){return TypeCount<T, N + 1>();}else{return N;}
}
第一种方法需要用宏来定义产生枚举,第二种使用了类似于前面静态反射中的判断特定字符,这里使用小括号,也可以否定的使用“::”,TypeInfo返回值类似下面:
auto TypeInfo() [with auto T = DataType::HD]
DataType::HD
auto TypeInfo() [with auto T = (DataType)6]
(DataType)6
auto TypeInfo() [with auto T = DataType::PCI]
如果给一个不在范围内的枚举变量则会产生上面的效果(如前面代码注释部分)。方法有很多,看哪种更适合实际的应用即可。
三、总结
在上文说过,本来这篇是和上一篇打算合在一起,可是又觉得它们有点不同的意思,就拆分了开来。其实说来归去,重点是理解如何进行反射前的准备,把相关的字段名称都准备出来,只是同一个基础的应用,却可以在上层写出不同的反射方法来,这也是c++总被称为难的原因。
因为其灵活,不容易掌握,而每个方法又有长处和不同的适应场景,这都需要开发者自己权衡,这就是难的原因。见仁见智,各取所需吧。