| /*============================================================================= |
| 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 |
| |