如何正确连接两个C++ Ranges视图？现有写法报错原因求解

你尝试连接两个C++ Ranges视图的代码存在对std::views::join功能的误解，以下是具体原因和问题解析：

你的代码 #

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

using namespace std;

int main()
{
 
    vector v{1,2,3,4,5,6,7,4,8,9};   
    auto view_filtered = v | std::views::filter([](const int val){return val %2 == 0;});
      
    vector v_10{10,20,30,40,50,60,70,80,90};   
    auto view_transformed = v_10 | std::ranges::views::transform([](auto val){return val * 10;});
    auto join_views =view_transformed | std::ranges::views::join(view_filtered);
    


    return 0;
}

编译错误信息 #

main.cpp: In function ‘int main()’: main.cpp:24:65: error: no match for call to ‘(const std::ranges::views::_Join) (std::ranges::filter_view > >, main():: >&)’    24 |     auto join_views =view_transformed | std::ranges::views::join(view_filtered);
      |                                         ~~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~ In file included from main.cpp:9: /usr/include/c++/11/ranges:2785:9: note: candidate: ‘template  requires (viewable_range<_Range>) && (__can_join_view<_Range>) constexpr auto std::ranges::views::_Join::operator()(_Range&&) const’  2785 |         operator()(_Range&& __r) const
      |         ^~~~~~~~ /usr/include/c++/11/ranges:2785:9: note:   template argument deduction/substitution failed: /usr/include/c++/11/ranges:2785:9: note: constraints not satisfied /usr/include/c++/11/ranges: In substitution of ‘template<class _Range> requires (viewable_range<_Range>) && (__can_join_view<_Range>) constexpr auto std::ranges::views::_Join::operator()(_Range&&) const [with _Range = std::ranges::filter_view<std::ranges::ref_view<std::vector<int, std::allocator<int> > >, main()::<lambda(int)> >&]’: main.cpp:24:65:   required from here /usr/include/c++/11/ranges:2776:10:   required for the satisfaction of ‘__can_join_view<_Range>’ [with _Range = std::ranges::filter_view<std::ranges::ref_view<std::vector<int, std::allocator<int> > >, main::_anon_103>&] /usr/include/c++/11/ranges:2777:6:   in requirements  [with _Range = std::ranges::filter_view<std::ranges::ref_view<std::vector<int, std::allocator<int> > >, main::_anon_103>&] /usr/include/c++/11/ranges:2777:24: note: the required expression ‘std::ranges::join_view >{declval<_Range>()}’ is invalid  2777 |      
= requires { join_view<all_t<_Range>>{std::declval<_Range>()}; };
      |                        ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ cc1plus: note: set ‘-fconcepts-diagnostics-depth=’ to at least 2 for more detail

错误原因 #

• std::views::join的功能误解：
  join的核心作用是扁平化嵌套范围，比如将vector<vector<int>>这类包含子范围的容器展开成单一元素序列。它仅接收一个嵌套范围作为参数，而非两个独立视图。你的代码试图用它连接两个独立视图，完全违背了join的设计逻辑，因此编译器无法匹配到合法的函数重载。

• 正确的连接方式：
  若要将两个独立视图连接为连续序列，C++23提供了std::views::concat可直接实现需求：

  auto joined_views = std::views::concat(view_transformed, view_filtered);
  

  若使用C++20，标准库无内置concat视图，可自行实现类似功能，或先将两个视图的元素复制到同一容器后再生成视图。

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