c++ 反射实现原理 c++如何模拟实现一个简单的反射机制-C++-PHP中文网

c++原生不支持反射是因零成本抽象原则排斥元数据开销，现有方案均为手动模拟：宏注册依赖offsetof和静态链表，模板constexpr方案实现编译期查找但调试困难，二者均需显式维护字段列表且受限于标准布局要求。

c++ 反射实现原理 c++如何模拟实现一个简单的反射机制

为什么 C++ 原生不支持反射

C++ 标准至今（C++20/C++23）没有内置运行时类型信息（RTTI）以外的反射能力，typeid 和 dynamic_cast 只能告诉你“是不是某个类型”，不能列出成员、调用私有函数、或按名字取字段。这不是编译器偷懒，而是和 C++ 的零成本抽象原则冲突：反射需要在二进制里存额外元数据，且可能阻碍内联、增加虚表开销。

所以所有“C++ 反射”都是模拟——靠宏、模板、外部工具（如 Clang 插件）或运行时注册，本质是把本该由编译器干的活，手动补上。

用宏 + 静态注册实现字段名/类型映射

最轻量、无依赖的模拟方式：在类定义时用宏展开出字段声明 + 元信息注册代码，再用静态变量链表收集。关键不是“自动”，而是“写一次，能查”。

每个字段需显式注册，比如 REFLECT_FIELD(name, int) 展开为成员变量声明 + 一个 FieldInfo 结构体初始化
所有 FieldInfo 实例用静态局部变量 + 指针链表串联，保证首次访问时已就绪
类的 GetFields() 函数返回这个链表头指针，不依赖 RTTI，也不需要虚函数
宏必须在类内部使用（否则无法捕获 this 类型），且不能用于模板类（除非特化后逐个注册）

示例片段：

#define REFLECT_FIELD(name, type) \
  type name; \
  static const FieldInfo field_##name{#name, typeid(type), offsetof(ClassName, name)};

struct Person {
  REFLECT_FIELD(age, int);
  REFLECT_FIELD(name, std::string);
};

注意：offsetof 要求类是标准布局（standard-layout），不能有虚函数、多继承、非公有非静态成员等，否则行为未定义。