一、引言
在很多高级语言（如 C#/Java）中，“反射”是一种内省机制，允许程序在运行时查看和操作对象的结构与行为（如类名、字段、方法等）。而 C++ 作为静态语言，默认并不支持强反射机制。
尽管 C++ 提供 RTTI（如typeid和dynamic_cast），但其功能非常有限，并且很多高性能或嵌入式环境都禁用了 RTTI。
本文将从零开始，实现一个纯 C++ 的运行时反射系统，不依赖 RTTI，可实现字段注册、类型名称、对象属性遍历、动态构造等能力。
二、反射系统的应用场景
| 场景 | 用途 |
|---|---|
| 编辑器 | 属性面板展示与绑定 |
| 脚本接口 | 反射 C++ 对象给 Lua/Python |
| 序列化 | 将对象自动转为 JSON/XML/Binary |
| 插件系统 | 不同模块之间的统一字段解析与操作 |
| 网络通信 | 自动化消息结构注册与生成 |
三、目标功能概览
我们的运行时反射系统应具备以下能力：
注册类型信息（类名、字段）
动态构造对象（new 及析构）
遍历字段，获取/设置值
查询字段类型、名称、偏移量
跨模块兼容性（不依赖 RTTI）
四、核心设计思路
设计三个核心类：
Type：表示一个类的信息Field：表示类的一个字段（属性）TypeRegistry：集中管理所有注册的类型
我们通过宏 + 模板封装类信息，在运行时自动注册。
五、字段描述结构 Field
cpp复制编辑struct Field { std::string name; std::string type; size_t offset; template<typename T> T& get(void* instance) const { return *reinterpret_cast<T*>((char*)instance + offset); } };六、类型信息结构 Type
cpp复制编辑struct Type { std::string name; size_t size; std::function<void*(void)> creator; std::function<void(void*)> deleter; std::vector<Field> fields; void* create() const { return creator(); } void destroy(void* obj) const { deleter(obj); } };七、注册表 TypeRegistry
cpp复制编辑class TypeRegistry {public: static TypeRegistry& instance() { static TypeRegistry inst; return inst; } void registerType(const std::string& name, const Type& t) { types_[name] = t; } const Type* get(const std::string& name) const { auto it = types_.find(name); return it != types_.end() ? &it->second : nullptr; }private: std::unordered_map<std::string, Type> types_; };八、反射注册宏与辅助函数
cpp复制编辑#define BEGIN_REFLECT(T) \ namespace { \ struct T##_Reflector { \ T##_Reflector() { \ Type t; \ t.name = #T; \ t.size = sizeof(T); \ t.creator = []() -> void* { return new T(); }; \ t.deleter = [](void* obj) { delete (T*)obj; };#define REFLECT_FIELD(field, type) \ t.fields.push_back(Field{#field, #type, offsetof(T, field)});#define END_REFLECT(T) \ TypeRegistry::instance().registerType(#T, t); \ } \ }; static T##_Reflector global_reflector_##T; }九、定义一个可反射的类
cpp复制编辑struct Person { std::string name; int age; float height; };BEGIN_REFLECT(Person) REFLECT_FIELD(name, std::string) REFLECT_FIELD(age, int) REFLECT_FIELD(height, float)END_REFLECT(Person)十、使用反射 API
cpp复制编辑void demo_reflect() { const Type* t = TypeRegistry::instance().get("Person"); if (!t) return; void* obj = t->create(); for (const Field& f : t->fields) { std::cout << "Field: " << f.name << ", Type: " << f.type << std::endl; if (f.name == "age") { f.get<int>(obj) = 30; } } Person* p = (Person*)obj; std::cout << "Person.age = " << p->age << std::endl; t->destroy(obj); }输出结果：
yaml复制编辑Field: name, Type: std::stringField: age, Type: intField: height, Type: floatPerson.age = 30
十一、扩展方向建议
| 功能 | 实现方式说明 |
|---|---|
| 反射方法（成员函数） | 可通过std::function<void(void*)>储存 |
| 继承关系反射 | Type 中添加 base_class_name 字段 |
| JSON 自动序列化 | 使用字段遍历 +std::ostringstream |
| 属性读写回调 | 添加 Getter/Setter 函数映射 |
| 多模块反射（DLL） | 用注册表为跨模块插件通信提供基础 |
十二、与 RTTI 的比较
| 特性 | RTTI (typeid) | 自定义反射系统 |
|---|---|---|
| 获取字段 | ❌ | ✅ |
| 获取类型名称 | ✅ | ✅ |
| 动态构造对象 | ❌（需手写工厂） | ✅ |
| 可控字段注册 | ❌ | ✅ |
| 支持嵌入式/禁 RTTI | ❌ | ✅ |
十三、实际应用案例
1. 自动序列化为 JSON
cpp复制编辑std::string to_json(const void* obj, const Type* t) { std::ostringstream oss; oss << "{"; for (size_t i = 0; i < t->fields.size(); ++i) { const auto& f = t->fields[i]; oss << "\"" << f.name << "\":"; if (f.type == "int") oss << f.get<int>(obj); else if (f.type == "float") oss << f.get<float>(obj); else oss << "\"" << f.get<std::string>(obj) << "\""; if (i < t->fields.size() - 1) oss << ","; } oss << "}"; return oss.str(); }输出示例：
json复制编辑{"name":"Tom","age":30,"height":175.5}十四、总结
本文实现了一个无 RTTI 的运行时反射系统，覆盖：
字段描述与对象内存偏移
类型注册与查找
对象动态构造与释放
字段遍历与读取设置
实战序列化场景应用
该机制可轻松嵌入游戏引擎、插件框架、可视化工具中，提升系统的模块化与扩展能力。
)