1ee0f8c40SNikolas Klauser //===----------------------------------------------------------------------===// 2ee0f8c40SNikolas Klauser // 3ee0f8c40SNikolas Klauser // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. 4ee0f8c40SNikolas Klauser // See https://llvm.org/LICENSE.txt for license information. 5ee0f8c40SNikolas Klauser // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception 6ee0f8c40SNikolas Klauser // 7ee0f8c40SNikolas Klauser //===----------------------------------------------------------------------===// 8ee0f8c40SNikolas Klauser 9ee0f8c40SNikolas Klauser #ifndef _LIBCPP___ALGORITHM_RANGES_FIND_IF_H 10ee0f8c40SNikolas Klauser #define _LIBCPP___ALGORITHM_RANGES_FIND_IF_H 11ee0f8c40SNikolas Klauser 12ee0f8c40SNikolas Klauser #include <__config> 13ee0f8c40SNikolas Klauser #include <__functional/identity.h> 14ee0f8c40SNikolas Klauser #include <__functional/invoke.h> 15ee0f8c40SNikolas Klauser #include <__functional/ranges_operations.h> 16ee0f8c40SNikolas Klauser #include <__iterator/concepts.h> 17ee0f8c40SNikolas Klauser #include <__iterator/projected.h> 18ee0f8c40SNikolas Klauser #include <__ranges/access.h> 19ee0f8c40SNikolas Klauser #include <__ranges/concepts.h> 20ee0f8c40SNikolas Klauser #include <__ranges/dangling.h> 21ee0f8c40SNikolas Klauser #include <__utility/move.h> 22ee0f8c40SNikolas Klauser 23ee0f8c40SNikolas Klauser #if !defined(_LIBCPP_HAS_NO_PRAGMA_SYSTEM_HEADER) 24ee0f8c40SNikolas Klauser # pragma GCC system_header 25ee0f8c40SNikolas Klauser #endif 26ee0f8c40SNikolas Klauser 277b462251SLouis Dionne _LIBCPP_PUSH_MACROS 287b462251SLouis Dionne #include <__undef_macros> 297b462251SLouis Dionne 304f15267dSNikolas Klauser #if _LIBCPP_STD_VER >= 20 31ee0f8c40SNikolas Klauser 32ee0f8c40SNikolas Klauser _LIBCPP_BEGIN_NAMESPACE_STD 33ee0f8c40SNikolas Klauser 34ee0f8c40SNikolas Klauser namespace ranges { 35ee0f8c40SNikolas Klauser 36ee0f8c40SNikolas Klauser template <class _Ip, class _Sp, class _Pred, class _Proj> 375aa03b64SLouis Dionne _LIBCPP_HIDE_FROM_ABI constexpr _Ip __find_if_impl(_Ip __first, _Sp __last, _Pred& __pred, _Proj& __proj) { 38ee0f8c40SNikolas Klauser for (; __first != __last; ++__first) { 39ee0f8c40SNikolas Klauser if (std::invoke(__pred, std::invoke(__proj, *__first))) 40ee0f8c40SNikolas Klauser break; 41ee0f8c40SNikolas Klauser } 42ee0f8c40SNikolas Klauser return __first; 43ee0f8c40SNikolas Klauser } 44ee0f8c40SNikolas Klauser 45*d10dc5a0SChristopher Di Bella struct __find_if { 465aa03b64SLouis Dionne template <input_iterator _Ip, 475aa03b64SLouis Dionne sentinel_for<_Ip> _Sp, 485aa03b64SLouis Dionne class _Proj = identity, 49ee0f8c40SNikolas Klauser indirect_unary_predicate<projected<_Ip, _Proj>> _Pred> 5083bc7b57SNikolas Klauser [[nodiscard]] _LIBCPP_HIDE_FROM_ABI constexpr _Ip 515aa03b64SLouis Dionne operator()(_Ip __first, _Sp __last, _Pred __pred, _Proj __proj = {}) const { 52ee0f8c40SNikolas Klauser return ranges::__find_if_impl(std::move(__first), std::move(__last), __pred, __proj); 53ee0f8c40SNikolas Klauser } 54ee0f8c40SNikolas Klauser 555aa03b64SLouis Dionne template <input_range _Rp, class _Proj = identity, indirect_unary_predicate<projected<iterator_t<_Rp>, _Proj>> _Pred> 5683bc7b57SNikolas Klauser [[nodiscard]] _LIBCPP_HIDE_FROM_ABI constexpr borrowed_iterator_t<_Rp> 575aa03b64SLouis Dionne operator()(_Rp&& __r, _Pred __pred, _Proj __proj = {}) const { 58ee0f8c40SNikolas Klauser return ranges::__find_if_impl(ranges::begin(__r), ranges::end(__r), __pred, __proj); 59ee0f8c40SNikolas Klauser } 60ee0f8c40SNikolas Klauser }; 61ee0f8c40SNikolas Klauser 62ee0f8c40SNikolas Klauser inline namespace __cpo { 63*d10dc5a0SChristopher Di Bella inline constexpr auto find_if = __find_if{}; 64ee0f8c40SNikolas Klauser } // namespace __cpo 65ee0f8c40SNikolas Klauser } // namespace ranges 66ee0f8c40SNikolas Klauser 67ee0f8c40SNikolas Klauser _LIBCPP_END_NAMESPACE_STD 68ee0f8c40SNikolas Klauser 694f15267dSNikolas Klauser #endif // _LIBCPP_STD_VER >= 20 70ee0f8c40SNikolas Klauser 717b462251SLouis Dionne _LIBCPP_POP_MACROS 727b462251SLouis Dionne 73ee0f8c40SNikolas Klauser #endif // _LIBCPP___ALGORITHM_RANGES_FIND_IF_H 74