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