C++原生不支持[[metadata]]映射到成员变量，因标准无反射机制，[[attribute]]仅编译期标记且不保留；需用宏+constexpr显式注册元数据表。
为什么 C++ 原生不支持 [[metadata]] 这类注解映射到成员变量
C++ 标准至今（C++20/23）没有反射机制，[[attribute]] 是纯编译期标记，编译器不会保留它到运行时，更不会自动关联到类成员或生成映射表。你写 [[reflect]] int age;，编译器可能接受，但 age 的名字、类型、注解内容全被丢弃——没地方存，也没 API 读。
所以“实现反射”本质是：自己造一套可查询的元数据结构，并在定义类时**显式注册**成员信息。不是靠编译器解析注解，而是靠宏 + 静态初始化 + 类型擦除来模拟。
- 所有“注解”必须转为可执行的 C++ 代码（比如宏展开成注册调用）
- 每个类需有一个静态函数或静态变量承载其成员元数据表
- 不能依赖
__attribute__或[[...]]自动提取字段——它们只是装饰，不参与逻辑
用宏 + constexpr 构建可遍历的成员元数据表
核心思路是：把每个成员的名称、类型、偏移、自定义标签（如 "json_name"、"required"）打包成结构体，放进一个编译期可知的数组里。用 constexpr 函数配合宏，在类定义后一键生成该数组。
例如，定义一个带标签的类：
struct Person {
int id;
std::string name;
double score;
<pre class="brush:php;toolbar:false;">REFLECT(Person,
FIELD(id, "json_name" = "user_id"),
FIELD(name, "json_name" = "full_name", "required" = "true"),
FIELD(score)
)};
其中 REFLECT 是宏，展开后会生成静态成员 meta_data()，返回 std::array<fieldinfo></fieldinfo>；FIELD 宏负责构造每个 FieldInfo 实例，内含 offsetof(Person, id)、"id" 字符串字面量、以及键值对形式的标签（用 std::initializer_list<:pair char const>></:pair> 存）。
- 字段名必须是字符串字面量（不能用
decltype推导变量名），否则无法做反射查找 -
offsetof要求类是标准布局（is_standard_layout_v<t></t>），避免继承/虚函数/非公有成员 - 标签值只能是字符串字面量（
"true"），不能是变量或constexpr bool，否则进不了constexpr上下文
运行时如何根据字段名查到类型和标签
调用 Person::meta_data() 得到元数据数组后，可用普通循环或 std::find_if 查找字段名：
FieldInfo::tag(const char* key)
- 不要试图在反射层做泛型赋值（如
set(obj, "name", "Alice")），那需要额外的 type-erased setter 函数表，复杂度陡增 - 若需序列化，建议只用反射获取字段名/类型/标签，序列化逻辑单独写（避免把 JSON 库耦合进元数据结构）
- 字段偏移
offset是size_t，取地址时必须用reinterpret_cast<char>(&obj)</char>再加法，不能直接&obj.id算——后者会被优化掉
容易被忽略的 ABI 和模板实例化问题
宏生成的 meta_data() 是 inline 函数，但它的返回类型（如 std::array<fieldinfo n></fieldinfo>）含字符串字面量地址。这些地址在不同编译单元中是否一致？答案是：只要字符串字面量相同，MSVC/GCC/Clang 都会合并到同一地址（符合 C++ 标准的“静态存储期”保证）。但前提是——不能把宏定义放在头文件里又没加 inline 或 constexpr 修饰，否则 ODR 违规。
- 所有宏定义、
FieldInfo结构体、REFLECT展开逻辑，必须放在头文件中且确保只实例化一次 - 如果类模板（如
template<typename t> struct Container</typename>）也要反射，REFLECT宏必须能接受模板参数，且meta_data()必须是static constexpr成员函数（否则每个实例化产生独立符号） - 调试时若发现
it->tag("xxx")返回空，先检查字符串字面量拼写（"required"≠"Required"），再确认宏是否真的展开了——用-E看预处理输出最直接
真正难的不是写出来，而是让这套东西在跨模块、带模板、有继承关系的项目里不崩——每多一层间接，就要多验一次 offsetof 合法性和字符串生命周期。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
