1 2 #ifndef BOOST_MPL_AUX_NA_SPEC_HPP_INCLUDED 3 #define BOOST_MPL_AUX_NA_SPEC_HPP_INCLUDED 4 5 // Copyright Aleksey Gurtovoy 2001-2004 6 // 7 // Distributed under the Boost Software License, Version 1.0. 8 // (See accompanying file LICENSE_1_0.txt or copy at 9 // http://www.boost.org/LICENSE_1_0.txt) 10 // 11 // See http://www.boost.org/libs/mpl for documentation. 12 13 // $Id: na_spec.hpp 49267 2008-10-11 06:19:02Z agurtovoy $ 14 // $Date: 2008-10-10 23:19:02 -0700 (Fri, 10 Oct 2008) $ 15 // $Revision: 49267 $ 16 17 #if !defined(BOOST_MPL_PREPROCESSING_MODE) 18 # include <boost/mpl/lambda_fwd.hpp> 19 # include <boost/mpl/int.hpp> 20 # include <boost/mpl/bool.hpp> 21 # include <boost/mpl/aux_/na.hpp> 22 # include <boost/mpl/aux_/arity.hpp> 23 # include <boost/mpl/aux_/template_arity_fwd.hpp> 24 #endif 25 26 #include <boost/mpl/aux_/preprocessor/params.hpp> 27 #include <boost/mpl/aux_/preprocessor/enum.hpp> 28 #include <boost/mpl/aux_/preprocessor/def_params_tail.hpp> 29 #include <boost/mpl/aux_/lambda_arity_param.hpp> 30 #include <boost/mpl/aux_/config/dtp.hpp> 31 #include <boost/mpl/aux_/config/eti.hpp> 32 #include <boost/mpl/aux_/nttp_decl.hpp> 33 #include <boost/mpl/aux_/config/ttp.hpp> 34 #include <boost/mpl/aux_/config/lambda.hpp> 35 #include <boost/mpl/aux_/config/overload_resolution.hpp> 36 37 38 #define BOOST_MPL_AUX_NA_PARAMS(i) \ 39 BOOST_MPL_PP_ENUM(i, na) \ 40 /**/ 41 42 #if defined(BOOST_MPL_CFG_BROKEN_DEFAULT_PARAMETERS_IN_NESTED_TEMPLATES) 43 # define BOOST_MPL_AUX_NA_SPEC_ARITY(i, name) \ 44 namespace aux { \ 45 template< BOOST_MPL_AUX_NTTP_DECL(int, N) > \ 46 struct arity< \ 47 name< BOOST_MPL_AUX_NA_PARAMS(i) > \ 48 , N \ 49 > \ 50 : int_< BOOST_MPL_LIMIT_METAFUNCTION_ARITY > \ 51 { \ 52 }; \ 53 } \ 54 /**/ 55 #else 56 # define BOOST_MPL_AUX_NA_SPEC_ARITY(i, name) /**/ 57 #endif 58 59 #define BOOST_MPL_AUX_NA_SPEC_MAIN(i, name) \ 60 template<> \ 61 struct name< BOOST_MPL_AUX_NA_PARAMS(i) > \ 62 { \ 63 template< \ 64 BOOST_MPL_PP_PARAMS(i, typename T) \ 65 BOOST_MPL_PP_NESTED_DEF_PARAMS_TAIL(i, typename T, na) \ 66 > \ 67 struct apply \ 68 : name< BOOST_MPL_PP_PARAMS(i, T) > \ 69 { \ 70 }; \ 71 }; \ 72 /**/ 73 74 #if defined(BOOST_MPL_CFG_NO_FULL_LAMBDA_SUPPORT) 75 # define BOOST_MPL_AUX_NA_SPEC_LAMBDA(i, name) \ 76 template<> \ 77 struct lambda< \ 78 name< BOOST_MPL_AUX_NA_PARAMS(i) > \ 79 , void_ \ 80 , true_ \ 81 > \ 82 { \ 83 typedef false_ is_le; \ 84 typedef name< BOOST_MPL_AUX_NA_PARAMS(i) > type; \ 85 }; \ 86 template<> \ 87 struct lambda< \ 88 name< BOOST_MPL_AUX_NA_PARAMS(i) > \ 89 , void_ \ 90 , false_ \ 91 > \ 92 { \ 93 typedef false_ is_le; \ 94 typedef name< BOOST_MPL_AUX_NA_PARAMS(i) > type; \ 95 }; \ 96 /**/ 97 #else 98 # define BOOST_MPL_AUX_NA_SPEC_LAMBDA(i, name) \ 99 template< typename Tag > \ 100 struct lambda< \ 101 name< BOOST_MPL_AUX_NA_PARAMS(i) > \ 102 , Tag \ 103 BOOST_MPL_AUX_LAMBDA_ARITY_PARAM(int_<-1>) \ 104 > \ 105 { \ 106 typedef false_ is_le; \ 107 typedef name< BOOST_MPL_AUX_NA_PARAMS(i) > result_; \ 108 typedef name< BOOST_MPL_AUX_NA_PARAMS(i) > type; \ 109 }; \ 110 /**/ 111 #endif 112 113 #if defined(BOOST_MPL_CFG_EXTENDED_TEMPLATE_PARAMETERS_MATCHING) \ 114 || defined(BOOST_MPL_CFG_NO_FULL_LAMBDA_SUPPORT) \ 115 && defined(BOOST_MPL_CFG_BROKEN_OVERLOAD_RESOLUTION) 116 # define BOOST_MPL_AUX_NA_SPEC_TEMPLATE_ARITY(i, j, name) \ 117 namespace aux { \ 118 template< BOOST_MPL_PP_PARAMS(j, typename T) > \ 119 struct template_arity< \ 120 name< BOOST_MPL_PP_PARAMS(j, T) > \ 121 > \ 122 : int_<j> \ 123 { \ 124 }; \ 125 \ 126 template<> \ 127 struct template_arity< \ 128 name< BOOST_MPL_PP_ENUM(i, na) > \ 129 > \ 130 : int_<-1> \ 131 { \ 132 }; \ 133 } \ 134 /**/ 135 #else 136 # define BOOST_MPL_AUX_NA_SPEC_TEMPLATE_ARITY(i, j, name) /**/ 137 #endif 138 139 #if defined(BOOST_MPL_CFG_MSVC_ETI_BUG) 140 # define BOOST_MPL_AUX_NA_SPEC_ETI(i, name) \ 141 template<> \ 142 struct name< BOOST_MPL_PP_ENUM(i, int) > \ 143 { \ 144 typedef int type; \ 145 enum { value = 0 }; \ 146 }; \ 147 /**/ 148 #else 149 # define BOOST_MPL_AUX_NA_SPEC_ETI(i, name) /**/ 150 #endif 151 152 #define BOOST_MPL_AUX_NA_PARAM(param) param = na 153 154 #define BOOST_MPL_AUX_NA_SPEC_NO_ETI(i, name) \ 155 BOOST_MPL_AUX_NA_SPEC_MAIN(i, name) \ 156 BOOST_MPL_AUX_NA_SPEC_LAMBDA(i, name) \ 157 BOOST_MPL_AUX_NA_SPEC_ARITY(i, name) \ 158 BOOST_MPL_AUX_NA_SPEC_TEMPLATE_ARITY(i, i, name) \ 159 /**/ 160 161 #define BOOST_MPL_AUX_NA_SPEC(i, name) \ 162 BOOST_MPL_AUX_NA_SPEC_NO_ETI(i, name) \ 163 BOOST_MPL_AUX_NA_SPEC_ETI(i, name) \ 164 /**/ 165 166 #define BOOST_MPL_AUX_NA_SPEC2(i, j, name) \ 167 BOOST_MPL_AUX_NA_SPEC_MAIN(i, name) \ 168 BOOST_MPL_AUX_NA_SPEC_ETI(i, name) \ 169 BOOST_MPL_AUX_NA_SPEC_LAMBDA(i, name) \ 170 BOOST_MPL_AUX_NA_SPEC_ARITY(i, name) \ 171 BOOST_MPL_AUX_NA_SPEC_TEMPLATE_ARITY(i, j, name) \ 172 /**/ 173 174 175 #endif // BOOST_MPL_AUX_NA_SPEC_HPP_INCLUDED 176