范围v3使序列变平

Question

所以我最近在c ++上看了这个演讲:https: //www.youtube.com/watch？v = mFUXNMfaciE

我对尝试它非常感兴趣.因此,在一些玩具程序之后,我被困在如何正确地将矢量矢量平面化为矢量.根据这里的文档:https://ericniebler.github.io/range-v3/这是可能的使用ranges::view::for_each.但是我似乎无法让它发挥作用.这是一些最小的代码.

#include <range/v3/all.hpp>
#include <iostream>
#include <vector>

int main()
{
    auto nums = std::vector<std::vector<int>>{
        {0, 1, 2, 3},
        {5, 6, 7, 8},
        {10, 20},
        {30},
        {55}
    };

    auto filtered = nums
        | ranges::view::for_each([](std::vector<int> num) { return ranges::yield_from(num); })
        | ranges::view::remove_if([](int i) { return i % 2 == 1; })
        | ranges::view::transform([](int i) { return std::to_string(i); });

    for (const auto i : filtered)
    {
        std::cout << i << std::endl;
    }
}

Answer 1

range-v3错误消息往往非常可怕,以至于这个实际上比大多数更好:

prog.cc: In lambda function:
prog.cc:16:90: error: no match for call to '(const ranges::v3::yield_from_fn) (std::vector<int>&)'
         | ranges::view::for_each([](std::vector<int> num) { return ranges::yield_from(num); })
                                                                                          ^
In file included from /opt/wandbox/range-v3/include/range/v3/view.hpp:38:0,
                 from /opt/wandbox/range-v3/include/range/v3/all.hpp:21,
                 from prog.cc:1:
/opt/wandbox/range-v3/include/range/v3/view/for_each.hpp:133:17: note: candidate: template<class Rng, int _concept_requires_132, typename std::enable_if<((_concept_requires_132 == 43) || ranges::v3::concepts::models<ranges::v3::concepts::View, T>()), int>::type <anonymous> > Rng ranges::v3::yield_from_fn::operator()(Rng) const
             Rng operator()(Rng rng) const
                 ^~~~~~~~

对于对range-v3的概念仿真层有一定了解的人来说,这个"清楚地"表明yield_from由于你传递给它的参数的类型而导致失败的调用std::vector<int>- 不满足这个View概念.

该View概念表征了不拥有其元素的范围子集,因此具有所有操作 - 移动/复制构造/赋值,开始,结束和默认构造 - 可在O(1)中计算.范围-v3中的范围组合algrebra仅适用于视图,以避免必须处理元素生命周期并提供可预测的性能.

yield_from拒绝std::vector你试图通过的s,因为它们不是视图,但是你可以通过(1)将向量作为左值而不是按值来轻松提供视图for_each,以及(2)产生view::all那些左值[ DEMO ]:

auto filtered = nums
    | ranges::view::for_each([](std::vector<int>& num) {
        return ranges::yield_from(ranges::view::all(num)); })
    | ranges::view::remove_if([](int i) { return i % 2 == 1; })
    | ranges::view::transform([](int i) { return std::to_string(i); });

但是在这个简单的例子中,将一系列元素范围扁平化为一系列元素已经在范围-v3中具有特定于目的的视图:view::join.您也可以使用[ DEMO ]:

auto filtered = nums
    | ranges::view::join
    | ranges::view::remove_if([](int i) { return i % 2 == 1; })
    | ranges::view::transform([](int i) { return std::to_string(i); });