1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
|
// Copyright 2020 Peter Dimov.
// Distributed under the Boost Software License, Version 1.0.
// https://www.boost.org/LICENSE_1_0.txt
#include <boost/mp11/algorithm.hpp>
#include <boost/mp11/list.hpp>
#include <boost/core/lightweight_test_trait.hpp>
#include <type_traits>
#include <tuple>
#include <cstddef>
struct X1 {};
struct X2 { using first_type = double; using next_type = X1; };
struct X3 { using first_type = float; using next_type = X2; };
struct X4 { using first_type = int; using next_type = X3; };
template<class T> using first_type = typename T::first_type;
template<class T> using next_type = typename T::next_type;
template<class T1, class T2> struct cons {};
template<class T1, class T2> struct cons2
{
using first_type = T1;
using next_type = T2;
};
using boost::mp11::mp_reverse_fold;
using boost::mp11::mp_iterate;
using boost::mp11::mp_first;
using boost::mp11::mp_second;
using boost::mp11::mp_rest;
template<class L1> void test()
{
using R1 = mp_iterate<L1, mp_first, mp_rest>;
BOOST_TEST_TRAIT_TRUE((std::is_same<L1, R1>));
using V2 = mp_reverse_fold<L1, void, cons>;
using R2 = mp_iterate<V2, mp_first, mp_second>;
BOOST_TEST_TRAIT_TRUE((std::is_same<L1, R2>));
#if !BOOST_MP11_WORKAROUND( BOOST_MP11_MSVC, < 1900 )
using V3 = mp_reverse_fold<L1, void, cons2>;
using R3 = mp_iterate<V3, first_type, next_type>;
BOOST_TEST_TRAIT_TRUE((std::is_same<L1, R3>));
#endif
}
int main()
{
using boost::mp11::mp_list;
test< mp_list<> >();
test< mp_list<int> >();
test< mp_list<int, void> >();
test< mp_list<int, void, float> >();
test< mp_list<int, void, float, double> >();
using boost::mp11::mp_identity_t;
BOOST_TEST_TRAIT_TRUE((std::is_same<mp_iterate<X4, mp_identity_t, next_type>, mp_list<X4, X3, X2, X1>>));
BOOST_TEST_TRAIT_TRUE((std::is_same<mp_iterate<X4, first_type, next_type>, mp_list<int, float, double>>));
return boost::report_errors();
}
|
