55 #ifndef _GLIBCXX_UTILITY
56 #define _GLIBCXX_UTILITY 1
58 #pragma GCC system_header
72 #if __cplusplus >= 201103L
78 #if __cplusplus > 201703L
82 namespace 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 >= 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 # if __has_builtin(__make_integer_seq)
302 # define _GLIBCXX_USE_MAKE_INTEGER_SEQ 1
307 template<
size_t _Num>
308 struct _Build_index_tuple
310 #if _GLIBCXX_USE_MAKE_INTEGER_SEQ
311 template<
typename,
size_t... _Indices>
312 using _IdxTuple = _Index_tuple<_Indices...>;
314 using __type = __make_integer_seq<_IdxTuple, size_t, _Num>;
316 using __type = _Index_tuple<__integer_pack(_Num)...>;
320 #if __cplusplus > 201103L
322 #define __cpp_lib_integer_sequence 201304
325 template<
typename _Tp, _Tp... _Idx>
328 typedef _Tp value_type;
329 static constexpr
size_t size() noexcept {
return sizeof...(_Idx); }
333 template<
typename _Tp, _Tp _Num>
335 #if _GLIBCXX_USE_MAKE_INTEGER_SEQ
336 = __make_integer_seq<integer_sequence, _Tp, _Num>;
341 #undef _GLIBCXX_USE_MAKE_INTEGER_SEQ
344 template<
size_t... _Idx>
348 template<
size_t _Num>
352 template<
typename... _Types>
356 #if __cplusplus > 201402L
359 explicit in_place_t() =
default;
362 inline constexpr in_place_t
in_place{};
364 template<
typename _Tp>
struct in_place_type_t
366 explicit in_place_type_t() =
default;
369 template<
typename _Tp>
370 inline constexpr in_place_type_t<_Tp> in_place_type{};
372 template<
size_t _Idx>
struct in_place_index_t
374 explicit in_place_index_t() =
default;
377 template<
size_t _Idx>
378 inline constexpr in_place_index_t<_Idx> in_place_index{};
384 template<
typename _Tp>
385 struct __is_in_place_type_impl<in_place_type_t<_Tp>> :
true_type
388 template<
typename _Tp>
389 struct __is_in_place_type
390 :
public __is_in_place_type_impl<_Tp>
393 #define __cpp_lib_as_const 201510
394 template<
typename _Tp>
395 constexpr add_const_t<_Tp>& as_const(_Tp& __t) noexcept {
return __t; }
397 template<
typename _Tp>
398 void as_const(
const _Tp&&) =
delete;
400 #if __cplusplus > 201703L
401 #define __cpp_lib_integer_comparison_functions 202002L
403 template<
typename _Tp,
typename _Up>
405 cmp_equal(_Tp __t, _Up __u) noexcept
407 static_assert(__is_standard_integer<_Tp>::value);
408 static_assert(__is_standard_integer<_Up>::value);
410 if constexpr (is_signed_v<_Tp> == is_signed_v<_Up>)
412 else if constexpr (is_signed_v<_Tp>)
418 template<typename _Tp, typename _Up>
420 cmp_not_equal(_Tp __t, _Up __u) noexcept
421 {
return !std::cmp_equal(__t, __u); }
423 template<
typename _Tp,
typename _Up>
425 cmp_less(_Tp __t, _Up __u) noexcept
427 static_assert(__is_standard_integer<_Tp>::value);
428 static_assert(__is_standard_integer<_Up>::value);
430 if constexpr (is_signed_v<_Tp> == is_signed_v<_Up>)
432 else if constexpr (is_signed_v<_Tp>)
438 template<typename _Tp, typename _Up>
440 cmp_greater(_Tp __t, _Up __u) noexcept
441 {
return std::cmp_less(__u, __t); }
443 template<
typename _Tp,
typename _Up>
445 cmp_less_equal(_Tp __t, _Up __u) noexcept
446 {
return !std::cmp_less(__u, __t); }
448 template<
typename _Tp,
typename _Up>
450 cmp_greater_equal(_Tp __t, _Up __u) noexcept
451 {
return !std::cmp_less(__t, __u); }
453 template<
typename _Up,
typename _Tp>
455 in_range(_Tp __t) noexcept
457 static_assert(__is_standard_integer<_Up>::value);
458 static_assert(__is_standard_integer<_Tp>::value);
461 if constexpr (is_signed_v<_Tp> == is_signed_v<_Up>)
464 else if constexpr (is_signed_v<_Tp>)
473 _GLIBCXX_END_NAMESPACE_VERSION
constexpr in_place_t in_place
Tag for in-place construction.
Class template integer_sequence.
integral_constant< bool, false > false_type
The type used as a compile-time boolean with false value.
Struct holding two objects of arbitrary type.
constexpr _Tp exchange(_Tp &__obj, _Up &&__new_val)
Assign __new_val to __obj and return its previous value.
constexpr std::remove_reference< _Tp >::type && move(_Tp &&__t) noexcept
Convert a value to an rvalue.
__numeric_traits_integer< _Tp > __int_traits
Convenience alias for __numeric_traits<integer-type>.
typename make_unsigned< _Tp >::type make_unsigned_t
Alias template for make_unsigned.
integral_constant< bool, true > true_type
The type used as a compile-time boolean with true value.