1 // Copyright Louis Dionne 2013-2017
2 // Distributed under the Boost Software License, Version 1.0.
3 // (See accompanying file LICENSE.md or copy at http://boost.org/LICENSE_1_0.txt)
4
5 #include <boost/hana/assert.hpp>
6 #include <boost/hana/tuple.hpp>
7
8 #include <memory>
9 #include <utility>
10 namespace hana = boost::hana;
11
12
13 struct B {
14 int id_;
BB15 explicit B(int i = 0) : id_(i) {}
~BB16 virtual ~B() {}
17 };
18
19 struct D : B {
DD20 explicit D(int i) : B(i) {}
21 };
22
main()23 int main() {
24 {
25 using T0 = hana::tuple<double>;
26 using T1 = hana::tuple<int>;
27 T0 t0(2.5);
28 T1 t1;
29 t1 = std::move(t0);
30 BOOST_HANA_RUNTIME_CHECK(hana::at_c<0>(t1) == 2);
31 }
32 {
33 using T0 = hana::tuple<double, char>;
34 using T1 = hana::tuple<int, int>;
35 T0 t0(2.5, 'a');
36 T1 t1;
37 t1 = std::move(t0);
38 BOOST_HANA_RUNTIME_CHECK(hana::at_c<0>(t1) == 2);
39 BOOST_HANA_RUNTIME_CHECK(hana::at_c<1>(t1) == int('a'));
40 }
41 {
42 using T0 = hana::tuple<double, char, D>;
43 using T1 = hana::tuple<int, int, B>;
44 T0 t0(2.5, 'a', D(3));
45 T1 t1;
46 t1 = std::move(t0);
47 BOOST_HANA_RUNTIME_CHECK(hana::at_c<0>(t1) == 2);
48 BOOST_HANA_RUNTIME_CHECK(hana::at_c<1>(t1) == int('a'));
49 BOOST_HANA_RUNTIME_CHECK(hana::at_c<2>(t1).id_ == 3);
50 }
51 {
52 D d(3);
53 D d2(2);
54 using T0 = hana::tuple<double, char, D&>;
55 using T1 = hana::tuple<int, int, B&>;
56 T0 t0(2.5, 'a', d2);
57 T1 t1(1.5, 'b', d);
58 t1 = std::move(t0);
59 BOOST_HANA_RUNTIME_CHECK(hana::at_c<0>(t1) == 2);
60 BOOST_HANA_RUNTIME_CHECK(hana::at_c<1>(t1) == int('a'));
61 BOOST_HANA_RUNTIME_CHECK(hana::at_c<2>(t1).id_ == 2);
62 }
63 {
64 using T0 = hana::tuple<double, char, std::unique_ptr<D>>;
65 using T1 = hana::tuple<int, int, std::unique_ptr<B>>;
66 T0 t0(2.5, 'a', std::unique_ptr<D>(new D(3)));
67 T1 t1;
68 t1 = std::move(t0);
69 BOOST_HANA_RUNTIME_CHECK(hana::at_c<0>(t1) == 2);
70 BOOST_HANA_RUNTIME_CHECK(hana::at_c<1>(t1) == int('a'));
71 BOOST_HANA_RUNTIME_CHECK(hana::at_c<2>(t1)->id_ == 3);
72 }
73 }
74