Terark & Topling 创始人 雷鹏
·
C++ Enum Reflection
💡
原文中文，约2100字，阅读约需5分钟。
📝
内容提要
本文讨论了在C++中实现枚举类型的反射功能。通过宏定义，创建了平行数组s_name和s_value，分别存储枚举名称和对应值。实现中使用特定技巧处理枚举初始化，允许在任意命名空间中定义枚举。该反射功能已提交至RocksDB，以改善其手动实现的枚举反射。
🎯
关键要点
- 反射是指从运行时获取编程语言类型信息，C++缺乏此机制。
- 通过宏定义实现带有反射功能的枚举类型，支持在全局命名空间中使用。
- s_name和s_value是平行数组，分别存储枚举名称和对应值，几乎可以实现所有反射功能。
- 宏展开生成s_name和s_value，限制变参列表长度最大为61。
- 使用var_symbol函数从枚举定义中提取EnumName，简化s_name的初始化。
- s_value的初始化需要处理EnumName = SomeValue的语法结构，利用操作符重载实现去除=SomeValue部分。
- 使用inline函数包装s_names与s_values，允许枚举定义在任意命名空间或类/结构内。
- enum_rep_type用于推导RepType，生成printf格式化字符串。
❓
延伸问答
C++中如何实现枚举类型的反射功能？
通过宏定义创建平行数组s_name和s_value，分别存储枚举名称和对应值，从而实现反射功能。
s_name和s_value在枚举反射中有什么作用？
s_name存储枚举名称，s_value存储对应的枚举值，几乎可以实现所有反射功能。
如何处理枚举初始化中的EnumName = SomeValue语法？
使用var_symbol函数提取EnumName，并通过操作符重载实现去除=SomeValue部分。
C++中枚举反射的宏展开有什么限制？
变参列表长度最大为61，Visual C++支持最多127个宏参数，gcc支持近乎无限个。
为什么要使用inline函数包装s_names与s_values？
使用inline函数可以支持在任意命名空间或类/结构内定义枚举，并利用参数依赖名称查找功能。
枚举反射在RocksDB中的应用场景是什么？
主要用于处理配置信息，将用户配置的字符串转化为Enum值，并在日志中将Enum转化为字符串。
➡️
