Home | History | Annotate | Download | only in tuple.cnstr 
      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 
     28 struct B
     29 {
     30     int id_;
     31 
     32     explicit B(int i) : id_(i) {}
     33 
     34     virtual ~B() {}
     35 };
     36 
     37 struct D
     38     : B
     39 {
     40     explicit D(int i) : B(i) {}
     41 };
     42 
     43 struct Explicit {
     44   int value;
     45   explicit Explicit(int x) : value(x) {}
     46 };
     47 
     48 struct Implicit {
     49   int value;
     50   Implicit(int x) : value(x) {}
     51 };
     52 
     53 int 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