C++ 实现反射机制之自定义 Attribute 注解标签模拟实现及其模板元编程方案【源码】-C++-PHP中文网

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

c++ 实现反射机制之自定义 attribute 注解标签模拟实现及其模板元编程方案【源码】

为什么 C++ 没有原生 `[[attribute]]` 反射能力却还要模拟？

因为 C++20 的 std::reflect 仍处于 TS 阶段，主流编译器（GCC/Clang/MSVC）均未启用；而生产环境常需运行时获取字段名、类型、序列化策略等元信息。模拟不是为了“复刻 Java”，而是解决具体问题：比如自动生成 JSON 序列化代码、统一校验规则注入、或调试时打印结构体完整布局。

关键判断：用宏 + 模板元编程是当前最可行的方案，但必须接受两个事实——__PRETTY_FUNCTION__ 解析不可靠、constexpr if 在 C++17 下无法对成员变量做分支，所以得靠宏展开+类型列表注册来绕过限制。

用宏注册字段并生成 `FieldInfo` 类型列表

核心思路是让每个结构体显式声明其“可反射字段”，避免依赖编译器内部符号解析。不推荐用 __FILE__ + 行号拼接 ID，容易因预处理顺序出错。

C++14

C++14 对 C++11 的修正与增强版本，适合旧系统维护和较老工具链兼容。

下载

定义宏 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>;</i></size_t>

每个字段用包装器 field("name", &T::member) 构造，其中 field 是一个模板函数，返回 FieldDesc<t decltype></t> 类型，携带名称、偏移、类型擦除后的读写器
注意：不能直接用 offsetof 计算非标准布局类型（含虚函数、继承）的成员偏移，此时应改用 reinterpret_cast<char>(this) + offsetof(...)</char> 并确保对象为 POD

如何让 `field("id", &User::id)` 支持读写且类型安全？

重点不在“存名字”，而在“能通过字符串名访问值”。需要把成员指针和对象实例绑定，且不牺牲性能。

字段描述符 FieldDesc 内部保存 std::string_view name 和一个泛型 lambda：
```
std::function<void void> setter;
std::function<void void> getter;</void></void>
```
构造时用模板推导填充 lambda：setter = [](void* obj, void* val) { *static_cast<t>(obj) = *static_cast<u>(val); };</u></t>，这里 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, hash_v};
查找函数接收 std::string_view，先计算其哈希，再用 std::lower_bound 在排序后的哈希数组中二分定位，最后验证原始字符串是否相等（防哈希碰撞）
若字段数 ≤ 8，直接硬编码 if (name == "id") ... else if (name == "name") ...，编译器会优化为跳转表，比哈希+查表更快
别忘了加 [[nodiscard]] 到查找接口，否则用户忽略返回的 FieldDesc* 导致空指针解引用——这是最容易被忽略的崩溃点