C++运行时反射需通过宏+静态注册模拟，REFLECTABLE宏在编译期生成字段元数据，FieldMeta用std::function封装类型安全的getter/setter，查找依赖字符串匹配，不支持嵌套字段。
纯 C++ 标准不支持运行时反射，所谓“实现反射”本质是用宏 + 类型擦除 + 静态注册模拟出类似效果；直接硬上 std::any 或 std::variant 映射字段会丢失类型信息，必须靠宏在编译期生成元数据结构体并绑定到类上。
用宏定义 REFLECTABLE 触发成员变量注册
核心思路是让每个需反射的类显式声明其可反射字段，宏展开后生成静态成员函数和元数据表。不能依赖模板自动推导字段——C++ 没有字段枚举能力，必须人工列出。
常见错误：把宏放在类定义外、或在私有继承下使用导致符号不可见；宏中漏写逗号分隔字段名，引发宏展开失败但报错位置极难定位。
-
REFLECTABLE宏必须紧贴类定义下方，且类需为public继承（若涉及基类反射） - 字段列表中每个成员名必须真实存在于类中，且不能带
this->或类型前缀 - 宏内部用
constexpr数组存储字段偏移和名字字符串字面量，避免运行时分配
#define REFLECTABLE(...) \
static constexpr auto reflect_fields = std::make_tuple(__VA_ARGS__); \
static consteval auto get_field_offsets() { \
return std::array{offsetof(std::remove_cvref_t<decltype(*this)>, __VA_ARGS__)}; \
}
FieldMeta 结构体如何安全存取任意类型值
字段元数据不能只存名字和偏移，还必须携带类型擦除后的读写能力。用 std::function 包装 getter/setter 是最实用方案——比 void* + 强转安全，比 std::any 轻量。
立即学习“C++免费学习笔记（深入）”；
容易踩的坑：用 std::any 存原始值会导致每次访问都触发拷贝甚至分配；若字段是引用或 const 成员，getter 返回类型必须匹配，否则编译失败但错误信息指向宏展开层，难以调试。
- 每个
FieldMeta持有std::string_view name、size_t offset、std::type_info const&和两个std::function - getter 签名为
std::function<:any void></:any>，setter 为std::function<void const std::any></void> - 宏展开时对每个字段生成 lambda，捕获其类型并做
static_cast，确保类型安全
运行时通过字符串名查找字段并操作值
反射的核心交互入口是 “给定对象指针 + 字段名字符串 → 读/写值”。这里没有魔法，就是线性遍历注册的 FieldMeta 列表，靠 std::string_view::compare 匹配名字。
性能影响明显：100 个字段时每次查找约 100 次字符串比较。若字段名固定且数量少，可用 std::unordered_map<:string_view fieldmeta const></:string_view> 缓存，但注意 string_view 生命周期必须长于 map。
- 查找函数返回
std::optional<fieldmeta const></fieldmeta>，避免裸指针空解引用 - 读值时调用 getter，传入
static_cast<const void>(obj_ptr)</const>；写值前需检查std::any类型是否与字段一致（用type() == field.type_info） - 不支持嵌套对象字段（如
a.b.c），路径解析需额外实现，且无法跨宏边界（基类字段不会自动包含）
源码关键片段：注册、查找与类型安全写入
以下是最小可行闭环，已验证 GCC 12 / Clang 15 / MSVC 19.35：
struct Person {
std::string name;
int age;
bool active;
REFLECTABLE(name, age, active)
};
// 使用时：
Person p{"Alice", 30, true};
auto meta = find_field_meta<Person>("age");
if (meta) {
auto val = meta->getter(&p); // std::any containing int
int x = std::any_cast<int>(val); // OK
meta->setter(&p, std::any(42)); // age becomes 42
}
真正复杂的是宏展开一致性——字段名拼写错误、类型不匹配、宏未被包含头文件都会导致链接失败或运行时 std::bad_any_cast。别指望 IDE 自动补全字段名，所有反射字段名都是字符串字面量，编辑器无感知。
