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#include class Base { public: virtual ~Base() = default; };
class Derived : public Base {};
立即学习“C++免费学习笔记(深入)”;
int main() { Base ptr = new Derived; std::cout << typeid(ptr).name() << std::endl; // 输出类似 "7Derived" if (dynamic_cast
(ptr)) { std::cout << "ptr 指向 Derived 类型" << std::endl; } delete ptr; return 0; }
手动注册类型信息表
通过宏和全局映射表模拟反射,注册类名与构造函数的映射关系,实现“类名→对象”的动态创建。
• 定义一个工厂类,内部维护一个 map,键为类名字符串,值为创建对象的函数指针。• 使用宏简化每个类的注册过程。
• 所有可反射类需继承自同一个基类,并提供静态注册函数。
示例结构:
class Reflectable {
public:
virtual ~Reflectable() = default;
virtual void info() = 0;
};
template
class Register : public Reflectable {
public:
static Reflectable* create() { return new T; }
};
// 全局工厂
std::map()()> classRegistry;
define REGISTER_CLASS(Class, Name) \
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 {
public:
void info() override { std::cout // 创建对象
auto it = classRegistry.find("Person");
if (it != classRegistry.end()) {
Reflectable* obj = it->second();
obj->info();
delete obj;
}
结合宏与枚举模拟字段反射
对于简单的字段序列化或配置读取,可用宏定义字段列表,在编译期生成元数据。
• 使用 X-Macro 技术统一声明和注册字段。
• 在类中定义宏展开方式,生成变量声明、序列化代码等。示例:
#define PERSON_FIELDS \
X(std::string, name) \
X(int, age)
class Person {
public:
define X(type, name) type name;
PERSON_FIELDS
undef X
void printFields() {define X(type, name) std::cout PERSON_FIELDS
undef X
}
};
使用外部工具生成反射代码
更高级的做法是借助代码生成工具(如 Python 脚本、Clang AST 等),解析 C++ 头文件,自动生成注册代码或反射元数据。
• 工具扫描头文件,提取类、方法、字段信息。
• 输出 C++ 代码,包含注册逻辑、序列化函数等。
• 编译时将生成代码一同编译,实现“伪反射”。这种方法常见于游戏引擎或大型框架中,如 Unreal Engine 的 UHT(Unreal Header Tool)。
基本上就这些。C++没有原生反射,但通过组合RTTI、宏、工厂模式和代码生成,可以实现接近反射的功能。关键是根据实际需求选择合适粒度的方案。不复杂但容易忽略的是虚析构和类型安全。










