使用std::meta::members_of()遍历命名空间成员的常量表达式错误排查

你遇到的问题是GCC 16.1对C++26反射的实现局限性导致的：std::meta::members_of返回的成员集合在常量表达式语境下会触发动态内存分配（operator new），而当前GCC的constexpr内存分配机制还无法处理这种场景——尤其是std命名空间成员数量极大，编译时分配内存的逻辑还没完全适配。

解决方法 #

不需要把members_of的结果声明为constexpr，调整代码如下两种方式都能正常工作：

方式1：直接在模板for循环中使用members_of的结果

#include <meta>
#include <iostream>

int main()
{
    constexpr auto ns_refl = ^^std;
    constexpr auto ctx = std::meta::access_context::unchecked();

    template for (constexpr auto member : std::meta::members_of(ns_refl, ctx))
    {
        std::cout << std::meta::identifier_of(member) << '\n';
    }
}

方式2：用const而非constexpr存储结果

#include <meta>
#include <iostream>

int main()
{
    constexpr auto ns_refl = ^^std;
    constexpr auto ctx = std::meta::access_context::unchecked();
    const auto members = std::meta::members_of(ns_refl, ctx);

    template for (constexpr auto &member : members)
    {
        std::cout << std::meta::identifier_of(member) << '\n';
    }
}

补充说明 #

C++26反射还处于标准定型和编译器实现的早期阶段，GCC 16.1的反射特性是实验性的，部分constexpr场景的支持还不完善。对于std这种超大型命名空间，编译时遍历其成员的内存开销极大，当前GCC的constexpr内存管理还无法承载这种操作，改用非constexpr变量存储结果后，内存分配会推迟到运行时，就能避开这个错误。

内容的提问来源于stack exchange，提问作者Graznarak