范围的set_intersection

Question

为什么不能执行以下操作：

std::vector<std::vector<int>> v1{{0,0}, {1,0}, {1,1}, {0,1}};
std::vector<std::vector<int>> v2{{1,0}, {2,0}, {2,1}, {1,1}};
auto p = ranges::set_intersection(v1,v2);

其中p的结果是{{1,0}, {1,1}}。我想我是在请求匹配的子集。如果set_intersection采用自定义谓词来提供此行为，那就太好了。我至少可以想出一种使用其他范围的方法来做到这一点，例如：

  auto equal = [](auto&& t){return ranges::equal(std::get<0>(t), std::get<1>(t));};

  auto matching_subsets = ranges::views::cartesian_product(v1,v2)
    | ranges::views::filter(equal)
    | ranges::views::transform([](auto&& t){return std::get<0>(t);});

我是这样想的：

auto p = ranges::set_intersection(v1, v2, ranges::equal);

Answer 1

我们可以使用std::set_intersection (正如评论中提到的jrok )并执行以下操作：

std::vector<std::vector<int>> v1{{0,0}, {1,0}, {1,1}, {0,1}};
std::vector<std::vector<int>> v2{{1,0}, {2,0}, {2,1}, {1,1}};
std::sort(v1.begin(), v1.end());
std::sort(v2.begin(), v2.end());
std::vector<std::vector<int>> v_intersection;

std::set_intersection(v1.begin(), v1.end(),
                      v2.begin(), v2.end(),
                      std::back_inserter(v_intersection));
for(const auto& v : v_intersection){
    for(const auto& n : v){
        cout<<n<<" ";
    }
    cout<<endl;
}

输出

1 0 
1 1

请注意，必须对两个输入范围进行排序才能使其正常工作。