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<std::
size_t __i,
typename _Tp>
114 struct tuple_element;
117 template<std::
size_t __i,
typename _Tp>
118 using __tuple_element_t =
typename tuple_element<__i, _Tp>::type;
120 template<std::
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<std::
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<std::
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<std::
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<std::
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&&
184 {
return std::forward<_Tp1>(__pair.first); }
186 template<
typename _Tp1,
typename _Tp2>
187 static constexpr const _Tp1&
189 {
return __pair.first; }
191 template<
typename _Tp1,
typename _Tp2>
192 static constexpr const _Tp1&&
194 {
return std::forward<const _Tp1>(__pair.first); }
200 template<
typename _Tp1,
typename _Tp2>
201 static constexpr _Tp2&
203 {
return __pair.second; }
205 template<
typename _Tp1,
typename _Tp2>
206 static constexpr _Tp2&&
208 {
return std::forward<_Tp2>(__pair.second); }
210 template<
typename _Tp1,
typename _Tp2>
211 static constexpr const _Tp2&
213 {
return __pair.second; }
215 template<
typename _Tp1,
typename _Tp2>
216 static constexpr const _Tp2&&
218 {
return std::forward<const _Tp2>(__pair.second); }
221 template<std::
size_t _Int,
class _Tp1,
class _Tp2>
222 constexpr typename tuple_element<_Int, std::pair<_Tp1, _Tp2>>::type&
224 {
return __pair_get<_Int>::__get(__in); }
226 template<std::
size_t _Int,
class _Tp1,
class _Tp2>
227 constexpr typename tuple_element<_Int, std::pair<_Tp1, _Tp2>>::type&&
229 {
return __pair_get<_Int>::__move_get(
std::move(__in)); }
231 template<std::
size_t _Int,
class _Tp1,
class _Tp2>
232 constexpr const typename tuple_element<_Int, std::pair<_Tp1, _Tp2>>::type&
234 {
return __pair_get<_Int>::__const_get(__in); }
236 template<std::
size_t _Int,
class _Tp1,
class _Tp2>
237 constexpr const typename tuple_element<_Int, std::pair<_Tp1, _Tp2>>::type&&
239 {
return __pair_get<_Int>::__const_move_get(
std::move(__in)); }
241#if __cplusplus > 201103L
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
287#if __cplusplus > 201703L
288# define __cpp_lib_constexpr_algorithms 201806L
292 template <
typename _Tp,
typename _Up = _Tp>
296 {
return std::__exchange(__obj, std::forward<_Up>(__new_val)); }
302 template<
size_t... _Indexes>
struct _Index_tuple { };
305# if __has_builtin(__make_integer_seq)
306# define _GLIBCXX_USE_MAKE_INTEGER_SEQ 1
311 template<
size_t _Num>
312 struct _Build_index_tuple
314#if _GLIBCXX_USE_MAKE_INTEGER_SEQ
315 template<
typename,
size_t... _Indices>
316 using _IdxTuple = _Index_tuple<_Indices...>;
318 using __type = __make_integer_seq<_IdxTuple, size_t, _Num>;
320 using __type = _Index_tuple<__integer_pack(_Num)...>;
324#if __cplusplus > 201103L
326#define __cpp_lib_integer_sequence 201304
329 template<
typename _Tp, _Tp... _Idx>
332 typedef _Tp value_type;
333 static constexpr size_t size()
noexcept {
return sizeof...(_Idx); }
337 template<
typename _Tp, _Tp _Num>
339#if _GLIBCXX_USE_MAKE_INTEGER_SEQ
340 = __make_integer_seq<integer_sequence, _Tp, _Num>;
345#undef _GLIBCXX_USE_MAKE_INTEGER_SEQ
348 template<
size_t... _Idx>
352 template<
size_t _Num>
356 template<
typename... _Types>
360#if __cplusplus > 201402L
363 explicit in_place_t() =
default;
366 inline constexpr in_place_t
in_place{};
368 template<
typename _Tp>
struct in_place_type_t
370 explicit in_place_type_t() =
default;
373 template<
typename _Tp>
374 inline constexpr in_place_type_t<_Tp> in_place_type{};
376 template<
size_t _Idx>
struct in_place_index_t
378 explicit in_place_index_t() =
default;
381 template<
size_t _Idx>
382 inline constexpr in_place_index_t<_Idx> in_place_index{};
388 template<
typename _Tp>
389 struct __is_in_place_type_impl<in_place_type_t<_Tp>> :
true_type
392 template<
typename _Tp>
393 struct __is_in_place_type
394 :
public __is_in_place_type_impl<_Tp>
397#define __cpp_lib_as_const 201510
398 template<
typename _Tp>
399 constexpr add_const_t<_Tp>& as_const(_Tp& __t)
noexcept {
return __t; }
401 template<
typename _Tp>
402 void as_const(
const _Tp&&) =
delete;
404#if __cplusplus > 201703L
405#define __cpp_lib_integer_comparison_functions 202002L
407 template<
typename _Tp,
typename _Up>
409 cmp_equal(_Tp __t, _Up __u)
noexcept
411 static_assert(__is_standard_integer<_Tp>::value);
412 static_assert(__is_standard_integer<_Up>::value);
414 if constexpr (is_signed_v<_Tp> == is_signed_v<_Up>)
416 else if constexpr (is_signed_v<_Tp>)
417 return __t >= 0 && make_unsigned_t<_Tp>(__t) == __u;
419 return __u >= 0 && __t == make_unsigned_t<_Up>(__u);
422 template<
typename _Tp,
typename _Up>
424 cmp_not_equal(_Tp __t, _Up __u)
noexcept
425 {
return !std::cmp_equal(__t, __u); }
427 template<
typename _Tp,
typename _Up>
429 cmp_less(_Tp __t, _Up __u)
noexcept
431 static_assert(__is_standard_integer<_Tp>::value);
432 static_assert(__is_standard_integer<_Up>::value);
434 if constexpr (is_signed_v<_Tp> == is_signed_v<_Up>)
436 else if constexpr (is_signed_v<_Tp>)
437 return __t < 0 || make_unsigned_t<_Tp>(__t) < __u;
439 return __u >= 0 && __t < make_unsigned_t<_Up>(__u);
442 template<
typename _Tp,
typename _Up>
444 cmp_greater(_Tp __t, _Up __u)
noexcept
445 {
return std::cmp_less(__u, __t); }
447 template<
typename _Tp,
typename _Up>
449 cmp_less_equal(_Tp __t, _Up __u)
noexcept
450 {
return !std::cmp_less(__u, __t); }
452 template<
typename _Tp,
typename _Up>
454 cmp_greater_equal(_Tp __t, _Up __u)
noexcept
455 {
return !std::cmp_less(__t, __u); }
457 template<
typename _Up,
typename _Tp>
459 in_range(_Tp __t)
noexcept
461 static_assert(__is_standard_integer<_Up>::value);
462 static_assert(__is_standard_integer<_Tp>::value);
463 using std::__detail::__int_limits;
465 if constexpr (is_signed_v<_Tp> == is_signed_v<_Up>)
468 else if constexpr (is_signed_v<_Tp>)
477_GLIBCXX_END_NAMESPACE_VERSION
integral_constant< bool, true > true_type
The type used as a compile-time boolean with true value.
integral_constant< bool, false > false_type
The type used as a compile-time boolean with false value.
_T1 first
The first member.
constexpr std::remove_reference< _Tp >::type && move(_Tp &&__t) noexcept
Convert a value to an rvalue.
constexpr const _Tp & max(const _Tp &, const _Tp &)
This does what you think it does.
constexpr const _Tp & min(const _Tp &, const _Tp &)
This does what you think it does.
constexpr in_place_t in_place
Tag for in-place construction.
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.
Class template integer_sequence.
Struct holding two objects of arbitrary type.