为何std::views::split未按传引用处理pattern？需手动用ref_view

根据cppreference文档，std::views::split的调用签名如下：

template< ranges::viewable_range R, class Pattern >
requires /* see below */
constexpr ranges::view auto split( R&& r, Pattern&& pattern );

从签名看pattern按右值引用传递，但实际使用时会遇到编译问题：

编译失败的示例 #

std::vector<int> a{ 1,2,-1,-2,3,4,-1,-2,5,6,7,-1,-2,8 };
std::vector<int> delimiter{ -1, -2 };
auto sv = a | std::views::split(delimiter);
auto jv = sv | std::views::join; // 编译错误

可行的解决方法 #

必须手动用std::ranges::ref_view包裹pattern才能正常编译：

std::vector<int> a{ 1,2,-1,-2,3,4,-1,-2,5,6,7,-1,-2,8 };
std::vector<int> delimiter{ -1, -2 };
auto sv = a | std::views::split(std::ranges::ref_view(delimiter));
auto jv = sv | std::views::join; // 编译正常

原因解析 #

这是因为std::views::split返回的split_view对pattern的持有逻辑，取决于pattern类型是否满足ranges::forward_range且迭代器属于forward_iterator及以上范畴。

当直接传递左值std::vector作为delimiter时，Pattern会被推导为std::vector<int>&，但split_view为了保证视图生命周期安全，不会直接持有这个左值引用，而是会尝试复制整个delimiter容器。但后续join视图消费split_view时，这个副本的生命周期或类型匹配度无法满足编译器的约束检查，最终导致编译失败。

而用std::ranges::ref_view包裹后，Pattern被推导为std::ranges::ref_view<std::vector<int>>——这是一个轻量的视图类型，split_view会持有这个视图的副本，而视图本身仅对原容器做引用。这样split_view和后续的join视图都能正确访问原delimiter容器，同时满足所有约束条件和生命周期要求。

简单总结：非视图类型的左值pattern会被split_view复制，引发后续编译问题；ref_view将左值容器包装为视图，让split_view通过视图间接引用原容器，避免了复制和错误。

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