C++ 运行时反射系统设计与实现(无 RTTI)
2026/5/7 19:59:40 网站建设 项目流程

一、引言

在很多高级语言(如 C#/Java)中,“反射”是一种内省机制,允许程序在运行时查看和操作对象的结构与行为(如类名、字段、方法等)。而 C++ 作为静态语言,默认并不支持强反射机制

尽管 C++ 提供 RTTI(如typeiddynamic_cast),但其功能非常有限,并且很多高性能或嵌入式环境都禁用了 RTTI。

本文将从零开始,实现一个纯 C++ 的运行时反射系统,不依赖 RTTI,可实现字段注册、类型名称、对象属性遍历、动态构造等能力。


二、反射系统的应用场景

场景用途
编辑器属性面板展示与绑定
脚本接口反射 C++ 对象给 Lua/Python
序列化将对象自动转为 JSON/XML/Binary
插件系统不同模块之间的统一字段解析与操作
网络通信自动化消息结构注册与生成

三、目标功能概览

我们的运行时反射系统应具备以下能力:

  • 注册类型信息(类名、字段)

  • 动态构造对象(new 及析构)

  • 遍历字段,获取/设置值

  • 查询字段类型、名称、偏移量

  • 跨模块兼容性(不依赖 RTTI)


四、核心设计思路

设计三个核心类:

  1. Type:表示一个类的信息

  2. Field:表示类的一个字段(属性)

  3. 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 的运行时反射系统,覆盖:

  • 字段描述与对象内存偏移

  • 类型注册与查找

  • 对象动态构造与释放

  • 字段遍历与读取设置

  • 实战序列化场景应用

该机制可轻松嵌入游戏引擎、插件框架、可视化工具中,提升系统的模块化与扩展能力。

需要专业的网站建设服务?

联系我们获取免费的网站建设咨询和方案报价,让我们帮助您实现业务目标

立即咨询