// Boost result_of library | |
// Copyright Douglas Gregor 2004. Use, modification and | |
// distribution is 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) | |
// For more information, see http://www.boost.org/libs/utility | |
#ifndef BOOST_RESULT_OF_HPP | |
#define BOOST_RESULT_OF_HPP | |
#include <boost/config.hpp> | |
#include <boost/preprocessor/iteration/iterate.hpp> | |
#include <boost/preprocessor/punctuation/comma_if.hpp> | |
#include <boost/preprocessor/repetition/enum_params.hpp> | |
#include <boost/preprocessor/repetition/enum_shifted_params.hpp> | |
#include <boost/detail/workaround.hpp> | |
#include <boost/mpl/has_xxx.hpp> | |
#include <boost/mpl/if.hpp> | |
#include <boost/mpl/bool.hpp> | |
#include <boost/mpl/or.hpp> | |
#include <boost/type_traits/is_pointer.hpp> | |
#include <boost/type_traits/is_member_function_pointer.hpp> | |
#include <boost/type_traits/remove_cv.hpp> | |
#ifndef BOOST_RESULT_OF_NUM_ARGS | |
# define BOOST_RESULT_OF_NUM_ARGS 10 | |
#endif | |
namespace boost { | |
template<typename F> struct result_of; | |
template<typename F> struct tr1_result_of; // a TR1-style implementation of result_of | |
#if !defined(BOOST_NO_SFINAE) && !defined(BOOST_NO_TEMPLATE_PARTIAL_SPECIALIZATION) | |
namespace detail { | |
BOOST_MPL_HAS_XXX_TRAIT_DEF(result_type) | |
template<typename F, typename FArgs, bool HasResultType> struct tr1_result_of_impl; | |
template<typename F> struct cpp0x_result_of_impl; | |
template<typename F> | |
struct result_of_void_impl | |
{ | |
typedef void type; | |
}; | |
template<typename R> | |
struct result_of_void_impl<R (*)(void)> | |
{ | |
typedef R type; | |
}; | |
template<typename R> | |
struct result_of_void_impl<R (&)(void)> | |
{ | |
typedef R type; | |
}; | |
// Determine the return type of a function pointer or pointer to member. | |
template<typename F, typename FArgs> | |
struct result_of_pointer | |
: tr1_result_of_impl<typename remove_cv<F>::type, FArgs, false> { }; | |
template<typename F, typename FArgs> | |
struct tr1_result_of_impl<F, FArgs, true> | |
{ | |
typedef typename F::result_type type; | |
}; | |
template<typename FArgs> | |
struct is_function_with_no_args : mpl::false_ {}; | |
template<typename F> | |
struct is_function_with_no_args<F(void)> : mpl::true_ {}; | |
template<typename F, typename FArgs> | |
struct result_of_nested_result : F::template result<FArgs> | |
{}; | |
template<typename F, typename FArgs> | |
struct tr1_result_of_impl<F, FArgs, false> | |
: mpl::if_<is_function_with_no_args<FArgs>, | |
result_of_void_impl<F>, | |
result_of_nested_result<F, FArgs> >::type | |
{}; | |
} // end namespace detail | |
#define BOOST_PP_ITERATION_PARAMS_1 (3,(0,BOOST_RESULT_OF_NUM_ARGS,<boost/utility/detail/result_of_iterate.hpp>)) | |
#include BOOST_PP_ITERATE() | |
#else | |
# define BOOST_NO_RESULT_OF 1 | |
#endif | |
} | |
#endif // BOOST_RESULT_OF_HPP |