convert_copy.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> tuple(const tuple<UTypes...>& u);
15
16#include <tuple>
17#include <string>
18#include <cassert>
19
20struct B
21{
22    int id_;
23
24    explicit B(int i) : id_(i) {}
25};
26
27struct D
28    : B
29{
30    explicit D(int i) : B(i) {}
31};
32
33#if _LIBCPP_STD_VER > 11
34
35struct A
36{
37    int id_;
38
39    constexpr A(int i) : id_(i) {}
40    friend constexpr bool operator==(const A& x, const A& y) {return x.id_ == y.id_;}
41};
42
43struct C
44{
45    int id_;
46
47    constexpr explicit C(int i) : id_(i) {}
48    friend constexpr bool operator==(const C& x, const C& y) {return x.id_ == y.id_;}
49};
50
51#endif
52
53int main()
54{
55    {
56        typedef std::tuple<double> T0;
57        typedef std::tuple<int> T1;
58        T0 t0(2.5);
59        T1 t1 = t0;
60        assert(std::get<0>(t1) == 2);
61    }
62#if _LIBCPP_STD_VER > 11
63    {
64        typedef std::tuple<double> T0;
65        typedef std::tuple<A> T1;
66        constexpr T0 t0(2.5);
67        constexpr T1 t1 = t0;
68        static_assert(std::get<0>(t1) == 2, "");
69    }
70    {
71        typedef std::tuple<int> T0;
72        typedef std::tuple<C> T1;
73        constexpr T0 t0(2);
74        constexpr T1 t1{t0};
75        static_assert(std::get<0>(t1) == C(2), "");
76    }
77#endif
78    {
79        typedef std::tuple<double, char> T0;
80        typedef std::tuple<int, int> T1;
81        T0 t0(2.5, 'a');
82        T1 t1 = t0;
83        assert(std::get<0>(t1) == 2);
84        assert(std::get<1>(t1) == int('a'));
85    }
86    {
87        typedef std::tuple<double, char, D> T0;
88        typedef std::tuple<int, int, B> T1;
89        T0 t0(2.5, 'a', D(3));
90        T1 t1 = t0;
91        assert(std::get<0>(t1) == 2);
92        assert(std::get<1>(t1) == int('a'));
93        assert(std::get<2>(t1).id_ == 3);
94    }
95    {
96        D d(3);
97        typedef std::tuple<double, char, D&> T0;
98        typedef std::tuple<int, int, B&> T1;
99        T0 t0(2.5, 'a', d);
100        T1 t1 = t0;
101        d.id_ = 2;
102        assert(std::get<0>(t1) == 2);
103        assert(std::get<1>(t1) == int('a'));
104        assert(std::get<2>(t1).id_ == 2);
105    }
106    {
107        typedef std::tuple<double, char, int> T0;
108        typedef std::tuple<int, int, B> T1;
109        T0 t0(2.5, 'a', 3);
110        T1 t1(t0);
111        assert(std::get<0>(t1) == 2);
112        assert(std::get<1>(t1) == int('a'));
113        assert(std::get<2>(t1).id_ == 3);
114    }
115}
116