]>
Commit | Line | Data |
---|---|---|
54c1bf78 | 1 | // <utility> -*- C++ -*- |
de96ac46 | 2 | |
cbe34bb5 | 3 | // Copyright (C) 2001-2017 Free Software Foundation, Inc. |
de96ac46 BK |
4 | // |
5 | // This file is part of the GNU ISO C++ Library. This library is free | |
6 | // software; you can redistribute it and/or modify it under the | |
7 | // terms of the GNU General Public License as published by the | |
748086b7 | 8 | // Free Software Foundation; either version 3, or (at your option) |
de96ac46 BK |
9 | // any later version. |
10 | ||
11 | // This library is distributed in the hope that it will be useful, | |
12 | // but WITHOUT ANY WARRANTY; without even the implied warranty of | |
13 | // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the | |
14 | // GNU General Public License for more details. | |
15 | ||
748086b7 JJ |
16 | // Under Section 7 of GPL version 3, you are granted additional |
17 | // permissions described in the GCC Runtime Library Exception, version | |
18 | // 3.1, as published by the Free Software Foundation. | |
de96ac46 | 19 | |
748086b7 JJ |
20 | // You should have received a copy of the GNU General Public License and |
21 | // a copy of the GCC Runtime Library Exception along with this program; | |
22 | // see the files COPYING3 and COPYING.RUNTIME respectively. If not, see | |
23 | // <http://www.gnu.org/licenses/>. | |
de96ac46 | 24 | |
54c1bf78 BK |
25 | /* |
26 | * | |
27 | * Copyright (c) 1994 | |
28 | * Hewlett-Packard Company | |
29 | * | |
30 | * Permission to use, copy, modify, distribute and sell this software | |
31 | * and its documentation for any purpose is hereby granted without fee, | |
32 | * provided that the above copyright notice appear in all copies and | |
33 | * that both that copyright notice and this permission notice appear | |
34 | * in supporting documentation. Hewlett-Packard Company makes no | |
35 | * representations about the suitability of this software for any | |
36 | * purpose. It is provided "as is" without express or implied warranty. | |
37 | * | |
38 | * | |
39 | * Copyright (c) 1996,1997 | |
40 | * Silicon Graphics Computer Systems, Inc. | |
41 | * | |
42 | * Permission to use, copy, modify, distribute and sell this software | |
43 | * and its documentation for any purpose is hereby granted without fee, | |
44 | * provided that the above copyright notice appear in all copies and | |
45 | * that both that copyright notice and this permission notice appear | |
46 | * in supporting documentation. Silicon Graphics makes no | |
47 | * representations about the suitability of this software for any | |
48 | * purpose. It is provided "as is" without express or implied warranty. | |
49 | */ | |
50 | ||
143c27b0 | 51 | /** @file include/utility |
33ac58d5 | 52 | * This is a Standard C++ Library header. |
2f9d51b8 PE |
53 | */ |
54 | ||
1143680e SE |
55 | #ifndef _GLIBCXX_UTILITY |
56 | #define _GLIBCXX_UTILITY 1 | |
54c1bf78 BK |
57 | |
58 | #pragma GCC system_header | |
285b36d6 | 59 | |
8e32aa11 BK |
60 | /** |
61 | * @defgroup utilities Utilities | |
62 | * | |
63 | * Components deemed generally useful. Includes pair, tuple, | |
64 | * forward/move helpers, ratio, function object, metaprogramming and | |
65 | * type traits, time, date, and memory functions. | |
66 | */ | |
67 | ||
54c1bf78 BK |
68 | #include <bits/c++config.h> |
69 | #include <bits/stl_relops.h> | |
70 | #include <bits/stl_pair.h> | |
71 | ||
734f5023 | 72 | #if __cplusplus >= 201103L |
a15f7cb8 | 73 | |
7d17de7f | 74 | #include <type_traits> |
53dc5044 PC |
75 | #include <bits/move.h> |
76 | #include <initializer_list> | |
77 | ||
25a69162 VV |
78 | #if __cplusplus > 201402L |
79 | #include <exception> | |
80 | #endif | |
81 | ||
12ffa228 BK |
82 | namespace std _GLIBCXX_VISIBILITY(default) |
83 | { | |
84 | _GLIBCXX_BEGIN_NAMESPACE_VERSION | |
53dc5044 | 85 | |
de0830e1 VV |
86 | /// Finds the size of a given tuple type. |
87 | template<typename _Tp> | |
88 | struct tuple_size; | |
89 | ||
90 | // _GLIBCXX_RESOLVE_LIB_DEFECTS | |
f859f912 | 91 | // 2313. tuple_size should always derive from integral_constant<size_t, N> |
6ae2ae3b | 92 | // 2770. tuple_size<const T> specialization is not SFINAE compatible |
6ae2ae3b | 93 | |
f859f912 JW |
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; | |
de0830e1 | 99 | |
6ae2ae3b | 100 | template<typename _Tp> |
f859f912 JW |
101 | struct tuple_size<const __enable_if_has_tuple_size<_Tp>> |
102 | : public tuple_size<_Tp> { }; | |
6ae2ae3b | 103 | |
de0830e1 | 104 | template<typename _Tp> |
f859f912 JW |
105 | struct tuple_size<volatile __enable_if_has_tuple_size<_Tp>> |
106 | : public tuple_size<_Tp> { }; | |
de0830e1 VV |
107 | |
108 | template<typename _Tp> | |
f859f912 JW |
109 | struct tuple_size<const volatile __enable_if_has_tuple_size<_Tp>> |
110 | : public tuple_size<_Tp> { }; | |
de0830e1 VV |
111 | |
112 | /// Gives the type of the ith element of a given tuple type. | |
113 | template<std::size_t __i, typename _Tp> | |
114 | struct tuple_element; | |
115 | ||
116 | // Duplicate of C++14's tuple_element_t for internal use in C++11 mode | |
117 | template<std::size_t __i, typename _Tp> | |
118 | using __tuple_element_t = typename tuple_element<__i, _Tp>::type; | |
119 | ||
120 | template<std::size_t __i, typename _Tp> | |
121 | struct tuple_element<__i, const _Tp> | |
122 | { | |
123 | typedef typename add_const<__tuple_element_t<__i, _Tp>>::type type; | |
124 | }; | |
125 | ||
126 | template<std::size_t __i, typename _Tp> | |
127 | struct tuple_element<__i, volatile _Tp> | |
128 | { | |
129 | typedef typename add_volatile<__tuple_element_t<__i, _Tp>>::type type; | |
130 | }; | |
131 | ||
132 | template<std::size_t __i, typename _Tp> | |
133 | struct tuple_element<__i, const volatile _Tp> | |
134 | { | |
135 | typedef typename add_cv<__tuple_element_t<__i, _Tp>>::type type; | |
136 | }; | |
137 | ||
138 | #if __cplusplus > 201103L | |
139 | #define __cpp_lib_tuple_element_t 201402 | |
140 | ||
141 | template<std::size_t __i, typename _Tp> | |
142 | using tuple_element_t = typename tuple_element<__i, _Tp>::type; | |
143 | #endif | |
53dc5044 | 144 | |
7d17de7f FD |
145 | // Various functions which give std::pair a tuple-like interface. |
146 | ||
147 | /// Partial specialization for std::pair | |
148 | template<typename _T1, typename _T2> | |
149 | struct __is_tuple_like_impl<std::pair<_T1, _T2>> : true_type | |
150 | { }; | |
3a004764 JW |
151 | |
152 | /// Partial specialization for std::pair | |
53dc5044 | 153 | template<class _Tp1, class _Tp2> |
7933dc2a | 154 | struct tuple_size<std::pair<_Tp1, _Tp2>> |
664e12c1 | 155 | : public integral_constant<std::size_t, 2> { }; |
53dc5044 | 156 | |
3a004764 | 157 | /// Partial specialization for std::pair |
53dc5044 | 158 | template<class _Tp1, class _Tp2> |
7933dc2a | 159 | struct tuple_element<0, std::pair<_Tp1, _Tp2>> |
53dc5044 | 160 | { typedef _Tp1 type; }; |
33ac58d5 | 161 | |
3a004764 | 162 | /// Partial specialization for std::pair |
53dc5044 | 163 | template<class _Tp1, class _Tp2> |
7933dc2a | 164 | struct tuple_element<1, std::pair<_Tp1, _Tp2>> |
53dc5044 PC |
165 | { typedef _Tp2 type; }; |
166 | ||
167 | template<std::size_t _Int> | |
168 | struct __pair_get; | |
169 | ||
170 | template<> | |
171 | struct __pair_get<0> | |
172 | { | |
173 | template<typename _Tp1, typename _Tp2> | |
9480716c | 174 | static constexpr _Tp1& |
7933dc2a | 175 | __get(std::pair<_Tp1, _Tp2>& __pair) noexcept |
18eeaec4 PC |
176 | { return __pair.first; } |
177 | ||
18eeaec4 | 178 | template<typename _Tp1, typename _Tp2> |
9480716c | 179 | static constexpr _Tp1&& |
18eeaec4 PC |
180 | __move_get(std::pair<_Tp1, _Tp2>&& __pair) noexcept |
181 | { return std::forward<_Tp1>(__pair.first); } | |
53dc5044 PC |
182 | |
183 | template<typename _Tp1, typename _Tp2> | |
9480716c | 184 | static constexpr const _Tp1& |
7933dc2a | 185 | __const_get(const std::pair<_Tp1, _Tp2>& __pair) noexcept |
18eeaec4 | 186 | { return __pair.first; } |
53dc5044 PC |
187 | }; |
188 | ||
189 | template<> | |
190 | struct __pair_get<1> | |
191 | { | |
192 | template<typename _Tp1, typename _Tp2> | |
9480716c | 193 | static constexpr _Tp2& |
7933dc2a | 194 | __get(std::pair<_Tp1, _Tp2>& __pair) noexcept |
18eeaec4 PC |
195 | { return __pair.second; } |
196 | ||
18eeaec4 | 197 | template<typename _Tp1, typename _Tp2> |
9480716c | 198 | static constexpr _Tp2&& |
18eeaec4 PC |
199 | __move_get(std::pair<_Tp1, _Tp2>&& __pair) noexcept |
200 | { return std::forward<_Tp2>(__pair.second); } | |
53dc5044 PC |
201 | |
202 | template<typename _Tp1, typename _Tp2> | |
9480716c | 203 | static constexpr const _Tp2& |
7933dc2a | 204 | __const_get(const std::pair<_Tp1, _Tp2>& __pair) noexcept |
18eeaec4 | 205 | { return __pair.second; } |
53dc5044 PC |
206 | }; |
207 | ||
208 | template<std::size_t _Int, class _Tp1, class _Tp2> | |
9480716c | 209 | constexpr typename tuple_element<_Int, std::pair<_Tp1, _Tp2>>::type& |
7933dc2a | 210 | get(std::pair<_Tp1, _Tp2>& __in) noexcept |
53dc5044 PC |
211 | { return __pair_get<_Int>::__get(__in); } |
212 | ||
18eeaec4 | 213 | template<std::size_t _Int, class _Tp1, class _Tp2> |
9480716c | 214 | constexpr typename tuple_element<_Int, std::pair<_Tp1, _Tp2>>::type&& |
18eeaec4 PC |
215 | get(std::pair<_Tp1, _Tp2>&& __in) noexcept |
216 | { return __pair_get<_Int>::__move_get(std::move(__in)); } | |
18eeaec4 | 217 | |
53dc5044 | 218 | template<std::size_t _Int, class _Tp1, class _Tp2> |
9480716c | 219 | constexpr const typename tuple_element<_Int, std::pair<_Tp1, _Tp2>>::type& |
7933dc2a | 220 | get(const std::pair<_Tp1, _Tp2>& __in) noexcept |
53dc5044 PC |
221 | { return __pair_get<_Int>::__const_get(__in); } |
222 | ||
c98b0598 | 223 | #if __cplusplus > 201103L |
a15f7cb8 ESR |
224 | |
225 | #define __cpp_lib_tuples_by_type 201304 | |
226 | ||
b5a8fed6 JW |
227 | template <typename _Tp, typename _Up> |
228 | constexpr _Tp& | |
229 | get(pair<_Tp, _Up>& __p) noexcept | |
230 | { return __p.first; } | |
231 | ||
232 | template <typename _Tp, typename _Up> | |
233 | constexpr const _Tp& | |
234 | get(const pair<_Tp, _Up>& __p) noexcept | |
235 | { return __p.first; } | |
236 | ||
237 | template <typename _Tp, typename _Up> | |
238 | constexpr _Tp&& | |
239 | get(pair<_Tp, _Up>&& __p) noexcept | |
240 | { return std::move(__p.first); } | |
241 | ||
242 | template <typename _Tp, typename _Up> | |
243 | constexpr _Tp& | |
244 | get(pair<_Up, _Tp>& __p) noexcept | |
245 | { return __p.second; } | |
246 | ||
247 | template <typename _Tp, typename _Up> | |
248 | constexpr const _Tp& | |
249 | get(const pair<_Up, _Tp>& __p) noexcept | |
250 | { return __p.second; } | |
251 | ||
252 | template <typename _Tp, typename _Up> | |
253 | constexpr _Tp&& | |
254 | get(pair<_Up, _Tp>&& __p) noexcept | |
255 | { return std::move(__p.second); } | |
256 | ||
a15f7cb8 ESR |
257 | #define __cpp_lib_exchange_function 201304 |
258 | ||
c98b0598 | 259 | /// Assign @p __new_val to @p __obj and return its previous value. |
b5a8fed6 | 260 | template <typename _Tp, typename _Up = _Tp> |
c98b0598 JW |
261 | inline _Tp |
262 | exchange(_Tp& __obj, _Up&& __new_val) | |
9b817548 | 263 | { return std::__exchange(__obj, std::forward<_Up>(__new_val)); } |
c98b0598 JW |
264 | #endif |
265 | ||
1b1bdc03 JW |
266 | // Stores a tuple of indices. Used by tuple and pair, and by bind() to |
267 | // extract the elements in a tuple. | |
5f0b7c95 JW |
268 | template<size_t... _Indexes> struct _Index_tuple { }; |
269 | ||
db624b3b JW |
270 | #ifdef __has_builtin |
271 | # if __has_builtin(__make_integer_seq) | |
272 | # define _GLIBCXX_USE_MAKE_INTEGER_SEQ 1 | |
273 | # endif | |
274 | #endif | |
1b1bdc03 JW |
275 | |
276 | // Builds an _Index_tuple<0, 1, 2, ..., _Num-1>. | |
277 | template<size_t _Num> | |
278 | struct _Build_index_tuple | |
279 | { | |
db624b3b JW |
280 | #if _GLIBCXX_USE_MAKE_INTEGER_SEQ |
281 | template<typename, size_t... _Indices> | |
282 | using _IdxTuple = _Index_tuple<_Indices...>; | |
1b1bdc03 | 283 | |
db624b3b JW |
284 | using __type = __make_integer_seq<_IdxTuple, size_t, _Num>; |
285 | #else | |
286 | using __type = _Index_tuple<__integer_pack(_Num)...>; | |
287 | #endif | |
1b1bdc03 JW |
288 | }; |
289 | ||
290 | #if __cplusplus > 201103L | |
a15f7cb8 ESR |
291 | |
292 | #define __cpp_lib_integer_sequence 201304 | |
293 | ||
1b1bdc03 JW |
294 | /// Class template integer_sequence |
295 | template<typename _Tp, _Tp... _Idx> | |
296 | struct integer_sequence | |
297 | { | |
298 | typedef _Tp value_type; | |
299 | static constexpr size_t size() { return sizeof...(_Idx); } | |
300 | }; | |
301 | ||
1b1bdc03 JW |
302 | /// Alias template make_integer_sequence |
303 | template<typename _Tp, _Tp _Num> | |
304 | using make_integer_sequence | |
db624b3b JW |
305 | #if _GLIBCXX_USE_MAKE_INTEGER_SEQ |
306 | = __make_integer_seq<integer_sequence, _Tp, _Num>; | |
307 | #else | |
308 | = integer_sequence<_Tp, __integer_pack(_Num)...>; | |
309 | #endif | |
310 | ||
311 | #undef _GLIBCXX_USE_MAKE_INTEGER_SEQ | |
1b1bdc03 JW |
312 | |
313 | /// Alias template index_sequence | |
314 | template<size_t... _Idx> | |
315 | using index_sequence = integer_sequence<size_t, _Idx...>; | |
316 | ||
317 | /// Alias template make_index_sequence | |
318 | template<size_t _Num> | |
319 | using make_index_sequence = make_integer_sequence<size_t, _Num>; | |
320 | ||
321 | /// Alias template index_sequence_for | |
322 | template<typename... _Types> | |
323 | using index_sequence_for = make_index_sequence<sizeof...(_Types)>; | |
324 | #endif | |
325 | ||
25a69162 VV |
326 | #if __cplusplus > 201402L |
327 | ||
627a2f59 VV |
328 | struct in_place_t { |
329 | explicit in_place_t() = default; | |
25a69162 VV |
330 | }; |
331 | ||
627a2f59 VV |
332 | inline constexpr in_place_t in_place{}; |
333 | ||
334 | template<typename _Tp> struct in_place_type_t | |
335 | { | |
336 | explicit in_place_type_t() = default; | |
337 | }; | |
338 | ||
339 | template<typename _Tp> | |
340 | inline constexpr in_place_type_t<_Tp> in_place_type{}; | |
341 | ||
342 | template<size_t _Idx> struct in_place_index_t | |
343 | { | |
344 | explicit in_place_index_t() = default; | |
345 | }; | |
346 | ||
347 | template<size_t _Idx> | |
348 | inline constexpr in_place_index_t<_Idx> in_place_index{}; | |
25a69162 | 349 | |
5c578ae4 VV |
350 | template<typename> |
351 | struct __is_in_place_type_impl : false_type | |
352 | { }; | |
353 | ||
354 | template<typename _Tp> | |
355 | struct __is_in_place_type_impl<in_place_type_t<_Tp>> : true_type | |
356 | { }; | |
357 | ||
358 | template<typename _Tp> | |
359 | struct __is_in_place_type | |
360 | : public __is_in_place_type_impl<_Tp> | |
361 | { }; | |
362 | ||
32eaac9c JW |
363 | #define __cpp_lib_as_const 201510 |
364 | template<typename _Tp> | |
365 | constexpr add_const_t<_Tp>& as_const(_Tp& __t) noexcept { return __t; } | |
366 | ||
367 | template<typename _Tp> | |
368 | void as_const(const _Tp&&) = delete; | |
369 | ||
5c578ae4 | 370 | #endif // C++17 |
25a69162 | 371 | |
12ffa228 BK |
372 | _GLIBCXX_END_NAMESPACE_VERSION |
373 | } // namespace | |
53dc5044 | 374 | |
af13a7a6 BK |
375 | #endif |
376 | ||
1143680e | 377 | #endif /* _GLIBCXX_UTILITY */ |