123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189 |
- #if !defined(BOOST_PP_IS_ITERATING)
- ///// header body
- #ifndef BOOST_MPL_AUX_TEMPLATE_ARITY_HPP_INCLUDED
- #define BOOST_MPL_AUX_TEMPLATE_ARITY_HPP_INCLUDED
- // Copyright Aleksey Gurtovoy 2001-2004
- //
- // Distributed under the Boost Software License, Version 1.0.
- // (See accompanying file LICENSE_1_0.txt or copy at
- // http://www.boost.org/LICENSE_1_0.txt)
- //
- // See http://www.boost.org/libs/mpl for documentation.
- // $Id$
- // $Date$
- // $Revision$
- #include <boost/mpl/aux_/config/ttp.hpp>
- #include <boost/mpl/aux_/config/lambda.hpp>
- #if !defined(BOOST_MPL_PREPROCESSING_MODE)
- # include <boost/mpl/aux_/template_arity_fwd.hpp>
- # include <boost/mpl/int.hpp>
- # if !defined(BOOST_MPL_CFG_NO_FULL_LAMBDA_SUPPORT)
- # if defined(BOOST_MPL_CFG_EXTENDED_TEMPLATE_PARAMETERS_MATCHING)
- # include <boost/mpl/aux_/type_wrapper.hpp>
- # endif
- # else
- # include <boost/mpl/aux_/has_rebind.hpp>
- # endif
- #endif
- #include <boost/mpl/aux_/config/static_constant.hpp>
- #include <boost/mpl/aux_/config/use_preprocessed.hpp>
- #if !defined(BOOST_MPL_CFG_NO_PREPROCESSED_HEADERS) \
- && !defined(BOOST_MPL_PREPROCESSING_MODE)
- # define BOOST_MPL_PREPROCESSED_HEADER template_arity.hpp
- # include <boost/mpl/aux_/include_preprocessed.hpp>
- #else
- # if !defined(BOOST_MPL_CFG_NO_FULL_LAMBDA_SUPPORT)
- # if defined(BOOST_MPL_CFG_EXTENDED_TEMPLATE_PARAMETERS_MATCHING)
- # include <boost/mpl/limits/arity.hpp>
- # include <boost/mpl/aux_/preprocessor/range.hpp>
- # include <boost/mpl/aux_/preprocessor/repeat.hpp>
- # include <boost/mpl/aux_/preprocessor/params.hpp>
- # include <boost/mpl/aux_/nttp_decl.hpp>
- # include <boost/preprocessor/seq/fold_left.hpp>
- # include <boost/preprocessor/comma_if.hpp>
- # include <boost/preprocessor/iterate.hpp>
- # include <boost/preprocessor/inc.hpp>
- # include <boost/preprocessor/cat.hpp>
- # define AUX778076_ARITY BOOST_PP_INC(BOOST_MPL_LIMIT_METAFUNCTION_ARITY)
- namespace boost { namespace mpl { namespace aux {
- template< BOOST_MPL_AUX_NTTP_DECL(int, N) > struct arity_tag
- {
- typedef char (&type)[N + 1];
- };
- # define AUX778076_MAX_ARITY_OP(unused, state, i_) \
- ( BOOST_PP_CAT(C,i_) > 0 ? BOOST_PP_CAT(C,i_) : state ) \
- /**/
- template<
- BOOST_MPL_PP_PARAMS(AUX778076_ARITY, BOOST_MPL_AUX_NTTP_DECL(int, C))
- >
- struct max_arity
- {
- BOOST_STATIC_CONSTANT(int, value =
- BOOST_PP_SEQ_FOLD_LEFT(
- AUX778076_MAX_ARITY_OP
- , -1
- , BOOST_MPL_PP_RANGE(1, AUX778076_ARITY)
- )
- );
- };
- # undef AUX778076_MAX_ARITY_OP
- arity_tag<0>::type arity_helper(...);
- # define BOOST_PP_ITERATION_LIMITS (1, AUX778076_ARITY)
- # define BOOST_PP_FILENAME_1 <boost/mpl/aux_/template_arity.hpp>
- # include BOOST_PP_ITERATE()
- template< typename F, BOOST_MPL_AUX_NTTP_DECL(int, N) >
- struct template_arity_impl
- {
- BOOST_STATIC_CONSTANT(int, value =
- sizeof(::boost::mpl::aux::arity_helper(type_wrapper<F>(),arity_tag<N>())) - 1
- );
- };
- # define AUX778076_TEMPLATE_ARITY_IMPL_INVOCATION(unused, i_, F) \
- BOOST_PP_COMMA_IF(i_) template_arity_impl<F,BOOST_PP_INC(i_)>::value \
- /**/
- template< typename F >
- struct template_arity
- {
- BOOST_STATIC_CONSTANT(int, value = (
- max_arity< BOOST_MPL_PP_REPEAT(
- AUX778076_ARITY
- , AUX778076_TEMPLATE_ARITY_IMPL_INVOCATION
- , F
- ) >::value
- ));
-
- typedef mpl::int_<value> type;
- };
- # undef AUX778076_TEMPLATE_ARITY_IMPL_INVOCATION
- # undef AUX778076_ARITY
- }}}
- # endif // BOOST_MPL_CFG_EXTENDED_TEMPLATE_PARAMETERS_MATCHING
- # else // BOOST_MPL_CFG_NO_FULL_LAMBDA_SUPPORT
- # include <boost/mpl/aux_/config/eti.hpp>
- namespace boost { namespace mpl { namespace aux {
- template< bool >
- struct template_arity_impl
- {
- template< typename F > struct result_
- : mpl::int_<-1>
- {
- };
- };
- template<>
- struct template_arity_impl<true>
- {
- template< typename F > struct result_
- : F::arity
- {
- };
- };
- template< typename F >
- struct template_arity
- : template_arity_impl< ::boost::mpl::aux::has_rebind<F>::value >
- ::template result_<F>
- {
- };
- #if defined(BOOST_MPL_CFG_MSVC_ETI_BUG)
- template<>
- struct template_arity<int>
- : mpl::int_<-1>
- {
- };
- #endif
- }}}
- # endif // BOOST_MPL_CFG_NO_FULL_LAMBDA_SUPPORT
- #endif // BOOST_MPL_CFG_NO_PREPROCESSED_HEADERS
- #endif // BOOST_MPL_AUX_TEMPLATE_ARITY_HPP_INCLUDED
- ///// iteration
- #else
- #define i_ BOOST_PP_FRAME_ITERATION(1)
- template<
- template< BOOST_MPL_PP_PARAMS(i_, typename P) > class F
- , BOOST_MPL_PP_PARAMS(i_, typename T)
- >
- typename arity_tag<i_>::type
- arity_helper(type_wrapper< F<BOOST_MPL_PP_PARAMS(i_, T)> >, arity_tag<i_>);
- #undef i_
- #endif // BOOST_PP_IS_ITERATING
|