31#define _RANGES_CMP_H 1
33#if __cplusplus > 201703L
37namespace std _GLIBCXX_VISIBILITY(default)
39_GLIBCXX_BEGIN_NAMESPACE_VERSION
41 struct __is_transparent;
49 template<
typename _Tp>
52 operator()(_Tp&& __t)
const noexcept
53 {
return std::forward<_Tp>(__t); }
55 using is_transparent = __is_transparent;
58#ifdef __glibcxx_ranges
66 template<
typename _Tp,
typename _Up>
67 concept __less_builtin_ptr_cmp
68 =
requires (_Tp&& __t, _Up&& __u) { { __t < __u } -> same_as<bool>; }
69 && convertible_to<_Tp, const volatile void*>
70 && convertible_to<_Up, const volatile void*>
71 && (!
requires(_Tp&& __t, _Up&& __u)
72 { operator<(std::forward<_Tp>(__t), std::forward<_Up>(__u)); }
73 && !
requires(_Tp&& __t, _Up&& __u)
74 { std::forward<_Tp>(__t).operator<(std::forward<_Up>(__u)); });
85 template<
typename _Tp,
typename _Up>
86 requires equality_comparable_with<_Tp, _Up>
88 operator()(_Tp&& __t, _Up&& __u)
const
89 noexcept(
noexcept(std::declval<_Tp>() == std::declval<_Up>()))
90 {
return std::forward<_Tp>(__t) == std::forward<_Up>(__u); }
92 using is_transparent = __is_transparent;
98 template<
typename _Tp,
typename _Up>
99 requires equality_comparable_with<_Tp, _Up>
101 operator()(_Tp&& __t, _Up&& __u)
const
102 noexcept(
noexcept(std::declval<_Up>() == std::declval<_Tp>()))
103 {
return !
equal_to{}(std::forward<_Tp>(__t), std::forward<_Up>(__u)); }
105 using is_transparent = __is_transparent;
111 template<
typename _Tp,
typename _Up>
112 requires totally_ordered_with<_Tp, _Up>
114 operator()(_Tp&& __t, _Up&& __u)
const
115 noexcept(
noexcept(std::declval<_Tp>() < std::declval<_Up>()))
117 if constexpr (__detail::__less_builtin_ptr_cmp<_Tp, _Up>)
119 if (std::__is_constant_evaluated())
122 auto __x =
reinterpret_cast<__UINTPTR_TYPE__
>(
123 static_cast<const volatile void*
>(std::forward<_Tp>(__t)));
124 auto __y =
reinterpret_cast<__UINTPTR_TYPE__
>(
125 static_cast<const volatile void*
>(std::forward<_Up>(__u)));
129 return std::forward<_Tp>(__t) < std::forward<_Up>(__u);
132 using is_transparent = __is_transparent;
138 template<
typename _Tp,
typename _Up>
139 requires totally_ordered_with<_Tp, _Up>
141 operator()(_Tp&& __t, _Up&& __u)
const
142 noexcept(
noexcept(std::declval<_Up>() < std::declval<_Tp>()))
143 {
return less{}(std::forward<_Up>(__u), std::forward<_Tp>(__t)); }
145 using is_transparent = __is_transparent;
151 template<
typename _Tp,
typename _Up>
152 requires totally_ordered_with<_Tp, _Up>
154 operator()(_Tp&& __t, _Up&& __u)
const
155 noexcept(
noexcept(std::declval<_Tp>() < std::declval<_Up>()))
156 {
return !
less{}(std::forward<_Tp>(__t), std::forward<_Up>(__u)); }
158 using is_transparent = __is_transparent;
164 template<
typename _Tp,
typename _Up>
165 requires totally_ordered_with<_Tp, _Up>
167 operator()(_Tp&& __t, _Up&& __u)
const
168 noexcept(
noexcept(std::declval<_Up>() < std::declval<_Tp>()))
169 {
return !
less{}(std::forward<_Up>(__u), std::forward<_Tp>(__t)); }
171 using is_transparent = __is_transparent;
176_GLIBCXX_END_NAMESPACE_VERSION
ISO C++ entities toplevel namespace is std.
[func.identity] The identity function.
ranges::equal_to function object type.
ranges::not_equal_to function object type.
ranges::less function object type.
ranges::greater function object type.
ranges::greater_equal function object type.
ranges::less_equal function object type.