如何使用 Range-v3 模拟 boost::algorithm::find_if_backward？

Question

我一直在广泛使用 boost::algorithm::find_if_backward 来获得指向满足谓词的范围内的 last 元素的前向迭代器。

如何使用 Range-v3 完成相同的任务？

这是我的尝试，看起来有点笨拙；而且我什至不确定是否足够强大。实际上，正如评论中所建议的那样，代码是不够健壮，因为当没有找到元素时，range_it_to_last_2 最终成为 std::next(v.begin(), -1)，这是未定义的行为，我相信。

#include <algorithm>
#include <boost/algorithm/find_backward.hpp>
#include <boost/hana/functional/partial.hpp>
#include <iostream>
#include <range/v3/algorithm/find_if.hpp>
#include <range/v3/view/reverse.hpp>

using boost::algorithm::find_if_backward;
using ranges::find_if;
using ranges::views::reverse;

auto constexpr is_2 = boost::hana::partial(std::equal_to<>{}, 2);

int main() {
    std::vector<int> v{0,1,2,2,2,3};

    // What I have been doing so far:
    auto boost_it_to_last_2 = find_if_backward(v, is_2);

    // The Range-v3 analogous I could come up with, but it's ugly:
    auto range_it_to_last_2 = std::next(find_if(v | reverse, is_2).base(), -1);

    for (auto it = v.begin(); it <= boost_it_to_last_2; ++it) {
        std::cout << *it << ' ';
    } // prints 0 1 2 2 2
    std::cout << std::endl;
    for (auto it = v.begin(); it <= range_it_to_last_2; ++it) {
        std::cout << *it << ' ';
    } // prints 0 1 2 2 2
    std::cout << std::endl;
}

Answer 1

假设您始终知道找到匹配项，为什么不简化为以下内容，得到相同的输出：

Live On Godbolt

#include <algorithm>
#include <boost/algorithm/find_backward.hpp>
#include <boost/hana/functional/partial.hpp>
#include <fmt/ranges.h>
#include <range/v3/algorithm/find_if.hpp>
#include <range/v3/view/subrange.hpp>
#include <range/v3/view/reverse.hpp>

using boost::algorithm::find_if_backward;
using ranges::find_if;
using ranges::views::reverse;
using ranges::subrange;

auto constexpr pred = boost::hana::partial(std::equal_to<>{}, 2);

int main() {
    std::vector<int> v {0,1,2,2,2,3};
    auto boost_match = find_if_backward(v, pred);
    auto range_match = find_if(v | reverse, pred).base();

    static_assert(std::is_same_v<decltype(boost_match), decltype(range_match)>);

    fmt::print("boost: {}\nrange: {}\n",
            subrange(v.begin(), boost_match+1),
            subrange(v.begin(), range_match));
}

版画

boost: {0, 1, 2, 2, 2}
range: {0, 1, 2, 2, 2}

（一些玩具拼写的乐趣：https://godbolt.org/z/ccPKeo）

如何使用 Range-v3 模拟 boost::algorithm::find_if_backward？

How to emulate boost::algorithm::find_if_backward with Range-v3?

c++

algorithm

boost

find

range-v3