181ad6265SDimitry Andric //===----------------------------------------------------------------------===// 281ad6265SDimitry Andric // 381ad6265SDimitry Andric // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. 481ad6265SDimitry Andric // See https://llvm.org/LICENSE.txt for license information. 581ad6265SDimitry Andric // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception 681ad6265SDimitry Andric // 781ad6265SDimitry Andric //===----------------------------------------------------------------------===// 881ad6265SDimitry Andric 981ad6265SDimitry Andric #ifndef _LIBCPP___ALGORITHM_RANGES_LEXICOGRAPHICAL_COMPARE_H 1081ad6265SDimitry Andric #define _LIBCPP___ALGORITHM_RANGES_LEXICOGRAPHICAL_COMPARE_H 1181ad6265SDimitry Andric 1281ad6265SDimitry Andric #include <__config> 1381ad6265SDimitry Andric #include <__functional/identity.h> 1481ad6265SDimitry Andric #include <__functional/invoke.h> 1581ad6265SDimitry Andric #include <__functional/ranges_operations.h> 1681ad6265SDimitry Andric #include <__iterator/concepts.h> 1781ad6265SDimitry Andric #include <__iterator/projected.h> 1881ad6265SDimitry Andric #include <__ranges/access.h> 1981ad6265SDimitry Andric #include <__ranges/concepts.h> 2081ad6265SDimitry Andric #include <__utility/move.h> 2181ad6265SDimitry Andric 2281ad6265SDimitry Andric #if !defined(_LIBCPP_HAS_NO_PRAGMA_SYSTEM_HEADER) 2381ad6265SDimitry Andric # pragma GCC system_header 2481ad6265SDimitry Andric #endif 2581ad6265SDimitry Andric 26b3edf446SDimitry Andric _LIBCPP_PUSH_MACROS 27b3edf446SDimitry Andric #include <__undef_macros> 28b3edf446SDimitry Andric 2906c3fb27SDimitry Andric #if _LIBCPP_STD_VER >= 20 3081ad6265SDimitry Andric 3181ad6265SDimitry Andric _LIBCPP_BEGIN_NAMESPACE_STD 3281ad6265SDimitry Andric 3381ad6265SDimitry Andric namespace ranges { 3481ad6265SDimitry Andric namespace __lexicographical_compare { 3581ad6265SDimitry Andric struct __fn { 3681ad6265SDimitry Andric template <class _Iter1, class _Sent1, class _Iter2, class _Sent2, class _Proj1, class _Proj2, class _Comp> 3706c3fb27SDimitry Andric _LIBCPP_HIDE_FROM_ABI constexpr static bool __lexicographical_compare_impl( 3806c3fb27SDimitry Andric _Iter1 __first1, 3906c3fb27SDimitry Andric _Sent1 __last1, 4006c3fb27SDimitry Andric _Iter2 __first2, 4106c3fb27SDimitry Andric _Sent2 __last2, 4281ad6265SDimitry Andric _Comp& __comp, 4381ad6265SDimitry Andric _Proj1& __proj1, 4481ad6265SDimitry Andric _Proj2& __proj2) { 4581ad6265SDimitry Andric while (__first2 != __last2) { 4606c3fb27SDimitry Andric if (__first1 == __last1 || std::invoke(__comp, std::invoke(__proj1, *__first1), std::invoke(__proj2, *__first2))) 4781ad6265SDimitry Andric return true; 4881ad6265SDimitry Andric if (std::invoke(__comp, std::invoke(__proj2, *__first2), std::invoke(__proj1, *__first1))) 4981ad6265SDimitry Andric return false; 5081ad6265SDimitry Andric ++__first1; 5181ad6265SDimitry Andric ++__first2; 5281ad6265SDimitry Andric } 5381ad6265SDimitry Andric return false; 5481ad6265SDimitry Andric } 5581ad6265SDimitry Andric 5606c3fb27SDimitry Andric template <input_iterator _Iter1, 5706c3fb27SDimitry Andric sentinel_for<_Iter1> _Sent1, 5806c3fb27SDimitry Andric input_iterator _Iter2, 5906c3fb27SDimitry Andric sentinel_for<_Iter2> _Sent2, 6081ad6265SDimitry Andric class _Proj1 = identity, 6181ad6265SDimitry Andric class _Proj2 = identity, 6281ad6265SDimitry Andric indirect_strict_weak_order<projected<_Iter1, _Proj1>, projected<_Iter2, _Proj2>> _Comp = ranges::less> 63*0fca6ea1SDimitry Andric [[nodiscard]] _LIBCPP_HIDE_FROM_ABI constexpr bool operator()( 6406c3fb27SDimitry Andric _Iter1 __first1, 6506c3fb27SDimitry Andric _Sent1 __last1, 6606c3fb27SDimitry Andric _Iter2 __first2, 6706c3fb27SDimitry Andric _Sent2 __last2, 6881ad6265SDimitry Andric _Comp __comp = {}, 6981ad6265SDimitry Andric _Proj1 __proj1 = {}, 7081ad6265SDimitry Andric _Proj2 __proj2 = {}) const { 7106c3fb27SDimitry Andric return __lexicographical_compare_impl( 7206c3fb27SDimitry Andric std::move(__first1), std::move(__last1), std::move(__first2), std::move(__last2), __comp, __proj1, __proj2); 7381ad6265SDimitry Andric } 7481ad6265SDimitry Andric 7581ad6265SDimitry Andric template <input_range _Range1, 7681ad6265SDimitry Andric input_range _Range2, 7781ad6265SDimitry Andric class _Proj1 = identity, 7881ad6265SDimitry Andric class _Proj2 = identity, 7906c3fb27SDimitry Andric indirect_strict_weak_order<projected<iterator_t<_Range1>, _Proj1>, projected<iterator_t<_Range2>, _Proj2>> 8006c3fb27SDimitry Andric _Comp = ranges::less> 81*0fca6ea1SDimitry Andric [[nodiscard]] _LIBCPP_HIDE_FROM_ABI constexpr bool operator()( 8206c3fb27SDimitry Andric _Range1&& __range1, _Range2&& __range2, _Comp __comp = {}, _Proj1 __proj1 = {}, _Proj2 __proj2 = {}) const { 8306c3fb27SDimitry Andric return __lexicographical_compare_impl( 8406c3fb27SDimitry Andric ranges::begin(__range1), 8506c3fb27SDimitry Andric ranges::end(__range1), 8606c3fb27SDimitry Andric ranges::begin(__range2), 8706c3fb27SDimitry Andric ranges::end(__range2), 8881ad6265SDimitry Andric __comp, 8981ad6265SDimitry Andric __proj1, 9081ad6265SDimitry Andric __proj2); 9181ad6265SDimitry Andric } 9281ad6265SDimitry Andric }; 9381ad6265SDimitry Andric } // namespace __lexicographical_compare 9481ad6265SDimitry Andric 9581ad6265SDimitry Andric inline namespace __cpo { 9681ad6265SDimitry Andric inline constexpr auto lexicographical_compare = __lexicographical_compare::__fn{}; 9781ad6265SDimitry Andric } // namespace __cpo 9881ad6265SDimitry Andric } // namespace ranges 9981ad6265SDimitry Andric 10081ad6265SDimitry Andric _LIBCPP_END_NAMESPACE_STD 10181ad6265SDimitry Andric 10206c3fb27SDimitry Andric #endif // _LIBCPP_STD_VER >= 20 10381ad6265SDimitry Andric 104b3edf446SDimitry Andric _LIBCPP_POP_MACROS 105b3edf446SDimitry Andric 10681ad6265SDimitry Andric #endif // _LIBCPP___ALGORITHM_RANGES_LEXICOGRAPHICAL_COMPARE_H 107