1bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant//===----------------------------------------------------------------------===// 2bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant// 3f5256e16dfc425c1d466f6308d4026d529ce9e0bHoward Hinnant// The LLVM Compiler Infrastructure 4bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant// 5b64f8b07c104c6cc986570ac8ee0ed16a9f23976Howard Hinnant// This file is dual licensed under the MIT and the University of Illinois Open 6b64f8b07c104c6cc986570ac8ee0ed16a9f23976Howard Hinnant// Source Licenses. See LICENSE.TXT for details. 7bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant// 8bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant//===----------------------------------------------------------------------===// 9bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant 10bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant// <tuple> 11bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant 12bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant// template <class... Types> class tuple; 13bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant 14bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant// template <class Alloc, class... UTypes> 15bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant// tuple(allocator_arg_t, const Alloc& a, tuple<UTypes...>&&); 16bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant 17f063052fe1d3c7a40de69795228a6334f956b9f9Eric Fiselier// UNSUPPORTED: c++98, c++03 18f063052fe1d3c7a40de69795228a6334f956b9f9Eric Fiselier 19bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant#include <tuple> 20bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant#include <string> 21bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant#include <memory> 22bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant#include <cassert> 23bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant 24ebedffde9adff4b56d3ccf6adcee8dc092404f0eMarshall Clow#include "allocators.h" 25bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant#include "../alloc_first.h" 26bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant#include "../alloc_last.h" 27bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant 28bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnantstruct B 29bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant{ 30bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant int id_; 31bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant 32bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant explicit B(int i) : id_(i) {} 33bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant 34bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant virtual ~B() {} 35bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant}; 36bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant 37bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnantstruct D 38bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant : B 39bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant{ 40bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant explicit D(int i) : B(i) {} 41bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant}; 42bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant 43ee226c05af9e0187098f43fb71465a581487af9bDan Austinstruct Explicit { 44ee226c05af9e0187098f43fb71465a581487af9bDan Austin int value; 45ee226c05af9e0187098f43fb71465a581487af9bDan Austin explicit Explicit(int x) : value(x) {} 46ee226c05af9e0187098f43fb71465a581487af9bDan Austin}; 47ee226c05af9e0187098f43fb71465a581487af9bDan Austin 48ee226c05af9e0187098f43fb71465a581487af9bDan Austinstruct Implicit { 49ee226c05af9e0187098f43fb71465a581487af9bDan Austin int value; 50ee226c05af9e0187098f43fb71465a581487af9bDan Austin Implicit(int x) : value(x) {} 51ee226c05af9e0187098f43fb71465a581487af9bDan Austin}; 52ee226c05af9e0187098f43fb71465a581487af9bDan Austin 53bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnantint main() 54bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant{ 55bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant { 56bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant typedef std::tuple<int> T0; 57bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant typedef std::tuple<alloc_first> T1; 58bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant T0 t0(2); 59bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant alloc_first::allocator_constructed = false; 60bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant T1 t1(std::allocator_arg, A1<int>(5), std::move(t0)); 61bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant assert(alloc_first::allocator_constructed); 62bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant assert(std::get<0>(t1) == 2); 63bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant } 64bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant { 65bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant typedef std::tuple<std::unique_ptr<D>> T0; 66bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant typedef std::tuple<std::unique_ptr<B>> T1; 67bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant T0 t0(std::unique_ptr<D>(new D(3))); 68bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant T1 t1(std::allocator_arg, A1<int>(5), std::move(t0)); 69bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant assert(std::get<0>(t1)->id_ == 3); 70bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant } 71bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant { 72bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant typedef std::tuple<int, std::unique_ptr<D>> T0; 73bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant typedef std::tuple<alloc_first, std::unique_ptr<B>> T1; 74bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant T0 t0(2, std::unique_ptr<D>(new D(3))); 75bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant alloc_first::allocator_constructed = false; 76bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant T1 t1(std::allocator_arg, A1<int>(5), std::move(t0)); 77bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant assert(alloc_first::allocator_constructed); 78bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant assert(std::get<0>(t1) == 2); 79bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant assert(std::get<1>(t1)->id_ == 3); 80bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant } 81bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant { 82bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant typedef std::tuple<int, int, std::unique_ptr<D>> T0; 83bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant typedef std::tuple<alloc_last, alloc_first, std::unique_ptr<B>> T1; 84bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant T0 t0(1, 2, std::unique_ptr<D>(new D(3))); 85bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant alloc_first::allocator_constructed = false; 86bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant alloc_last::allocator_constructed = false; 87bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant T1 t1(std::allocator_arg, A1<int>(5), std::move(t0)); 88bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant assert(alloc_first::allocator_constructed); 89bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant assert(alloc_last::allocator_constructed); 90bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant assert(std::get<0>(t1) == 1); 91bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant assert(std::get<1>(t1) == 2); 92bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant assert(std::get<2>(t1)->id_ == 3); 93bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant } 94ee226c05af9e0187098f43fb71465a581487af9bDan Austin { 95ee226c05af9e0187098f43fb71465a581487af9bDan Austin std::tuple<int> t1(42); 96ee226c05af9e0187098f43fb71465a581487af9bDan Austin std::tuple<Explicit> t2{std::allocator_arg, std::allocator<void>{}, std::move(t1)}; 97ee226c05af9e0187098f43fb71465a581487af9bDan Austin assert(std::get<0>(t2).value == 42); 98ee226c05af9e0187098f43fb71465a581487af9bDan Austin } 99ee226c05af9e0187098f43fb71465a581487af9bDan Austin { 100ee226c05af9e0187098f43fb71465a581487af9bDan Austin std::tuple<int> t1(42); 101ee226c05af9e0187098f43fb71465a581487af9bDan Austin std::tuple<Implicit> t2 = {std::allocator_arg, std::allocator<void>{}, std::move(t1)}; 102ee226c05af9e0187098f43fb71465a581487af9bDan Austin assert(std::get<0>(t2).value == 42); 103ee226c05af9e0187098f43fb71465a581487af9bDan Austin } 104bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant} 105