UTypes.pass.cpp revision da0a0e8a1be285d18870955cffc1b51982675dd8 
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//   explicit tuple(UTypes&&... u);
16
17#include <tuple>
18#include <cassert>
19
20#include "../MoveOnly.h"
21
22#if _LIBCPP_STD_VER > 11
23
24struct Empty {};
25struct A
26{
27    int id_;
28    explicit constexpr A(int i) : id_(i) {}
29};
30
31#endif
32
33int main()
34{
35    {
36        std::tuple<MoveOnly> t(MoveOnly(0));
37        assert(std::get<0>(t) == 0);
38    }
39    {
40        std::tuple<MoveOnly, MoveOnly> t(MoveOnly(0), MoveOnly(1));
41        assert(std::get<0>(t) == 0);
42        assert(std::get<1>(t) == 1);
43    }
44    {
45        std::tuple<MoveOnly, MoveOnly, MoveOnly> t(MoveOnly(0),
46                                                   MoveOnly(1),
47                                                   MoveOnly(2));
48        assert(std::get<0>(t) == 0);
49        assert(std::get<1>(t) == 1);
50        assert(std::get<2>(t) == 2);
51    }
52    // extensions
53    {
54        std::tuple<MoveOnly, MoveOnly, MoveOnly> t(MoveOnly(0),
55                                                   MoveOnly(1));
56        assert(std::get<0>(t) == 0);
57        assert(std::get<1>(t) == 1);
58        assert(std::get<2>(t) == MoveOnly());
59    }
60    {
61        std::tuple<MoveOnly, MoveOnly, MoveOnly> t(MoveOnly(0));
62        assert(std::get<0>(t) == 0);
63        assert(std::get<1>(t) == MoveOnly());
64        assert(std::get<2>(t) == MoveOnly());
65    }
66#if _LIBCPP_STD_VER > 11
67    {
68        constexpr std::tuple<Empty> t0{Empty()};
69    }
70    {
71        constexpr std::tuple<A, A> t(3, 2);
72        static_assert(std::get<0>(t).id_ == 3, "");
73    }
74#endif
75}
76