c++ - 如何使用 rangev3 范围实现平面图

Question

我有一个用 C++ 为 std::vector 实现的非常简单的 flatmap 函数，但有人建议范围通常更好。这是基于 vector 的解决方案:

// flatmap: [A] -> (A->[B]) -> [B]    
template<typename T, typename FN>
static auto flatmap(const std::vector<T> &vec, FN fn) 
     -> std::vector<typename std::remove_reference<decltype(fn(T())[0])>::type> {
    std::vector<typename std::remove_reference<decltype(fn(T())[0])>::type> result;
    for(auto x : vec) {
        auto y = fn(x);
        for( auto v : y ) {
            result.push_back(v);
        }
    }
    return result;
};

也有人建议我使用迭代器，但这破坏了函数良好的可组合性:

map(filter(flatmap( V, fn), fn2), fn3)

我假设在 range-v3 世界中我的目标是将上面的代码写成:

auto result = v | flatmap(fn) | filter(fn2) | transform(fn3);

感觉 flatmap 应该只是 views::for_each、yield_from 和 transform 的简单组合，但我正在努力研究如何将它们连接在一起。

Answer 1

IIUC，您的flatmap 函数只不过是range-v3 的view::for_each。尝试:

使用命名空间范围；
自动结果 = v | View ::for_each(fn) | to_vector；


HTH