find_last_if_not.h

Go to the documentation of this file.

#pragma once
 
#include "di/container/algorithm/find_if_not.h"
 
namespace di::container {
namespace detail {
    struct FindLastIfNotFunction {
        template<concepts::InputIterator Iter, concepts::SentinelFor<Iter> Sent, typename Proj = function::Identity,
                 concepts::IndirectUnaryPredicate<meta::Projected<Iter, Proj>> Pred>
        constexpr auto operator()(Iter first, Sent last, Pred pred, Proj proj = {}) const -> View<Iter> {
            if constexpr (concepts::BidirectionalIterator<Iter> && concepts::SameAs<Iter, Sent>) {
                auto rlast = make_reverse_iterator(first);
                auto it = container::find_if_not(make_reverse_iterator(last), rlast, util::ref(pred), util::ref(proj));
                if (it == rlast) {
                    return { last, last };
                }
                return { container::prev(it.base()), last };
            } else {
                Iter result {};
                for (; first != last; ++first) {
                    if (!function::invoke(pred, function::invoke(proj, *first))) {
                        result = first;
                    }
                }
                return { result == Iter {} ? first : result, first };
            }
        }
 
        template<concepts::InputContainer Con, typename Proj = function::Identity,
                 concepts::IndirectUnaryPredicate<meta::Projected<meta::ContainerIterator<Con>, Proj>> Pred>
        constexpr auto operator()(Con&& container, Pred pred, Proj proj = {}) const -> meta::BorrowedIterator<Con> {
            return (*this)(container::begin(container), container::end(container), util::ref(pred), util::ref(proj));
        }
    };
}
 
constexpr inline auto find_last_if_not = detail::FindLastIfNotFunction {};
}
 
namespace di {
using container::find_last_if_not;
}