]>
git.proxmox.com Git - ceph.git/blob - ceph/src/boost/libs/mp11/test/mp_insert.cpp
2 // Copyright 2015, 2017 Peter Dimov.
4 // Distributed under the Boost Software License, Version 1.0.
6 // See accompanying file LICENSE_1_0.txt or copy at
7 // http://www.boost.org/LICENSE_1_0.txt
10 #include <boost/mp11/algorithm.hpp>
11 #include <boost/mp11/list.hpp>
12 #include <boost/mp11/integral.hpp>
13 #include <boost/core/lightweight_test_trait.hpp>
14 #include <type_traits>
29 using boost::mp11::mp_list
;
30 using boost::mp11::mp_insert
;
31 using boost::mp11::mp_insert_c
;
32 using boost::mp11::mp_size_t
;
37 BOOST_TEST_TRAIT_TRUE((std::is_same
<mp_insert_c
<L1
, 0>, L1
>));
38 BOOST_TEST_TRAIT_TRUE((std::is_same
<mp_insert
<L1
, mp_size_t
<0>>, L1
>));
40 BOOST_TEST_TRAIT_TRUE((std::is_same
<mp_insert_c
<L1
, 0, Y1
>, mp_list
<Y1
>>));
41 BOOST_TEST_TRAIT_TRUE((std::is_same
<mp_insert
<L1
, mp_size_t
<0>, Y1
>, mp_list
<Y1
>>));
43 BOOST_TEST_TRAIT_TRUE((std::is_same
<mp_insert_c
<L1
, 0, Y1
, Y2
>, mp_list
<Y1
, Y2
>>));
44 BOOST_TEST_TRAIT_TRUE((std::is_same
<mp_insert
<L1
, mp_size_t
<0>, Y1
, Y2
>, mp_list
<Y1
, Y2
>>));
46 using L2
= mp_list
<X1
, X2
, X3
, X4
, X5
>;
48 BOOST_TEST_TRAIT_TRUE((std::is_same
<mp_insert_c
<L2
, 0>, L2
>));
49 BOOST_TEST_TRAIT_TRUE((std::is_same
<mp_insert_c
<L2
, 1>, L2
>));
50 BOOST_TEST_TRAIT_TRUE((std::is_same
<mp_insert_c
<L2
, 2>, L2
>));
51 BOOST_TEST_TRAIT_TRUE((std::is_same
<mp_insert_c
<L2
, 3>, L2
>));
52 BOOST_TEST_TRAIT_TRUE((std::is_same
<mp_insert_c
<L2
, 4>, L2
>));
53 BOOST_TEST_TRAIT_TRUE((std::is_same
<mp_insert_c
<L2
, 5>, L2
>));
55 BOOST_TEST_TRAIT_TRUE((std::is_same
<mp_insert_c
<L2
, 0, Y1
, Y2
>, mp_list
<Y1
, Y2
, X1
, X2
, X3
, X4
, X5
>>));
56 BOOST_TEST_TRAIT_TRUE((std::is_same
<mp_insert_c
<L2
, 1, Y1
, Y2
>, mp_list
<X1
, Y1
, Y2
, X2
, X3
, X4
, X5
>>));
57 BOOST_TEST_TRAIT_TRUE((std::is_same
<mp_insert_c
<L2
, 2, Y1
, Y2
>, mp_list
<X1
, X2
, Y1
, Y2
, X3
, X4
, X5
>>));
58 BOOST_TEST_TRAIT_TRUE((std::is_same
<mp_insert_c
<L2
, 3, Y1
, Y2
>, mp_list
<X1
, X2
, X3
, Y1
, Y2
, X4
, X5
>>));
59 BOOST_TEST_TRAIT_TRUE((std::is_same
<mp_insert_c
<L2
, 4, Y1
, Y2
>, mp_list
<X1
, X2
, X3
, X4
, Y1
, Y2
, X5
>>));
60 BOOST_TEST_TRAIT_TRUE((std::is_same
<mp_insert_c
<L2
, 5, Y1
, Y2
>, mp_list
<X1
, X2
, X3
, X4
, X5
, Y1
, Y2
>>));
62 BOOST_TEST_TRAIT_TRUE((std::is_same
<mp_insert
<L2
, mp_size_t
<0>>, L2
>));
63 BOOST_TEST_TRAIT_TRUE((std::is_same
<mp_insert
<L2
, mp_size_t
<1>>, L2
>));
64 BOOST_TEST_TRAIT_TRUE((std::is_same
<mp_insert
<L2
, mp_size_t
<2>>, L2
>));
65 BOOST_TEST_TRAIT_TRUE((std::is_same
<mp_insert
<L2
, mp_size_t
<3>>, L2
>));
66 BOOST_TEST_TRAIT_TRUE((std::is_same
<mp_insert
<L2
, mp_size_t
<4>>, L2
>));
67 BOOST_TEST_TRAIT_TRUE((std::is_same
<mp_insert
<L2
, mp_size_t
<5>>, L2
>));
69 BOOST_TEST_TRAIT_TRUE((std::is_same
<mp_insert
<L2
, mp_size_t
<0>, Y1
, Y2
>, mp_list
<Y1
, Y2
, X1
, X2
, X3
, X4
, X5
>>));
70 BOOST_TEST_TRAIT_TRUE((std::is_same
<mp_insert
<L2
, mp_size_t
<1>, Y1
, Y2
>, mp_list
<X1
, Y1
, Y2
, X2
, X3
, X4
, X5
>>));
71 BOOST_TEST_TRAIT_TRUE((std::is_same
<mp_insert
<L2
, mp_size_t
<2>, Y1
, Y2
>, mp_list
<X1
, X2
, Y1
, Y2
, X3
, X4
, X5
>>));
72 BOOST_TEST_TRAIT_TRUE((std::is_same
<mp_insert
<L2
, mp_size_t
<3>, Y1
, Y2
>, mp_list
<X1
, X2
, X3
, Y1
, Y2
, X4
, X5
>>));
73 BOOST_TEST_TRAIT_TRUE((std::is_same
<mp_insert
<L2
, mp_size_t
<4>, Y1
, Y2
>, mp_list
<X1
, X2
, X3
, X4
, Y1
, Y2
, X5
>>));
74 BOOST_TEST_TRAIT_TRUE((std::is_same
<mp_insert
<L2
, mp_size_t
<5>, Y1
, Y2
>, mp_list
<X1
, X2
, X3
, X4
, X5
, Y1
, Y2
>>));
76 using L3
= mp_list
<X1
, X2
, X3
, X4
, X5
, X1
, X2
, X3
, X4
, X5
, X1
, X2
, X3
, X4
, X5
, X1
, X2
, X3
, X4
, X5
>;
78 BOOST_TEST_TRAIT_TRUE((std::is_same
<mp_insert_c
<L3
, 8>, L3
>));
79 BOOST_TEST_TRAIT_TRUE((std::is_same
<mp_insert
<L3
, mp_size_t
<9>>, L3
>));
81 BOOST_TEST_TRAIT_TRUE((std::is_same
<mp_insert_c
<L3
, 8, Y1
, Y2
>, mp_list
<X1
, X2
, X3
, X4
, X5
, X1
, X2
, X3
, Y1
, Y2
, X4
, X5
, X1
, X2
, X3
, X4
, X5
, X1
, X2
, X3
, X4
, X5
>>));
82 BOOST_TEST_TRAIT_TRUE((std::is_same
<mp_insert
<L3
, mp_size_t
<9>, Y1
, Y2
>, mp_list
<X1
, X2
, X3
, X4
, X5
, X1
, X2
, X3
, X4
, Y1
, Y2
, X5
, X1
, X2
, X3
, X4
, X5
, X1
, X2
, X3
, X4
, X5
>>));
86 using L1
= std::tuple
<>;
88 BOOST_TEST_TRAIT_TRUE((std::is_same
<mp_insert_c
<L1
, 0>, L1
>));
89 BOOST_TEST_TRAIT_TRUE((std::is_same
<mp_insert
<L1
, mp_size_t
<0>>, L1
>));
91 BOOST_TEST_TRAIT_TRUE((std::is_same
<mp_insert_c
<L1
, 0, Y1
>, std::tuple
<Y1
>>));
92 BOOST_TEST_TRAIT_TRUE((std::is_same
<mp_insert
<L1
, mp_size_t
<0>, Y1
>, std::tuple
<Y1
>>));
94 BOOST_TEST_TRAIT_TRUE((std::is_same
<mp_insert_c
<L1
, 0, Y1
, Y2
>, std::tuple
<Y1
, Y2
>>));
95 BOOST_TEST_TRAIT_TRUE((std::is_same
<mp_insert
<L1
, mp_size_t
<0>, Y1
, Y2
>, std::tuple
<Y1
, Y2
>>));
97 using L2
= std::tuple
<X1
, X2
, X3
, X4
, X5
>;
99 BOOST_TEST_TRAIT_TRUE((std::is_same
<mp_insert_c
<L2
, 0>, L2
>));
100 BOOST_TEST_TRAIT_TRUE((std::is_same
<mp_insert_c
<L2
, 1>, L2
>));
101 BOOST_TEST_TRAIT_TRUE((std::is_same
<mp_insert_c
<L2
, 2>, L2
>));
102 BOOST_TEST_TRAIT_TRUE((std::is_same
<mp_insert_c
<L2
, 3>, L2
>));
103 BOOST_TEST_TRAIT_TRUE((std::is_same
<mp_insert_c
<L2
, 4>, L2
>));
104 BOOST_TEST_TRAIT_TRUE((std::is_same
<mp_insert_c
<L2
, 5>, L2
>));
106 BOOST_TEST_TRAIT_TRUE((std::is_same
<mp_insert_c
<L2
, 0, Y1
, Y2
>, std::tuple
<Y1
, Y2
, X1
, X2
, X3
, X4
, X5
>>));
107 BOOST_TEST_TRAIT_TRUE((std::is_same
<mp_insert_c
<L2
, 1, Y1
, Y2
>, std::tuple
<X1
, Y1
, Y2
, X2
, X3
, X4
, X5
>>));
108 BOOST_TEST_TRAIT_TRUE((std::is_same
<mp_insert_c
<L2
, 2, Y1
, Y2
>, std::tuple
<X1
, X2
, Y1
, Y2
, X3
, X4
, X5
>>));
109 BOOST_TEST_TRAIT_TRUE((std::is_same
<mp_insert_c
<L2
, 3, Y1
, Y2
>, std::tuple
<X1
, X2
, X3
, Y1
, Y2
, X4
, X5
>>));
110 BOOST_TEST_TRAIT_TRUE((std::is_same
<mp_insert_c
<L2
, 4, Y1
, Y2
>, std::tuple
<X1
, X2
, X3
, X4
, Y1
, Y2
, X5
>>));
111 BOOST_TEST_TRAIT_TRUE((std::is_same
<mp_insert_c
<L2
, 5, Y1
, Y2
>, std::tuple
<X1
, X2
, X3
, X4
, X5
, Y1
, Y2
>>));
113 BOOST_TEST_TRAIT_TRUE((std::is_same
<mp_insert
<L2
, mp_size_t
<0>>, L2
>));
114 BOOST_TEST_TRAIT_TRUE((std::is_same
<mp_insert
<L2
, mp_size_t
<1>>, L2
>));
115 BOOST_TEST_TRAIT_TRUE((std::is_same
<mp_insert
<L2
, mp_size_t
<2>>, L2
>));
116 BOOST_TEST_TRAIT_TRUE((std::is_same
<mp_insert
<L2
, mp_size_t
<3>>, L2
>));
117 BOOST_TEST_TRAIT_TRUE((std::is_same
<mp_insert
<L2
, mp_size_t
<4>>, L2
>));
118 BOOST_TEST_TRAIT_TRUE((std::is_same
<mp_insert
<L2
, mp_size_t
<5>>, L2
>));
120 BOOST_TEST_TRAIT_TRUE((std::is_same
<mp_insert
<L2
, mp_size_t
<0>, Y1
, Y2
>, std::tuple
<Y1
, Y2
, X1
, X2
, X3
, X4
, X5
>>));
121 BOOST_TEST_TRAIT_TRUE((std::is_same
<mp_insert
<L2
, mp_size_t
<1>, Y1
, Y2
>, std::tuple
<X1
, Y1
, Y2
, X2
, X3
, X4
, X5
>>));
122 BOOST_TEST_TRAIT_TRUE((std::is_same
<mp_insert
<L2
, mp_size_t
<2>, Y1
, Y2
>, std::tuple
<X1
, X2
, Y1
, Y2
, X3
, X4
, X5
>>));
123 BOOST_TEST_TRAIT_TRUE((std::is_same
<mp_insert
<L2
, mp_size_t
<3>, Y1
, Y2
>, std::tuple
<X1
, X2
, X3
, Y1
, Y2
, X4
, X5
>>));
124 BOOST_TEST_TRAIT_TRUE((std::is_same
<mp_insert
<L2
, mp_size_t
<4>, Y1
, Y2
>, std::tuple
<X1
, X2
, X3
, X4
, Y1
, Y2
, X5
>>));
125 BOOST_TEST_TRAIT_TRUE((std::is_same
<mp_insert
<L2
, mp_size_t
<5>, Y1
, Y2
>, std::tuple
<X1
, X2
, X3
, X4
, X5
, Y1
, Y2
>>));
127 using L3
= std::tuple
<X1
, X2
, X3
, X4
, X5
, X1
, X2
, X3
, X4
, X5
, X1
, X2
, X3
, X4
, X5
, X1
, X2
, X3
, X4
, X5
>;
129 BOOST_TEST_TRAIT_TRUE((std::is_same
<mp_insert_c
<L3
, 8>, L3
>));
130 BOOST_TEST_TRAIT_TRUE((std::is_same
<mp_insert
<L3
, mp_size_t
<9>>, L3
>));
132 BOOST_TEST_TRAIT_TRUE((std::is_same
<mp_insert_c
<L3
, 8, Y1
, Y2
>, std::tuple
<X1
, X2
, X3
, X4
, X5
, X1
, X2
, X3
, Y1
, Y2
, X4
, X5
, X1
, X2
, X3
, X4
, X5
, X1
, X2
, X3
, X4
, X5
>>));
133 BOOST_TEST_TRAIT_TRUE((std::is_same
<mp_insert
<L3
, mp_size_t
<9>, Y1
, Y2
>, std::tuple
<X1
, X2
, X3
, X4
, X5
, X1
, X2
, X3
, X4
, Y1
, Y2
, X5
, X1
, X2
, X3
, X4
, X5
, X1
, X2
, X3
, X4
, X5
>>));
136 return boost::report_errors();