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 194