source: Daodan/MSYS2/mingw32/include/c++/11.2.0/tuple@ 1181

Last change on this file since 1181 was 1166, checked in by rossy, 3 years ago

Daodan: Replace MinGW build env with an up-to-date MSYS2 env
File size: 61.2 KB
RevLine 
[1166]1// <tuple> -*- C++ -*-
2
3// Copyright (C) 2007-2021 Free Software Foundation, Inc.
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
8// Free Software Foundation; either version 3, or (at your option)
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
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.
19
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/>.
24
25/** @file include/tuple
26 * This is a Standard C++ Library header.
27 */
28
29#ifndef _GLIBCXX_TUPLE
30#define _GLIBCXX_TUPLE 1
31
32#pragma GCC system_header
33
34#if __cplusplus < 201103L
35# include <bits/c++0x_warning.h>
36#else
37
38#include <utility>
39#include <array>
40#include <bits/uses_allocator.h>
41#include <bits/invoke.h>
42#if __cplusplus > 201703L
43# include <compare>
44# define __cpp_lib_constexpr_tuple 201811L
45#endif
46
47namespace std _GLIBCXX_VISIBILITY(default)
48{
49_GLIBCXX_BEGIN_NAMESPACE_VERSION
50
51 /**
52 * @addtogroup utilities
53 * @{
54 */
55
56 template<typename... _Elements>
57 class tuple;
58
59 template<typename _Tp>
60 struct __is_empty_non_tuple : is_empty<_Tp> { };
61
62 // Using EBO for elements that are tuples causes ambiguous base errors.
63 template<typename _El0, typename... _El>
64 struct __is_empty_non_tuple<tuple<_El0, _El...>> : false_type { };
65
66 // Use the Empty Base-class Optimization for empty, non-final types.
67 template<typename _Tp>
68 using __empty_not_final
69 = typename conditional<__is_final(_Tp), false_type,
70 __is_empty_non_tuple<_Tp>>::type;
71
72 template<size_t _Idx, typename _Head,
73 bool = __empty_not_final<_Head>::value>
74 struct _Head_base;
75
76#if __has_cpp_attribute(__no_unique_address__)
77 template<size_t _Idx, typename _Head>
78 struct _Head_base<_Idx, _Head, true>
79 {
80 constexpr _Head_base()
81 : _M_head_impl() { }
82
83 constexpr _Head_base(const _Head& __h)
84 : _M_head_impl(__h) { }
85
86 constexpr _Head_base(const _Head_base&) = default;
87 constexpr _Head_base(_Head_base&&) = default;
88
89 template<typename _UHead>
90 constexpr _Head_base(_UHead&& __h)
91 : _M_head_impl(std::forward<_UHead>(__h)) { }
92
93 _GLIBCXX20_CONSTEXPR
94 _Head_base(allocator_arg_t, __uses_alloc0)
95 : _M_head_impl() { }
96
97 template<typename _Alloc>
98 _Head_base(allocator_arg_t, __uses_alloc1<_Alloc> __a)
99 : _M_head_impl(allocator_arg, *__a._M_a) { }
100
101 template<typename _Alloc>
102 _Head_base(allocator_arg_t, __uses_alloc2<_Alloc> __a)
103 : _M_head_impl(*__a._M_a) { }
104
105 template<typename _UHead>
106 _GLIBCXX20_CONSTEXPR
107 _Head_base(__uses_alloc0, _UHead&& __uhead)
108 : _M_head_impl(std::forward<_UHead>(__uhead)) { }
109
110 template<typename _Alloc, typename _UHead>
111 _Head_base(__uses_alloc1<_Alloc> __a, _UHead&& __uhead)
112 : _M_head_impl(allocator_arg, *__a._M_a, std::forward<_UHead>(__uhead))
113 { }
114
115 template<typename _Alloc, typename _UHead>
116 _Head_base(__uses_alloc2<_Alloc> __a, _UHead&& __uhead)
117 : _M_head_impl(std::forward<_UHead>(__uhead), *__a._M_a) { }
118
119 static constexpr _Head&
120 _M_head(_Head_base& __b) noexcept { return __b._M_head_impl; }
121
122 static constexpr const _Head&
123 _M_head(const _Head_base& __b) noexcept { return __b._M_head_impl; }
124
125 [[__no_unique_address__]] _Head _M_head_impl;
126 };
127#else
128 template<size_t _Idx, typename _Head>
129 struct _Head_base<_Idx, _Head, true>
130 : public _Head
131 {
132 constexpr _Head_base()
133 : _Head() { }
134
135 constexpr _Head_base(const _Head& __h)
136 : _Head(__h) { }
137
138 constexpr _Head_base(const _Head_base&) = default;
139 constexpr _Head_base(_Head_base&&) = default;
140
141 template<typename _UHead>
142 constexpr _Head_base(_UHead&& __h)
143 : _Head(std::forward<_UHead>(__h)) { }
144
145 _Head_base(allocator_arg_t, __uses_alloc0)
146 : _Head() { }
147
148 template<typename _Alloc>
149 _Head_base(allocator_arg_t, __uses_alloc1<_Alloc> __a)
150 : _Head(allocator_arg, *__a._M_a) { }
151
152 template<typename _Alloc>
153 _Head_base(allocator_arg_t, __uses_alloc2<_Alloc> __a)
154 : _Head(*__a._M_a) { }
155
156 template<typename _UHead>
157 _Head_base(__uses_alloc0, _UHead&& __uhead)
158 : _Head(std::forward<_UHead>(__uhead)) { }
159
160 template<typename _Alloc, typename _UHead>
161 _Head_base(__uses_alloc1<_Alloc> __a, _UHead&& __uhead)
162 : _Head(allocator_arg, *__a._M_a, std::forward<_UHead>(__uhead)) { }
163
164 template<typename _Alloc, typename _UHead>
165 _Head_base(__uses_alloc2<_Alloc> __a, _UHead&& __uhead)
166 : _Head(std::forward<_UHead>(__uhead), *__a._M_a) { }
167
168 static constexpr _Head&
169 _M_head(_Head_base& __b) noexcept { return __b; }
170
171 static constexpr const _Head&
172 _M_head(const _Head_base& __b) noexcept { return __b; }
173 };
174#endif
175
176 template<size_t _Idx, typename _Head>
177 struct _Head_base<_Idx, _Head, false>
178 {
179 constexpr _Head_base()
180 : _M_head_impl() { }
181
182 constexpr _Head_base(const _Head& __h)
183 : _M_head_impl(__h) { }
184
185 constexpr _Head_base(const _Head_base&) = default;
186 constexpr _Head_base(_Head_base&&) = default;
187
188 template<typename _UHead>
189 constexpr _Head_base(_UHead&& __h)
190 : _M_head_impl(std::forward<_UHead>(__h)) { }
191
192 _GLIBCXX20_CONSTEXPR
193 _Head_base(allocator_arg_t, __uses_alloc0)
194 : _M_head_impl() { }
195
196 template<typename _Alloc>
197 _Head_base(allocator_arg_t, __uses_alloc1<_Alloc> __a)
198 : _M_head_impl(allocator_arg, *__a._M_a) { }
199
200 template<typename _Alloc>
201 _Head_base(allocator_arg_t, __uses_alloc2<_Alloc> __a)
202 : _M_head_impl(*__a._M_a) { }
203
204 template<typename _UHead>
205 _GLIBCXX20_CONSTEXPR
206 _Head_base(__uses_alloc0, _UHead&& __uhead)
207 : _M_head_impl(std::forward<_UHead>(__uhead)) { }
208
209 template<typename _Alloc, typename _UHead>
210 _Head_base(__uses_alloc1<_Alloc> __a, _UHead&& __uhead)
211 : _M_head_impl(allocator_arg, *__a._M_a, std::forward<_UHead>(__uhead))
212 { }
213
214 template<typename _Alloc, typename _UHead>
215 _Head_base(__uses_alloc2<_Alloc> __a, _UHead&& __uhead)
216 : _M_head_impl(std::forward<_UHead>(__uhead), *__a._M_a) { }
217
218 static constexpr _Head&
219 _M_head(_Head_base& __b) noexcept { return __b._M_head_impl; }
220
221 static constexpr const _Head&
222 _M_head(const _Head_base& __b) noexcept { return __b._M_head_impl; }
223
224 _Head _M_head_impl;
225 };
226
227 /**
228 * Contains the actual implementation of the @c tuple template, stored
229 * as a recursive inheritance hierarchy from the first element (most
230 * derived class) to the last (least derived class). The @c Idx
231 * parameter gives the 0-based index of the element stored at this
232 * point in the hierarchy; we use it to implement a constant-time
233 * get() operation.
234 */
235 template<size_t _Idx, typename... _Elements>
236 struct _Tuple_impl;
237
238 /**
239 * Recursive tuple implementation. Here we store the @c Head element
240 * and derive from a @c Tuple_impl containing the remaining elements
241 * (which contains the @c Tail).
242 */
243 template<size_t _Idx, typename _Head, typename... _Tail>
244 struct _Tuple_impl<_Idx, _Head, _Tail...>
245 : public _Tuple_impl<_Idx + 1, _Tail...>,
246 private _Head_base<_Idx, _Head>
247 {
248 template<size_t, typename...> friend struct _Tuple_impl;
249
250 typedef _Tuple_impl<_Idx + 1, _Tail...> _Inherited;
251 typedef _Head_base<_Idx, _Head> _Base;
252
253 static constexpr _Head&
254 _M_head(_Tuple_impl& __t) noexcept { return _Base::_M_head(__t); }
255
256 static constexpr const _Head&
257 _M_head(const _Tuple_impl& __t) noexcept { return _Base::_M_head(__t); }
258
259 static constexpr _Inherited&
260 _M_tail(_Tuple_impl& __t) noexcept { return __t; }
261
262 static constexpr const _Inherited&
263 _M_tail(const _Tuple_impl& __t) noexcept { return __t; }
264
265 constexpr _Tuple_impl()
266 : _Inherited(), _Base() { }
267
268 explicit constexpr
269 _Tuple_impl(const _Head& __head, const _Tail&... __tail)
270 : _Inherited(__tail...), _Base(__head)
271 { }
272
273 template<typename _UHead, typename... _UTail,
274 typename = __enable_if_t<sizeof...(_Tail) == sizeof...(_UTail)>>
275 explicit constexpr
276 _Tuple_impl(_UHead&& __head, _UTail&&... __tail)
277 : _Inherited(std::forward<_UTail>(__tail)...),
278 _Base(std::forward<_UHead>(__head))
279 { }
280
281 constexpr _Tuple_impl(const _Tuple_impl&) = default;
282
283 // _GLIBCXX_RESOLVE_LIB_DEFECTS
284 // 2729. Missing SFINAE on std::pair::operator=
285 _Tuple_impl& operator=(const _Tuple_impl&) = delete;
286
287 constexpr
288 _Tuple_impl(_Tuple_impl&& __in)
289 noexcept(__and_<is_nothrow_move_constructible<_Head>,
290 is_nothrow_move_constructible<_Inherited>>::value)
291 : _Inherited(std::move(_M_tail(__in))),
292 _Base(std::forward<_Head>(_M_head(__in)))
293 { }
294
295 template<typename... _UElements>
296 constexpr
297 _Tuple_impl(const _Tuple_impl<_Idx, _UElements...>& __in)
298 : _Inherited(_Tuple_impl<_Idx, _UElements...>::_M_tail(__in)),
299 _Base(_Tuple_impl<_Idx, _UElements...>::_M_head(__in))
300 { }
301
302 template<typename _UHead, typename... _UTails>
303 constexpr
304 _Tuple_impl(_Tuple_impl<_Idx, _UHead, _UTails...>&& __in)
305 : _Inherited(std::move
306 (_Tuple_impl<_Idx, _UHead, _UTails...>::_M_tail(__in))),
307 _Base(std::forward<_UHead>
308 (_Tuple_impl<_Idx, _UHead, _UTails...>::_M_head(__in)))
309 { }
310
311 template<typename _Alloc>
312 _GLIBCXX20_CONSTEXPR
313 _Tuple_impl(allocator_arg_t __tag, const _Alloc& __a)
314 : _Inherited(__tag, __a),
315 _Base(__tag, __use_alloc<_Head>(__a))
316 { }
317
318 template<typename _Alloc>
319 _Tuple_impl(allocator_arg_t __tag, const _Alloc& __a,
320 const _Head& __head, const _Tail&... __tail)
321 : _Inherited(__tag, __a, __tail...),
322 _Base(__use_alloc<_Head, _Alloc, _Head>(__a), __head)
323 { }
324
325 template<typename _Alloc, typename _UHead, typename... _UTail,
326 typename = __enable_if_t<sizeof...(_Tail) == sizeof...(_UTail)>>
327 _GLIBCXX20_CONSTEXPR
328 _Tuple_impl(allocator_arg_t __tag, const _Alloc& __a,
329 _UHead&& __head, _UTail&&... __tail)
330 : _Inherited(__tag, __a, std::forward<_UTail>(__tail)...),
331 _Base(__use_alloc<_Head, _Alloc, _UHead>(__a),
332 std::forward<_UHead>(__head))
333 { }
334
335 template<typename _Alloc>
336 _GLIBCXX20_CONSTEXPR
337 _Tuple_impl(allocator_arg_t __tag, const _Alloc& __a,
338 const _Tuple_impl& __in)
339 : _Inherited(__tag, __a, _M_tail(__in)),
340 _Base(__use_alloc<_Head, _Alloc, _Head>(__a), _M_head(__in))
341 { }
342
343 template<typename _Alloc>
344 _GLIBCXX20_CONSTEXPR
345 _Tuple_impl(allocator_arg_t __tag, const _Alloc& __a,
346 _Tuple_impl&& __in)
347 : _Inherited(__tag, __a, std::move(_M_tail(__in))),
348 _Base(__use_alloc<_Head, _Alloc, _Head>(__a),
349 std::forward<_Head>(_M_head(__in)))
350 { }
351
352 template<typename _Alloc, typename _UHead, typename... _UTails>
353 _GLIBCXX20_CONSTEXPR
354 _Tuple_impl(allocator_arg_t __tag, const _Alloc& __a,
355 const _Tuple_impl<_Idx, _UHead, _UTails...>& __in)
356 : _Inherited(__tag, __a,
357 _Tuple_impl<_Idx, _UHead, _UTails...>::_M_tail(__in)),
358 _Base(__use_alloc<_Head, _Alloc, const _UHead&>(__a),
359 _Tuple_impl<_Idx, _UHead, _UTails...>::_M_head(__in))
360 { }
361
362 template<typename _Alloc, typename _UHead, typename... _UTails>
363 _GLIBCXX20_CONSTEXPR
364 _Tuple_impl(allocator_arg_t __tag, const _Alloc& __a,
365 _Tuple_impl<_Idx, _UHead, _UTails...>&& __in)
366 : _Inherited(__tag, __a, std::move
367 (_Tuple_impl<_Idx, _UHead, _UTails...>::_M_tail(__in))),
368 _Base(__use_alloc<_Head, _Alloc, _UHead>(__a),
369 std::forward<_UHead>
370 (_Tuple_impl<_Idx, _UHead, _UTails...>::_M_head(__in)))
371 { }
372
373 template<typename... _UElements>
374 _GLIBCXX20_CONSTEXPR
375 void
376 _M_assign(const _Tuple_impl<_Idx, _UElements...>& __in)
377 {
378 _M_head(*this) = _Tuple_impl<_Idx, _UElements...>::_M_head(__in);
379 _M_tail(*this)._M_assign(
380 _Tuple_impl<_Idx, _UElements...>::_M_tail(__in));
381 }
382
383 template<typename _UHead, typename... _UTails>
384 _GLIBCXX20_CONSTEXPR
385 void
386 _M_assign(_Tuple_impl<_Idx, _UHead, _UTails...>&& __in)
387 {
388 _M_head(*this) = std::forward<_UHead>
389 (_Tuple_impl<_Idx, _UHead, _UTails...>::_M_head(__in));
390 _M_tail(*this)._M_assign(
391 std::move(_Tuple_impl<_Idx, _UHead, _UTails...>::_M_tail(__in)));
392 }
393
394 protected:
395 _GLIBCXX20_CONSTEXPR
396 void
397 _M_swap(_Tuple_impl& __in)
398 {
399 using std::swap;
400 swap(_M_head(*this), _M_head(__in));
401 _Inherited::_M_swap(_M_tail(__in));
402 }
403 };
404
405 // Basis case of inheritance recursion.
406 template<size_t _Idx, typename _Head>
407 struct _Tuple_impl<_Idx, _Head>
408 : private _Head_base<_Idx, _Head>
409 {
410 template<size_t, typename...> friend struct _Tuple_impl;
411
412 typedef _Head_base<_Idx, _Head> _Base;
413
414 static constexpr _Head&
415 _M_head(_Tuple_impl& __t) noexcept { return _Base::_M_head(__t); }
416
417 static constexpr const _Head&
418 _M_head(const _Tuple_impl& __t) noexcept { return _Base::_M_head(__t); }
419
420 constexpr
421 _Tuple_impl()
422 : _Base() { }
423
424 explicit constexpr
425 _Tuple_impl(const _Head& __head)
426 : _Base(__head)
427 { }
428
429 template<typename _UHead>
430 explicit constexpr
431 _Tuple_impl(_UHead&& __head)
432 : _Base(std::forward<_UHead>(__head))
433 { }
434
435 constexpr _Tuple_impl(const _Tuple_impl&) = default;
436
437 // _GLIBCXX_RESOLVE_LIB_DEFECTS
438 // 2729. Missing SFINAE on std::pair::operator=
439 _Tuple_impl& operator=(const _Tuple_impl&) = delete;
440
441 constexpr
442 _Tuple_impl(_Tuple_impl&& __in)
443 noexcept(is_nothrow_move_constructible<_Head>::value)
444 : _Base(std::forward<_Head>(_M_head(__in)))
445 { }
446
447 template<typename _UHead>
448 constexpr
449 _Tuple_impl(const _Tuple_impl<_Idx, _UHead>& __in)
450 : _Base(_Tuple_impl<_Idx, _UHead>::_M_head(__in))
451 { }
452
453 template<typename _UHead>
454 constexpr
455 _Tuple_impl(_Tuple_impl<_Idx, _UHead>&& __in)
456 : _Base(std::forward<_UHead>(_Tuple_impl<_Idx, _UHead>::_M_head(__in)))
457 { }
458
459 template<typename _Alloc>
460 _GLIBCXX20_CONSTEXPR
461 _Tuple_impl(allocator_arg_t __tag, const _Alloc& __a)
462 : _Base(__tag, __use_alloc<_Head>(__a))
463 { }
464
465 template<typename _Alloc>
466 _Tuple_impl(allocator_arg_t __tag, const _Alloc& __a,
467 const _Head& __head)
468 : _Base(__use_alloc<_Head, _Alloc, const _Head&>(__a), __head)
469 { }
470
471 template<typename _Alloc, typename _UHead>
472 _GLIBCXX20_CONSTEXPR
473 _Tuple_impl(allocator_arg_t __tag, const _Alloc& __a,
474 _UHead&& __head)
475 : _Base(__use_alloc<_Head, _Alloc, _UHead>(__a),
476 std::forward<_UHead>(__head))
477 { }
478
479 template<typename _Alloc>
480 _GLIBCXX20_CONSTEXPR
481 _Tuple_impl(allocator_arg_t __tag, const _Alloc& __a,
482 const _Tuple_impl& __in)
483 : _Base(__use_alloc<_Head, _Alloc, const _Head&>(__a), _M_head(__in))
484 { }
485
486 template<typename _Alloc>
487 _GLIBCXX20_CONSTEXPR
488 _Tuple_impl(allocator_arg_t __tag, const _Alloc& __a,
489 _Tuple_impl&& __in)
490 : _Base(__use_alloc<_Head, _Alloc, _Head>(__a),
491 std::forward<_Head>(_M_head(__in)))
492 { }
493
494 template<typename _Alloc, typename _UHead>
495 _GLIBCXX20_CONSTEXPR
496 _Tuple_impl(allocator_arg_t __tag, const _Alloc& __a,
497 const _Tuple_impl<_Idx, _UHead>& __in)
498 : _Base(__use_alloc<_Head, _Alloc, const _UHead&>(__a),
499 _Tuple_impl<_Idx, _UHead>::_M_head(__in))
500 { }
501
502 template<typename _Alloc, typename _UHead>
503 _GLIBCXX20_CONSTEXPR
504 _Tuple_impl(allocator_arg_t __tag, const _Alloc& __a,
505 _Tuple_impl<_Idx, _UHead>&& __in)
506 : _Base(__use_alloc<_Head, _Alloc, _UHead>(__a),
507 std::forward<_UHead>(_Tuple_impl<_Idx, _UHead>::_M_head(__in)))
508 { }
509
510 template<typename _UHead>
511 _GLIBCXX20_CONSTEXPR
512 void
513 _M_assign(const _Tuple_impl<_Idx, _UHead>& __in)
514 {
515 _M_head(*this) = _Tuple_impl<_Idx, _UHead>::_M_head(__in);
516 }
517
518 template<typename _UHead>
519 _GLIBCXX20_CONSTEXPR
520 void
521 _M_assign(_Tuple_impl<_Idx, _UHead>&& __in)
522 {
523 _M_head(*this)
524 = std::forward<_UHead>(_Tuple_impl<_Idx, _UHead>::_M_head(__in));
525 }
526
527 protected:
528 _GLIBCXX20_CONSTEXPR
529 void
530 _M_swap(_Tuple_impl& __in)
531 {
532 using std::swap;
533 swap(_M_head(*this), _M_head(__in));
534 }
535 };
536
537 // Concept utility functions, reused in conditionally-explicit
538 // constructors.
539 template<bool, typename... _Types>
540 struct _TupleConstraints
541 {
542 template<typename _Tp, typename _Up> // Workaround for PR 96592
543 using is_constructible
544 = __bool_constant<__is_constructible(_Tp, _Up)>;
545
546 // Constraint for a non-explicit constructor.
547 // True iff each Ti in _Types... can be constructed from Ui in _UTypes...
548 // and every Ui is implicitly convertible to Ti.
549 template<typename... _UTypes>
550 static constexpr bool __is_implicitly_constructible()
551 {
552 return __and_<is_constructible<_Types, _UTypes>...,
553 is_convertible<_UTypes, _Types>...
554 >::value;
555 }
556
557 // Constraint for a non-explicit constructor.
558 // True iff each Ti in _Types... can be constructed from Ui in _UTypes...
559 // but not every Ui is implicitly convertible to Ti.
560 template<typename... _UTypes>
561 static constexpr bool __is_explicitly_constructible()
562 {
563 return __and_<is_constructible<_Types, _UTypes>...,
564 __not_<__and_<is_convertible<_UTypes, _Types>...>>
565 >::value;
566 }
567
568 static constexpr bool __is_implicitly_default_constructible()
569 {
570 return __and_<std::__is_implicitly_default_constructible<_Types>...
571 >::value;
572 }
573
574 static constexpr bool __is_explicitly_default_constructible()
575 {
576 return __and_<is_default_constructible<_Types>...,
577 __not_<__and_<
578 std::__is_implicitly_default_constructible<_Types>...>
579 >>::value;
580 }
581 };
582
583 // Partial specialization used when a required precondition isn't met,
584 // e.g. when sizeof...(_Types) != sizeof...(_UTypes).
585 template<typename... _Types>
586 struct _TupleConstraints<false, _Types...>
587 {
588 template<typename... _UTypes>
589 static constexpr bool __is_implicitly_constructible()
590 { return false; }
591
592 template<typename... _UTypes>
593 static constexpr bool __is_explicitly_constructible()
594 { return false; }
595 };
596
597 /// Primary class template, tuple
598 template<typename... _Elements>
599 class tuple : public _Tuple_impl<0, _Elements...>
600 {
601 typedef _Tuple_impl<0, _Elements...> _Inherited;
602
603 template<bool _Cond>
604 using _TCC = _TupleConstraints<_Cond, _Elements...>;
605
606 // Constraint for non-explicit default constructor
607 template<bool _Dummy>
608 using _ImplicitDefaultCtor = __enable_if_t<
609 _TCC<_Dummy>::__is_implicitly_default_constructible(),
610 bool>;
611
612 // Constraint for explicit default constructor
613 template<bool _Dummy>
614 using _ExplicitDefaultCtor = __enable_if_t<
615 _TCC<_Dummy>::__is_explicitly_default_constructible(),
616 bool>;
617
618 // Constraint for non-explicit constructors
619 template<bool _Cond, typename... _Args>
620 using _ImplicitCtor = __enable_if_t<
621 _TCC<_Cond>::template __is_implicitly_constructible<_Args...>(),
622 bool>;
623
624 // Constraint for non-explicit constructors
625 template<bool _Cond, typename... _Args>
626 using _ExplicitCtor = __enable_if_t<
627 _TCC<_Cond>::template __is_explicitly_constructible<_Args...>(),
628 bool>;
629
630 template<typename... _UElements>
631 static constexpr
632 __enable_if_t<sizeof...(_UElements) == sizeof...(_Elements), bool>
633 __assignable()
634 { return __and_<is_assignable<_Elements&, _UElements>...>::value; }
635
636 // Condition for noexcept-specifier of an assignment operator.
637 template<typename... _UElements>
638 static constexpr bool __nothrow_assignable()
639 {
640 return
641 __and_<is_nothrow_assignable<_Elements&, _UElements>...>::value;
642 }
643
644 // Condition for noexcept-specifier of a constructor.
645 template<typename... _UElements>
646 static constexpr bool __nothrow_constructible()
647 {
648 return
649 __and_<is_nothrow_constructible<_Elements, _UElements>...>::value;
650 }
651
652 // Constraint for tuple(_UTypes&&...) where sizeof...(_UTypes) == 1.
653 template<typename _Up>
654 static constexpr bool __valid_args()
655 {
656 return sizeof...(_Elements) == 1
657 && !is_same<tuple, __remove_cvref_t<_Up>>::value;
658 }
659
660 // Constraint for tuple(_UTypes&&...) where sizeof...(_UTypes) > 1.
661 template<typename, typename, typename... _Tail>
662 static constexpr bool __valid_args()
663 { return (sizeof...(_Tail) + 2) == sizeof...(_Elements); }
664
665 /* Constraint for constructors with a tuple<UTypes...> parameter ensures
666 * that the constructor is only viable when it would not interfere with
667 * tuple(UTypes&&...) or tuple(const tuple&) or tuple(tuple&&).
668 * Such constructors are only viable if:
669 * either sizeof...(Types) != 1,
670 * or (when Types... expands to T and UTypes... expands to U)
671 * is_convertible_v<TUPLE, T>, is_constructible_v<T, TUPLE>,
672 * and is_same_v<T, U> are all false.
673 */
674 template<typename _Tuple, typename = tuple,
675 typename = __remove_cvref_t<_Tuple>>
676 struct _UseOtherCtor
677 : false_type
678 { };
679 // If TUPLE is convertible to the single element in *this,
680 // then TUPLE should match tuple(UTypes&&...) instead.
681 template<typename _Tuple, typename _Tp, typename _Up>
682 struct _UseOtherCtor<_Tuple, tuple<_Tp>, tuple<_Up>>
683 : __or_<is_convertible<_Tuple, _Tp>, is_constructible<_Tp, _Tuple>>
684 { };
685 // If TUPLE and *this each have a single element of the same type,
686 // then TUPLE should match a copy/move constructor instead.
687 template<typename _Tuple, typename _Tp>
688 struct _UseOtherCtor<_Tuple, tuple<_Tp>, tuple<_Tp>>
689 : true_type
690 { };
691
692 // Return true iff sizeof...(Types) == 1 && tuple_size_v<TUPLE> == 1
693 // and the single element in Types can be initialized from TUPLE,
694 // or is the same type as tuple_element_t<0, TUPLE>.
695 template<typename _Tuple>
696 static constexpr bool __use_other_ctor()
697 { return _UseOtherCtor<_Tuple>::value; }
698
699 public:
700 template<typename _Dummy = void,
701 _ImplicitDefaultCtor<is_void<_Dummy>::value> = true>
702 constexpr
703 tuple()
704 noexcept(__and_<is_nothrow_default_constructible<_Elements>...>::value)
705 : _Inherited() { }
706
707 template<typename _Dummy = void,
708 _ExplicitDefaultCtor<is_void<_Dummy>::value> = false>
709 explicit constexpr
710 tuple()
711 noexcept(__and_<is_nothrow_default_constructible<_Elements>...>::value)
712 : _Inherited() { }
713
714 template<bool _NotEmpty = (sizeof...(_Elements) >= 1),
715 _ImplicitCtor<_NotEmpty, const _Elements&...> = true>
716 constexpr
717 tuple(const _Elements&... __elements)
718 noexcept(__nothrow_constructible<const _Elements&...>())
719 : _Inherited(__elements...) { }
720
721 template<bool _NotEmpty = (sizeof...(_Elements) >= 1),
722 _ExplicitCtor<_NotEmpty, const _Elements&...> = false>
723 explicit constexpr
724 tuple(const _Elements&... __elements)
725 noexcept(__nothrow_constructible<const _Elements&...>())
726 : _Inherited(__elements...) { }
727
728 template<typename... _UElements,
729 bool _Valid = __valid_args<_UElements...>(),
730 _ImplicitCtor<_Valid, _UElements...> = true>
731 constexpr
732 tuple(_UElements&&... __elements)
733 noexcept(__nothrow_constructible<_UElements...>())
734 : _Inherited(std::forward<_UElements>(__elements)...) { }
735
736 template<typename... _UElements,
737 bool _Valid = __valid_args<_UElements...>(),
738 _ExplicitCtor<_Valid, _UElements...> = false>
739 explicit constexpr
740 tuple(_UElements&&... __elements)
741 noexcept(__nothrow_constructible<_UElements...>())
742 : _Inherited(std::forward<_UElements>(__elements)...) { }
743
744 constexpr tuple(const tuple&) = default;
745
746 constexpr tuple(tuple&&) = default;
747
748 template<typename... _UElements,
749 bool _Valid = (sizeof...(_Elements) == sizeof...(_UElements))
750 && !__use_other_ctor<const tuple<_UElements...>&>(),
751 _ImplicitCtor<_Valid, const _UElements&...> = true>
752 constexpr
753 tuple(const tuple<_UElements...>& __in)
754 noexcept(__nothrow_constructible<const _UElements&...>())
755 : _Inherited(static_cast<const _Tuple_impl<0, _UElements...>&>(__in))
756 { }
757
758 template<typename... _UElements,
759 bool _Valid = (sizeof...(_Elements) == sizeof...(_UElements))
760 && !__use_other_ctor<const tuple<_UElements...>&>(),
761 _ExplicitCtor<_Valid, const _UElements&...> = false>
762 explicit constexpr
763 tuple(const tuple<_UElements...>& __in)
764 noexcept(__nothrow_constructible<const _UElements&...>())
765 : _Inherited(static_cast<const _Tuple_impl<0, _UElements...>&>(__in))
766 { }
767
768 template<typename... _UElements,
769 bool _Valid = (sizeof...(_Elements) == sizeof...(_UElements))
770 && !__use_other_ctor<tuple<_UElements...>&&>(),
771 _ImplicitCtor<_Valid, _UElements...> = true>
772 constexpr
773 tuple(tuple<_UElements...>&& __in)
774 noexcept(__nothrow_constructible<_UElements...>())
775 : _Inherited(static_cast<_Tuple_impl<0, _UElements...>&&>(__in)) { }
776
777 template<typename... _UElements,
778 bool _Valid = (sizeof...(_Elements) == sizeof...(_UElements))
779 && !__use_other_ctor<tuple<_UElements...>&&>(),
780 _ExplicitCtor<_Valid, _UElements...> = false>
781 explicit constexpr
782 tuple(tuple<_UElements...>&& __in)
783 noexcept(__nothrow_constructible<_UElements...>())
784 : _Inherited(static_cast<_Tuple_impl<0, _UElements...>&&>(__in)) { }
785
786 // Allocator-extended constructors.
787
788 template<typename _Alloc,
789 _ImplicitDefaultCtor<is_object<_Alloc>::value> = true>
790 _GLIBCXX20_CONSTEXPR
791 tuple(allocator_arg_t __tag, const _Alloc& __a)
792 : _Inherited(__tag, __a) { }
793
794 template<typename _Alloc, bool _NotEmpty = (sizeof...(_Elements) >= 1),
795 _ImplicitCtor<_NotEmpty, const _Elements&...> = true>
796 _GLIBCXX20_CONSTEXPR
797 tuple(allocator_arg_t __tag, const _Alloc& __a,
798 const _Elements&... __elements)
799 : _Inherited(__tag, __a, __elements...) { }
800
801 template<typename _Alloc, bool _NotEmpty = (sizeof...(_Elements) >= 1),
802 _ExplicitCtor<_NotEmpty, const _Elements&...> = false>
803 _GLIBCXX20_CONSTEXPR
804 explicit
805 tuple(allocator_arg_t __tag, const _Alloc& __a,
806 const _Elements&... __elements)
807 : _Inherited(__tag, __a, __elements...) { }
808
809 template<typename _Alloc, typename... _UElements,
810 bool _Valid = __valid_args<_UElements...>(),
811 _ImplicitCtor<_Valid, _UElements...> = true>
812 _GLIBCXX20_CONSTEXPR
813 tuple(allocator_arg_t __tag, const _Alloc& __a,
814 _UElements&&... __elements)
815 : _Inherited(__tag, __a, std::forward<_UElements>(__elements)...)
816 { }
817
818 template<typename _Alloc, typename... _UElements,
819 bool _Valid = __valid_args<_UElements...>(),
820 _ExplicitCtor<_Valid, _UElements...> = false>
821 _GLIBCXX20_CONSTEXPR
822 explicit
823 tuple(allocator_arg_t __tag, const _Alloc& __a,
824 _UElements&&... __elements)
825 : _Inherited(__tag, __a, std::forward<_UElements>(__elements)...)
826 { }
827
828 template<typename _Alloc>
829 _GLIBCXX20_CONSTEXPR
830 tuple(allocator_arg_t __tag, const _Alloc& __a, const tuple& __in)
831 : _Inherited(__tag, __a, static_cast<const _Inherited&>(__in)) { }
832
833 template<typename _Alloc>
834 _GLIBCXX20_CONSTEXPR
835 tuple(allocator_arg_t __tag, const _Alloc& __a, tuple&& __in)
836 : _Inherited(__tag, __a, static_cast<_Inherited&&>(__in)) { }
837
838 template<typename _Alloc, typename... _UElements,
839 bool _Valid = (sizeof...(_Elements) == sizeof...(_UElements))
840 && !__use_other_ctor<const tuple<_UElements...>&>(),
841 _ImplicitCtor<_Valid, const _UElements&...> = true>
842 _GLIBCXX20_CONSTEXPR
843 tuple(allocator_arg_t __tag, const _Alloc& __a,
844 const tuple<_UElements...>& __in)
845 : _Inherited(__tag, __a,
846 static_cast<const _Tuple_impl<0, _UElements...>&>(__in))
847 { }
848
849 template<typename _Alloc, typename... _UElements,
850 bool _Valid = (sizeof...(_Elements) == sizeof...(_UElements))
851 && !__use_other_ctor<const tuple<_UElements...>&>(),
852 _ExplicitCtor<_Valid, const _UElements&...> = false>
853 _GLIBCXX20_CONSTEXPR
854 explicit
855 tuple(allocator_arg_t __tag, const _Alloc& __a,
856 const tuple<_UElements...>& __in)
857 : _Inherited(__tag, __a,
858 static_cast<const _Tuple_impl<0, _UElements...>&>(__in))
859 { }
860
861 template<typename _Alloc, typename... _UElements,
862 bool _Valid = (sizeof...(_Elements) == sizeof...(_UElements))
863 && !__use_other_ctor<tuple<_UElements...>&&>(),
864 _ImplicitCtor<_Valid, _UElements...> = true>
865 _GLIBCXX20_CONSTEXPR
866 tuple(allocator_arg_t __tag, const _Alloc& __a,
867 tuple<_UElements...>&& __in)
868 : _Inherited(__tag, __a,
869 static_cast<_Tuple_impl<0, _UElements...>&&>(__in))
870 { }
871
872 template<typename _Alloc, typename... _UElements,
873 bool _Valid = (sizeof...(_Elements) == sizeof...(_UElements))
874 && !__use_other_ctor<tuple<_UElements...>&&>(),
875 _ExplicitCtor<_Valid, _UElements...> = false>
876 _GLIBCXX20_CONSTEXPR
877 explicit
878 tuple(allocator_arg_t __tag, const _Alloc& __a,
879 tuple<_UElements...>&& __in)
880 : _Inherited(__tag, __a,
881 static_cast<_Tuple_impl<0, _UElements...>&&>(__in))
882 { }
883
884 // tuple assignment
885
886 _GLIBCXX20_CONSTEXPR
887 tuple&
888 operator=(typename conditional<__assignable<const _Elements&...>(),
889 const tuple&,
890 const __nonesuch&>::type __in)
891 noexcept(__nothrow_assignable<const _Elements&...>())
892 {
893 this->_M_assign(__in);
894 return *this;
895 }
896
897 _GLIBCXX20_CONSTEXPR
898 tuple&
899 operator=(typename conditional<__assignable<_Elements...>(),
900 tuple&&,
901 __nonesuch&&>::type __in)
902 noexcept(__nothrow_assignable<_Elements...>())
903 {
904 this->_M_assign(std::move(__in));
905 return *this;
906 }
907
908 template<typename... _UElements>
909 _GLIBCXX20_CONSTEXPR
910 __enable_if_t<__assignable<const _UElements&...>(), tuple&>
911 operator=(const tuple<_UElements...>& __in)
912 noexcept(__nothrow_assignable<const _UElements&...>())
913 {
914 this->_M_assign(__in);
915 return *this;
916 }
917
918 template<typename... _UElements>
919 _GLIBCXX20_CONSTEXPR
920 __enable_if_t<__assignable<_UElements...>(), tuple&>
921 operator=(tuple<_UElements...>&& __in)
922 noexcept(__nothrow_assignable<_UElements...>())
923 {
924 this->_M_assign(std::move(__in));
925 return *this;
926 }
927
928 // tuple swap
929 _GLIBCXX20_CONSTEXPR
930 void
931 swap(tuple& __in)
932 noexcept(__and_<__is_nothrow_swappable<_Elements>...>::value)
933 { _Inherited::_M_swap(__in); }
934 };
935
936#if __cpp_deduction_guides >= 201606
937 template<typename... _UTypes>
938 tuple(_UTypes...) -> tuple<_UTypes...>;
939 template<typename _T1, typename _T2>
940 tuple(pair<_T1, _T2>) -> tuple<_T1, _T2>;
941 template<typename _Alloc, typename... _UTypes>
942 tuple(allocator_arg_t, _Alloc, _UTypes...) -> tuple<_UTypes...>;
943 template<typename _Alloc, typename _T1, typename _T2>
944 tuple(allocator_arg_t, _Alloc, pair<_T1, _T2>) -> tuple<_T1, _T2>;
945 template<typename _Alloc, typename... _UTypes>
946 tuple(allocator_arg_t, _Alloc, tuple<_UTypes...>) -> tuple<_UTypes...>;
947#endif
948
949 // Explicit specialization, zero-element tuple.
950 template<>
951 class tuple<>
952 {
953 public:
954 void swap(tuple&) noexcept { /* no-op */ }
955 // We need the default since we're going to define no-op
956 // allocator constructors.
957 tuple() = default;
958 // No-op allocator constructors.
959 template<typename _Alloc>
960 _GLIBCXX20_CONSTEXPR
961 tuple(allocator_arg_t, const _Alloc&) noexcept { }
962 template<typename _Alloc>
963 _GLIBCXX20_CONSTEXPR
964 tuple(allocator_arg_t, const _Alloc&, const tuple&) noexcept { }
965 };
966
967 /// Partial specialization, 2-element tuple.
968 /// Includes construction and assignment from a pair.
969 template<typename _T1, typename _T2>
970 class tuple<_T1, _T2> : public _Tuple_impl<0, _T1, _T2>
971 {
972 typedef _Tuple_impl<0, _T1, _T2> _Inherited;
973
974 // Constraint for non-explicit default constructor
975 template<bool _Dummy, typename _U1, typename _U2>
976 using _ImplicitDefaultCtor = __enable_if_t<
977 _TupleConstraints<_Dummy, _U1, _U2>::
978 __is_implicitly_default_constructible(),
979 bool>;
980
981 // Constraint for explicit default constructor
982 template<bool _Dummy, typename _U1, typename _U2>
983 using _ExplicitDefaultCtor = __enable_if_t<
984 _TupleConstraints<_Dummy, _U1, _U2>::
985 __is_explicitly_default_constructible(),
986 bool>;
987
988 template<bool _Dummy>
989 using _TCC = _TupleConstraints<_Dummy, _T1, _T2>;
990
991 // Constraint for non-explicit constructors
992 template<bool _Cond, typename _U1, typename _U2>
993 using _ImplicitCtor = __enable_if_t<
994 _TCC<_Cond>::template __is_implicitly_constructible<_U1, _U2>(),
995 bool>;
996
997 // Constraint for non-explicit constructors
998 template<bool _Cond, typename _U1, typename _U2>
999 using _ExplicitCtor = __enable_if_t<
1000 _TCC<_Cond>::template __is_explicitly_constructible<_U1, _U2>(),
1001 bool>;
1002
1003 template<typename _U1, typename _U2>
1004 static constexpr bool __assignable()
1005 {
1006 return __and_<is_assignable<_T1&, _U1>,
1007 is_assignable<_T2&, _U2>>::value;
1008 }
1009
1010 template<typename _U1, typename _U2>
1011 static constexpr bool __nothrow_assignable()
1012 {
1013 return __and_<is_nothrow_assignable<_T1&, _U1>,
1014 is_nothrow_assignable<_T2&, _U2>>::value;
1015 }
1016
1017 template<typename _U1, typename _U2>
1018 static constexpr bool __nothrow_constructible()
1019 {
1020 return __and_<is_nothrow_constructible<_T1, _U1>,
1021 is_nothrow_constructible<_T2, _U2>>::value;
1022 }
1023
1024 static constexpr bool __nothrow_default_constructible()
1025 {
1026 return __and_<is_nothrow_default_constructible<_T1>,
1027 is_nothrow_default_constructible<_T2>>::value;
1028 }
1029
1030 template<typename _U1>
1031 static constexpr bool __is_alloc_arg()
1032 { return is_same<__remove_cvref_t<_U1>, allocator_arg_t>::value; }
1033
1034 public:
1035 template<bool _Dummy = true,
1036 _ImplicitDefaultCtor<_Dummy, _T1, _T2> = true>
1037 constexpr
1038 tuple()
1039 noexcept(__nothrow_default_constructible())
1040 : _Inherited() { }
1041
1042 template<bool _Dummy = true,
1043 _ExplicitDefaultCtor<_Dummy, _T1, _T2> = false>
1044 explicit constexpr
1045 tuple()
1046 noexcept(__nothrow_default_constructible())
1047 : _Inherited() { }
1048
1049 template<bool _Dummy = true,
1050 _ImplicitCtor<_Dummy, const _T1&, const _T2&> = true>
1051 constexpr
1052 tuple(const _T1& __a1, const _T2& __a2)
1053 noexcept(__nothrow_constructible<const _T1&, const _T2&>())
1054 : _Inherited(__a1, __a2) { }
1055
1056 template<bool _Dummy = true,
1057 _ExplicitCtor<_Dummy, const _T1&, const _T2&> = false>
1058 explicit constexpr
1059 tuple(const _T1& __a1, const _T2& __a2)
1060 noexcept(__nothrow_constructible<const _T1&, const _T2&>())
1061 : _Inherited(__a1, __a2) { }
1062
1063 template<typename _U1, typename _U2,
1064 _ImplicitCtor<!__is_alloc_arg<_U1>(), _U1, _U2> = true>
1065 constexpr
1066 tuple(_U1&& __a1, _U2&& __a2)
1067 noexcept(__nothrow_constructible<_U1, _U2>())
1068 : _Inherited(std::forward<_U1>(__a1), std::forward<_U2>(__a2)) { }
1069
1070 template<typename _U1, typename _U2,
1071 _ExplicitCtor<!__is_alloc_arg<_U1>(), _U1, _U2> = false>
1072 explicit constexpr
1073 tuple(_U1&& __a1, _U2&& __a2)
1074 noexcept(__nothrow_constructible<_U1, _U2>())
1075 : _Inherited(std::forward<_U1>(__a1), std::forward<_U2>(__a2)) { }
1076
1077 constexpr tuple(const tuple&) = default;
1078
1079 constexpr tuple(tuple&&) = default;
1080
1081 template<typename _U1, typename _U2,
1082 _ImplicitCtor<true, const _U1&, const _U2&> = true>
1083 constexpr
1084 tuple(const tuple<_U1, _U2>& __in)
1085 noexcept(__nothrow_constructible<const _U1&, const _U2&>())
1086 : _Inherited(static_cast<const _Tuple_impl<0, _U1, _U2>&>(__in)) { }
1087
1088 template<typename _U1, typename _U2,
1089 _ExplicitCtor<true, const _U1&, const _U2&> = false>
1090 explicit constexpr
1091 tuple(const tuple<_U1, _U2>& __in)
1092 noexcept(__nothrow_constructible<const _U1&, const _U2&>())
1093 : _Inherited(static_cast<const _Tuple_impl<0, _U1, _U2>&>(__in)) { }
1094
1095 template<typename _U1, typename _U2,
1096 _ImplicitCtor<true, _U1, _U2> = true>
1097 constexpr
1098 tuple(tuple<_U1, _U2>&& __in)
1099 noexcept(__nothrow_constructible<_U1, _U2>())
1100 : _Inherited(static_cast<_Tuple_impl<0, _U1, _U2>&&>(__in)) { }
1101
1102 template<typename _U1, typename _U2,
1103 _ExplicitCtor<true, _U1, _U2> = false>
1104 explicit constexpr
1105 tuple(tuple<_U1, _U2>&& __in)
1106 noexcept(__nothrow_constructible<_U1, _U2>())
1107 : _Inherited(static_cast<_Tuple_impl<0, _U1, _U2>&&>(__in)) { }
1108
1109 template<typename _U1, typename _U2,
1110 _ImplicitCtor<true, const _U1&, const _U2&> = true>
1111 constexpr
1112 tuple(const pair<_U1, _U2>& __in)
1113 noexcept(__nothrow_constructible<const _U1&, const _U2&>())
1114 : _Inherited(__in.first, __in.second) { }
1115
1116 template<typename _U1, typename _U2,
1117 _ExplicitCtor<true, const _U1&, const _U2&> = false>
1118 explicit constexpr
1119 tuple(const pair<_U1, _U2>& __in)
1120 noexcept(__nothrow_constructible<const _U1&, const _U2&>())
1121 : _Inherited(__in.first, __in.second) { }
1122
1123 template<typename _U1, typename _U2,
1124 _ImplicitCtor<true, _U1, _U2> = true>
1125 constexpr
1126 tuple(pair<_U1, _U2>&& __in)
1127 noexcept(__nothrow_constructible<_U1, _U2>())
1128 : _Inherited(std::forward<_U1>(__in.first),
1129 std::forward<_U2>(__in.second)) { }
1130
1131 template<typename _U1, typename _U2,
1132 _ExplicitCtor<true, _U1, _U2> = false>
1133 explicit constexpr
1134 tuple(pair<_U1, _U2>&& __in)
1135 noexcept(__nothrow_constructible<_U1, _U2>())
1136 : _Inherited(std::forward<_U1>(__in.first),
1137 std::forward<_U2>(__in.second)) { }
1138
1139 // Allocator-extended constructors.
1140
1141 template<typename _Alloc,
1142 _ImplicitDefaultCtor<is_object<_Alloc>::value, _T1, _T2> = true>
1143 _GLIBCXX20_CONSTEXPR
1144 tuple(allocator_arg_t __tag, const _Alloc& __a)
1145 : _Inherited(__tag, __a) { }
1146
1147 template<typename _Alloc, bool _Dummy = true,
1148 _ImplicitCtor<_Dummy, const _T1&, const _T2&> = true>
1149 _GLIBCXX20_CONSTEXPR
1150 tuple(allocator_arg_t __tag, const _Alloc& __a,
1151 const _T1& __a1, const _T2& __a2)
1152 : _Inherited(__tag, __a, __a1, __a2) { }
1153
1154 template<typename _Alloc, bool _Dummy = true,
1155 _ExplicitCtor<_Dummy, const _T1&, const _T2&> = false>
1156 explicit
1157 _GLIBCXX20_CONSTEXPR
1158 tuple(allocator_arg_t __tag, const _Alloc& __a,
1159 const _T1& __a1, const _T2& __a2)
1160 : _Inherited(__tag, __a, __a1, __a2) { }
1161
1162 template<typename _Alloc, typename _U1, typename _U2,
1163 _ImplicitCtor<true, _U1, _U2> = true>
1164 _GLIBCXX20_CONSTEXPR
1165 tuple(allocator_arg_t __tag, const _Alloc& __a, _U1&& __a1, _U2&& __a2)
1166 : _Inherited(__tag, __a, std::forward<_U1>(__a1),
1167 std::forward<_U2>(__a2)) { }
1168
1169 template<typename _Alloc, typename _U1, typename _U2,
1170 _ExplicitCtor<true, _U1, _U2> = false>
1171 explicit
1172 _GLIBCXX20_CONSTEXPR
1173 tuple(allocator_arg_t __tag, const _Alloc& __a,
1174 _U1&& __a1, _U2&& __a2)
1175 : _Inherited(__tag, __a, std::forward<_U1>(__a1),
1176 std::forward<_U2>(__a2)) { }
1177
1178 template<typename _Alloc>
1179 _GLIBCXX20_CONSTEXPR
1180 tuple(allocator_arg_t __tag, const _Alloc& __a, const tuple& __in)
1181 : _Inherited(__tag, __a, static_cast<const _Inherited&>(__in)) { }
1182
1183 template<typename _Alloc>
1184 _GLIBCXX20_CONSTEXPR
1185 tuple(allocator_arg_t __tag, const _Alloc& __a, tuple&& __in)
1186 : _Inherited(__tag, __a, static_cast<_Inherited&&>(__in)) { }
1187
1188 template<typename _Alloc, typename _U1, typename _U2,
1189 _ImplicitCtor<true, const _U1&, const _U2&> = true>
1190 _GLIBCXX20_CONSTEXPR
1191 tuple(allocator_arg_t __tag, const _Alloc& __a,
1192 const tuple<_U1, _U2>& __in)
1193 : _Inherited(__tag, __a,
1194 static_cast<const _Tuple_impl<0, _U1, _U2>&>(__in))
1195 { }
1196
1197 template<typename _Alloc, typename _U1, typename _U2,
1198 _ExplicitCtor<true, const _U1&, const _U2&> = false>
1199 explicit
1200 _GLIBCXX20_CONSTEXPR
1201 tuple(allocator_arg_t __tag, const _Alloc& __a,
1202 const tuple<_U1, _U2>& __in)
1203 : _Inherited(__tag, __a,
1204 static_cast<const _Tuple_impl<0, _U1, _U2>&>(__in))
1205 { }
1206
1207 template<typename _Alloc, typename _U1, typename _U2,
1208 _ImplicitCtor<true, _U1, _U2> = true>
1209 _GLIBCXX20_CONSTEXPR
1210 tuple(allocator_arg_t __tag, const _Alloc& __a, tuple<_U1, _U2>&& __in)
1211 : _Inherited(__tag, __a, static_cast<_Tuple_impl<0, _U1, _U2>&&>(__in))
1212 { }
1213
1214 template<typename _Alloc, typename _U1, typename _U2,
1215 _ExplicitCtor<true, _U1, _U2> = false>
1216 explicit
1217 _GLIBCXX20_CONSTEXPR
1218 tuple(allocator_arg_t __tag, const _Alloc& __a, tuple<_U1, _U2>&& __in)
1219 : _Inherited(__tag, __a, static_cast<_Tuple_impl<0, _U1, _U2>&&>(__in))
1220 { }
1221
1222 template<typename _Alloc, typename _U1, typename _U2,
1223 _ImplicitCtor<true, const _U1&, const _U2&> = true>
1224 _GLIBCXX20_CONSTEXPR
1225 tuple(allocator_arg_t __tag, const _Alloc& __a,
1226 const pair<_U1, _U2>& __in)
1227 : _Inherited(__tag, __a, __in.first, __in.second) { }
1228
1229 template<typename _Alloc, typename _U1, typename _U2,
1230 _ExplicitCtor<true, const _U1&, const _U2&> = false>
1231 explicit
1232 _GLIBCXX20_CONSTEXPR
1233 tuple(allocator_arg_t __tag, const _Alloc& __a,
1234 const pair<_U1, _U2>& __in)
1235 : _Inherited(__tag, __a, __in.first, __in.second) { }
1236
1237 template<typename _Alloc, typename _U1, typename _U2,
1238 _ImplicitCtor<true, _U1, _U2> = true>
1239 _GLIBCXX20_CONSTEXPR
1240 tuple(allocator_arg_t __tag, const _Alloc& __a, pair<_U1, _U2>&& __in)
1241 : _Inherited(__tag, __a, std::forward<_U1>(__in.first),
1242 std::forward<_U2>(__in.second)) { }
1243
1244 template<typename _Alloc, typename _U1, typename _U2,
1245 _ExplicitCtor<true, _U1, _U2> = false>
1246 explicit
1247 _GLIBCXX20_CONSTEXPR
1248 tuple(allocator_arg_t __tag, const _Alloc& __a, pair<_U1, _U2>&& __in)
1249 : _Inherited(__tag, __a, std::forward<_U1>(__in.first),
1250 std::forward<_U2>(__in.second)) { }
1251
1252 // Tuple assignment.
1253
1254 _GLIBCXX20_CONSTEXPR
1255 tuple&
1256 operator=(typename conditional<__assignable<const _T1&, const _T2&>(),
1257 const tuple&,
1258 const __nonesuch&>::type __in)
1259 noexcept(__nothrow_assignable<const _T1&, const _T2&>())
1260 {
1261 this->_M_assign(__in);
1262 return *this;
1263 }
1264
1265 _GLIBCXX20_CONSTEXPR
1266 tuple&
1267 operator=(typename conditional<__assignable<_T1, _T2>(),
1268 tuple&&,
1269 __nonesuch&&>::type __in)
1270 noexcept(__nothrow_assignable<_T1, _T2>())
1271 {
1272 this->_M_assign(std::move(__in));
1273 return *this;
1274 }
1275
1276 template<typename _U1, typename _U2>
1277 _GLIBCXX20_CONSTEXPR
1278 __enable_if_t<__assignable<const _U1&, const _U2&>(), tuple&>
1279 operator=(const tuple<_U1, _U2>& __in)
1280 noexcept(__nothrow_assignable<const _U1&, const _U2&>())
1281 {
1282 this->_M_assign(__in);
1283 return *this;
1284 }
1285
1286 template<typename _U1, typename _U2>
1287 _GLIBCXX20_CONSTEXPR
1288 __enable_if_t<__assignable<_U1, _U2>(), tuple&>
1289 operator=(tuple<_U1, _U2>&& __in)
1290 noexcept(__nothrow_assignable<_U1, _U2>())
1291 {
1292 this->_M_assign(std::move(__in));
1293 return *this;
1294 }
1295
1296 template<typename _U1, typename _U2>
1297 _GLIBCXX20_CONSTEXPR
1298 __enable_if_t<__assignable<const _U1&, const _U2&>(), tuple&>
1299 operator=(const pair<_U1, _U2>& __in)
1300 noexcept(__nothrow_assignable<const _U1&, const _U2&>())
1301 {
1302 this->_M_head(*this) = __in.first;
1303 this->_M_tail(*this)._M_head(*this) = __in.second;
1304 return *this;
1305 }
1306
1307 template<typename _U1, typename _U2>
1308 _GLIBCXX20_CONSTEXPR
1309 __enable_if_t<__assignable<_U1, _U2>(), tuple&>
1310 operator=(pair<_U1, _U2>&& __in)
1311 noexcept(__nothrow_assignable<_U1, _U2>())
1312 {
1313 this->_M_head(*this) = std::forward<_U1>(__in.first);
1314 this->_M_tail(*this)._M_head(*this) = std::forward<_U2>(__in.second);
1315 return *this;
1316 }
1317
1318 _GLIBCXX20_CONSTEXPR
1319 void
1320 swap(tuple& __in)
1321 noexcept(__and_<__is_nothrow_swappable<_T1>,
1322 __is_nothrow_swappable<_T2>>::value)
1323 { _Inherited::_M_swap(__in); }
1324 };
1325
1326
1327 /// class tuple_size
1328 template<typename... _Elements>
1329 struct tuple_size<tuple<_Elements...>>
1330 : public integral_constant<size_t, sizeof...(_Elements)> { };
1331
1332#if __cplusplus > 201402L
1333 template <typename _Tp>
1334 inline constexpr size_t tuple_size_v = tuple_size<_Tp>::value;
1335#endif
1336
1337 /**
1338 * Recursive case for tuple_element: strip off the first element in
1339 * the tuple and retrieve the (i-1)th element of the remaining tuple.
1340 */
1341 template<size_t __i, typename _Head, typename... _Tail>
1342 struct tuple_element<__i, tuple<_Head, _Tail...> >
1343 : tuple_element<__i - 1, tuple<_Tail...> > { };
1344
1345 /**
1346 * Basis case for tuple_element: The first element is the one we're seeking.
1347 */
1348 template<typename _Head, typename... _Tail>
1349 struct tuple_element<0, tuple<_Head, _Tail...> >
1350 {
1351 typedef _Head type;
1352 };
1353
1354 /**
1355 * Error case for tuple_element: invalid index.
1356 */
1357 template<size_t __i>
1358 struct tuple_element<__i, tuple<>>
1359 {
1360 static_assert(__i < tuple_size<tuple<>>::value,
1361 "tuple index must be in range");
1362 };
1363
1364 template<size_t __i, typename _Head, typename... _Tail>
1365 constexpr _Head&
1366 __get_helper(_Tuple_impl<__i, _Head, _Tail...>& __t) noexcept
1367 { return _Tuple_impl<__i, _Head, _Tail...>::_M_head(__t); }
1368
1369 template<size_t __i, typename _Head, typename... _Tail>
1370 constexpr const _Head&
1371 __get_helper(const _Tuple_impl<__i, _Head, _Tail...>& __t) noexcept
1372 { return _Tuple_impl<__i, _Head, _Tail...>::_M_head(__t); }
1373
1374 // Deleted overload to improve diagnostics for invalid indices
1375 template<size_t __i, typename... _Types>
1376 __enable_if_t<(__i >= sizeof...(_Types))>
1377 __get_helper(const tuple<_Types...>&) = delete;
1378
1379 /// Return a reference to the ith element of a tuple.
1380 template<size_t __i, typename... _Elements>
1381 constexpr __tuple_element_t<__i, tuple<_Elements...>>&
1382 get(tuple<_Elements...>& __t) noexcept
1383 { return std::__get_helper<__i>(__t); }
1384
1385 /// Return a const reference to the ith element of a const tuple.
1386 template<size_t __i, typename... _Elements>
1387 constexpr const __tuple_element_t<__i, tuple<_Elements...>>&
1388 get(const tuple<_Elements...>& __t) noexcept
1389 { return std::__get_helper<__i>(__t); }
1390
1391 /// Return an rvalue reference to the ith element of a tuple rvalue.
1392 template<size_t __i, typename... _Elements>
1393 constexpr __tuple_element_t<__i, tuple<_Elements...>>&&
1394 get(tuple<_Elements...>&& __t) noexcept
1395 {
1396 typedef __tuple_element_t<__i, tuple<_Elements...>> __element_type;
1397 return std::forward<__element_type>(std::__get_helper<__i>(__t));
1398 }
1399
1400 /// Return a const rvalue reference to the ith element of a const tuple rvalue.
1401 template<size_t __i, typename... _Elements>
1402 constexpr const __tuple_element_t<__i, tuple<_Elements...>>&&
1403 get(const tuple<_Elements...>&& __t) noexcept
1404 {
1405 typedef __tuple_element_t<__i, tuple<_Elements...>> __element_type;
1406 return std::forward<const __element_type>(std::__get_helper<__i>(__t));
1407 }
1408
1409#if __cplusplus >= 201402L
1410
1411#define __cpp_lib_tuples_by_type 201304
1412
1413 // Return the index of _Tp in _Types, if it occurs exactly once.
1414 // Otherwise, return sizeof...(_Types).
1415 // TODO reuse this for __detail::__variant::__exactly_once.
1416 template<typename _Tp, typename... _Types>
1417 constexpr size_t
1418 __find_uniq_type_in_pack()
1419 {
1420 constexpr size_t __sz = sizeof...(_Types);
1421 constexpr bool __found[__sz] = { __is_same(_Tp, _Types) ... };
1422 size_t __n = __sz;
1423 for (size_t __i = 0; __i < __sz; ++__i)
1424 {
1425 if (__found[__i])
1426 {
1427 if (__n < __sz) // more than one _Tp found
1428 return __sz;
1429 __n = __i;
1430 }
1431 }
1432 return __n;
1433 }
1434
1435 /// Return a reference to the unique element of type _Tp of a tuple.
1436 template <typename _Tp, typename... _Types>
1437 constexpr _Tp&
1438 get(tuple<_Types...>& __t) noexcept
1439 {
1440 constexpr size_t __idx = __find_uniq_type_in_pack<_Tp, _Types...>();
1441 static_assert(__idx < sizeof...(_Types),
1442 "the type T in std::get<T> must occur exactly once in the tuple");
1443 return std::__get_helper<__idx>(__t);
1444 }
1445
1446 /// Return a reference to the unique element of type _Tp of a tuple rvalue.
1447 template <typename _Tp, typename... _Types>
1448 constexpr _Tp&&
1449 get(tuple<_Types...>&& __t) noexcept
1450 {
1451 constexpr size_t __idx = __find_uniq_type_in_pack<_Tp, _Types...>();
1452 static_assert(__idx < sizeof...(_Types),
1453 "the type T in std::get<T> must occur exactly once in the tuple");
1454 return std::forward<_Tp>(std::__get_helper<__idx>(__t));
1455 }
1456
1457 /// Return a const reference to the unique element of type _Tp of a tuple.
1458 template <typename _Tp, typename... _Types>
1459 constexpr const _Tp&
1460 get(const tuple<_Types...>& __t) noexcept
1461 {
1462 constexpr size_t __idx = __find_uniq_type_in_pack<_Tp, _Types...>();
1463 static_assert(__idx < sizeof...(_Types),
1464 "the type T in std::get<T> must occur exactly once in the tuple");
1465 return std::__get_helper<__idx>(__t);
1466 }
1467
1468 /// Return a const reference to the unique element of type _Tp of
1469 /// a const tuple rvalue.
1470 template <typename _Tp, typename... _Types>
1471 constexpr const _Tp&&
1472 get(const tuple<_Types...>&& __t) noexcept
1473 {
1474 constexpr size_t __idx = __find_uniq_type_in_pack<_Tp, _Types...>();
1475 static_assert(__idx < sizeof...(_Types),
1476 "the type T in std::get<T> must occur exactly once in the tuple");
1477 return std::forward<const _Tp>(std::__get_helper<__idx>(__t));
1478 }
1479#endif
1480
1481 // This class performs the comparison operations on tuples
1482 template<typename _Tp, typename _Up, size_t __i, size_t __size>
1483 struct __tuple_compare
1484 {
1485 static constexpr bool
1486 __eq(const _Tp& __t, const _Up& __u)
1487 {
1488 return bool(std::get<__i>(__t) == std::get<__i>(__u))
1489 && __tuple_compare<_Tp, _Up, __i + 1, __size>::__eq(__t, __u);
1490 }
1491
1492 static constexpr bool
1493 __less(const _Tp& __t, const _Up& __u)
1494 {
1495 return bool(std::get<__i>(__t) < std::get<__i>(__u))
1496 || (!bool(std::get<__i>(__u) < std::get<__i>(__t))
1497 && __tuple_compare<_Tp, _Up, __i + 1, __size>::__less(__t, __u));
1498 }
1499 };
1500
1501 template<typename _Tp, typename _Up, size_t __size>
1502 struct __tuple_compare<_Tp, _Up, __size, __size>
1503 {
1504 static constexpr bool
1505 __eq(const _Tp&, const _Up&) { return true; }
1506
1507 static constexpr bool
1508 __less(const _Tp&, const _Up&) { return false; }
1509 };
1510
1511 template<typename... _TElements, typename... _UElements>
1512 constexpr bool
1513 operator==(const tuple<_TElements...>& __t,
1514 const tuple<_UElements...>& __u)
1515 {
1516 static_assert(sizeof...(_TElements) == sizeof...(_UElements),
1517 "tuple objects can only be compared if they have equal sizes.");
1518 using __compare = __tuple_compare<tuple<_TElements...>,
1519 tuple<_UElements...>,
1520 0, sizeof...(_TElements)>;
1521 return __compare::__eq(__t, __u);
1522 }
1523
1524#if __cpp_lib_three_way_comparison
1525 template<typename _Cat, typename _Tp, typename _Up>
1526 constexpr _Cat
1527 __tuple_cmp(const _Tp&, const _Up&, index_sequence<>)
1528 { return _Cat::equivalent; }
1529
1530 template<typename _Cat, typename _Tp, typename _Up,
1531 size_t _Idx0, size_t... _Idxs>
1532 constexpr _Cat
1533 __tuple_cmp(const _Tp& __t, const _Up& __u,
1534 index_sequence<_Idx0, _Idxs...>)
1535 {
1536 auto __c
1537 = __detail::__synth3way(std::get<_Idx0>(__t), std::get<_Idx0>(__u));
1538 if (__c != 0)
1539 return __c;
1540 return std::__tuple_cmp<_Cat>(__t, __u, index_sequence<_Idxs...>());
1541 }
1542
1543 template<typename... _Tps, typename... _Ups>
1544 constexpr
1545 common_comparison_category_t<__detail::__synth3way_t<_Tps, _Ups>...>
1546 operator<=>(const tuple<_Tps...>& __t, const tuple<_Ups...>& __u)
1547 {
1548 using _Cat
1549 = common_comparison_category_t<__detail::__synth3way_t<_Tps, _Ups>...>;
1550 return std::__tuple_cmp<_Cat>(__t, __u, index_sequence_for<_Tps...>());
1551 }
1552#else
1553 template<typename... _TElements, typename... _UElements>
1554 constexpr bool
1555 operator<(const tuple<_TElements...>& __t,
1556 const tuple<_UElements...>& __u)
1557 {
1558 static_assert(sizeof...(_TElements) == sizeof...(_UElements),
1559 "tuple objects can only be compared if they have equal sizes.");
1560 using __compare = __tuple_compare<tuple<_TElements...>,
1561 tuple<_UElements...>,
1562 0, sizeof...(_TElements)>;
1563 return __compare::__less(__t, __u);
1564 }
1565
1566 template<typename... _TElements, typename... _UElements>
1567 constexpr bool
1568 operator!=(const tuple<_TElements...>& __t,
1569 const tuple<_UElements...>& __u)
1570 { return !(__t == __u); }
1571
1572 template<typename... _TElements, typename... _UElements>
1573 constexpr bool
1574 operator>(const tuple<_TElements...>& __t,
1575 const tuple<_UElements...>& __u)
1576 { return __u < __t; }
1577
1578 template<typename... _TElements, typename... _UElements>
1579 constexpr bool
1580 operator<=(const tuple<_TElements...>& __t,
1581 const tuple<_UElements...>& __u)
1582 { return !(__u < __t); }
1583
1584 template<typename... _TElements, typename... _UElements>
1585 constexpr bool
1586 operator>=(const tuple<_TElements...>& __t,
1587 const tuple<_UElements...>& __u)
1588 { return !(__t < __u); }
1589#endif // three_way_comparison
1590
1591 // NB: DR 705.
1592 template<typename... _Elements>
1593 constexpr tuple<typename __decay_and_strip<_Elements>::__type...>
1594 make_tuple(_Elements&&... __args)
1595 {
1596 typedef tuple<typename __decay_and_strip<_Elements>::__type...>
1597 __result_type;
1598 return __result_type(std::forward<_Elements>(__args)...);
1599 }
1600
1601 // _GLIBCXX_RESOLVE_LIB_DEFECTS
1602 // 2275. Why is forward_as_tuple not constexpr?
1603 /// std::forward_as_tuple
1604 template<typename... _Elements>
1605 constexpr tuple<_Elements&&...>
1606 forward_as_tuple(_Elements&&... __args) noexcept
1607 { return tuple<_Elements&&...>(std::forward<_Elements>(__args)...); }
1608
1609 template<size_t, typename, typename, size_t>
1610 struct __make_tuple_impl;
1611
1612 template<size_t _Idx, typename _Tuple, typename... _Tp, size_t _Nm>
1613 struct __make_tuple_impl<_Idx, tuple<_Tp...>, _Tuple, _Nm>
1614 : __make_tuple_impl<_Idx + 1,
1615 tuple<_Tp..., __tuple_element_t<_Idx, _Tuple>>,
1616 _Tuple, _Nm>
1617 { };
1618
1619 template<size_t _Nm, typename _Tuple, typename... _Tp>
1620 struct __make_tuple_impl<_Nm, tuple<_Tp...>, _Tuple, _Nm>
1621 {
1622 typedef tuple<_Tp...> __type;
1623 };
1624
1625 template<typename _Tuple>
1626 struct __do_make_tuple
1627 : __make_tuple_impl<0, tuple<>, _Tuple, tuple_size<_Tuple>::value>
1628 { };
1629
1630 // Returns the std::tuple equivalent of a tuple-like type.
1631 template<typename _Tuple>
1632 struct __make_tuple
1633 : public __do_make_tuple<__remove_cvref_t<_Tuple>>
1634 { };
1635
1636 // Combines several std::tuple's into a single one.
1637 template<typename...>
1638 struct __combine_tuples;
1639
1640 template<>
1641 struct __combine_tuples<>
1642 {
1643 typedef tuple<> __type;
1644 };
1645
1646 template<typename... _Ts>
1647 struct __combine_tuples<tuple<_Ts...>>
1648 {
1649 typedef tuple<_Ts...> __type;
1650 };
1651
1652 template<typename... _T1s, typename... _T2s, typename... _Rem>
1653 struct __combine_tuples<tuple<_T1s...>, tuple<_T2s...>, _Rem...>
1654 {
1655 typedef typename __combine_tuples<tuple<_T1s..., _T2s...>,
1656 _Rem...>::__type __type;
1657 };
1658
1659 // Computes the result type of tuple_cat given a set of tuple-like types.
1660 template<typename... _Tpls>
1661 struct __tuple_cat_result
1662 {
1663 typedef typename __combine_tuples
1664 <typename __make_tuple<_Tpls>::__type...>::__type __type;
1665 };
1666
1667 // Helper to determine the index set for the first tuple-like
1668 // type of a given set.
1669 template<typename...>
1670 struct __make_1st_indices;
1671
1672 template<>
1673 struct __make_1st_indices<>
1674 {
1675 typedef _Index_tuple<> __type;
1676 };
1677
1678 template<typename _Tp, typename... _Tpls>
1679 struct __make_1st_indices<_Tp, _Tpls...>
1680 {
1681 typedef typename _Build_index_tuple<tuple_size<
1682 typename remove_reference<_Tp>::type>::value>::__type __type;
1683 };
1684
1685 // Performs the actual concatenation by step-wise expanding tuple-like
1686 // objects into the elements, which are finally forwarded into the
1687 // result tuple.
1688 template<typename _Ret, typename _Indices, typename... _Tpls>
1689 struct __tuple_concater;
1690
1691 template<typename _Ret, size_t... _Is, typename _Tp, typename... _Tpls>
1692 struct __tuple_concater<_Ret, _Index_tuple<_Is...>, _Tp, _Tpls...>
1693 {
1694 template<typename... _Us>
1695 static constexpr _Ret
1696 _S_do(_Tp&& __tp, _Tpls&&... __tps, _Us&&... __us)
1697 {
1698 typedef typename __make_1st_indices<_Tpls...>::__type __idx;
1699 typedef __tuple_concater<_Ret, __idx, _Tpls...> __next;
1700 return __next::_S_do(std::forward<_Tpls>(__tps)...,
1701 std::forward<_Us>(__us)...,
1702 std::get<_Is>(std::forward<_Tp>(__tp))...);
1703 }
1704 };
1705
1706 template<typename _Ret>
1707 struct __tuple_concater<_Ret, _Index_tuple<>>
1708 {
1709 template<typename... _Us>
1710 static constexpr _Ret
1711 _S_do(_Us&&... __us)
1712 {
1713 return _Ret(std::forward<_Us>(__us)...);
1714 }
1715 };
1716
1717 /// tuple_cat
1718 template<typename... _Tpls, typename = typename
1719 enable_if<__and_<__is_tuple_like<_Tpls>...>::value>::type>
1720 constexpr auto
1721 tuple_cat(_Tpls&&... __tpls)
1722 -> typename __tuple_cat_result<_Tpls...>::__type
1723 {
1724 typedef typename __tuple_cat_result<_Tpls...>::__type __ret;
1725 typedef typename __make_1st_indices<_Tpls...>::__type __idx;
1726 typedef __tuple_concater<__ret, __idx, _Tpls...> __concater;
1727 return __concater::_S_do(std::forward<_Tpls>(__tpls)...);
1728 }
1729
1730 // _GLIBCXX_RESOLVE_LIB_DEFECTS
1731 // 2301. Why is tie not constexpr?
1732 /// tie
1733 template<typename... _Elements>
1734 constexpr tuple<_Elements&...>
1735 tie(_Elements&... __args) noexcept
1736 { return tuple<_Elements&...>(__args...); }
1737
1738 /// swap
1739 template<typename... _Elements>
1740 _GLIBCXX20_CONSTEXPR
1741 inline
1742#if __cplusplus > 201402L || !defined(__STRICT_ANSI__) // c++1z or gnu++11
1743 // Constrained free swap overload, see p0185r1
1744 typename enable_if<__and_<__is_swappable<_Elements>...>::value
1745 >::type
1746#else
1747 void
1748#endif
1749 swap(tuple<_Elements...>& __x, tuple<_Elements...>& __y)
1750 noexcept(noexcept(__x.swap(__y)))
1751 { __x.swap(__y); }
1752
1753#if __cplusplus > 201402L || !defined(__STRICT_ANSI__) // c++1z or gnu++11
1754 template<typename... _Elements>
1755 _GLIBCXX20_CONSTEXPR
1756 typename enable_if<!__and_<__is_swappable<_Elements>...>::value>::type
1757 swap(tuple<_Elements...>&, tuple<_Elements...>&) = delete;
1758#endif
1759
1760 // A class (and instance) which can be used in 'tie' when an element
1761 // of a tuple is not required.
1762 // _GLIBCXX14_CONSTEXPR
1763 // 2933. PR for LWG 2773 could be clearer
1764 struct _Swallow_assign
1765 {
1766 template<class _Tp>
1767 _GLIBCXX14_CONSTEXPR const _Swallow_assign&
1768 operator=(const _Tp&) const
1769 { return *this; }
1770 };
1771
1772 // _GLIBCXX_RESOLVE_LIB_DEFECTS
1773 // 2773. Making std::ignore constexpr
1774 _GLIBCXX17_INLINE constexpr _Swallow_assign ignore{};
1775
1776 /// Partial specialization for tuples
1777 template<typename... _Types, typename _Alloc>
1778 struct uses_allocator<tuple<_Types...>, _Alloc> : true_type { };
1779
1780 // See stl_pair.h...
1781 /** "piecewise construction" using a tuple of arguments for each member.
1782 *
1783 * @param __first Arguments for the first member of the pair.
1784 * @param __second Arguments for the second member of the pair.
1785 *
1786 * The elements of each tuple will be used as the constructor arguments
1787 * for the data members of the pair.
1788 */
1789 template<class _T1, class _T2>
1790 template<typename... _Args1, typename... _Args2>
1791 _GLIBCXX20_CONSTEXPR
1792 inline
1793 pair<_T1, _T2>::
1794 pair(piecewise_construct_t,
1795 tuple<_Args1...> __first, tuple<_Args2...> __second)
1796 : pair(__first, __second,
1797 typename _Build_index_tuple<sizeof...(_Args1)>::__type(),
1798 typename _Build_index_tuple<sizeof...(_Args2)>::__type())
1799 { }
1800
1801 template<class _T1, class _T2>
1802 template<typename... _Args1, size_t... _Indexes1,
1803 typename... _Args2, size_t... _Indexes2>
1804 _GLIBCXX20_CONSTEXPR inline
1805 pair<_T1, _T2>::
1806 pair(tuple<_Args1...>& __tuple1, tuple<_Args2...>& __tuple2,
1807 _Index_tuple<_Indexes1...>, _Index_tuple<_Indexes2...>)
1808 : first(std::forward<_Args1>(std::get<_Indexes1>(__tuple1))...),
1809 second(std::forward<_Args2>(std::get<_Indexes2>(__tuple2))...)
1810 { }
1811
1812#if __cplusplus >= 201703L
1813
1814 // Unpack a std::tuple into a type trait and use its value.
1815 // For cv std::tuple<_Up> the result is _Trait<_Tp, cv _Up...>::value.
1816 // For cv std::tuple<_Up>& the result is _Trait<_Tp, cv _Up&...>::value.
1817 // Otherwise the result is false (because we don't know if std::get throws).
1818 template<template<typename...> class _Trait, typename _Tp, typename _Tuple>
1819 inline constexpr bool __unpack_std_tuple = false;
1820
1821 template<template<typename...> class _Trait, typename _Tp, typename... _Up>
1822 inline constexpr bool __unpack_std_tuple<_Trait, _Tp, tuple<_Up...>>
1823 = _Trait<_Tp, _Up...>::value;
1824
1825 template<template<typename...> class _Trait, typename _Tp, typename... _Up>
1826 inline constexpr bool __unpack_std_tuple<_Trait, _Tp, tuple<_Up...>&>
1827 = _Trait<_Tp, _Up&...>::value;
1828
1829 template<template<typename...> class _Trait, typename _Tp, typename... _Up>
1830 inline constexpr bool __unpack_std_tuple<_Trait, _Tp, const tuple<_Up...>>
1831 = _Trait<_Tp, const _Up...>::value;
1832
1833 template<template<typename...> class _Trait, typename _Tp, typename... _Up>
1834 inline constexpr bool __unpack_std_tuple<_Trait, _Tp, const tuple<_Up...>&>
1835 = _Trait<_Tp, const _Up&...>::value;
1836
1837# define __cpp_lib_apply 201603
1838
1839 template <typename _Fn, typename _Tuple, size_t... _Idx>
1840 constexpr decltype(auto)
1841 __apply_impl(_Fn&& __f, _Tuple&& __t, index_sequence<_Idx...>)
1842 {
1843 return std::__invoke(std::forward<_Fn>(__f),
1844 std::get<_Idx>(std::forward<_Tuple>(__t))...);
1845 }
1846
1847 template <typename _Fn, typename _Tuple>
1848 constexpr decltype(auto)
1849 apply(_Fn&& __f, _Tuple&& __t)
1850 noexcept(__unpack_std_tuple<is_nothrow_invocable, _Fn, _Tuple>)
1851 {
1852 using _Indices
1853 = make_index_sequence<tuple_size_v<remove_reference_t<_Tuple>>>;
1854 return std::__apply_impl(std::forward<_Fn>(__f),
1855 std::forward<_Tuple>(__t),
1856 _Indices{});
1857 }
1858
1859#define __cpp_lib_make_from_tuple 201606
1860
1861 template <typename _Tp, typename _Tuple, size_t... _Idx>
1862 constexpr _Tp
1863 __make_from_tuple_impl(_Tuple&& __t, index_sequence<_Idx...>)
1864 { return _Tp(std::get<_Idx>(std::forward<_Tuple>(__t))...); }
1865
1866 template <typename _Tp, typename _Tuple>
1867 constexpr _Tp
1868 make_from_tuple(_Tuple&& __t)
1869 noexcept(__unpack_std_tuple<is_nothrow_constructible, _Tp, _Tuple>)
1870 {
1871 return __make_from_tuple_impl<_Tp>(
1872 std::forward<_Tuple>(__t),
1873 make_index_sequence<tuple_size_v<remove_reference_t<_Tuple>>>{});
1874 }
1875#endif // C++17
1876
1877 /// @}
1878
1879_GLIBCXX_END_NAMESPACE_VERSION
1880} // namespace std
1881
1882#endif // C++11
1883
1884#endif // _GLIBCXX_TUPLE
Note: See TracBrowser for help on using the repository browser.