std::views::keys兼容性与C++20索引视图实现的技术疑问

代码背景 #

尝试实现兼容C++20视图的boost::adaptors::indexed功能，针对std::vector并追求通用方案，发现std::views::keys在不同编译器下表现异常：GCC 10.3中rng1输出无效值，GCC 10.4+正常，Clang 14.0.0无法编译。

1. std::views::keys是否支持任意pair/tuple类型？代码是否存在未定义行为（UB）？ #

• std::views::keys支持所有满足pair-like约束的类型，即可以通过std::get<0>合法访问第一个元素的类型，std::pair完全符合这个要求，标准对此有明确保证。
• 你代码中计算索引的&val - vec.data()本身不属于UB——只要val确实是vec的元素（vector存储连续，同一数组范围内的指针减法是标准允许的）。GCC 10.3中rng1的异常是旧版本编译器对C++20视图的实现bug，而非代码本身的UB。但需注意：若视图被拷贝后原vector销毁，或vector在视图使用期间重分配，会导致悬空引用/无效索引，这是该实现的潜在风险。

2. Clang 14.0.0无法编译，代码是否符合C++标准？ #

你的代码符合C++20标准。Clang 14.0.0对C++20 ranges的支持存在局限性，尤其是std::views::keys对std::pair<std::size_t, std::reference_wrapper<T>>这类类型的约束检查未正确实现，升级到Clang 15及以上版本即可正常编译。

3. C++20中更优的实现方式？ #

优先使用std::views::zip搭配std::views::iota的标准方案，这是更通用、更安全的实现，完全避免指针计算的潜在风险，且支持所有满足sized_range的输入范围（不仅限于vector）：

#include <vector>
#include <ranges>
#include <iostream>

template <std::ranges::input_range R>
    requires std::ranges::sized_range<R>
auto make_indexed_view(R&& rng)
{
    // 生成从0开始的索引序列，与原范围大小匹配，打包成(索引, 元素)对
    return std::views::zip(
        std::views::iota(std::size_t{0}, std::ranges::size(rng)),
        std::forward<R>(rng)
    );
}

int main()
{
    const std::vector<int> v{10, 20, 30};
    auto fn = [](const auto& val) { return val.second >= 20; };
    
    auto rng = make_indexed_view(v) | std::views::filter(fn) | std::views::keys;
    for (auto elem : rng)
        std::cout << elem << '\n';
    
    return 0;
}

该方案的优势：

• 完全基于标准库组件，兼容性更好；
• 无需依赖指针计算，彻底消除UB风险；
• 支持所有带大小的输入范围（如std::array、std::string、自定义连续容器等）；
• 代码更简洁，语义更清晰。

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