Chris@16: // Boost result_of library
Chris@16: 
Chris@16: //  Copyright Douglas Gregor 2004. Use, modification and
Chris@16: //  distribution is subject to the Boost Software License, Version
Chris@16: //  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: //  Copyright Daniel Walker, Eric Niebler, Michel Morin 2008-2012.
Chris@16: //  Use, modification and distribution is subject to the Boost Software
Chris@16: //  License, Version 1.0. (See accompanying file LICENSE_1_0.txt or
Chris@16: //  copy at http://www.boost.org/LICENSE_1_0.txt)
Chris@16: 
Chris@16: // For more information, see http://www.boost.org/libs/utility
Chris@16: #if !defined(BOOST_PP_IS_ITERATING)
Chris@16: # error Boost result_of - do not include this file!
Chris@16: #endif
Chris@16: 
Chris@16: // CWPro8 requires an argument in a function type specialization
Chris@16: #if BOOST_WORKAROUND(__MWERKS__, BOOST_TESTED_AT(0x3002)) && BOOST_PP_ITERATION() == 0
Chris@16: # define BOOST_RESULT_OF_ARGS void
Chris@16: #else
Chris@16: # define BOOST_RESULT_OF_ARGS BOOST_PP_ENUM_PARAMS(BOOST_PP_ITERATION(),T)
Chris@16: #endif
Chris@16: 
Chris@16: #if !BOOST_WORKAROUND(__BORLANDC__, BOOST_TESTED_AT(0x551))
Chris@16: template<typename F BOOST_PP_ENUM_TRAILING_PARAMS(BOOST_PP_ITERATION(),typename T)>
Chris@16: struct tr1_result_of<F(BOOST_RESULT_OF_ARGS)>
Chris@16:     : mpl::if_<
Chris@16:           mpl::or_< is_pointer<F>, is_member_function_pointer<F> >
Chris@16:         , boost::detail::tr1_result_of_impl<
Chris@16:             typename remove_cv<F>::type,
Chris@16:             typename remove_cv<F>::type(BOOST_RESULT_OF_ARGS),
Chris@16:             (boost::detail::has_result_type<F>::value)>
Chris@16:         , boost::detail::tr1_result_of_impl<
Chris@16:             F,
Chris@16:             F(BOOST_RESULT_OF_ARGS),
Chris@16:             (boost::detail::has_result_type<F>::value)> >::type { };
Chris@16: #endif
Chris@16: 
Chris@16: #ifdef BOOST_RESULT_OF_USE_DECLTYPE
Chris@16: template<typename F BOOST_PP_ENUM_TRAILING_PARAMS(BOOST_PP_ITERATION(),typename T)>
Chris@16: struct result_of<F(BOOST_RESULT_OF_ARGS)>
Chris@16:     : detail::cpp0x_result_of<F(BOOST_RESULT_OF_ARGS)> { };
Chris@16: #endif // BOOST_RESULT_OF_USE_DECLTYPE
Chris@16: 
Chris@16: #ifdef BOOST_RESULT_OF_USE_TR1_WITH_DECLTYPE_FALLBACK
Chris@16: template<typename F BOOST_PP_ENUM_TRAILING_PARAMS(BOOST_PP_ITERATION(),typename T)>
Chris@16: struct result_of<F(BOOST_RESULT_OF_ARGS)>
Chris@16:     : mpl::if_<mpl::or_<detail::has_result_type<F>, detail::has_result<F> >,
Chris@16:                tr1_result_of<F(BOOST_RESULT_OF_ARGS)>,
Chris@16:                detail::cpp0x_result_of<F(BOOST_RESULT_OF_ARGS)> >::type { };
Chris@16: #endif // BOOST_RESULT_OF_USE_TR1_WITH_DECLTYPE_FALLBACK
Chris@16: 
Chris@16: #if defined(BOOST_RESULT_OF_USE_DECLTYPE) || defined(BOOST_RESULT_OF_USE_TR1_WITH_DECLTYPE_FALLBACK)
Chris@16: 
Chris@16: namespace detail {
Chris@16: 
Chris@16: template<typename F BOOST_PP_ENUM_TRAILING_PARAMS(BOOST_PP_ITERATION(),typename T)>
Chris@16: struct cpp0x_result_of<F(BOOST_PP_ENUM_PARAMS(BOOST_PP_ITERATION(),T))>
Chris@16:     : mpl::if_<
Chris@16:           is_member_function_pointer<F>
Chris@16:         , detail::tr1_result_of_impl<
Chris@16:             typename remove_cv<F>::type,
Chris@16:             typename remove_cv<F>::type(BOOST_PP_ENUM_PARAMS(BOOST_PP_ITERATION(),T)), false
Chris@16:           >
Chris@16:         , detail::cpp0x_result_of_impl<
Chris@16:               F(BOOST_PP_ENUM_PARAMS(BOOST_PP_ITERATION(),T))
Chris@16:           >
Chris@16:       >::type
Chris@16: {};
Chris@16: 
Chris@16: #ifdef BOOST_NO_SFINAE_EXPR
Chris@16: 
Chris@16: template<typename F>
Chris@16: struct BOOST_PP_CAT(result_of_callable_fun_2_, BOOST_PP_ITERATION());
Chris@16: 
Chris@16: template<typename R BOOST_PP_ENUM_TRAILING_PARAMS(BOOST_PP_ITERATION(), typename T)>
Chris@16: struct BOOST_PP_CAT(result_of_callable_fun_2_, BOOST_PP_ITERATION())<R(BOOST_PP_ENUM_PARAMS(BOOST_PP_ITERATION(), T))> {
Chris@16:     R operator()(BOOST_PP_ENUM_PARAMS(BOOST_PP_ITERATION(), T)) const;
Chris@16:     typedef result_of_private_type const &(*pfn_t)(...);
Chris@16:     operator pfn_t() const volatile;
Chris@16: };
Chris@16: 
Chris@16: template<typename F>
Chris@16: struct BOOST_PP_CAT(result_of_callable_fun_, BOOST_PP_ITERATION());
Chris@16: 
Chris@16: template<typename F>
Chris@16: struct BOOST_PP_CAT(result_of_callable_fun_, BOOST_PP_ITERATION())<F *>
Chris@16:   : BOOST_PP_CAT(result_of_callable_fun_2_, BOOST_PP_ITERATION())<F>
Chris@16: {};
Chris@16: 
Chris@16: template<typename F>
Chris@16: struct BOOST_PP_CAT(result_of_callable_fun_, BOOST_PP_ITERATION())<F &>
Chris@16:   : BOOST_PP_CAT(result_of_callable_fun_2_, BOOST_PP_ITERATION())<F>
Chris@16: {};
Chris@16: 
Chris@16: template<typename F>
Chris@16: struct BOOST_PP_CAT(result_of_select_call_wrapper_type_, BOOST_PP_ITERATION())
Chris@16:   : mpl::eval_if<
Chris@16:         is_class<typename remove_reference<F>::type>,
Chris@16:         result_of_wrap_callable_class<F>,
Chris@16:         mpl::identity<BOOST_PP_CAT(result_of_callable_fun_, BOOST_PP_ITERATION())<typename remove_cv<F>::type> >
Chris@16:     >
Chris@16: {};
Chris@16: 
Chris@16: template<typename F BOOST_PP_ENUM_TRAILING_PARAMS(BOOST_PP_ITERATION(), typename T)>
Chris@16: struct BOOST_PP_CAT(result_of_is_callable_, BOOST_PP_ITERATION()) {
Chris@16:     typedef typename BOOST_PP_CAT(result_of_select_call_wrapper_type_, BOOST_PP_ITERATION())<F>::type wrapper_t;
Chris@16:     static const bool value = (
Chris@16:         sizeof(result_of_no_type) == sizeof(detail::result_of_is_private_type(
Chris@16:             (boost::declval<wrapper_t>()(BOOST_PP_ENUM_BINARY_PARAMS(BOOST_PP_ITERATION(), boost::declval<T, >() BOOST_PP_INTERCEPT)), result_of_weird_type())
Chris@16:         ))
Chris@16:     );
Chris@16:     typedef mpl::bool_<value> type;
Chris@16: };
Chris@16: 
Chris@16: template<typename F BOOST_PP_ENUM_TRAILING_PARAMS(BOOST_PP_ITERATION(),typename T)>
Chris@16: struct cpp0x_result_of_impl<F(BOOST_PP_ENUM_PARAMS(BOOST_PP_ITERATION(),T)), true>
Chris@16:     : lazy_enable_if<
Chris@16:           BOOST_PP_CAT(result_of_is_callable_, BOOST_PP_ITERATION())<F BOOST_PP_ENUM_TRAILING_PARAMS(BOOST_PP_ITERATION(), T)>
Chris@16:         , cpp0x_result_of_impl<F(BOOST_PP_ENUM_PARAMS(BOOST_PP_ITERATION(),T)), false>
Chris@16:       >
Chris@16: {};
Chris@16: 
Chris@16: template<typename F BOOST_PP_ENUM_TRAILING_PARAMS(BOOST_PP_ITERATION(),typename T)>
Chris@16: struct cpp0x_result_of_impl<F(BOOST_PP_ENUM_PARAMS(BOOST_PP_ITERATION(),T)), false>
Chris@16: {
Chris@16:   typedef decltype(
Chris@16:     boost::declval<F>()(
Chris@16:       BOOST_PP_ENUM_BINARY_PARAMS(BOOST_PP_ITERATION(), boost::declval<T, >() BOOST_PP_INTERCEPT)
Chris@16:     )
Chris@16:   ) type;
Chris@16: };
Chris@16: 
Chris@16: #else // BOOST_NO_SFINAE_EXPR
Chris@16: 
Chris@16: template<typename F BOOST_PP_ENUM_TRAILING_PARAMS(BOOST_PP_ITERATION(),typename T)>
Chris@16: struct cpp0x_result_of_impl<F(BOOST_PP_ENUM_PARAMS(BOOST_PP_ITERATION(),T)),
Chris@16:                             typename result_of_always_void<decltype(
Chris@16:                                 boost::declval<F>()(
Chris@16:                                     BOOST_PP_ENUM_BINARY_PARAMS(BOOST_PP_ITERATION(), boost::declval<T, >() BOOST_PP_INTERCEPT)
Chris@16:                                 )
Chris@16:                             )>::type> {
Chris@16:   typedef decltype(
Chris@16:     boost::declval<F>()(
Chris@16:       BOOST_PP_ENUM_BINARY_PARAMS(BOOST_PP_ITERATION(), boost::declval<T, >() BOOST_PP_INTERCEPT)
Chris@16:     )
Chris@16:   ) type;
Chris@16: };
Chris@16: 
Chris@16: #endif // BOOST_NO_SFINAE_EXPR
Chris@16: 
Chris@16: } // namespace detail
Chris@16: 
Chris@16: #else // defined(BOOST_RESULT_OF_USE_DECLTYPE) || defined(BOOST_RESULT_OF_USE_TR1_WITH_DECLTYPE_FALLBACK)
Chris@16: 
Chris@16: #if !BOOST_WORKAROUND(__BORLANDC__, BOOST_TESTED_AT(0x551))
Chris@16: template<typename F BOOST_PP_ENUM_TRAILING_PARAMS(BOOST_PP_ITERATION(),typename T)>
Chris@16: struct result_of<F(BOOST_RESULT_OF_ARGS)>
Chris@16:     : tr1_result_of<F(BOOST_RESULT_OF_ARGS)> { };
Chris@16: #endif
Chris@16: 
Chris@16: #endif // defined(BOOST_RESULT_OF_USE_DECLTYPE)
Chris@16: 
Chris@16: #undef BOOST_RESULT_OF_ARGS
Chris@16: 
Chris@16: #if BOOST_PP_ITERATION() >= 1
Chris@16: 
Chris@16: namespace detail {
Chris@16: 
Chris@16: template<typename R,  typename FArgs BOOST_PP_ENUM_TRAILING_PARAMS(BOOST_PP_ITERATION(),typename T)>
Chris@16: struct tr1_result_of_impl<R (*)(BOOST_PP_ENUM_PARAMS(BOOST_PP_ITERATION(),T)), FArgs, false>
Chris@16: {
Chris@16:   typedef R type;
Chris@16: };
Chris@16: 
Chris@16: template<typename R,  typename FArgs BOOST_PP_ENUM_TRAILING_PARAMS(BOOST_PP_ITERATION(),typename T)>
Chris@16: struct tr1_result_of_impl<R (&)(BOOST_PP_ENUM_PARAMS(BOOST_PP_ITERATION(),T)), FArgs, false>
Chris@16: {
Chris@16:   typedef R type;
Chris@16: };
Chris@16: 
Chris@16: #if !BOOST_WORKAROUND(__BORLANDC__, BOOST_TESTED_AT(0x551))
Chris@16: template<typename R, typename FArgs BOOST_PP_ENUM_TRAILING_PARAMS(BOOST_PP_ITERATION(),typename T)>
Chris@16: struct tr1_result_of_impl<R (T0::*)
Chris@16:                      (BOOST_PP_ENUM_SHIFTED_PARAMS(BOOST_PP_ITERATION(),T)),
Chris@16:                  FArgs, false>
Chris@16: {
Chris@16:   typedef R type;
Chris@16: };
Chris@16: 
Chris@16: template<typename R, typename FArgs BOOST_PP_ENUM_TRAILING_PARAMS(BOOST_PP_ITERATION(),typename T)>
Chris@16: struct tr1_result_of_impl<R (T0::*)
Chris@16:                      (BOOST_PP_ENUM_SHIFTED_PARAMS(BOOST_PP_ITERATION(),T))
Chris@16:                      const,
Chris@16:                  FArgs, false>
Chris@16: {
Chris@16:   typedef R type;
Chris@16: };
Chris@16: 
Chris@16: template<typename R, typename FArgs BOOST_PP_ENUM_TRAILING_PARAMS(BOOST_PP_ITERATION(),typename T)>
Chris@16: struct tr1_result_of_impl<R (T0::*)
Chris@16:                      (BOOST_PP_ENUM_SHIFTED_PARAMS(BOOST_PP_ITERATION(),T))
Chris@16:                      volatile,
Chris@16:                  FArgs, false>
Chris@16: {
Chris@16:   typedef R type;
Chris@16: };
Chris@16: 
Chris@16: template<typename R, typename FArgs BOOST_PP_ENUM_TRAILING_PARAMS(BOOST_PP_ITERATION(),typename T)>
Chris@16: struct tr1_result_of_impl<R (T0::*)
Chris@16:                      (BOOST_PP_ENUM_SHIFTED_PARAMS(BOOST_PP_ITERATION(),T))
Chris@16:                      const volatile,
Chris@16:                  FArgs, false>
Chris@16: {
Chris@16:   typedef R type;
Chris@16: };
Chris@16: #endif
Chris@16: 
Chris@16: }
Chris@16: #endif