williamr@2: williamr@2: #if !defined(BOOST_PP_IS_ITERATING) williamr@2: williamr@2: ///// header body williamr@2: williamr@2: #ifndef BOOST_MPL_BIND_HPP_INCLUDED williamr@2: #define BOOST_MPL_BIND_HPP_INCLUDED williamr@2: williamr@2: // Copyright Peter Dimov 2001 williamr@2: // Copyright Aleksey Gurtovoy 2001-2004 williamr@2: // williamr@2: // Distributed under the Boost Software License, Version 1.0. williamr@2: // (See accompanying file LICENSE_1_0.txt or copy at williamr@2: // http://www.boost.org/LICENSE_1_0.txt) williamr@2: // williamr@2: // See http://www.boost.org/libs/mpl for documentation. williamr@2: williamr@2: // $Source: /cvsroot/boost/boost/boost/mpl/bind.hpp,v $ williamr@2: // $Date: 2004/10/26 14:51:04 $ williamr@2: // $Revision: 1.13 $ williamr@2: williamr@2: #if !defined(BOOST_MPL_PREPROCESSING_MODE) williamr@2: # include williamr@2: # include williamr@2: # include williamr@2: # include williamr@2: # include williamr@2: # include williamr@2: # include williamr@2: # include williamr@2: # include williamr@2: # include williamr@2: # if defined(BOOST_NO_TEMPLATE_PARTIAL_SPECIALIZATION) williamr@2: # include williamr@2: # endif williamr@2: #endif williamr@2: williamr@2: #include williamr@2: #include williamr@2: #include williamr@2: williamr@2: #if !defined(BOOST_MPL_CFG_NO_PREPROCESSED_HEADERS) \ williamr@2: && !defined(BOOST_MPL_PREPROCESSING_MODE) williamr@2: williamr@2: # if defined(BOOST_MPL_CFG_NO_UNNAMED_PLACEHOLDER_SUPPORT) williamr@2: # define BOOST_MPL_PREPROCESSED_HEADER basic_bind.hpp williamr@2: # else williamr@2: # define BOOST_MPL_PREPROCESSED_HEADER bind.hpp williamr@2: # endif williamr@2: # include williamr@2: williamr@2: #else williamr@2: williamr@2: # include williamr@2: # include williamr@2: # include williamr@2: # include williamr@2: # include williamr@2: # include williamr@2: # include williamr@2: # include williamr@2: # include williamr@2: # include williamr@2: # include williamr@2: # include williamr@2: # include williamr@2: williamr@2: # include williamr@2: # include williamr@2: # include williamr@2: # include williamr@2: williamr@2: namespace boost { namespace mpl { williamr@2: williamr@2: // local macros, #undef-ined at the end of the header williamr@2: # define AUX778076_APPLY \ williamr@2: BOOST_PP_CAT(apply_wrap,BOOST_MPL_LIMIT_METAFUNCTION_ARITY) \ williamr@2: /**/ williamr@2: williamr@2: # if defined(BOOST_MPL_CFG_DMC_AMBIGUOUS_CTPS) williamr@2: # define AUX778076_DMC_PARAM() , int dummy_ williamr@2: # else williamr@2: # define AUX778076_DMC_PARAM() williamr@2: # endif williamr@2: williamr@2: # define AUX778076_BIND_PARAMS(param) \ williamr@2: BOOST_MPL_PP_PARAMS( \ williamr@2: BOOST_MPL_LIMIT_METAFUNCTION_ARITY \ williamr@2: , param \ williamr@2: ) \ williamr@2: /**/ williamr@2: williamr@2: # define AUX778076_BIND_DEFAULT_PARAMS(param, value) \ williamr@2: BOOST_MPL_PP_DEFAULT_PARAMS( \ williamr@2: BOOST_MPL_LIMIT_METAFUNCTION_ARITY \ williamr@2: , param \ williamr@2: , value \ williamr@2: ) \ williamr@2: /**/ williamr@2: williamr@2: # define AUX778076_BIND_N_PARAMS(n, param) \ williamr@2: BOOST_PP_COMMA_IF(n) BOOST_MPL_PP_PARAMS(n, param) \ williamr@2: /**/ williamr@2: williamr@2: # define AUX778076_BIND_N_SPEC_PARAMS(n, param, def) \ williamr@2: BOOST_PP_COMMA_IF(n) \ williamr@2: BOOST_MPL_PP_PARTIAL_SPEC_PARAMS(n, param, def) \ williamr@2: /**/ williamr@2: williamr@2: #if !defined(BOOST_MPL_CFG_NO_DEFAULT_PARAMETERS_IN_NESTED_TEMPLATES) williamr@2: # define AUX778076_BIND_NESTED_DEFAULT_PARAMS(param, value) \ williamr@2: AUX778076_BIND_DEFAULT_PARAMS(param, value) \ williamr@2: /**/ williamr@2: #else williamr@2: # define AUX778076_BIND_NESTED_DEFAULT_PARAMS(param, value) \ williamr@2: AUX778076_BIND_PARAMS(param) \ williamr@2: /**/ williamr@2: #endif williamr@2: williamr@2: namespace aux { williamr@2: williamr@2: #if !defined(BOOST_NO_TEMPLATE_PARTIAL_SPECIALIZATION) williamr@2: williamr@2: template< williamr@2: typename T, AUX778076_BIND_PARAMS(typename U) williamr@2: > williamr@2: struct resolve_bind_arg williamr@2: { williamr@2: typedef T type; williamr@2: }; williamr@2: williamr@2: # if !defined(BOOST_MPL_CFG_NO_UNNAMED_PLACEHOLDER_SUPPORT) williamr@2: williamr@2: template< williamr@2: typename T williamr@2: , typename Arg williamr@2: > williamr@2: struct replace_unnamed_arg williamr@2: { williamr@2: typedef Arg next; williamr@2: typedef T type; williamr@2: }; williamr@2: williamr@2: template< williamr@2: typename Arg williamr@2: > williamr@2: struct replace_unnamed_arg< arg<-1>,Arg > williamr@2: { williamr@2: typedef typename Arg::next next; williamr@2: typedef Arg type; williamr@2: }; williamr@2: williamr@2: # endif // BOOST_MPL_CFG_NO_UNNAMED_PLACEHOLDER_SUPPORT williamr@2: williamr@2: template< williamr@2: BOOST_MPL_AUX_NTTP_DECL(int, N), AUX778076_BIND_PARAMS(typename U) williamr@2: > williamr@2: struct resolve_bind_arg< arg,AUX778076_BIND_PARAMS(U) > williamr@2: { williamr@2: typedef typename AUX778076_APPLY, AUX778076_BIND_PARAMS(U)>::type type; williamr@2: }; williamr@2: williamr@2: #if !defined(BOOST_MPL_CFG_NO_BIND_TEMPLATE) williamr@2: template< williamr@2: typename F, AUX778076_BIND_PARAMS(typename T), AUX778076_BIND_PARAMS(typename U) williamr@2: > williamr@2: struct resolve_bind_arg< bind,AUX778076_BIND_PARAMS(U) > williamr@2: { williamr@2: typedef bind f_; williamr@2: typedef typename AUX778076_APPLY::type type; williamr@2: }; williamr@2: #endif williamr@2: williamr@2: #else // BOOST_NO_TEMPLATE_PARTIAL_SPECIALIZATION williamr@2: williamr@2: // agurt, 15/jan/02: it's not a intended to be used as a function class, and williamr@2: // MSVC6.5 has problems with 'apply' name here (the code compiles, but doesn't williamr@2: // work), so I went with the 'result_' here, and in all other similar cases williamr@2: template< bool > williamr@2: struct resolve_arg_impl williamr@2: { williamr@2: template< typename T, AUX778076_BIND_PARAMS(typename U) > struct result_ williamr@2: { williamr@2: typedef T type; williamr@2: }; williamr@2: }; williamr@2: williamr@2: template<> williamr@2: struct resolve_arg_impl williamr@2: { williamr@2: template< typename T, AUX778076_BIND_PARAMS(typename U) > struct result_ williamr@2: { williamr@2: typedef typename AUX778076_APPLY< williamr@2: T williamr@2: , AUX778076_BIND_PARAMS(U) williamr@2: >::type type; williamr@2: }; williamr@2: }; williamr@2: williamr@2: // for 'resolve_bind_arg' williamr@2: template< typename T > struct is_bind_template; williamr@2: williamr@2: template< williamr@2: typename T, AUX778076_BIND_PARAMS(typename U) williamr@2: > williamr@2: struct resolve_bind_arg williamr@2: : resolve_arg_impl< is_bind_template::value > williamr@2: ::template result_< T,AUX778076_BIND_PARAMS(U) > williamr@2: { williamr@2: }; williamr@2: williamr@2: # if !defined(BOOST_MPL_CFG_NO_UNNAMED_PLACEHOLDER_SUPPORT) williamr@2: williamr@2: template< typename T > williamr@2: struct replace_unnamed_arg_impl williamr@2: { williamr@2: template< typename Arg > struct result_ williamr@2: { williamr@2: typedef Arg next; williamr@2: typedef T type; williamr@2: }; williamr@2: }; williamr@2: williamr@2: template<> williamr@2: struct replace_unnamed_arg_impl< arg<-1> > williamr@2: { williamr@2: template< typename Arg > struct result_ williamr@2: { williamr@2: typedef typename next::type next; williamr@2: typedef Arg type; williamr@2: }; williamr@2: }; williamr@2: williamr@2: template< typename T, typename Arg > williamr@2: struct replace_unnamed_arg williamr@2: : replace_unnamed_arg_impl::template result_ williamr@2: { williamr@2: }; williamr@2: williamr@2: # endif // BOOST_MPL_CFG_NO_UNNAMED_PLACEHOLDER_SUPPORT williamr@2: williamr@2: // agurt, 10/mar/02: the forward declaration has to appear before any of williamr@2: // 'is_bind_helper' overloads, otherwise MSVC6.5 issues an ICE on it williamr@2: template< BOOST_MPL_AUX_NTTP_DECL(int, arity_) > struct bind_chooser; williamr@2: williamr@2: aux::no_tag is_bind_helper(...); williamr@2: template< typename T > aux::no_tag is_bind_helper(protect*); williamr@2: williamr@2: // overload for "main" form williamr@2: // agurt, 15/mar/02: MSVC 6.5 fails to properly resolve the overload williamr@2: // in case if we use 'aux::type_wrapper< bind<...> >' here, and all williamr@2: // 'bind' instantiations form a complete type anyway williamr@2: #if !defined(BOOST_MPL_CFG_NO_BIND_TEMPLATE) williamr@2: template< williamr@2: typename F, AUX778076_BIND_PARAMS(typename T) williamr@2: > williamr@2: aux::yes_tag is_bind_helper(bind*); williamr@2: #endif williamr@2: williamr@2: template< BOOST_MPL_AUX_NTTP_DECL(int, N) > williamr@2: aux::yes_tag is_bind_helper(arg*); williamr@2: williamr@2: template< bool is_ref_ = true > williamr@2: struct is_bind_template_impl williamr@2: { williamr@2: template< typename T > struct result_ williamr@2: { williamr@2: BOOST_STATIC_CONSTANT(bool, value = false); williamr@2: }; williamr@2: }; williamr@2: williamr@2: template<> williamr@2: struct is_bind_template_impl williamr@2: { williamr@2: template< typename T > struct result_ williamr@2: { williamr@2: BOOST_STATIC_CONSTANT(bool, value = williamr@2: sizeof(aux::is_bind_helper(static_cast(0))) williamr@2: == sizeof(aux::yes_tag) williamr@2: ); williamr@2: }; williamr@2: }; williamr@2: williamr@2: template< typename T > struct is_bind_template williamr@2: : is_bind_template_impl< ::boost::detail::is_reference_impl::value > williamr@2: ::template result_ williamr@2: { williamr@2: }; williamr@2: williamr@2: #endif // BOOST_NO_TEMPLATE_PARTIAL_SPECIALIZATION williamr@2: williamr@2: } // namespace aux williamr@2: williamr@2: williamr@2: #define BOOST_PP_ITERATION_PARAMS_1 \ williamr@2: (3,(0, BOOST_MPL_LIMIT_METAFUNCTION_ARITY, )) williamr@2: #include BOOST_PP_ITERATE() williamr@2: williamr@2: #if !defined(BOOST_NO_TEMPLATE_PARTIAL_SPECIALIZATION) \ williamr@2: && !defined(BOOST_MPL_CFG_NO_TEMPLATE_TEMPLATE_PARAMETERS) williamr@2: /// if_/eval_if specializations williamr@2: # define AUX778076_SPEC_NAME if_ williamr@2: # define BOOST_PP_ITERATION_PARAMS_1 (3,(3, 3, )) williamr@2: # include BOOST_PP_ITERATE() williamr@2: williamr@2: #if !defined(BOOST_MPL_CFG_DMC_AMBIGUOUS_CTPS) williamr@2: # define AUX778076_SPEC_NAME eval_if williamr@2: # define BOOST_PP_ITERATION_PARAMS_1 (3,(3, 3, )) williamr@2: # include BOOST_PP_ITERATE() williamr@2: #endif williamr@2: #endif williamr@2: williamr@2: // real C++ version is already taken care of williamr@2: #if defined(BOOST_NO_TEMPLATE_PARTIAL_SPECIALIZATION) \ williamr@2: && !defined(BOOST_MPL_CFG_NO_BIND_TEMPLATE) williamr@2: williamr@2: namespace aux { williamr@2: // apply_count_args williamr@2: #define AUX778076_COUNT_ARGS_PREFIX bind williamr@2: #define AUX778076_COUNT_ARGS_DEFAULT na williamr@2: #define AUX778076_COUNT_ARGS_ARITY BOOST_MPL_LIMIT_METAFUNCTION_ARITY williamr@2: #include williamr@2: } williamr@2: williamr@2: // bind williamr@2: template< williamr@2: typename F, AUX778076_BIND_PARAMS(typename T) AUX778076_DMC_PARAM() williamr@2: > williamr@2: struct bind williamr@2: : aux::bind_chooser< williamr@2: aux::bind_count_args::value williamr@2: >::template result_< F,AUX778076_BIND_PARAMS(T) >::type williamr@2: { williamr@2: }; williamr@2: williamr@2: BOOST_MPL_AUX_ARITY_SPEC( williamr@2: BOOST_PP_INC(BOOST_MPL_LIMIT_METAFUNCTION_ARITY) williamr@2: , bind williamr@2: ) williamr@2: williamr@2: BOOST_MPL_AUX_TEMPLATE_ARITY_SPEC( williamr@2: BOOST_PP_INC(BOOST_MPL_LIMIT_METAFUNCTION_ARITY) williamr@2: , bind williamr@2: ) williamr@2: williamr@2: williamr@2: #endif // BOOST_NO_TEMPLATE_PARTIAL_SPECIALIZATION williamr@2: williamr@2: # undef AUX778076_BIND_NESTED_DEFAULT_PARAMS williamr@2: # undef AUX778076_BIND_N_SPEC_PARAMS williamr@2: # undef AUX778076_BIND_N_PARAMS williamr@2: # undef AUX778076_BIND_DEFAULT_PARAMS williamr@2: # undef AUX778076_BIND_PARAMS williamr@2: # undef AUX778076_DMC_PARAM williamr@2: # undef AUX778076_APPLY williamr@2: williamr@2: }} williamr@2: williamr@2: #endif // BOOST_MPL_CFG_NO_PREPROCESSED_HEADERS williamr@2: #endif // BOOST_MPL_BIND_HPP_INCLUDED williamr@2: williamr@2: ///// iteration, depth == 1 williamr@2: williamr@2: #elif BOOST_PP_ITERATION_DEPTH() == 1 williamr@2: williamr@2: # define i_ BOOST_PP_FRAME_ITERATION(1) williamr@2: williamr@2: #if defined(AUX778076_SPEC_NAME) williamr@2: williamr@2: // lazy metafunction specialization williamr@2: template< template< BOOST_MPL_PP_PARAMS(i_, typename T) > class F, typename Tag > williamr@2: struct BOOST_PP_CAT(quote,i_); williamr@2: williamr@2: template< BOOST_MPL_PP_PARAMS(i_, typename T) > struct AUX778076_SPEC_NAME; williamr@2: williamr@2: template< williamr@2: typename Tag AUX778076_BIND_N_PARAMS(i_, typename T) williamr@2: > williamr@2: struct BOOST_PP_CAT(bind,i_)< williamr@2: BOOST_PP_CAT(quote,i_) williamr@2: AUX778076_BIND_N_PARAMS(i_,T) williamr@2: > williamr@2: { williamr@2: template< williamr@2: AUX778076_BIND_NESTED_DEFAULT_PARAMS(typename U, na) williamr@2: > williamr@2: struct apply williamr@2: { williamr@2: private: williamr@2: typedef mpl::arg<1> n1; williamr@2: # define BOOST_PP_ITERATION_PARAMS_2 (3,(1, i_, )) williamr@2: # include BOOST_PP_ITERATE() williamr@2: williamr@2: typedef typename AUX778076_SPEC_NAME< williamr@2: typename t1::type williamr@2: , BOOST_MPL_PP_EXT_PARAMS(2, BOOST_PP_INC(i_), t) williamr@2: >::type f_; williamr@2: williamr@2: public: williamr@2: typedef typename f_::type type; williamr@2: }; williamr@2: }; williamr@2: williamr@2: #undef AUX778076_SPEC_NAME williamr@2: williamr@2: #else // AUX778076_SPEC_NAME williamr@2: williamr@2: template< williamr@2: typename F AUX778076_BIND_N_PARAMS(i_, typename T) AUX778076_DMC_PARAM() williamr@2: > williamr@2: struct BOOST_PP_CAT(bind,i_) williamr@2: { williamr@2: template< williamr@2: AUX778076_BIND_NESTED_DEFAULT_PARAMS(typename U, na) williamr@2: > williamr@2: struct apply williamr@2: { williamr@2: private: williamr@2: # if !defined(BOOST_MPL_CFG_NO_UNNAMED_PLACEHOLDER_SUPPORT) williamr@2: williamr@2: typedef aux::replace_unnamed_arg< F,mpl::arg<1> > r0; williamr@2: typedef typename r0::type a0; williamr@2: typedef typename r0::next n1; williamr@2: typedef typename aux::resolve_bind_arg::type f_; williamr@2: /// williamr@2: # else williamr@2: typedef typename aux::resolve_bind_arg::type f_; williamr@2: williamr@2: # endif // BOOST_MPL_CFG_NO_UNNAMED_PLACEHOLDER_SUPPORT williamr@2: williamr@2: # if i_ > 0 williamr@2: # define BOOST_PP_ITERATION_PARAMS_2 (3,(1, i_, )) williamr@2: # include BOOST_PP_ITERATE() williamr@2: # endif williamr@2: williamr@2: public: williamr@2: williamr@2: # define AUX778076_ARG(unused, i_, t) \ williamr@2: BOOST_PP_COMMA_IF(i_) \ williamr@2: typename BOOST_PP_CAT(t,BOOST_PP_INC(i_))::type \ williamr@2: /**/ williamr@2: williamr@2: typedef typename BOOST_PP_CAT(apply_wrap,i_)< williamr@2: f_ williamr@2: BOOST_PP_COMMA_IF(i_) BOOST_MPL_PP_REPEAT(i_, AUX778076_ARG, t) williamr@2: >::type type; williamr@2: williamr@2: # undef AUX778076_ARG williamr@2: }; williamr@2: }; williamr@2: williamr@2: namespace aux { williamr@2: williamr@2: #if !defined(BOOST_NO_TEMPLATE_PARTIAL_SPECIALIZATION) williamr@2: williamr@2: template< williamr@2: typename F AUX778076_BIND_N_PARAMS(i_, typename T), AUX778076_BIND_PARAMS(typename U) williamr@2: > williamr@2: struct resolve_bind_arg< williamr@2: BOOST_PP_CAT(bind,i_),AUX778076_BIND_PARAMS(U) williamr@2: > williamr@2: { williamr@2: typedef BOOST_PP_CAT(bind,i_) f_; williamr@2: typedef typename AUX778076_APPLY::type type; williamr@2: }; williamr@2: williamr@2: #else williamr@2: williamr@2: template< williamr@2: typename F AUX778076_BIND_N_PARAMS(i_, typename T) williamr@2: > williamr@2: aux::yes_tag williamr@2: is_bind_helper(BOOST_PP_CAT(bind,i_)*); williamr@2: williamr@2: #endif // BOOST_NO_TEMPLATE_PARTIAL_SPECIALIZATION williamr@2: williamr@2: } // namespace aux williamr@2: williamr@2: BOOST_MPL_AUX_ARITY_SPEC(BOOST_PP_INC(i_), BOOST_PP_CAT(bind,i_)) williamr@2: BOOST_MPL_AUX_TEMPLATE_ARITY_SPEC(BOOST_PP_INC(i_), BOOST_PP_CAT(bind,i_)) williamr@2: williamr@2: # if !defined(BOOST_MPL_CFG_NO_BIND_TEMPLATE) williamr@2: # if !defined(BOOST_NO_TEMPLATE_PARTIAL_SPECIALIZATION) williamr@2: williamr@2: #if i_ == BOOST_MPL_LIMIT_METAFUNCTION_ARITY williamr@2: /// primary template (not a specialization!) williamr@2: template< williamr@2: typename F AUX778076_BIND_N_PARAMS(i_, typename T) AUX778076_DMC_PARAM() williamr@2: > williamr@2: struct bind williamr@2: : BOOST_PP_CAT(bind,i_) williamr@2: { williamr@2: }; williamr@2: #else williamr@2: template< williamr@2: typename F AUX778076_BIND_N_PARAMS(i_, typename T) AUX778076_DMC_PARAM() williamr@2: > williamr@2: struct bind< F AUX778076_BIND_N_SPEC_PARAMS(i_, T, na) > williamr@2: : BOOST_PP_CAT(bind,i_) williamr@2: { williamr@2: }; williamr@2: #endif williamr@2: williamr@2: # else // BOOST_NO_TEMPLATE_PARTIAL_SPECIALIZATION williamr@2: williamr@2: namespace aux { williamr@2: williamr@2: template<> williamr@2: struct bind_chooser williamr@2: { williamr@2: template< williamr@2: typename F, AUX778076_BIND_PARAMS(typename T) williamr@2: > williamr@2: struct result_ williamr@2: { williamr@2: typedef BOOST_PP_CAT(bind,i_)< F AUX778076_BIND_N_PARAMS(i_,T) > type; williamr@2: }; williamr@2: }; williamr@2: williamr@2: } // namespace aux williamr@2: williamr@2: # endif // BOOST_NO_TEMPLATE_PARTIAL_SPECIALIZATION williamr@2: # endif // BOOST_MPL_CFG_NO_BIND_TEMPLATE williamr@2: williamr@2: #endif // AUX778076_SPEC_NAME williamr@2: williamr@2: # undef i_ williamr@2: williamr@2: ///// iteration, depth == 2 williamr@2: williamr@2: #elif BOOST_PP_ITERATION_DEPTH() == 2 williamr@2: williamr@2: # define j_ BOOST_PP_FRAME_ITERATION(2) williamr@2: # if !defined(BOOST_MPL_CFG_NO_UNNAMED_PLACEHOLDER_SUPPORT) williamr@2: williamr@2: typedef aux::replace_unnamed_arg< BOOST_PP_CAT(T,j_),BOOST_PP_CAT(n,j_) > BOOST_PP_CAT(r,j_); williamr@2: typedef typename BOOST_PP_CAT(r,j_)::type BOOST_PP_CAT(a,j_); williamr@2: typedef typename BOOST_PP_CAT(r,j_)::next BOOST_PP_CAT(n,BOOST_PP_INC(j_)); williamr@2: typedef aux::resolve_bind_arg BOOST_PP_CAT(t,j_); williamr@2: /// williamr@2: # else williamr@2: typedef aux::resolve_bind_arg< BOOST_PP_CAT(T,j_),AUX778076_BIND_PARAMS(U)> BOOST_PP_CAT(t,j_); williamr@2: williamr@2: # endif williamr@2: # undef j_ williamr@2: williamr@2: #endif // BOOST_PP_IS_ITERATING