17370845950

C++标准未原生支持反射，因设计哲学强调零开销与ABI稳定，type_info不暴露结构信息；所谓反射实为宏或库手动重建元数据，需谨慎处理布局、访问控制、继承及跨平台兼容性。

为什么C++标准没有原生反射

C++标准至今（C++20/C++23）未纳入运行时类型反射（如获取类成员名、遍历字段、动态调用），根本原因是设计哲学冲突：type_info只提供模糊的类型标识，不暴露结构；编译期擦除符号与布局细节以支持ABI稳定和零开销抽象。所谓“反射”，在C++里本质是**手动重建元信息**，不是语言内置能力。

宏方案：用REFLECT声明+预处理生成元数据

主流做法是定义宏，在声明类的同时注册字段信息到静态表。关键在于宏必须展开为可编译的C++代码，且能被同一编译单元访问。

• 避免宏嵌套过深导致预处理器失败——把字段声明和反射注册拆成两层宏，例如：DECLARE_REFLECTED_CLASS(MyStruct) + REFLECT_MEMBER(x, y, z)
• 每个REFLECT_MEMBER需生成一个FieldInfo静态实例，含名字、偏移、类型ID；用offsetof算偏移，但仅对标准布局类型安全
• 不能反射私有成员——宏在类外展开，无法绕过访问控制；若需私有字段，得配合friend或改为public
• 继承关系需显式处理——基类字段不会自动进入派生类反射表，必须手动调用基类的反射宏

struct Person {
    int age;
    std::string name;
    DECLARE_REFLECTED_CLASS(Person)
};
REFLECT_MEMBERS(Person, age, name)

第三方库选型：magic_enum vs refl-cpp vs RTTR

三者定位差异明显，选错会踩坑：

• magic_enum只做enum反射（字符串↔值映射），轻量无依赖，但完全不支持类/结构体
• refl-cpp纯头文件、C++17起、编译期反射（refl::reflect().members），但要求所有反射字段必须public，且不支持虚函数、模板特化等复杂场景
• RTTR功能最全（支持方法调用、属性读写、继承遍历），但需运行时注册（registration::class_()），链接时体积增大，且对模板类支持弱
• 注意refl-cpp的REFL_AUTO宏依赖编译器扩展（GCC 12+/Clang 14+），MSVC需开启/Zc:preprocessor

最容易被忽略的兼容性陷阱

反射代码常在跨平台或混合编译环境下崩掉：

立即学习“C++免费学习笔记（深入）”；

• Windows下DLL导出类字段反射失败——__declspec(dllexport)影响类布局，offsetof可能返回错误偏移；建议反射逻辑只用于EXE或静态库
• 启用LTO（Link Time Optimization）后，内联或死代码消除可能删掉你注册的FieldInfo静态变量；加[[gnu::used]]或__attribute__((used))保活
• 调试信息格式（DWARF vs PDB）不影响反射宏，但会影响某些基于调试符号的工具（如libclang解析）——这类方案不属于标准C++反射，别混为一谈
• 模板类反射必须显式实例化——template class refl::descriptor>;，否则编译器不会为你生成反射元数据