C++因std::reflect未落地而需模拟反射,核心是宏注册字段+类型安全读写器,通过哈希/分支查找字段名,兼顾性能与可维护性。

为什么 C++ 没有原生 [[attribute]] 反射能力却还要模拟?
因为 C++20 的 std::reflect 仍处于 TS 阶段,主流编译器(GCC/Clang/MSVC)均未启用;而生产环境常需运行时获取字段名、类型、序列化策略等元信息。模拟不是为了“复刻 Java”,而是解决具体问题:比如自动生成 JSON 序列化代码、统一校验规则注入、或调试时打印结构体完整布局。
关键判断:用宏 + 模板元编程是当前最可行的方案,但必须接受两个事实——__PRETTY_FUNCTION__ 解析不可靠、constexpr if 在 C++17 下无法对成员变量做分支,所以得靠宏展开+类型列表注册来绕过限制。
用宏注册字段并生成 FieldInfo 类型列表
核心思路是让每个结构体显式声明其“可反射字段”,避免依赖编译器内部符号解析。不推荐用 __FILE__ + 行号拼接 ID,容易因预处理顺序出错。
- 定义宏
REFLECTABLE,在类定义后立即调用,例如:#define REFLECTABLE(...) \ static constexpr auto get_fields() { return std::make_tuple(__VA_ARGS__); } \ template<size_t I> using field_type = std::tuple_element_t<I, decltype(get_fields())>; - 每个字段用包装器
field("name", &T::member)构造,其中field是一个模板函数,返回FieldDesc<T, decltype(&T::member)>类型,携带名称、偏移、类型擦除后的读写器 - 注意:不能直接用
offsetof计算非标准布局类型(含虚函数、继承)的成员偏移,此时应改用reinterpret_cast<char*>(this) + offsetof(...)并确保对象为 POD
如何让 field("id", &User::id) 支持读写且类型安全?
重点不在“存名字”,而在“能通过字符串名访问值”。需要把成员指针和对象实例绑定,且不牺牲性能。
立即学习“C++免费学习笔记(深入)”;
- 字段描述符
FieldDesc内部保存std::string_view name和一个泛型 lambda:std::function<void(void*, void*)> setter; std::function<void*(const void*)> getter;
- 构造时用模板推导填充 lambda:
setter = [](void* obj, void* val) { *static_cast<T*>(obj) = *static_cast<U*>(val); };,这里T是类类型,U是成员类型 - 避免
std::any或std::variant:它们引入动态分配和类型擦除开销;改为用void*+ 显式static_cast,由调用方保证类型匹配——这是模拟反射必须承担的契约 - 常见错误:把
&User::id直接转成void*,这在 MSVC 下会触发 C4430 警告;正确做法是先转成ptrdiff_t存储,读取时再还原为成员指针
C++17 下怎么实现“根据字段名查字段”而不遍历 tuple?
不能用 if constexpr 展开 tuple 元素做字符串比较(因为 std::string_view 非字面量),但可以用整数序列 + SFINAE 排除法加速查找。
- 预先将所有字段名哈希为
constexpr uint32_t(如 FNV-1a),存在static constexpr uint32_t name_hashes[] = {hash_v<"id">, hash_v<"name">}; - 查找函数接收
std::string_view,先计算其哈希,再用std::lower_bound在排序后的哈希数组中二分定位,最后验证原始字符串是否相等(防哈希碰撞) - 若字段数 ≤ 8,直接硬编码
if (name == "id") ... else if (name == "name") ...,编译器会优化为跳转表,比哈希+查表更快 - 别忘了加
[[nodiscard]]到查找接口,否则用户忽略返回的FieldDesc*导致空指针解引用——这是最容易被忽略的崩溃点



















