diff options
Diffstat (limited to 'boost/fusion/functional/invocation/invoke_function_object.hpp')
-rw-r--r-- | boost/fusion/functional/invocation/invoke_function_object.hpp | 203 |
1 files changed, 203 insertions, 0 deletions
diff --git a/boost/fusion/functional/invocation/invoke_function_object.hpp b/boost/fusion/functional/invocation/invoke_function_object.hpp new file mode 100644 index 0000000000..81c33f9229 --- /dev/null +++ b/boost/fusion/functional/invocation/invoke_function_object.hpp @@ -0,0 +1,203 @@ +/*============================================================================= + Copyright (c) 2005-2006 Joao Abecasis + Copyright (c) 2006-2007 Tobias Schwinger + + Use modification and distribution are subject to 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). +==============================================================================*/ + +#if !defined(BOOST_FUSION_FUNCTIONAL_INVOCATION_INVOKE_FUNCTION_OBJECT_HPP_INCLUDED) +#if !defined(BOOST_PP_IS_ITERATING) + +#include <boost/preprocessor/cat.hpp> +#include <boost/preprocessor/iteration/iterate.hpp> +#include <boost/preprocessor/arithmetic/dec.hpp> +#include <boost/preprocessor/repetition/repeat_from_to.hpp> +#include <boost/preprocessor/repetition/enum.hpp> +#include <boost/preprocessor/repetition/enum_params.hpp> + +#include <boost/utility/result_of.hpp> + +#include <boost/type_traits/remove_reference.hpp> +#include <boost/type_traits/remove_const.hpp> + +#include <boost/utility/result_of.hpp> + +#include <boost/fusion/support/category_of.hpp> +#include <boost/fusion/sequence/intrinsic/size.hpp> +#include <boost/fusion/sequence/intrinsic/at.hpp> +#include <boost/fusion/sequence/intrinsic/begin.hpp> +#include <boost/fusion/iterator/next.hpp> +#include <boost/fusion/iterator/deref.hpp> +#include <boost/fusion/functional/invocation/limits.hpp> + +namespace boost { namespace fusion +{ + namespace result_of + { + template <class Function, class Sequence> struct invoke_function_object; + } + + template <class Function, class Sequence> + inline typename result_of::invoke_function_object<Function, Sequence>::type + invoke_function_object(Function, Sequence &); + + template <class Function, class Sequence> + inline typename result_of::invoke_function_object<Function, Sequence const + >::type invoke_function_object(Function, Sequence const &); + + //----- ---- --- -- - - - - + + namespace detail + { + template< + class Function, class Sequence, + int N = result_of::size<Sequence>::value, + bool RandomAccess = traits::is_random_access<Sequence>::value + > + struct invoke_function_object_impl; + + template <class Sequence, int N> + struct invoke_function_object_param_types; + + #define BOOST_PP_FILENAME_1 \ + <boost/fusion/functional/invocation/invoke_function_object.hpp> + #define BOOST_PP_ITERATION_LIMITS \ + (0, BOOST_FUSION_INVOKE_FUNCTION_OBJECT_MAX_ARITY) + #include BOOST_PP_ITERATE() + } + + namespace result_of + { + template <class Function, class Sequence> struct invoke_function_object + { + typedef typename detail::invoke_function_object_impl< + typename boost::remove_reference<Function>::type, Sequence + >::result_type type; + }; + } + + template <class Function, class Sequence> + inline typename result_of::invoke_function_object<Function,Sequence>::type + invoke_function_object(Function f, Sequence & s) + { + return detail::invoke_function_object_impl< + typename boost::remove_reference<Function>::type,Sequence + >::call(f,s); + } + + template <class Function, class Sequence> + inline typename result_of::invoke_function_object<Function,Sequence const>::type + invoke_function_object(Function f, Sequence const & s) + { + return detail::invoke_function_object_impl< + typename boost::remove_reference<Function>::type,Sequence const + >::call(f,s); + } + +}} + +#define BOOST_FUSION_FUNCTIONAL_INVOCATION_INVOKE_FUNCTION_OBJECT_HPP_INCLUDED +#else // defined(BOOST_PP_IS_ITERATING) +/////////////////////////////////////////////////////////////////////////////// +// +// Preprocessor vertical repetition code +// +/////////////////////////////////////////////////////////////////////////////// +#define N BOOST_PP_ITERATION() + + template <class Function, class Sequence> + struct invoke_function_object_impl<Function,Sequence,N,true> + { + public: + + typedef typename boost::result_of< +#define M(z,j,data) \ + typename result_of::at_c<Sequence,j>::type + Function (BOOST_PP_ENUM(N,M,~)) >::type result_type; +#undef M + +#if N > 0 + + template <class F> + static inline result_type + call(F & f, Sequence & s) + { +#define M(z,j,data) fusion::at_c<j>(s) + return f( BOOST_PP_ENUM(N,M,~) ); +#undef M + } + +#else + + template <class F> + static inline result_type + call(F & f, Sequence & /*s*/) + { + return f(); + } + +#endif + + }; + + template <class Function, class Sequence> + struct invoke_function_object_impl<Function,Sequence,N,false> + { + private: + typedef invoke_function_object_param_types<Sequence,N> seq; + public: + typedef typename boost::result_of< + Function (BOOST_PP_ENUM_PARAMS(N,typename seq::T)) + >::type result_type; + +#if N > 0 + + template <class F> + static inline result_type + call(F & f, Sequence & s) + { + typename seq::I0 i0 = fusion::begin(s); +#define M(z,j,data) \ + typename seq::I##j i##j = \ + fusion::next(BOOST_PP_CAT(i,BOOST_PP_DEC(j))); + BOOST_PP_REPEAT_FROM_TO(1,N,M,~) +#undef M + return f( BOOST_PP_ENUM_PARAMS(N,*i) ); + } + +#else + + template <class F> + static inline result_type + call(F & f, Sequence & /*s*/) + { + return f(); + } + +#endif + + }; + + template <class Sequence> + struct invoke_function_object_param_types<Sequence,N> + { +#if N > 0 + typedef typename result_of::begin<Sequence>::type I0; + typedef typename result_of::deref<I0>::type T0; + +#define M(z,i,data) \ + typedef typename result_of::next< \ + BOOST_PP_CAT(I,BOOST_PP_DEC(i))>::type I##i; \ + typedef typename result_of::deref<I##i>::type T##i; + + BOOST_PP_REPEAT_FROM_TO(1,N,M,~) +#undef M +#endif + }; + +#undef N +#endif // defined(BOOST_PP_IS_ITERATING) +#endif + |