为何无法对std::ranges::to<std::vector>()结果使用下标运算符？

std::views::lazy_split的返回元素是分割后的子范围（range），而非直接的std::string_view。用std::ranges::to<std::vector>()转换后，vector中存储的是这些子范围对象（比如std::ranges::lazy_split_view迭代器指向的value_type），并非预期的string_view，这就导致下标访问后无法直接和string_view做==比较，也不符合constexpr数据解析的类型需求。

另外要注意：std::views::lazy_split不支持正则表达式（比如你写的"\s+"），它仅支持单个分隔符、分隔符范围或自定义谓词实现分割逻辑。

要让vector存储string_view，需在转换前给分割结果加一层视图，将每个子范围显式转为string_view，同时适配空白分割的需求：

1. 基础修正代码（单空格分割） #

#include <ranges>
#include <vector>
#include <string_view>

constexpr auto parse_data() {
    using namespace std::literals;
    // 先分割，再将每个子范围转为string_view
    auto split_result = "a b c"sv 
                      | std::views::lazy_split(" "sv)
                      | std::views::transform([](auto&& sub_range) {
                          return std::string_view(sub_range.begin(), sub_range.end());
                      });
    // 转为vector<string_view>
    auto vec = split_result | std::ranges::to<std::vector>();

    // 现在可正常使用下标和==比较
    static_assert(vec[0] == "a"sv);
    static_assert(vec[1] == "b"sv);
    static_assert(vec[2] == "c"sv);
    return vec;
}

int main() {
    auto data = parse_data();
}

2. 适配任意空白分割（对应\s+需求） #

如果需要按连续空白字符分割，需自定义谓词并过滤空范围：

#include <ranges>
#include <vector>
#include <string_view>

constexpr bool is_whitespace(char c) {
    return c == ' ' || c == '\t' || c == '\n' || c == '\r';
}

constexpr auto parse_data() {
    using namespace std::literals;
    auto split_result = "a  b\tc"sv 
                      | std::views::lazy_split([](char c) { return is_whitespace(c); })
                      | std::views::filter([](auto&& sub_range) { 
                          // 过滤连续空白产生的空范围
                          return !std::ranges::empty(sub_range); 
                      })
                      | std::views::transform([](auto&& sub_range) {
                          return std::string_view(sub_range.begin(), sub_range.end());
                      });

    auto vec = split_result | std::ranges::to<std::vector>();

    static_assert(vec[0] == "a"sv);
    static_assert(vec[1] == "b"sv);
    static_assert(vec[2] == "c"sv);
    return vec;
}

3. constexpr编译注意事项 #

• 编译时需启用-std=c++23，因为std::ranges::to和lazy_split的谓词版本均为C++23特性
• 自定义谓词、转换lambda必须是constexpr的，才能在constexpr函数中正常执行

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