1 | |
---|
2 | #if !defined(BOOST_PP_IS_ITERATING) |
---|
3 | |
---|
4 | ///// header body |
---|
5 | |
---|
6 | #ifndef BOOST_MPL_AUX_LAMBDA_NO_CTPS_HPP_INCLUDED |
---|
7 | #define BOOST_MPL_AUX_LAMBDA_NO_CTPS_HPP_INCLUDED |
---|
8 | |
---|
9 | // Copyright Aleksey Gurtovoy 2000-2004 |
---|
10 | // |
---|
11 | // Distributed under the Boost Software License, Version 1.0. |
---|
12 | // (See accompanying file LICENSE_1_0.txt or copy at |
---|
13 | // http://www.boost.org/LICENSE_1_0.txt) |
---|
14 | // |
---|
15 | // See http://www.boost.org/libs/mpl for documentation. |
---|
16 | |
---|
17 | // $Id: lambda_no_ctps.hpp 49267 2008-10-11 06:19:02Z agurtovoy $ |
---|
18 | // $Date: 2008-10-11 02:19:02 -0400 (Sat, 11 Oct 2008) $ |
---|
19 | // $Revision: 49267 $ |
---|
20 | |
---|
21 | #if !defined(BOOST_MPL_PREPROCESSING_MODE) |
---|
22 | # include <boost/mpl/lambda_fwd.hpp> |
---|
23 | # include <boost/mpl/bind_fwd.hpp> |
---|
24 | # include <boost/mpl/protect.hpp> |
---|
25 | # include <boost/mpl/is_placeholder.hpp> |
---|
26 | # include <boost/mpl/if.hpp> |
---|
27 | # include <boost/mpl/identity.hpp> |
---|
28 | # include <boost/mpl/bool.hpp> |
---|
29 | # include <boost/mpl/aux_/na_spec.hpp> |
---|
30 | # include <boost/mpl/aux_/lambda_support.hpp> |
---|
31 | # include <boost/mpl/aux_/template_arity.hpp> |
---|
32 | # include <boost/mpl/aux_/value_wknd.hpp> |
---|
33 | #endif |
---|
34 | |
---|
35 | #include <boost/mpl/aux_/config/use_preprocessed.hpp> |
---|
36 | |
---|
37 | #if !defined(BOOST_MPL_CFG_NO_PREPROCESSED_HEADERS) \ |
---|
38 | && !defined(BOOST_MPL_PREPROCESSING_MODE) |
---|
39 | |
---|
40 | # define BOOST_MPL_PREPROCESSED_HEADER lambda_no_ctps.hpp |
---|
41 | # include <boost/mpl/aux_/include_preprocessed.hpp> |
---|
42 | |
---|
43 | #else |
---|
44 | |
---|
45 | # include <boost/mpl/limits/arity.hpp> |
---|
46 | # include <boost/mpl/aux_/preprocessor/params.hpp> |
---|
47 | # include <boost/mpl/aux_/preprocessor/default_params.hpp> |
---|
48 | # include <boost/mpl/aux_/preprocessor/repeat.hpp> |
---|
49 | # include <boost/mpl/aux_/preprocessor/enum.hpp> |
---|
50 | # include <boost/mpl/aux_/config/msvc.hpp> |
---|
51 | # include <boost/mpl/aux_/config/workaround.hpp> |
---|
52 | |
---|
53 | # include <boost/preprocessor/comma_if.hpp> |
---|
54 | # include <boost/preprocessor/iterate.hpp> |
---|
55 | # include <boost/preprocessor/inc.hpp> |
---|
56 | # include <boost/preprocessor/cat.hpp> |
---|
57 | |
---|
58 | namespace boost { namespace mpl { |
---|
59 | |
---|
60 | # define AUX778076_LAMBDA_PARAMS(i_, param) \ |
---|
61 | BOOST_MPL_PP_PARAMS(i_, param) \ |
---|
62 | /**/ |
---|
63 | |
---|
64 | namespace aux { |
---|
65 | |
---|
66 | #define n_ BOOST_MPL_LIMIT_METAFUNCTION_ARITY |
---|
67 | template< |
---|
68 | BOOST_MPL_PP_DEFAULT_PARAMS(n_,bool C,false) |
---|
69 | > |
---|
70 | struct lambda_or |
---|
71 | : true_ |
---|
72 | { |
---|
73 | }; |
---|
74 | |
---|
75 | template<> |
---|
76 | struct lambda_or< BOOST_MPL_PP_ENUM(n_,false) > |
---|
77 | : false_ |
---|
78 | { |
---|
79 | }; |
---|
80 | #undef n_ |
---|
81 | |
---|
82 | template< typename Arity > struct lambda_impl |
---|
83 | { |
---|
84 | template< typename T, typename Tag, typename Protect > struct result_ |
---|
85 | { |
---|
86 | typedef T type; |
---|
87 | typedef is_placeholder<T> is_le; |
---|
88 | }; |
---|
89 | }; |
---|
90 | |
---|
91 | #define BOOST_PP_ITERATION_PARAMS_1 \ |
---|
92 | (3,(1, BOOST_MPL_LIMIT_METAFUNCTION_ARITY, <boost/mpl/aux_/lambda_no_ctps.hpp>)) |
---|
93 | #include BOOST_PP_ITERATE() |
---|
94 | |
---|
95 | } // namespace aux |
---|
96 | |
---|
97 | template< |
---|
98 | typename T |
---|
99 | , typename Tag |
---|
100 | , typename Protect |
---|
101 | > |
---|
102 | struct lambda |
---|
103 | { |
---|
104 | /// Metafunction forwarding confuses MSVC 6.x |
---|
105 | typedef typename aux::template_arity<T>::type arity_; |
---|
106 | typedef typename aux::lambda_impl<arity_> |
---|
107 | ::template result_< T,Tag,Protect > l_; |
---|
108 | |
---|
109 | typedef typename l_::type type; |
---|
110 | typedef typename l_::is_le is_le; |
---|
111 | |
---|
112 | BOOST_MPL_AUX_LAMBDA_SUPPORT(3, lambda, (T, Tag, Protect)) |
---|
113 | }; |
---|
114 | |
---|
115 | BOOST_MPL_AUX_NA_SPEC2(1, 3, lambda) |
---|
116 | |
---|
117 | template< |
---|
118 | typename T |
---|
119 | > |
---|
120 | struct is_lambda_expression |
---|
121 | : lambda<T>::is_le |
---|
122 | { |
---|
123 | }; |
---|
124 | |
---|
125 | # undef AUX778076_LAMBDA_PARAMS |
---|
126 | |
---|
127 | }} |
---|
128 | |
---|
129 | #endif // BOOST_MPL_CFG_NO_PREPROCESSED_HEADERS |
---|
130 | #endif // BOOST_MPL_AUX_LAMBDA_NO_CTPS_HPP_INCLUDED |
---|
131 | |
---|
132 | ///// iteration, depth == 1 |
---|
133 | |
---|
134 | #else |
---|
135 | |
---|
136 | #define i_ BOOST_PP_FRAME_ITERATION(1) |
---|
137 | |
---|
138 | # define AUX778076_LAMBDA_TYPEDEF(unused, i_, F) \ |
---|
139 | typedef lambda< \ |
---|
140 | typename F::BOOST_PP_CAT(arg,BOOST_PP_INC(i_)) \ |
---|
141 | , Tag \ |
---|
142 | , false_ \ |
---|
143 | > BOOST_PP_CAT(l,BOOST_PP_INC(i_)); \ |
---|
144 | /**/ |
---|
145 | |
---|
146 | # define AUX778076_IS_LE_TYPEDEF(unused, i_, unused2) \ |
---|
147 | typedef typename BOOST_PP_CAT(l,BOOST_PP_INC(i_))::is_le \ |
---|
148 | BOOST_PP_CAT(is_le,BOOST_PP_INC(i_)); \ |
---|
149 | /**/ |
---|
150 | |
---|
151 | # define AUX778076_IS_LAMBDA_EXPR(unused, i_, unused2) \ |
---|
152 | BOOST_PP_COMMA_IF(i_) \ |
---|
153 | BOOST_MPL_AUX_MSVC_VALUE_WKND(BOOST_PP_CAT(is_le,BOOST_PP_INC(i_)))::value \ |
---|
154 | /**/ |
---|
155 | |
---|
156 | # define AUX778076_LAMBDA_RESULT(unused, i_, unused2) \ |
---|
157 | , typename BOOST_PP_CAT(l,BOOST_PP_INC(i_))::type \ |
---|
158 | /**/ |
---|
159 | |
---|
160 | template<> struct lambda_impl< int_<i_> > |
---|
161 | { |
---|
162 | template< typename F, typename Tag, typename Protect > struct result_ |
---|
163 | { |
---|
164 | BOOST_MPL_PP_REPEAT(i_, AUX778076_LAMBDA_TYPEDEF, F) |
---|
165 | BOOST_MPL_PP_REPEAT(i_, AUX778076_IS_LE_TYPEDEF, unused) |
---|
166 | |
---|
167 | typedef aux::lambda_or< |
---|
168 | BOOST_MPL_PP_REPEAT(i_, AUX778076_IS_LAMBDA_EXPR, unused) |
---|
169 | > is_le; |
---|
170 | |
---|
171 | typedef BOOST_PP_CAT(bind,i_)< |
---|
172 | typename F::rebind |
---|
173 | BOOST_MPL_PP_REPEAT(i_, AUX778076_LAMBDA_RESULT, unused) |
---|
174 | > bind_; |
---|
175 | |
---|
176 | typedef typename if_< |
---|
177 | is_le |
---|
178 | , if_< Protect, mpl::protect<bind_>, bind_ > |
---|
179 | , identity<F> |
---|
180 | >::type type_; |
---|
181 | |
---|
182 | typedef typename type_::type type; |
---|
183 | }; |
---|
184 | }; |
---|
185 | |
---|
186 | # undef AUX778076_LAMBDA_RESULT |
---|
187 | # undef AUX778076_IS_LAMBDA_EXPR |
---|
188 | # undef AUX778076_IS_LE_TYPEDEF |
---|
189 | # undef AUX778076_LAMBDA_TYPEDEF |
---|
190 | |
---|
191 | #undef i_ |
---|
192 | |
---|
193 | #endif // BOOST_PP_IS_ITERATING |
---|