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<
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{};
378 template<
typename _Tp>
379 struct __is_in_place_type_impl<in_place_type_t<_Tp>> :
true_type
382 template<
typename _Tp>
383 struct __is_in_place_type
384 :
public __is_in_place_type_impl<_Tp>
387 #define __cpp_lib_as_const 201510
388 template<
typename _Tp>
390 constexpr add_const_t<_Tp>&
391 as_const(_Tp& __t) noexcept
394 template<
typename _Tp>
395 void as_const(
const _Tp&&) =
delete;
397 #if __cplusplus > 201703L
398 #define __cpp_lib_integer_comparison_functions 202002L
400 template<
typename _Tp,
typename _Up>
402 cmp_equal(_Tp __t, _Up __u) noexcept
404 static_assert(__is_standard_integer<_Tp>::value);
405 static_assert(__is_standard_integer<_Up>::value);
407 if constexpr (is_signed_v<_Tp> == is_signed_v<_Up>)
409 else if constexpr (is_signed_v<_Tp>)
415 template<typename _Tp, typename _Up>
417 cmp_not_equal(_Tp __t, _Up __u) noexcept
418 {
return !std::cmp_equal(__t, __u); }
420 template<
typename _Tp,
typename _Up>
422 cmp_less(_Tp __t, _Up __u) noexcept
424 static_assert(__is_standard_integer<_Tp>::value);
425 static_assert(__is_standard_integer<_Up>::value);
427 if constexpr (is_signed_v<_Tp> == is_signed_v<_Up>)
429 else if constexpr (is_signed_v<_Tp>)
435 template<typename _Tp, typename _Up>
437 cmp_greater(_Tp __t, _Up __u) noexcept
438 {
return std::cmp_less(__u, __t); }
440 template<
typename _Tp,
typename _Up>
442 cmp_less_equal(_Tp __t, _Up __u) noexcept
443 {
return !std::cmp_less(__u, __t); }
445 template<
typename _Tp,
typename _Up>
447 cmp_greater_equal(_Tp __t, _Up __u) noexcept
448 {
return !std::cmp_less(__t, __u); }
450 template<
typename _Up,
typename _Tp>
452 in_range(_Tp __t) noexcept
454 static_assert(__is_standard_integer<_Up>::value);
455 static_assert(__is_standard_integer<_Tp>::value);
458 if constexpr (is_signed_v<_Tp> == is_signed_v<_Up>)
461 else if constexpr (is_signed_v<_Tp>)
468 #if __cplusplus > 202002L
469 #define __cpp_lib_to_underlying 202102L
471 template<
typename _Tp>
473 constexpr underlying_type_t<_Tp>
474 to_underlying(_Tp __value) noexcept
475 {
return static_cast<underlying_type_t<_Tp>
>(__value); }
480 _GLIBCXX_END_NAMESPACE_VERSION
Class template integer_sequence.
constexpr std::remove_reference< _Tp >::type && move(_Tp &&__t) noexcept
Convert a value to an rvalue.
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.
Struct holding two objects of arbitrary type.
integral_constant< bool, false > false_type
The type used as a compile-time boolean with false value.
__numeric_traits_integer< _Tp > __int_traits
Convenience alias for __numeric_traits<integer-type>.
constexpr _Tp exchange(_Tp &__obj, _Up &&__new_val)
Assign __new_val to __obj and return its previous value.