55#ifndef _GLIBCXX_UTILITY
56#define _GLIBCXX_UTILITY 1
58#pragma GCC system_header
72#if __cplusplus >= 201103L
78#if __cplusplus > 201703L
82namespace std _GLIBCXX_VISIBILITY(default)
84_GLIBCXX_BEGIN_NAMESPACE_VERSION
87 template<
typename _Tp>
94 template<
typename _Tp,
95 typename _Up =
typename remove_cv<_Tp>::type,
96 typename =
typename enable_if<is_same<_Tp, _Up>::value>::type,
97 size_t = tuple_size<_Tp>::value>
98 using __enable_if_has_tuple_size = _Tp;
100 template<
typename _Tp>
101 struct tuple_size<const __enable_if_has_tuple_size<_Tp>>
102 :
public tuple_size<_Tp> { };
104 template<
typename _Tp>
105 struct tuple_size<volatile __enable_if_has_tuple_size<_Tp>>
106 :
public tuple_size<_Tp> { };
108 template<
typename _Tp>
109 struct tuple_size<const volatile __enable_if_has_tuple_size<_Tp>>
110 :
public tuple_size<_Tp> { };
113 template<
size_t __i,
typename _Tp>
114 struct tuple_element;
117 template<
size_t __i,
typename _Tp>
118 using __tuple_element_t =
typename tuple_element<__i, _Tp>::type;
120 template<
size_t __i,
typename _Tp>
121 struct tuple_element<__i, const _Tp>
123 typedef typename add_const<__tuple_element_t<__i, _Tp>>::type type;
126 template<
size_t __i,
typename _Tp>
127 struct tuple_element<__i, volatile _Tp>
129 typedef typename add_volatile<__tuple_element_t<__i, _Tp>>::type type;
132 template<
size_t __i,
typename _Tp>
133 struct tuple_element<__i, const volatile _Tp>
135 typedef typename add_cv<__tuple_element_t<__i, _Tp>>::type type;
138#if __cplusplus >= 201402L
142#define __cpp_lib_tuple_element_t 201402L
144 template<
size_t __i,
typename _Tp>
145 using tuple_element_t =
typename tuple_element<__i, _Tp>::type;
151 template<
typename _T1,
typename _T2>
156 template<
class _Tp1,
class _Tp2>
161 template<
class _Tp1,
class _Tp2>
163 {
typedef _Tp1 type; };
166 template<
class _Tp1,
class _Tp2>
168 {
typedef _Tp2 type; };
170 template<
size_t _Int>
176 template<
typename _Tp1,
typename _Tp2>
177 static constexpr _Tp1&
179 {
return __pair.first; }
181 template<
typename _Tp1,
typename _Tp2>
182 static constexpr _Tp1&&
183 __move_get(pair<_Tp1, _Tp2>&& __pair)
noexcept
184 {
return std::forward<_Tp1>(__pair.first); }
186 template<
typename _Tp1,
typename _Tp2>
187 static constexpr const _Tp1&
188 __const_get(
const pair<_Tp1, _Tp2>& __pair)
noexcept
189 {
return __pair.first; }
191 template<
typename _Tp1,
typename _Tp2>
192 static constexpr const _Tp1&&
193 __const_move_get(
const pair<_Tp1, _Tp2>&& __pair)
noexcept
194 {
return std::forward<const _Tp1>(__pair.first); }
200 template<
typename _Tp1,
typename _Tp2>
201 static constexpr _Tp2&
202 __get(pair<_Tp1, _Tp2>& __pair)
noexcept
203 {
return __pair.second; }
205 template<
typename _Tp1,
typename _Tp2>
206 static constexpr _Tp2&&
207 __move_get(pair<_Tp1, _Tp2>&& __pair)
noexcept
208 {
return std::forward<_Tp2>(__pair.second); }
210 template<
typename _Tp1,
typename _Tp2>
211 static constexpr const _Tp2&
212 __const_get(
const pair<_Tp1, _Tp2>& __pair)
noexcept
213 {
return __pair.second; }
215 template<
typename _Tp1,
typename _Tp2>
216 static constexpr const _Tp2&&
217 __const_move_get(
const pair<_Tp1, _Tp2>&& __pair)
noexcept
218 {
return std::forward<const _Tp2>(__pair.second); }
221 template<
size_t _Int,
class _Tp1,
class _Tp2>
222 constexpr typename tuple_element<_Int, pair<_Tp1, _Tp2>>::type&
223 get(pair<_Tp1, _Tp2>& __in)
noexcept
224 {
return __pair_get<_Int>::__get(__in); }
226 template<
size_t _Int,
class _Tp1,
class _Tp2>
227 constexpr typename tuple_element<_Int, pair<_Tp1, _Tp2>>::type&&
228 get(pair<_Tp1, _Tp2>&& __in)
noexcept
229 {
return __pair_get<_Int>::__move_get(
std::move(__in)); }
231 template<
size_t _Int,
class _Tp1,
class _Tp2>
232 constexpr const typename tuple_element<_Int, pair<_Tp1, _Tp2>>::type&
233 get(
const pair<_Tp1, _Tp2>& __in)
noexcept
234 {
return __pair_get<_Int>::__const_get(__in); }
236 template<
size_t _Int,
class _Tp1,
class _Tp2>
237 constexpr const typename tuple_element<_Int, pair<_Tp1, _Tp2>>::type&&
238 get(
const pair<_Tp1, _Tp2>&& __in)
noexcept
239 {
return __pair_get<_Int>::__const_move_get(
std::move(__in)); }
241#if __cplusplus >= 201402L
243#define __cpp_lib_tuples_by_type 201304
245 template <
typename _Tp,
typename _Up>
247 get(pair<_Tp, _Up>& __p)
noexcept
248 {
return __p.first; }
250 template <
typename _Tp,
typename _Up>
252 get(
const pair<_Tp, _Up>& __p)
noexcept
253 {
return __p.first; }
255 template <
typename _Tp,
typename _Up>
257 get(pair<_Tp, _Up>&& __p)
noexcept
260 template <
typename _Tp,
typename _Up>
261 constexpr const _Tp&&
262 get(
const pair<_Tp, _Up>&& __p)
noexcept
265 template <
typename _Tp,
typename _Up>
267 get(pair<_Up, _Tp>& __p)
noexcept
268 {
return __p.second; }
270 template <
typename _Tp,
typename _Up>
272 get(
const pair<_Up, _Tp>& __p)
noexcept
273 {
return __p.second; }
275 template <
typename _Tp,
typename _Up>
277 get(pair<_Up, _Tp>&& __p)
noexcept
280 template <
typename _Tp,
typename _Up>
281 constexpr const _Tp&&
282 get(
const pair<_Up, _Tp>&& __p)
noexcept
285#define __cpp_lib_exchange_function 201304
288 template <
typename _Tp,
typename _Up = _Tp>
292 {
return std::__exchange(__obj, std::forward<_Up>(__new_val)); }
298 template<
size_t... _Indexes>
struct _Index_tuple { };
301 template<
size_t _Num>
302 struct _Build_index_tuple
304#if __has_builtin(__make_integer_seq)
305 template<
typename,
size_t... _Indices>
306 using _IdxTuple = _Index_tuple<_Indices...>;
309 using __type = __make_integer_seq<_IdxTuple, size_t, _Num>;
312 using __type = _Index_tuple<__integer_pack(_Num)...>;
316#if __cplusplus >= 201402L
318#define __cpp_lib_integer_sequence 201304
321 template<
typename _Tp, _Tp... _Idx>
324 typedef _Tp value_type;
325 static constexpr size_t size()
noexcept {
return sizeof...(_Idx); }
329 template<
typename _Tp, _Tp _Num>
331#if __has_builtin(__make_integer_seq)
332 = __make_integer_seq<integer_sequence, _Tp, _Num>;
338 template<
size_t... _Idx>
342 template<
size_t _Num>
346 template<
typename... _Types>
350#if __cplusplus > 201402L
353 explicit in_place_t() =
default;
356 inline constexpr in_place_t in_place{};
358 template<
typename _Tp>
struct in_place_type_t
360 explicit in_place_type_t() =
default;
363 template<
typename _Tp>
364 inline constexpr in_place_type_t<_Tp> in_place_type{};
366 template<
size_t _Idx>
struct in_place_index_t
368 explicit in_place_index_t() =
default;
371 template<
size_t _Idx>
372 inline constexpr in_place_index_t<_Idx> in_place_index{};
375 inline constexpr bool __is_in_place_type_v =
false;
377 template<
typename _Tp>
378 inline constexpr bool __is_in_place_type_v<in_place_type_t<_Tp>> =
true;
380 template<
typename _Tp>
381 using __is_in_place_type = bool_constant<__is_in_place_type_v<_Tp>>;
383#define __cpp_lib_as_const 201510
384 template<
typename _Tp>
386 constexpr add_const_t<_Tp>&
387 as_const(_Tp& __t)
noexcept
390 template<
typename _Tp>
391 void as_const(
const _Tp&&) =
delete;
393#if __cplusplus > 201703L
394#define __cpp_lib_integer_comparison_functions 202002L
396 template<
typename _Tp,
typename _Up>
398 cmp_equal(_Tp __t, _Up __u)
noexcept
400 static_assert(__is_standard_integer<_Tp>::value);
401 static_assert(__is_standard_integer<_Up>::value);
403 if constexpr (is_signed_v<_Tp> == is_signed_v<_Up>)
405 else if constexpr (is_signed_v<_Tp>)
406 return __t >= 0 && make_unsigned_t<_Tp>(__t) == __u;
408 return __u >= 0 && __t == make_unsigned_t<_Up>(__u);
411 template<
typename _Tp,
typename _Up>
413 cmp_not_equal(_Tp __t, _Up __u)
noexcept
414 {
return !std::cmp_equal(__t, __u); }
416 template<
typename _Tp,
typename _Up>
418 cmp_less(_Tp __t, _Up __u)
noexcept
420 static_assert(__is_standard_integer<_Tp>::value);
421 static_assert(__is_standard_integer<_Up>::value);
423 if constexpr (is_signed_v<_Tp> == is_signed_v<_Up>)
425 else if constexpr (is_signed_v<_Tp>)
426 return __t < 0 || make_unsigned_t<_Tp>(__t) < __u;
428 return __u >= 0 && __t < make_unsigned_t<_Up>(__u);
431 template<
typename _Tp,
typename _Up>
433 cmp_greater(_Tp __t, _Up __u)
noexcept
434 {
return std::cmp_less(__u, __t); }
436 template<
typename _Tp,
typename _Up>
438 cmp_less_equal(_Tp __t, _Up __u)
noexcept
439 {
return !std::cmp_less(__u, __t); }
441 template<
typename _Tp,
typename _Up>
443 cmp_greater_equal(_Tp __t, _Up __u)
noexcept
444 {
return !std::cmp_less(__t, __u); }
446 template<
typename _Up,
typename _Tp>
448 in_range(_Tp __t)
noexcept
450 static_assert(__is_standard_integer<_Up>::value);
451 static_assert(__is_standard_integer<_Tp>::value);
454 if constexpr (is_signed_v<_Tp> == is_signed_v<_Up>)
455 return __int_traits<_Up>::__min <= __t
456 && __t <= __int_traits<_Up>::__max;
457 else if constexpr (is_signed_v<_Tp>)
459 && make_unsigned_t<_Tp>(__t) <= __int_traits<_Up>::__max;
461 return __t <= make_unsigned_t<_Up>(__int_traits<_Up>::__max);
464#if __cplusplus > 202002L
465#define __cpp_lib_to_underlying 202102L
467 template<
typename _Tp>
469 constexpr underlying_type_t<_Tp>
470 to_underlying(_Tp __value)
noexcept
471 {
return static_cast<underlying_type_t<_Tp>
>(__value); }
476_GLIBCXX_END_NAMESPACE_VERSION
constexpr std::remove_reference< _Tp >::type && move(_Tp &&__t) noexcept
Convert a value to an rvalue.
ISO C++ entities toplevel namespace is std.
constexpr _Tp exchange(_Tp &__obj, _Up &&__new_val)
Assign __new_val to __obj and return its previous value.
__numeric_traits_integer< _Tp > __int_traits
Convenience alias for __numeric_traits<integer-type>.
Class template integer_sequence.
Struct holding two objects of arbitrary type.