c++原生不支持反射,仅提供rtti基础能力,所谓“简单反射”实为宏+静态注册+offsetof偏移计算的编译期模拟方案,适用于pod/标准布局类型,用于序列化、配置加载等场景。

为什么C++原生不支持反射,但能“模拟”出基本能力
C++标准至今没提供运行时类型信息(RTTI)以外的反射能力,typeid和dynamic_cast只能解决类型识别和安全转型,没法自动列出类成员、调用任意命名的函数或读写私有字段。所谓“简单反射”,本质是靠宏+静态注册+手动映射,在编译期把类型/成员信息“硬编码”进程序,运行时查表实现。它不是真正的反射,但够用——比如序列化、配置加载、调试打印。
用宏注册类名和字段,生成可查询的元数据表
核心思路:每个需反射的类,用宏声明其字段;宏展开为静态成员变量初始化代码,把字段名、偏移、类型等塞进全局注册表。关键点在于字段偏移必须用offsetof计算,且类不能有虚函数或虚基类(否则offsetof行为未定义)。
常见错误现象:offsetof对非POD类型报错、字段顺序与声明顺序不一致导致偏移计算错误、宏里漏写逗号导致编译失败。
- 只对plain old data(POD)或标准布局类型(standard-layout)生效,避免用
std::string或std::vector字段直接参与反射 - 字段注册宏必须在类定义外、同一编译单元内展开,否则链接时找不到注册项
- 字段名字符串要和实际变量名严格一致,大小写、下划线都不能错
#define REFLECT_FIELD(cls, field, type) \
{ #field, offsetof(cls, field), sizeof(type), typeid(type).name() }
<p>struct Person {
int age;
char name[32];
};</p><p>// 注册
const FieldInfo person_fields[] = {
REFLECT_FIELD(Person, age, int),
REFLECT_FIELD(Person, name, char[32])
};</p>
如何通过字符串名读写对象字段(不触发UB)
拿到字段名后,遍历注册表匹配,再用reinterpret_cast加偏移访问内存。重点不是“能不能”,而是“怎么保证不越界、不破坏别名规则”。
使用场景:从JSON配置中按字段名赋值;调试器里打印对象所有字段。
- 读取时,先校验字段类型是否匹配(比如
int字段不能当float读),否则reinterpret_cast结果未定义 - 写入时,确保目标内存区域可写(栈对象没问题,const对象或文字常量区会崩溃)
- 数组字段如
char name[32],读写要用memcpy而非reinterpret_cast<int></int>,避免对齐问题
void set_field(void* obj, const char* field_name, const void* value, size_t value_size) {
for (auto& f : person_fields) {
if (strcmp(f.name, field_name) == 0 && f.size == value_size) {
memcpy((char*)obj + f.offset, value, f.size);
return;
}
}
}
函数反射的最小可行方案:用函数指针表替代名称查找
C++没法通过字符串调用任意函数名,但可以预先注册函数指针。难点不在调用,而在参数类型擦除和转换——简单方案只支持固定签名(如void func(MyClass*)),复杂点就得手写std::any或std::variant包装参数。
容易踩的坑:std::function捕获lambda会导致注册表体积暴涨;不同调用约定(__cdecl vs __stdcall)混用引发栈不平衡。
- 优先用普通函数指针,避免
std::function带来的开销和生命周期管理问题 - 注册时检查函数地址是否非空,防止
nullptr调用崩溃 - 如果需要传参,统一用
void*加长度,由调用方负责类型安全
真正麻烦的是字段类型动态匹配和嵌套对象递归反射——那已经超出“简单”范畴,得引入模板特化或代码生成工具了。
C++免费学习笔记(深入):立即使用
在学习笔记中,你将探索 C++ 的入门与实战技巧!











