主页 / 问题 / 1410064
Accepted
Mikhailo
Asked:2022-07-15 18:53:54 +0000 UTC2022-07-15 18:53:54 +0000 UTC

编写你自己的范围过滤器

  • 772

我试图从 Rainer Grimm 的书“C++20 Get the details”中弄清楚如何使用 C++20 中的范围。

我想编写自己的过滤器，可以将容器传递给它（让它只是一个向量），并将过滤后的元素输出到其中并传递它。能够写出类似的东西

vect | views::filter(f1) | views::transform(f2) | copy_to(w) | views::filter(f3)

或多或少是这样的。那些。经过过滤和转换后，我们将其放入向量中w并进一步过滤自己。

只是完全困惑如何做这样的事情。begin()如果我理解正确，那么应该只有end()范围。所以？以及如何获取下一个元素并将其写下来？

如果某处有一个关于编写过滤器的简单描述（以及范围本身......我无法以任何方式理解它们，它是如何在里面的） - 我会很高兴听到。

我只是引用我的耻辱，以便由于缺乏我自己的尝试而没有解决这个问题。因为它是“只要它编译”的风格，因为完全误解了它应该如何工作......

using namespace std::ranges;

template<typename Container, std::ranges::input_range Range> requires std::ranges::view<Range>
class copy_to : public std::ranges::view_interface<copy_to<Container,Range>>
{
private:
    Container * c = nullptr;
    Range range_{};
    std::ranges::iterator_t<Range> begin_{ std::begin(range_) };
    std::ranges::iterator_t<Range> end_{ std::end(range_) };

public:
    //Container() = default;

    constexpr copy_to(Container& c, Range r): c(&c), range_(std::move(r)),
    begin_(std::begin(r)), end_(std::end(r))
    {
        for(auto b = begin_; b != end_; ++b) c->push_back(*b);
    }

    constexpr copy_to(Container& c): c(&c), begin_(std::begin(c)), end_(std::end(c))
    {
        for(auto b = begin_; b != end_; ++b) c->push_back(*b);
    }

    constexpr auto begin() const {
        return begin_;
    }
    constexpr auto end() const {
        return end_;
    }
};

template<typename Container, typename Range>
copy_to(Container&, Range&&) -> copy_to<Container, std::ranges::views::all_t<Range>>;
c++ range

1 个回答

  1. Best Answer

    如果您编写操作以使用范围，那么您将处理三种类型： (1) - 执行的结果copy_to(w)- 这可以是类型本身copy_to。这种类型不必看起来像一个范围或容器。(2) - 执行的结果...|copy_to(w)已经是不同的类型。它必须是一个容器或一个范围。(3) - 执行的结果...|copy_to(w)|...已经是右边操作数的关注点，除非我们重新定义操作符 | （右），例如，用于优化。

    该模板std::ranges::view_interface旨在定义您自己的范围，即 它可能适用于类型 (2)，但对于类型 (1) 是不必要的。您试图将类型 (1) 和 (2) 合二为一。

    解决方案示例：

    #include <ranges>
#include <vector>
#include <iostream>
using namespace std::ranges;


template<typename Container>
class copy_to
{
    Container& output;
public:
    copy_to(Container& output) : output(output) {}
    copy_to(const copy_to&) = default;
    copy_to(copy_to&&) = default;
    
    
    template<viewable_range Range>
    friend auto operator | ( Range range, const copy_to& output )
    {
        auto& w = output.output;
        for( auto i : range )
            w.push_back( i );
        return range;
    }
};
template<typename Container>
copy_to(Container&) -> copy_to<Container>;


int main()
{
    auto f1=[](int i){ return i%3!=0; };
    auto f2=[](int i){ return i+2; };
    auto f3=[](int i){ return i*3; };
    
    std::vector<int> vect = {1,2,3};
    std::vector<int> w;
    for( int i :  vect | views::filter(f1) | views::transform(f2) | copy_to(w) | views::transform(f3) )
        std::cout<<i<<" ";
    std::cout<<std::endl;
    for( int i : w )
        std::cout<<i<<" ";
    std::cout<<std::endl;
}
    • 2

相关问题