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