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