一、引言

在很多高级语言（如 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	❌	✅

十三、实际应用案例

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 的运行时反射系统，覆盖：

字段描述与对象内存偏移
类型注册与查找
对象动态构造与释放
字段遍历与读取设置
实战序列化场景应用

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

ITPub博客

C++ 运行时反射系统设计与实现（无 RTTI）

一、引言

二、反射系统的应用场景

三、目标功能概览

四、核心设计思路

五、字段描述结构 Field

六、类型信息结构 Type

七、注册表 TypeRegistry

八、反射注册宏与辅助函数

九、定义一个可反射的类

十、使用反射 API

十一、扩展方向建议

十二、与 RTTI 的比较

十三、实际应用案例

十四、总结

ITPub博客

C++ 运行时反射系统设计与实现（无 RTTI）

一、引言

二、反射系统的应用场景

三、目标功能概览

四、核心设计思路

五、字段描述结构 Field

六、类型信息结构 Type

七、注册表 TypeRegistry

八、反射注册宏与辅助函数

九、定义一个可反射的类

十、使用反射 API

十一、扩展方向建议

十二、与 RTTI 的比较

十三、实际应用案例

1. 自动序列化为 JSON

输出示例：

十四、总结

最新文章