C++虽无原生反射,但可通过RTTI、宏、工厂模式和代码生成模拟实现。首先利用typeid和dynamic_cast获取运行时类型信息,需开启-frtti并确保类含虚函数;其次通过全局映射表注册类名与创建函数,结合宏简化注册流程,实现动态对象创建;再者使用X-Macro技术在编译期生成字段元数据,支持序列化等操作;最后可引入外部工具如Clang AST解析头文件,自动生成反射代码,提升效率与一致性。实际应用中需注意虚析构函数以保证正确销毁对象,并确保类型转换安全。

反射机制在运行时允许程序获取类型信息、调用方法或访问成员,而C++原生并不支持完整的反射。但可以通过一些技巧模拟实现运行时类型信息识别(RTTI),满足部分反射需求。以下是一些实用的方法和思路。
利用C++内置的RTTI功能
C++标准提供了有限的运行时类型识别能力,主要通过 typeid 和 dynamic_cast 实现。
• 使用 typeid 获取类型的名称或进行比较,适用于多态类型(带有虚函数的类)。• dynamic_cast 可用于安全地将基类指针转换为派生类指针,失败时返回 nullptr(指针)或抛出异常(引用)。
• 需要开启编译器的RTTI支持(如GCC/Clang的 -frtti)。
示例:
#include <typeinfo>
#include <iostream>
<p>class Base {
public:
virtual ~Base() = default;
};</p><p>class Derived : public Base {};</p><p><span>立即学习</span>“<a href="https://pan.quark.cn/s/6e7abc4abb9f" style="text-decoration: underline !important; color: blue; font-weight: bolder;" rel="nofollow" target="_blank">C++免费学习笔记(深入)</a>”;</p><p>int main() {
Base<em> ptr = new Derived;
std::cout << typeid(</em>ptr).name() << std::endl; // 输出类似 "7Derived"
if (dynamic_cast<Derived*>(ptr)) {
std::cout << "ptr 指向 Derived 类型" << std::endl;
}
delete ptr;
return 0;
}
</p>手动注册类型信息表
通过宏和全局映射表模拟反射,注册类名与构造函数的映射关系,实现“类名→对象”的动态创建。
• 定义一个工厂类,内部维护一个 map,键为类名字符串,值为创建对象的函数指针。• 使用宏简化每个类的注册过程。
• 所有可反射类需继承自同一个基类,并提供静态注册函数。
示例结构:
class Reflectable {
public:
virtual ~Reflectable() = default;
virtual void info() = 0;
};
<p>template<typename T>
class Register : public Reflectable {
public:
static Reflectable* create() { return new T; }
};</p><p>// 全局工厂
std::map<std::string, Reflectable<em>(</em>)()> classRegistry;</p><h1>define REGISTER_CLASS(Class, Name) \</h1><pre class="brush:php;toolbar:false;">Reflectable* create_##Class() { return Class::create(); } \
struct Register_##Class { \
Register_##Class() { classRegistry[#Name] = create_##Class; } \
}; \
static Register_##Class reg_##Class;// 使用
class Person : public Reflectable, public Register // 创建对象
auto it = classRegistry.find("Person");
if (it != classRegistry.end()) {
Reflectable* obj = it->second();
obj->info();
delete obj;
}
对于简单的字段序列化或配置读取,可用宏定义字段列表,在编译期生成元数据。 示例: };
更高级的做法是借助代码生成工具(如 Python 脚本、Clang AST 等),解析 C++ 头文件,自动生成注册代码或反射元数据。 这种方法常见于游戏引擎或大型框架中,如 Unreal Engine 的 UHT(Unreal Header Tool)。 基本上就这些。C++没有原生反射,但通过组合RTTI、宏、工厂模式和代码生成,可以实现接近反射的功能。关键是根据实际需求选择合适粒度的方案。不复杂但容易忽略的是虚析构和类型安全。结合宏与枚举模拟字段反射
• 在类中定义宏展开方式,生成变量声明、序列化代码等。
#define PERSON_FIELDS \
X(std::string, name) \
X(int, age)
<p>class Person {
public:</p><h1>define X(type, name) type name;</h1><pre class="brush:php;toolbar:false;">PERSON_FIELDSundef X
void printFields() {define X(type, name) std::cout
PERSON_FIELDS
undef X
}
使用外部工具生成反射代码
• 输出 C++ 代码,包含注册逻辑、序列化函数等。
• 编译时将生成代码一同编译,实现“伪反射”。










