为何无法使用std::views::join展平std::meta::info的嵌套范围？

看起来你在尝试结合C++26的反射特性和范围库，在consteval函数里展平嵌套的std::meta::info范围时碰到了棘手的编译错误，我来帮你拆解问题的核心原因和解决方向。

问题出在哪？ #

你碰到的错误本质是：std::meta相关的视图迭代器操作，目前在Clang的实现中还无法完全支持在consteval上下文中通过std::views::join进行自动展平。

从错误信息里的关键提示可以看到，当你启用views::join后，范围库会尝试获取内层std::meta::members_of返回的范围的迭代器，而这个过程中触发了__metafunction的调用——这个调用在常量表达式中是无效的。简单来说，std::views::join会自动遍历内层范围，但Clang当前的反射实现里，内层meta范围的迭代器创建/解引用逻辑，还没办法满足consteval对常量表达式的严格要求。

而你注释掉join时能正常编译，是因为此时你只操作了外层范围（bases_of返回的范围），并没有触碰到内层范围的迭代器细节，编译器不需要去执行那些不支持常量表达式的操作。

该怎么解决？ #

目前来看，这是编译器实现的临时限制，而非你代码逻辑的问题。你可以换一种手动遍历的方式来展平嵌套范围，避开views::join的自动处理逻辑：

template<typename T>
consteval auto get_names() {
    using get_fn = decltype( [] {
        std::vector<std::meta::info> result;
        // 手动遍历外层基类范围
        for (auto base : std::meta::bases_of(^^T, std::meta::access_context::unchecked())) {
            // 手动遍历内层成员范围
            for (auto member : std::meta::members_of(base, std::meta::access_context::unchecked())) {
                result.push_back(member);
            }
        }
        return result;
    });
    return get_fn{}().size();
}

这种显式的循环遍历，会直接触发std::meta范围的常量表达式兼容操作，而不会像views::join那样触发编译器还没处理好的嵌套迭代器逻辑，大概率能正常通过consteval的编译检查。

后续说明 #

随着C++26反射特性的实现逐渐完善，Clang应该会修复这个consteval上下文里的范围库兼容问题，到时候你再换回views::join的写法就可以正常工作了。

内容来源于stack exchange