55 #ifndef _GLIBCXX_UTILITY 56 #define _GLIBCXX_UTILITY 1 58 #pragma GCC system_header 72 #if __cplusplus >= 201103L 78 #if __cplusplus > 201402L 82 namespace std _GLIBCXX_VISIBILITY(default)
84 _GLIBCXX_BEGIN_NAMESPACE_VERSION
87 template<
typename _Tp>
92 template<
typename _Tp,
typename =
void>
93 struct __tuple_size_cv_impl { };
95 template<
typename _Tp>
96 struct __tuple_size_cv_impl<_Tp, __void_t<decltype(tuple_size<_Tp>::value)>>
97 : integral_constant<size_t, tuple_size<_Tp>::value> { };
101 template<
typename _Tp>
102 struct tuple_size<const _Tp> : __tuple_size_cv_impl<_Tp> { };
104 template<
typename _Tp>
105 struct tuple_size<volatile _Tp> : __tuple_size_cv_impl<_Tp> { };
107 template<
typename _Tp>
108 struct tuple_size<const volatile _Tp> : __tuple_size_cv_impl<_Tp> { };
111 template<std::
size_t __i,
typename _Tp>
112 struct tuple_element;
115 template<std::
size_t __i,
typename _Tp>
116 using __tuple_element_t =
typename tuple_element<__i, _Tp>::type;
118 template<std::
size_t __i,
typename _Tp>
119 struct tuple_element<__i, const _Tp>
121 typedef typename add_const<__tuple_element_t<__i, _Tp>>::type type;
124 template<std::
size_t __i,
typename _Tp>
125 struct tuple_element<__i, volatile _Tp>
127 typedef typename add_volatile<__tuple_element_t<__i, _Tp>>::type type;
130 template<std::
size_t __i,
typename _Tp>
131 struct tuple_element<__i, const volatile _Tp>
133 typedef typename add_cv<__tuple_element_t<__i, _Tp>>::type type;
136 #if __cplusplus > 201103L 137 #define __cpp_lib_tuple_element_t 201402 139 template<std::
size_t __i,
typename _Tp>
140 using tuple_element_t =
typename tuple_element<__i, _Tp>::type;
146 template<
typename _T1,
typename _T2>
151 template<
class _Tp1,
class _Tp2>
156 template<
class _Tp1,
class _Tp2>
158 {
typedef _Tp1 type; };
161 template<
class _Tp1,
class _Tp2>
163 {
typedef _Tp2 type; };
165 template<std::
size_t _Int>
171 template<
typename _Tp1,
typename _Tp2>
172 static constexpr _Tp1&
174 {
return __pair.
first; }
176 template<
typename _Tp1,
typename _Tp2>
177 static constexpr _Tp1&&
179 {
return std::forward<_Tp1>(__pair.
first); }
181 template<
typename _Tp1,
typename _Tp2>
182 static constexpr
const _Tp1&
184 {
return __pair.
first; }
190 template<
typename _Tp1,
typename _Tp2>
191 static constexpr _Tp2&
195 template<
typename _Tp1,
typename _Tp2>
196 static constexpr _Tp2&&
198 {
return std::forward<_Tp2>(__pair.
second); }
200 template<
typename _Tp1,
typename _Tp2>
201 static constexpr
const _Tp2&
206 template<std::
size_t _Int,
class _Tp1,
class _Tp2>
209 {
return __pair_get<_Int>::__get(__in); }
211 template<std::
size_t _Int,
class _Tp1,
class _Tp2>
214 {
return __pair_get<_Int>::__move_get(std::move(__in)); }
216 template<std::
size_t _Int,
class _Tp1,
class _Tp2>
219 {
return __pair_get<_Int>::__const_get(__in); }
221 #if __cplusplus > 201103L 223 #define __cpp_lib_tuples_by_type 201304 225 template <
typename _Tp,
typename _Up>
228 {
return __p.first; }
230 template <
typename _Tp,
typename _Up>
233 {
return __p.first; }
235 template <
typename _Tp,
typename _Up>
238 {
return std::move(__p.first); }
240 template <
typename _Tp,
typename _Up>
243 {
return __p.second; }
245 template <
typename _Tp,
typename _Up>
248 {
return __p.second; }
250 template <
typename _Tp,
typename _Up>
253 {
return std::move(__p.second); }
255 #define __cpp_lib_exchange_function 201304 258 template <
typename _Tp,
typename _Up = _Tp>
261 {
return std::__exchange(__obj, std::forward<_Up>(__new_val)); }
266 template<
size_t... _Indexes>
struct _Index_tuple { };
269 template<
typename _Itup1,
typename _Itup2>
struct _Itup_cat;
271 template<
size_t... _Ind1,
size_t... _Ind2>
272 struct _Itup_cat<_Index_tuple<_Ind1...>, _Index_tuple<_Ind2...>>
274 using __type = _Index_tuple<_Ind1..., (_Ind2 +
sizeof...(_Ind1))...>;
278 template<
size_t _Num>
279 struct _Build_index_tuple
280 : _Itup_cat<typename _Build_index_tuple<_Num / 2>::__type,
281 typename _Build_index_tuple<_Num - _Num / 2>::__type>
285 struct _Build_index_tuple<1>
287 typedef _Index_tuple<0> __type;
291 struct _Build_index_tuple<0>
293 typedef _Index_tuple<> __type;
296 #if __cplusplus > 201103L 298 #define __cpp_lib_integer_sequence 201304 301 template<
typename _Tp, _Tp... _Idx>
304 typedef _Tp value_type;
305 static constexpr
size_t size() {
return sizeof...(_Idx); }
308 template<
typename _Tp, _Tp _Num,
309 typename _ISeq =
typename _Build_index_tuple<_Num>::__type>
310 struct _Make_integer_sequence;
312 template<
typename _Tp, _Tp _Num,
size_t... _Idx>
313 struct _Make_integer_sequence<_Tp, _Num, _Index_tuple<_Idx...>>
315 static_assert( _Num >= 0,
316 "Cannot make integer sequence of negative length" );
322 template<
typename _Tp, _Tp _Num>
324 =
typename _Make_integer_sequence<_Tp, _Num>::__type;
327 template<
size_t... _Idx>
331 template<
size_t _Num>
335 template<
typename... _Types>
339 #if __cplusplus > 201402L 342 explicit in_place_t() =
default;
345 inline constexpr in_place_t
in_place{};
347 template<
typename _Tp>
struct in_place_type_t
349 explicit in_place_type_t() =
default;
352 template<
typename _Tp>
353 inline constexpr in_place_type_t<_Tp> in_place_type{};
355 template<
size_t _Idx>
struct in_place_index_t
357 explicit in_place_index_t() =
default;
360 template<
size_t _Idx>
361 inline constexpr in_place_index_t<_Idx> in_place_index{};
367 template<
typename _Tp>
368 struct __is_in_place_type_impl<in_place_type_t<_Tp>> :
true_type 371 template<
typename _Tp>
372 struct __is_in_place_type
373 :
public __is_in_place_type_impl<_Tp>
376 #define __cpp_lib_as_const 201510 377 template<
typename _Tp>
378 constexpr add_const_t<_Tp>& as_const(_Tp& __t) noexcept {
return __t; }
380 template<
typename _Tp>
381 void as_const(
const _Tp&&) =
delete;
385 _GLIBCXX_END_NAMESPACE_VERSION
_T2 second
first is a copy of the first object
_Tp exchange(_Tp &__obj, _Up &&__new_val)
Assign __new_val to __obj and return its previous value.
make_integer_sequence< size_t, _Num > make_index_sequence
Alias template make_index_sequence.
typename _Make_integer_sequence< _Tp, _Num >::__type make_integer_sequence
Alias template make_integer_sequence.
_T1 first
second_type is the second bound type
Class template integer_sequence.
ISO C++ entities toplevel namespace is std.
Struct holding two objects of arbitrary type.
make_index_sequence< sizeof...(_Types)> index_sequence_for
Alias template index_sequence_for.
constexpr in_place_t in_place
Tag for in-place construction.