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
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
|
// Boost.TypeErasure library
//
// Copyright 2012 Steven Watanabe
//
// Distributed under the Boost Software License Version 1.0. (See
// accompanying file LICENSE_1_0.txt or copy at
// http://www.boost.org/LICENSE_1_0.txt)
//
// $Id$
#if !defined(BOOST_PP_IS_ITERATING)
#ifndef BOOST_TYPE_ERASURE_DETAIL_INSTANTIATE_HPP_INCLUDED
#define BOOST_TYPE_ERASURE_DETAIL_INSTANTIATE_HPP_INCLUDED
#include <boost/mpl/transform.hpp>
#include <boost/mpl/size.hpp>
#include <boost/mpl/at.hpp>
#include <boost/preprocessor/cat.hpp>
#include <boost/preprocessor/iteration/iterate.hpp>
#include <boost/preprocessor/repetition/repeat.hpp>
#include <boost/preprocessor/repetition/enum.hpp>
#include <boost/preprocessor/repetition/enum_params.hpp>
#include <boost/type_erasure/detail/normalize.hpp>
#include <boost/type_erasure/detail/rebind_placeholders.hpp>
namespace boost {
namespace type_erasure {
namespace detail {
#ifdef BOOST_TYPE_ERASURE_USE_MP11
template<class L>
struct make_instantiate_concept_impl;
template<class T, T t>
struct instantiate_concept;
template<class T>
using instantiate_concept_impl = instantiate_concept<decltype(&T::apply), &T::apply>;
template<class... T>
struct make_instantiate_concept_impl< ::boost::mp11::mp_list<T...> >
{
template<template<class> class F>
using apply = void(F<T>...);
};
template<class Map>
struct instantiate_concept_rebind_f
{
template<class T>
using apply =
typename ::boost::type_erasure::detail::rebind_placeholders<
T,
Map
>::type;
};
template<class Concept, class Map>
using make_instantiate_concept =
::boost::type_erasure::detail::make_instantiate_concept_impl<
::boost::mp11::mp_transform<
::boost::type_erasure::detail::instantiate_concept_rebind_f<
typename ::boost::type_erasure::detail::add_deductions<
::boost::type_erasure::detail::make_mp_list<Map>,
typename ::boost::type_erasure::detail::get_placeholder_normalization_map<
Concept
>::type
>::type
>::template apply,
::boost::type_erasure::detail::normalize_concept_t<Concept>
>
>;
#define BOOST_TYPE_ERASURE_INSTANTIATE(Concept, Map) \
((void)(typename ::boost::type_erasure::detail::make_instantiate_concept<Concept, Map> \
::template apply< ::boost::type_erasure::detail::instantiate_concept_impl>*)0)
#define BOOST_TYPE_ERASURE_INSTANTIATE1(Concept, P0, T0) \
((void)(typename ::boost::type_erasure::detail::make_instantiate_concept< \
Concept, ::boost::mpl::map1< ::boost::mpl::pair<P0, T0> > > \
::template apply< ::boost::type_erasure::detail::instantiate_concept_impl>*)0)
#else
template<int N>
struct make_instantiate_concept_impl;
template<class Concept>
struct make_instantiate_concept {
typedef typename ::boost::type_erasure::detail::normalize_concept<
Concept>::type normalized;
typedef typename ::boost::type_erasure::detail::make_instantiate_concept_impl<
(::boost::mpl::size<normalized>::value)
>::type type;
};
#define BOOST_TYPE_ERASURE_INSTANTIATE(Concept, Map) \
(::boost::type_erasure::detail::make_instantiate_concept< \
Concept \
>::type::apply((Concept*)0, (Map*)0))
#define BOOST_TYPE_ERASURE_INSTANTIATE1(Concept, P0, T0) \
(::boost::type_erasure::detail::make_instantiate_concept< \
Concept \
>::type::apply( \
(Concept*)0, \
(::boost::mpl::map1< ::boost::mpl::pair<P0, T0> >*)0))
#define BOOST_PP_FILENAME_1 <boost/type_erasure/detail/instantiate.hpp>
#define BOOST_PP_ITERATION_LIMITS (0, BOOST_TYPE_ERASURE_MAX_FUNCTIONS)
#include BOOST_PP_ITERATE()
#endif
}
}
}
#endif
#else
#define N BOOST_PP_ITERATION()
#define BOOST_TYPE_ERASURE_INSTANTIATE_IMPL(z, n, data)\
(void)&::boost::mpl::at_c<data, n>::type::apply;
struct BOOST_PP_CAT(instantiate_concept, N) {
template<class Concept, class Map>
static void apply(Concept *, Map *) {
#if N > 0
typedef typename ::boost::type_erasure::detail::normalize_concept<
Concept>::type normalized;
typedef typename ::boost::type_erasure::detail::get_placeholder_normalization_map<
Concept
>::type placeholder_subs;
typedef typename ::boost::mpl::transform<
normalized,
::boost::type_erasure::detail::rebind_placeholders<
::boost::mpl::_1,
typename ::boost::type_erasure::detail::add_deductions<
Map,
placeholder_subs
>::type
>
>::type concept_sequence;
#endif
BOOST_PP_REPEAT(N, BOOST_TYPE_ERASURE_INSTANTIATE_IMPL, concept_sequence)
}
};
template<>
struct make_instantiate_concept_impl<N>
{
typedef ::boost::type_erasure::detail::BOOST_PP_CAT(instantiate_concept, N) type;
};
#undef BOOST_TYPE_ERASURE_INSTANTIATE_IMPL
#undef N
#endif
|
