1 //===----------------------------------------------------------------------===//
2 //
3 //                     The LLVM Compiler Infrastructure
4 //
5 // This file is dual licensed under the MIT and the University of Illinois Open
6 // Source Licenses. See LICENSE.TXT for details.
7 //
8 //===----------------------------------------------------------------------===//
9 
10 // <tuple>
11 
12 // template <class... Types> class tuple;
13 
14 // template <class... UTypes>
15 //   explicit tuple(UTypes&&... u);
16 
17 #include <tuple>
18 #include <cassert>
19 
20 #include "../MoveOnly.h"
21 
22 #if _LIBCPP_STD_VER > 11
23 
24 struct Empty {};
25 struct A
26 {
27     int id_;
28     explicit constexpr A(int i) : id_(i) {}
29 };
30 
31 #endif
32 
33 int main()
34 {
35     {
36         std::tuple<MoveOnly> t(MoveOnly(0));
37         assert(std::get<0>(t) == 0);
38     }
39     {
40         std::tuple<MoveOnly, MoveOnly> t(MoveOnly(0), MoveOnly(1));
41         assert(std::get<0>(t) == 0);
42         assert(std::get<1>(t) == 1);
43     }
44     {
45         std::tuple<MoveOnly, MoveOnly, MoveOnly> t(MoveOnly(0),
46                                                    MoveOnly(1),
47                                                    MoveOnly(2));
48         assert(std::get<0>(t) == 0);
49         assert(std::get<1>(t) == 1);
50         assert(std::get<2>(t) == 2);
51     }
52     // extensions
53     {
54         std::tuple<MoveOnly, MoveOnly, MoveOnly> t(MoveOnly(0),
55                                                    MoveOnly(1));
56         assert(std::get<0>(t) == 0);
57         assert(std::get<1>(t) == 1);
58         assert(std::get<2>(t) == MoveOnly());
59     }
60     {
61         std::tuple<MoveOnly, MoveOnly, MoveOnly> t(MoveOnly(0));
62         assert(std::get<0>(t) == 0);
63         assert(std::get<1>(t) == MoveOnly());
64         assert(std::get<2>(t) == MoveOnly());
65     }
66 #if _LIBCPP_STD_VER > 11
67     {
68         constexpr std::tuple<Empty> t0{Empty()};
69     }
70     {
71         constexpr std::tuple<A, A> t(3, 2);
72         static_assert(std::get<0>(t).id_ == 3, "");
73     }
74 #endif
75 }
76