c++原生不支持反射是因为编译期抹除类型名、成员名等运行时信息，追求零开销抽象；所有“反射”实为编译期模拟，包括宏展开注册、模板元编程推导或手动运行时注册，均需用户显式维护字段名与结构的一致性。
为什么C++原生不支持反射
因为标准C++在编译期就抹除了类型名、成员名、注解等运行时信息，typeid和std::type_info只提供极简的类型标识，无法枚举成员、调用任意字段或获取字段名。这不是设计疏漏，而是为了零开销抽象——反射意味着元数据存储和查表开销，与C++哲学冲突。
所以所有“C++反射”都是**编译期模拟**：靠宏展开生成注册代码，或用模板递归推导结构体布局，本质是把本该由编译器做的事，手动写死或让模板元编程“算出来”。
用宏实现最简结构体字段遍历（如REFLECTABLE）
典型方案是用宏定义结构体的同时，生成一份字段描述表。例如：
#define REFLECTABLE(...) constexpr auto get_field_names() { return std::make_tuple(__VA_ARGS__); } template<size_t I> constexpr auto get_field_name() { return std::get<I>(get_field_names()); }
但这样只能拿到名字，没法自动绑定到实际字段。更实用的是像BOOST_FUSION_ADAPT_STRUCT那样，用宏注入特化：
立即学习“C++免费学习笔记（深入）”；
- 必须在全局命名空间定义宏，不能在函数或类内部；
- 宏展开后会生成
boost::fusion::traits::adapted特化，依赖Boost.Fusion的内部约定； - 字段顺序必须严格匹配结构体定义顺序，错一个就编译失败，错误信息通常指向
fusion::size或at_c内部，很难定位； - 不支持嵌套结构体自动展开，需对每个子类型单独
ADAPT_STRUCT； - 所有字段必须是public，private字段无法被宏访问。
用模板+constexpr推导字段偏移（免宏方案）
利用C++17的constexpr if和C++20的std::is_aggregate_v，配合用户显式声明字段列表，可避开宏的语法污染。核心思路是：让用户写一个fields()静态成员函数，返回std::tuple类型，再通过std::get<i></i>提取字段引用。
示例关键片段：
template<typename T> struct reflector { template<size_t I> static constexpr auto field_name() { if constexpr (I == 0) return "x"; else if constexpr (I == 1) return "y"; // ... 必须手动维护，无法自动推导 } };
问题在于：C++没有机制能从struct Point { int x, y; };中自动提取"x"字符串。所以所有“免宏”方案，最终仍需用户重复写一遍字段名，只是换了个位置（比如写在fields()里），并未真正减少冗余。
- 字段名硬编码在
field_name()里，改名时容易漏同步； - 无法处理位域（
int flag : 1;）、引用成员、静态成员； - 对
std::vector或std::string字段，取地址可能触发临时对象构造，导致&obj.field不是稳定地址； - Clang编译时对constexpr递归深度敏感，字段多于20个易报
constexpr evaluation exceeded depth。
运行时注册 + 字段回调（适合配置/序列化场景）
如果目标是JSON序列化或GUI自动绑定，不如放弃“通用反射”，直接为每个结构体写一个轻量注册函数，明确告诉系统怎么读写字段：
struct Person { std::string name; int age; }; REFLECT(Person, (name)(age)); // 宏展开为注册调用
这个REFLECT宏最终生成类似这样的代码：
template<> void reflect<Person>(const Person& p, auto&& f) { f("name", p.name); f("age", p.age); }
然后序列化函数统一调用reflect(obj, [&](auto key, auto& val) { /* 写入JSON */ });。这种模式实际项目中最稳：
- 字段访问是普通左值引用，无生命周期陷阱；
- 可对特定字段加逻辑（如
age做范围校验再写入）； - 支持
std::optional、std::variant等复杂类型，只要注册函数里显式处理； - 调试时单步进入
reflect<person></person>就能看到全部字段路径，比宏展开堆栈清晰得多； - 注意：宏参数括号必须紧贴字段名，
(name )多空格会导致宏解析失败，错误常报在__VA_ARGS__展开处，而非你写的那行。
真正难的不是怎么写反射，是怎么让字段名、类型、语义三者长期一致。每次结构体改字段，都得同步改反射注册——这里漏掉一个，运行时序列化就静默丢数据，连warning都不会有。