原生C++不支持完整反射,但可通过宏+类型注册+元数据容器模拟基础反射能力,核心是实现类型名、构造函数、成员变量的运行时可查性;采用DECLARE_REFLECTABLE和IMPLEMENT_REFLECTABLE宏完成静态注册,字段级反射通过FieldMeta封装偏移与访问器,支持序列化与动态读写;全局映射表管理TypeMeta,提供对象创建、类型转换等接口;亦可选用Clang AST生成或C++23 std::reflexpr等编译期方案替代手工宏系统。

原生C++不支持完整反射,但可通过宏+类型注册+元数据容器模拟基础反射能力,重点在于类型名、构造函数、成员变量信息的运行时可查性。
用宏+静态注册构建类型元数据
核心思路是为每个需反射的类定义一个唯一的类型ID,并在程序启动前自动注册其元信息。不依赖RTTI,避免虚函数开销,也绕过typeid的局限(如无法获取成员名)。
- 定义统一的
TypeMeta结构体,包含类名、大小、默认构造函数指针、字段列表等 - 用
DECLARE_REFLECTABLE宏在类内声明反射支持(生成静态注册函数声明) - 用
IMPLEMENT_REFLECTABLE宏在.cpp中实现注册逻辑,利用静态局部变量+函数地址绑定,在首次调用时完成注册 - 所有注册信息存入全局
std::unordered_map<:string const typemeta>,按类名索引
字段级反射:自动序列化与属性访问
字段反射是实用性的关键——让任意类的公有/私有成员在运行时可枚举、读写,支撑序列化、编辑器集成、网络同步等场景。
- 每个字段封装为
FieldMeta:含名称、偏移量、类型名、getter/setter函数指针(对私有成员用友元或lambda捕获方式绕过访问限制) - 用宏链式注册字段,例如:
REFLECT_FIELD(m_age).as("age").type("int"),宏展开后生成静态初始化代码,将字段注入当前类型的TypeMeta::fields向量 - 提供通用接口:
void* get_value(const void* obj, const char* field_name)和bool set_value(void* obj, const char* field_name, const void* value),内部通过偏移+memcpy操作
运行时创建对象与类型转换
有了类型注册和构造函数指针,就能实现字符串驱动的对象创建;结合字段信息,还能做轻量级类型安全转换(如JSON→对象、脚本值→C++值)。
立即学习“C++免费学习笔记(深入)”;
- 注册时保存
std::function作为无参构造器,支持多态创建 - 提供
create_instance(const std::string& type_name),查表+调用构造器,返回void*,配合dynamic_cast或自定义type_id校验做安全转型 - 对基础类型(int/float/string)预注册转换器,支持从字符串解析,例如
from_string("42", "int") → int(42)
轻量级替代方案:基于Clang AST或编译期反射(C++20/23)
若项目允许现代工具链,可跳过手工宏系统,改用更健壮的方案:
- 用Clang LibTooling扫描源码,自动生成
reflect_XXX.h头文件,含完整字段/方法元数据,零运行时开销 - C++23标准草案中的
std::reflexpr(尚未稳定)已可在某些编译器实验启用,支持编译期获取类型结构,配合constexpr容器构建元数据 - 注意:这些属于“编译期反射”,不等于运行时动态加载新类型,但大幅简化维护,适合游戏引擎、编辑器后台等可控构建环境
基本上就这些。手工反射系统不复杂但容易忽略细节——比如多线程注册竞争、DLL边界类型重复注册、继承链字段合并。先跑通单类反射,再逐层加继承支持、模板特化处理、脚本语言绑定,架构就立住了。










