2 // Copyright Aleksey Gurtovoy 2000-2004
4 // Distributed under the Boost Software License, Version 1.0.
5 // (See accompanying file LICENSE_1_0.txt or copy at
6 // http://www.boost.org/LICENSE_1_0.txt)
8 // See http://www.boost.org/libs/mpl for documentation.
14 // NO INCLUDE GUARDS, THE HEADER IS INTENDED FOR MULTIPLE INCLUSION!
16 #if !defined(BOOST_MPL_PREPROCESSING_MODE)
17 # include <boost/mpl/bool.hpp>
18 # include <boost/mpl/aux_/nested_type_wknd.hpp>
19 # include <boost/mpl/aux_/na_spec.hpp>
20 # include <boost/mpl/aux_/lambda_support.hpp>
23 #include <boost/mpl/limits/arity.hpp>
24 #include <boost/mpl/aux_/preprocessor/params.hpp>
25 #include <boost/mpl/aux_/preprocessor/ext_params.hpp>
26 #include <boost/mpl/aux_/preprocessor/def_params_tail.hpp>
27 #include <boost/mpl/aux_/preprocessor/enum.hpp>
28 #include <boost/mpl/aux_/preprocessor/sub.hpp>
29 #include <boost/mpl/aux_/config/ctps.hpp>
30 #include <boost/mpl/aux_/config/workaround.hpp>
32 #include <boost/preprocessor/dec.hpp>
33 #include <boost/preprocessor/inc.hpp>
34 #include <boost/preprocessor/cat.hpp>
36 namespace boost { namespace mpl {
38 # define AUX778076_PARAMS(param, sub) \
39 BOOST_MPL_PP_PARAMS( \
40 BOOST_MPL_PP_SUB(BOOST_MPL_LIMIT_METAFUNCTION_ARITY, sub) \
45 # define AUX778076_SHIFTED_PARAMS(param, sub) \
46 BOOST_MPL_PP_EXT_PARAMS( \
47 2, BOOST_MPL_PP_SUB(BOOST_PP_INC(BOOST_MPL_LIMIT_METAFUNCTION_ARITY), sub) \
52 # define AUX778076_SPEC_PARAMS(param) \
54 BOOST_PP_DEC(BOOST_MPL_LIMIT_METAFUNCTION_ARITY) \
61 #if !defined(BOOST_NO_TEMPLATE_PARTIAL_SPECIALIZATION)
63 template< bool C_, AUX778076_PARAMS(typename T, 1) >
64 struct BOOST_PP_CAT(AUX778076_OP_NAME,impl)
65 : BOOST_PP_CAT(AUX778076_OP_VALUE1,_)
69 template< AUX778076_PARAMS(typename T, 1) >
70 struct BOOST_PP_CAT(AUX778076_OP_NAME,impl)< AUX778076_OP_VALUE2,AUX778076_PARAMS(T, 1) >
71 : BOOST_PP_CAT(AUX778076_OP_NAME,impl)<
72 BOOST_MPL_AUX_NESTED_TYPE_WKND(T1)::value
73 , AUX778076_SHIFTED_PARAMS(T, 1)
74 , BOOST_PP_CAT(AUX778076_OP_VALUE2,_)
80 struct BOOST_PP_CAT(AUX778076_OP_NAME,impl)<
82 , AUX778076_SPEC_PARAMS(BOOST_PP_CAT(AUX778076_OP_VALUE2,_))
84 : BOOST_PP_CAT(AUX778076_OP_VALUE2,_)
90 template< bool C_ > struct BOOST_PP_CAT(AUX778076_OP_NAME,impl)
92 template< AUX778076_PARAMS(typename T, 1) > struct result_
93 : BOOST_PP_CAT(AUX778076_OP_VALUE1,_)
98 template<> struct BOOST_PP_CAT(AUX778076_OP_NAME,impl)<AUX778076_OP_VALUE2>
100 template< AUX778076_PARAMS(typename T, 1) > struct result_
101 : BOOST_PP_CAT(AUX778076_OP_NAME,impl)<
102 BOOST_MPL_AUX_NESTED_TYPE_WKND(T1)::value
103 >::template result_< AUX778076_SHIFTED_PARAMS(T,1),BOOST_PP_CAT(AUX778076_OP_VALUE2,_) >
107 #if BOOST_WORKAROUND(BOOST_MSVC, == 1300)
108 template<> struct result_<AUX778076_SPEC_PARAMS(BOOST_PP_CAT(AUX778076_OP_VALUE2,_))>
109 : BOOST_PP_CAT(AUX778076_OP_VALUE2,_)
117 struct BOOST_PP_CAT(AUX778076_OP_NAME,impl)<AUX778076_OP_VALUE2>
118 ::result_< AUX778076_SPEC_PARAMS(BOOST_PP_CAT(AUX778076_OP_VALUE2,_)) >
119 : BOOST_PP_CAT(AUX778076_OP_VALUE2,_)
122 #endif // BOOST_MSVC == 1300
124 #endif // BOOST_NO_TEMPLATE_PARTIAL_SPECIALIZATION
129 typename BOOST_MPL_AUX_NA_PARAM(T1)
130 , typename BOOST_MPL_AUX_NA_PARAM(T2)
131 BOOST_MPL_PP_DEF_PARAMS_TAIL(2, typename T, BOOST_PP_CAT(AUX778076_OP_VALUE2,_))
133 struct AUX778076_OP_NAME
134 #if !defined(BOOST_NO_TEMPLATE_PARTIAL_SPECIALIZATION)
135 : aux::BOOST_PP_CAT(AUX778076_OP_NAME,impl)<
136 BOOST_MPL_AUX_NESTED_TYPE_WKND(T1)::value
137 , AUX778076_SHIFTED_PARAMS(T,0)
140 : aux::BOOST_PP_CAT(AUX778076_OP_NAME,impl)<
141 BOOST_MPL_AUX_NESTED_TYPE_WKND(T1)::value
142 >::template result_< AUX778076_SHIFTED_PARAMS(T,0) >
145 BOOST_MPL_AUX_LAMBDA_SUPPORT(
146 BOOST_MPL_LIMIT_METAFUNCTION_ARITY
148 , (AUX778076_PARAMS(T, 0))
152 BOOST_MPL_AUX_NA_SPEC2(
154 , BOOST_MPL_LIMIT_METAFUNCTION_ARITY
160 #undef AUX778076_SPEC_PARAMS
161 #undef AUX778076_SHIFTED_PARAMS
162 #undef AUX778076_PARAMS
163 #undef AUX778076_OP_NAME
164 #undef AUX778076_OP_VALUE1
165 #undef AUX778076_OP_VALUE2