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> tuple(tuple<UTypes...>&& u);
15
16 #include <tuple>
17 #include <string>
18 #include <memory>
19 #include <cassert>
20
21 struct B
22 {
23 int id_;
24
BB25 explicit B(int i) : id_(i) {}
26
~BB27 virtual ~B() {}
28 };
29
30 struct D
31 : B
32 {
DD33 explicit D(int i) : B(i) {}
34 };
35
main()36 int main()
37 {
38 {
39 typedef std::tuple<double> T0;
40 typedef std::tuple<int> T1;
41 T0 t0(2.5);
42 T1 t1 = std::move(t0);
43 assert(std::get<0>(t1) == 2);
44 }
45 {
46 typedef std::tuple<double, char> T0;
47 typedef std::tuple<int, int> T1;
48 T0 t0(2.5, 'a');
49 T1 t1 = std::move(t0);
50 assert(std::get<0>(t1) == 2);
51 assert(std::get<1>(t1) == int('a'));
52 }
53 {
54 typedef std::tuple<double, char, D> T0;
55 typedef std::tuple<int, int, B> T1;
56 T0 t0(2.5, 'a', D(3));
57 T1 t1 = std::move(t0);
58 assert(std::get<0>(t1) == 2);
59 assert(std::get<1>(t1) == int('a'));
60 assert(std::get<2>(t1).id_ == 3);
61 }
62 {
63 D d(3);
64 typedef std::tuple<double, char, D&> T0;
65 typedef std::tuple<int, int, B&> T1;
66 T0 t0(2.5, 'a', d);
67 T1 t1 = std::move(t0);
68 d.id_ = 2;
69 assert(std::get<0>(t1) == 2);
70 assert(std::get<1>(t1) == int('a'));
71 assert(std::get<2>(t1).id_ == 2);
72 }
73 {
74 typedef std::tuple<double, char, std::unique_ptr<D>> T0;
75 typedef std::tuple<int, int, std::unique_ptr<B>> T1;
76 T0 t0(2.5, 'a', std::unique_ptr<D>(new D(3)));
77 T1 t1 = std::move(t0);
78 assert(std::get<0>(t1) == 2);
79 assert(std::get<1>(t1) == int('a'));
80 assert(std::get<2>(t1)->id_ == 3);
81 }
82 }
83