Chris@16: /*=============================================================================
Chris@16:     Copyright (c) 2005-2006 Joao Abecasis
Chris@16:     Copyright (c) 2006-2007 Tobias Schwinger
Chris@16: 
Chris@16:     Use modification and distribution are subject to the Boost Software
Chris@16:     License, Version 1.0. (See accompanying file LICENSE_1_0.txt or copy at
Chris@16:     http://www.boost.org/LICENSE_1_0.txt).
Chris@16: ==============================================================================*/
Chris@16: 
Chris@16: #if !defined(BOOST_FUSION_FUNCTIONAL_INVOCATION_INVOKE_FUNCTION_OBJECT_HPP_INCLUDED)
Chris@16: #if !defined(BOOST_PP_IS_ITERATING)
Chris@16: 
Chris@16: #include <boost/preprocessor/cat.hpp>
Chris@16: #include <boost/preprocessor/iteration/iterate.hpp>
Chris@16: #include <boost/preprocessor/arithmetic/dec.hpp>
Chris@16: #include <boost/preprocessor/repetition/repeat_from_to.hpp>
Chris@16: #include <boost/preprocessor/repetition/enum.hpp>
Chris@16: #include <boost/preprocessor/repetition/enum_params.hpp>
Chris@16: 
Chris@16: #include <boost/utility/result_of.hpp>
Chris@16: 
Chris@16: #include <boost/type_traits/remove_reference.hpp>
Chris@16: #include <boost/type_traits/remove_const.hpp>
Chris@16: 
Chris@16: #include <boost/utility/result_of.hpp>
Chris@16: 
Chris@16: #include <boost/fusion/support/category_of.hpp>
Chris@101: #include <boost/fusion/support/detail/enabler.hpp>
Chris@16: #include <boost/fusion/sequence/intrinsic/size.hpp>
Chris@16: #include <boost/fusion/sequence/intrinsic/at.hpp>
Chris@16: #include <boost/fusion/sequence/intrinsic/begin.hpp>
Chris@16: #include <boost/fusion/iterator/next.hpp>
Chris@16: #include <boost/fusion/iterator/deref.hpp>
Chris@16: #include <boost/fusion/functional/invocation/limits.hpp>
Chris@16: 
Chris@16: namespace boost { namespace fusion
Chris@16: {
Chris@16:     namespace detail
Chris@16:     {
Chris@16:         template<
Chris@16:             class Function, class Sequence,
Chris@16:             int N = result_of::size<Sequence>::value,
Chris@101:             bool RandomAccess = traits::is_random_access<Sequence>::value,
Chris@101:             typename Enable = void
Chris@16:             >
Chris@16:         struct invoke_function_object_impl;
Chris@16: 
Chris@16:         template <class Sequence, int N>
Chris@16:         struct invoke_function_object_param_types;
Chris@16: 
Chris@16:         #define  BOOST_PP_FILENAME_1 \
Chris@16:             <boost/fusion/functional/invocation/invoke_function_object.hpp>
Chris@16:         #define  BOOST_PP_ITERATION_LIMITS \
Chris@16:             (0, BOOST_FUSION_INVOKE_FUNCTION_OBJECT_MAX_ARITY)
Chris@16:         #include BOOST_PP_ITERATE()
Chris@16:     }
Chris@16: 
Chris@16:     namespace result_of
Chris@16:     {
Chris@101:         template <class Function, class Sequence, class Enable = void>
Chris@101:         struct invoke_function_object;
Chris@101: 
Chris@101:         template <class Function, class Sequence>
Chris@101:         struct invoke_function_object<Function, Sequence,
Chris@101:             typename detail::enabler<
Chris@101:                 typename detail::invoke_function_object_impl<
Chris@101:                     typename boost::remove_reference<Function>::type, Sequence
Chris@101:                 >::result_type
Chris@101:             >::type>
Chris@16:         {
Chris@16:             typedef typename detail::invoke_function_object_impl<
Chris@16:                 typename boost::remove_reference<Function>::type, Sequence
Chris@16:                 >::result_type type;
Chris@16:         };
Chris@16:     }
Chris@16: 
Chris@16:     template <class Function, class Sequence>
Chris@101:     BOOST_CONSTEXPR BOOST_FUSION_GPU_ENABLED
Chris@16:     inline typename result_of::invoke_function_object<Function,Sequence>::type
Chris@16:     invoke_function_object(Function f, Sequence & s)
Chris@16:     {
Chris@16:         return detail::invoke_function_object_impl<
Chris@16:                 typename boost::remove_reference<Function>::type,Sequence
Chris@16:             >::call(f,s);
Chris@16:     }
Chris@16: 
Chris@16:     template <class Function, class Sequence>
Chris@101:     BOOST_CONSTEXPR BOOST_FUSION_GPU_ENABLED
Chris@16:     inline typename result_of::invoke_function_object<Function,Sequence const>::type
Chris@16:     invoke_function_object(Function f, Sequence const & s)
Chris@16:     {
Chris@16:         return detail::invoke_function_object_impl<
Chris@16:                 typename boost::remove_reference<Function>::type,Sequence const
Chris@16:             >::call(f,s);
Chris@16:     }
Chris@16: 
Chris@16: }}
Chris@16: 
Chris@16: #define BOOST_FUSION_FUNCTIONAL_INVOCATION_INVOKE_FUNCTION_OBJECT_HPP_INCLUDED
Chris@16: #else // defined(BOOST_PP_IS_ITERATING)
Chris@16: ///////////////////////////////////////////////////////////////////////////////
Chris@16: //
Chris@16: //  Preprocessor vertical repetition code
Chris@16: //
Chris@16: ///////////////////////////////////////////////////////////////////////////////
Chris@16: #define N BOOST_PP_ITERATION()
Chris@16: 
Chris@101: #define M(z,j,data)                                                             \
Chris@101:         typename result_of::at_c<Sequence,j>::type
Chris@101: 
Chris@16:         template <class Function, class Sequence>
Chris@101:         struct invoke_function_object_impl<Function,Sequence,N,true,
Chris@101:             typename enabler<
Chris@101:                 typename boost::result_of<Function (BOOST_PP_ENUM(N,M,~)) >::type
Chris@101:             >::type>
Chris@16:         {
Chris@16:         public:
Chris@16: 
Chris@16:             typedef typename boost::result_of<
Chris@16:                 Function (BOOST_PP_ENUM(N,M,~)) >::type result_type;
Chris@16: #undef M
Chris@16: 
Chris@16: #if N > 0
Chris@16: 
Chris@16:             template <class F>
Chris@101:             BOOST_CONSTEXPR BOOST_FUSION_GPU_ENABLED
Chris@16:             static inline result_type
Chris@16:             call(F & f, Sequence & s)
Chris@16:             {
Chris@16: #define M(z,j,data) fusion::at_c<j>(s)
Chris@16:                 return f( BOOST_PP_ENUM(N,M,~) );
Chris@16: #undef M
Chris@16:             }
Chris@16: 
Chris@16: #else
Chris@16: 
Chris@16:             template <class F>
Chris@101:             BOOST_CONSTEXPR BOOST_FUSION_GPU_ENABLED
Chris@16:             static inline result_type
Chris@16:             call(F & f, Sequence & /*s*/)
Chris@16:             {
Chris@16:                 return f();
Chris@16:             }
Chris@16: 
Chris@16: #endif
Chris@16: 
Chris@16:         };
Chris@16: 
Chris@101: #define M(z,j,data)                                                             \
Chris@101:             typename invoke_function_object_param_types<Sequence,N>::T ## j
Chris@101: 
Chris@16:         template <class Function, class Sequence>
Chris@101:         struct invoke_function_object_impl<Function,Sequence,N,false,
Chris@101:             typename enabler<
Chris@101:                 typename boost::result_of<Function (BOOST_PP_ENUM(N,M,~)) >::type
Chris@101:             >::type>
Chris@101: #undef M
Chris@16:         {
Chris@16:         private:
Chris@16:             typedef invoke_function_object_param_types<Sequence,N> seq;
Chris@16:         public:
Chris@16:             typedef typename boost::result_of<
Chris@16:                 Function (BOOST_PP_ENUM_PARAMS(N,typename seq::T))
Chris@16:                 >::type result_type;
Chris@16: 
Chris@16: #if N > 0
Chris@16: 
Chris@16:             template <class F>
Chris@101:             BOOST_CXX14_CONSTEXPR BOOST_FUSION_GPU_ENABLED
Chris@16:             static inline result_type
Chris@16:             call(F & f, Sequence & s)
Chris@16:             {
Chris@16:                 typename seq::I0 i0 = fusion::begin(s);
Chris@16: #define M(z,j,data)                                                             \
Chris@16:             typename seq::I##j i##j =                                          \
Chris@16:                 fusion::next(BOOST_PP_CAT(i,BOOST_PP_DEC(j)));
Chris@16:                 BOOST_PP_REPEAT_FROM_TO(1,N,M,~)
Chris@16: #undef M
Chris@16:                 return f( BOOST_PP_ENUM_PARAMS(N,*i) );
Chris@16:             }
Chris@16: 
Chris@16: #else
Chris@16: 
Chris@16:             template <class F>
Chris@101:             BOOST_CONSTEXPR BOOST_FUSION_GPU_ENABLED
Chris@16:             static inline result_type
Chris@16:             call(F & f, Sequence & /*s*/)
Chris@16:             {
Chris@16:                 return f();
Chris@16:             }
Chris@16: 
Chris@16: #endif
Chris@16: 
Chris@16:         };
Chris@16: 
Chris@16:         template <class Sequence>
Chris@16:         struct invoke_function_object_param_types<Sequence,N>
Chris@16:         {
Chris@16: #if N > 0
Chris@16:             typedef typename result_of::begin<Sequence>::type I0;
Chris@16:             typedef typename result_of::deref<I0>::type T0;
Chris@16: 
Chris@16: #define M(z,i,data)                                                             \
Chris@16:             typedef typename result_of::next<                                  \
Chris@16:                 BOOST_PP_CAT(I,BOOST_PP_DEC(i))>::type I##i;                   \
Chris@16:             typedef typename result_of::deref<I##i>::type T##i;
Chris@16: 
Chris@16:             BOOST_PP_REPEAT_FROM_TO(1,N,M,~)
Chris@16: #undef M
Chris@16: #endif
Chris@16:         };
Chris@16: 
Chris@16: #undef N
Chris@16: #endif // defined(BOOST_PP_IS_ITERATING)
Chris@16: #endif
Chris@16: