C++原生不支持反射因标准未提供编译期元数据机制，宏是折中方案：通过DECLARE_REFLECTABLE和REFLECT_MEMBER在定义类时手动注册字段名、类型、偏移量三元组，依赖offsetof和模板实现字段读写，但无法处理模板类、继承、动态字段等场景。
为什么C++原生不支持反射，而宏是常见折中方案
C++标准至今没有运行时类型信息（RTTI）以外的反射能力，typeid和dynamic_cast只能解决极小部分问题。想实现字段遍历、序列化、配置绑定等需求，必须在编译期补足信息——宏是最直接可控的手段，它能在定义类时同步注册元数据，不依赖外部工具或复杂模板推导。
但要注意：宏反射本质是“手动维护结构描述”，不是自动发现；一旦类成员变更却忘了更新宏，就会出现运行时错位或崩溃，这是最常踩的坑。
用DECLARE_REFLECTABLE和REFLECT_MEMBER声明可反射类
核心思路是让每个类显式声明自己有哪些字段参与反射，并为每个字段提供名称、类型、偏移量三元组。典型做法是定义两个宏：
DECLARE_REFLECTABLE 放在类定义开头，用于声明反射支持并生成静态元数据表；REFLECT_MEMBER 在类体内逐个标记字段。
立即学习“C++免费学习笔记（深入）”；
示例：
#define DECLARE_REFLECTABLE() \
static const ReflectInfo& GetReflectInfo(); \
struct ReflectInfo { \
const char* name; \
size_t offset; \
const char* type_name; \
}; \
static const std::vector<ReflectInfo> reflect_members;
<h1>define REFLECT_MEMBER(type, name) \</h1><pre class="brush:php;toolbar:false;">{ #name, offsetof(ClassName, name), #type }struct Person { DECLARE_REFLECTABLE() int age; std::string name; double score; };
这里的关键点：
-
offsetof是标准宏，能安全获取成员偏移，但仅对标准布局类型（POD或满足特定条件的类）有效；含虚函数、非public继承、引用成员的类会触发未定义行为 - 宏中写死
ClassName不可行，实际需用__VA_ARGS__或更稳妥的BOOST_PP等库辅助，否则无法泛化 - 字段顺序必须与类定义顺序严格一致，否则
offset查找会错乱
如何通过反射读取/修改对象字段值
有了元数据表，就能用指针算术访问任意字段。重点在于类型擦除与安全转换——不能直接 reinterpret_cast，而应借助模板函数做显式转型。
例如读取字段值：
template<typename T>
T get_field(const void* obj_ptr, const ReflectInfo& info) {
return *static_cast<const T*>(static_cast<const char*>(obj_ptr) + info.offset);
}
<p>Person p{25, "Alice", 95.5};
auto age = get_field<int>(&p, Person::reflect_members[0]); // 返回 25
注意事项：
- 必须确保
T与字段真实类型完全一致（包括 const/volatile 限定符），否则 UB - std::string 这类非 trivial 类型不能用简单 memcpy 操作；若要支持，得额外加类型特征判断和特化处理
- 修改字段时同理，要用
static_cast<t></t>获取可写地址，且目标字段不能是 const 或 private（除非用 friend 或其他绕过机制）
宏反射的边界在哪？哪些场景它会失效
宏反射在以下情况会彻底不可用或需要大量补丁：
- 模板类：宏无法展开出具体实例类型，
REFLECT_MEMBER(int, value)对Container<int></int>和Container<double></double>无法复用 - 继承关系：基类字段不会自动出现在派生类的
reflect_members中，必须手动重复声明或设计宏组合逻辑 - 动态新增字段：运行时无法向已编译的元数据表插入新条目，所有反射能力都锁死在编译期
- 调试信息缺失：宏展开后调试器看不到原始字段名映射，GDB/Lldb 无法直接识别反射字段，排查时容易迷失
真正棘手的不是怎么写宏，而是当项目从单模块演进到多模块协作时，如何保证所有 REFLECT_MEMBER 调用都遵循同一套命名规范、类型拼写、顺序约定——没人检查，全靠人工眼盯。
