C++26 反射（Reflection）草案怎么在编译期获取类成员变量名称-C++-PHP中文网

c++oding="utf-8" ?>

编译期获取成员名必须使用reflexpr和std::reflect::get_data_members等TS草案接口，目前仅Clang 18/GCC 14实验支持，需开启-freflection-ts；reflexpr仅接受具名实体，返回info后调用get_name得string，但无通用遍历、不支持模板推导，生产环境建议暂用宏方案。

c++26 反射（reflection）草案怎么在编译期获取类成员变量名称

编译期获取成员名必须依赖 `std::reflect` 和 `reflexpr`

目前（2024 年中）C++26 反射仍处于 TS 草案阶段，主流编译器（GCC 14、Clang 18）仅提供实验性支持，且接口与最终标准可能有差异。想在编译期拿到类成员变量名，reflexpr 是唯一入口——它生成一个编译期常量对象，类型为 std::reflect::info，后续所有操作都基于它。

关键点在于：reflexpr 不接受字符串或运行时值，只能作用于**已定义的类型或具名实体**；你不能对 auto 推导的变量或临时对象用 reflexpr。

示例：

struct Person {
    int age;
    std::string name;
};

constexpr auto person_info = reflexpr(Person);
// ✅ 正确：作用于类型名
// ❌ 错误：reflexpr(person) 或 reflexpr({.age=42}) 都不合法

`std::reflect::get_data_members` 提取成员信息数组

有了 reflexpr(Person)，下一步是提取数据成员（即非静态、非函数、非嵌套类型的变量）。草案中使用 std::reflect::get_data_members，它返回一个编译期序列（类似 std::meta::info_sequence），每个元素仍是 std::reflect::info 类型，代表一个成员声明。

注意：该函数只返回直接定义在类中的成员，不包含继承来的成员；也不区分 public/private——访问控制不影响反射可见性。

常见错误：误以为能用 std::reflect::get_members（草案中无此函数）或试图对基类单独调用 reflexpr 再拼接（不可行，无标准机制）。

实操建议：

C++14

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

下载

确保编译器开启反射实验开关，如 Clang 18：添加 -std=c++2b -freflection-ts
成员名本身不是字符串字面量，而是通过 std::reflect::get_name 提取的编译期字符串视图（std::reflect::string）
不能直接 std::cout ，因为 std::reflect::string 不隐式转 const char*

用 `std::reflect::get_name` 拿到成员名并转成字面量

std::reflect::get_name 是核心工具，它接受一个 std::reflect::info（比如某个成员的 info），返回 std::reflect::string。这个类型支持 .size() 和 .data()，但 .data() 返回的是指向编译期存储区的指针，仅在 consteval 上下文中安全使用。

典型陷阱：

在普通 constexpr 函数里调用 .data() 可能触发 ODR-use，导致链接失败（Clang 报 undefined reference to '...' ）
试图把 std::reflect::string 存进 std::array 时，必须先确认长度，且需用 consteval 函数逐字符拷贝
成员名不含作用域前缀，Person::name 的 name 就是 "name"，不是 "Person::name"

简短可用示例（Clang 18 + libc++ 实验版）：

consteval auto get_member_names() {
    constexpr auto members = std::reflect::get_data_members(reflexpr(Person));
    // 假设最多 2 个成员，手动展开（当前无 range-for 支持）
    constexpr auto m0 = std::reflect::get_name(members[0]);
    constexpr auto m1 = std::reflect::get_name(members[1]);
    return std::pair{m0, m1}; // 类型为 (string, string)
}
static_assert(get_member_names().first.size() == 3); // "age"

当前限制：没有通用遍历、无宏替代、不支持模板参数推导

草案尚未提供类似 for_each_member 的泛型设施，所有遍历必须靠硬编码索引或手写递归模板（极难维护）。这意味着你无法写一个“对任意类型 T 输出所有成员名”的函数模板——因为 std::reflect::get_data_members 返回的类型依赖于 T，而该类型不可作为模板参数传递（未被允许为 NTTP）。

另一个现实约束：反射信息在链接时不可见。即使你在头文件中定义了 reflexpr 表达式，若类定义在 .cpp 中且未内联，其他 TU 无法反射它（类似模板定义规则）。

所以实际工程中，若真需要成员名字符串，现阶段更稳妥的做法仍是：