C++ 实现反射机制之自定义 Metadata 注解映射至类成员属性【源码】-C++-PHP中文网

c++原生不支持运行时反射，因其编译期抹除类型/成员名等元数据以践行零开销抽象；std::any+std::map能模拟注解映射，本质是靠宏或显式注册将字段名字符串与任意元数据（如描述、序列化标记）静态绑定到map中，字段名必须手动硬编码且与实际成员严格一致，无法自动推导。

c++ 实现反射机制之自定义 metadata 注解映射至类成员属性【源码】

为什么 C++ 原生不支持运行时反射，但 `std::any` + `std::map` 能模拟注解映射

C++ 没有 Java 那样的 @Annotation 语法和 Class.getAnnotations()，所谓“自定义 Metadata 注解”本质是编译期不可见、运行时可查的键值对绑定。核心思路不是魔法，而是：在类定义时手动注册成员与元数据的映射关系，用 std::map<:string std::any></:string> 存储字段名到任意类型元数据（如 std::string 描述、bool 是否序列化、int 权重）的关联。

关键约束在于：C++ 不允许在类体内直接写“注解语句”，所以必须靠宏或显式注册函数完成绑定；且字段名必须字符串字面量硬编码（或用 __VA_ARGS__ 提取），无法自动推导。

不要试图用 decltype 或模板参数包自动提取所有成员名——C++20 仍不支持反射式字段枚举
std::any 是安全容器，但每次取值需 std::any_cast，类型错误会抛 std::bad_any_cast
若元数据结构复杂（如嵌套配置），建议用 struct 封装后存入 std::any，而非拼接字符串

如何用宏实现“伪注解”语法糖：`REFLECT_FIELD` 和 `REFLECT_CLASS`

宏不能真正改变语言语法，但能减少重复注册代码。典型做法是：每个需反射的类定义一个静态成员函数 reflect()，由宏展开填充字段元数据映射逻辑。

例如：

C++14

C++14 对 C++11 的修正与增强版本，适合旧系统维护和较老工具链兼容。

下载

struct Person {
    std::string name;
    int age;

    static auto reflect() {
        return std::map<:string std::any>{
            {"name", std::map<:string std::any>{{"type", "string"}, {"required", true}}},
            {"age",  std::map<:string std::any>{{"type", "int"}, {"min", 0}, {"max", 150}}}
        };
    }
};</:string></:string></:string>

更进一步可封装为宏：

#define REFLECT_FIELD(field_name, ...) {#field_name, std::map<:string std::any>{__VA_ARGS__}}
#define REFLECT_CLASS(cls, ...) \
    static auto reflect() -> std::map<:string std::any> { \
        return std::map<:string std::any>{__VA_ARGS__}; \
    }</:string></:string></:string>

宏中 #field_name 是字符串化操作，生成字段名字面量，必须与实际成员名严格一致
宏展开后不检查字段是否存在——拼错名字（如 "nmae"）会导致运行时查不到，无编译错误
避免在宏中使用逗号表达式或复杂初始化列表，否则 __VA_ARGS__ 展开易出错

如何安全访问反射元数据：避免 `std::bad_any_cast` 和空 key 查找

从 std::map 中取元数据时，两处最容易崩溃：一是 key 不存在却直接 at()，二是 std::any_cast 类型不匹配。

永远用 find() 而非 at() 或 [] 访问字段元数据 map，例如：auto it = meta_map.find("age"); if (it != meta_map.end()) { ... }
对 std::any 值做类型检查再转换：if (it->second.type() == typeid(int)) { int max_val = std::any_cast<int>(it->second); }</int>
若元数据结构固定，可定义统一结构体（如 struct FieldMeta { std::string type; bool required; std::optional<int> min; };</int>），全部存为 std::any_cast<fieldmeta></fieldmeta>，降低误 cast 风险