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 Alloc, class... UTypes> 15// tuple(allocator_arg_t, const Alloc& a, tuple<UTypes...>&&); 16 17// UNSUPPORTED: c++98, c++03 18 19#include <tuple> 20#include <string> 21#include <memory> 22#include <cassert> 23 24#include "allocators.h" 25#include "../alloc_first.h" 26#include "../alloc_last.h" 27 28struct B 29{ 30 int id_; 31 32 explicit B(int i) : id_(i) {} 33 34 virtual ~B() {} 35}; 36 37struct D 38 : B 39{ 40 explicit D(int i) : B(i) {} 41}; 42 43struct Explicit { 44 int value; 45 explicit Explicit(int x) : value(x) {} 46}; 47 48struct Implicit { 49 int value; 50 Implicit(int x) : value(x) {} 51}; 52 53int main() 54{ 55 { 56 typedef std::tuple<int> T0; 57 typedef std::tuple<alloc_first> T1; 58 T0 t0(2); 59 alloc_first::allocator_constructed = false; 60 T1 t1(std::allocator_arg, A1<int>(5), std::move(t0)); 61 assert(alloc_first::allocator_constructed); 62 assert(std::get<0>(t1) == 2); 63 } 64 { 65 typedef std::tuple<std::unique_ptr<D>> T0; 66 typedef std::tuple<std::unique_ptr<B>> T1; 67 T0 t0(std::unique_ptr<D>(new D(3))); 68 T1 t1(std::allocator_arg, A1<int>(5), std::move(t0)); 69 assert(std::get<0>(t1)->id_ == 3); 70 } 71 { 72 typedef std::tuple<int, std::unique_ptr<D>> T0; 73 typedef std::tuple<alloc_first, std::unique_ptr<B>> T1; 74 T0 t0(2, std::unique_ptr<D>(new D(3))); 75 alloc_first::allocator_constructed = false; 76 T1 t1(std::allocator_arg, A1<int>(5), std::move(t0)); 77 assert(alloc_first::allocator_constructed); 78 assert(std::get<0>(t1) == 2); 79 assert(std::get<1>(t1)->id_ == 3); 80 } 81 { 82 typedef std::tuple<int, int, std::unique_ptr<D>> T0; 83 typedef std::tuple<alloc_last, alloc_first, std::unique_ptr<B>> T1; 84 T0 t0(1, 2, std::unique_ptr<D>(new D(3))); 85 alloc_first::allocator_constructed = false; 86 alloc_last::allocator_constructed = false; 87 T1 t1(std::allocator_arg, A1<int>(5), std::move(t0)); 88 assert(alloc_first::allocator_constructed); 89 assert(alloc_last::allocator_constructed); 90 assert(std::get<0>(t1) == 1); 91 assert(std::get<1>(t1) == 2); 92 assert(std::get<2>(t1)->id_ == 3); 93 } 94 { 95 std::tuple<int> t1(42); 96 std::tuple<Explicit> t2{std::allocator_arg, std::allocator<void>{}, std::move(t1)}; 97 assert(std::get<0>(t2).value == 42); 98 } 99 { 100 std::tuple<int> t1(42); 101 std::tuple<Implicit> t2 = {std::allocator_arg, std::allocator<void>{}, std::move(t1)}; 102 assert(std::get<0>(t2).value == 42); 103 } 104} 105