]>
Commit | Line | Data |
---|---|---|
7c673cae FG |
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$ | |
18 | // $Date$ | |
19 | // $Revision$ | |
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 |