projects / ceph.git / blame
| Commit | Line | Data |
|---|---|---|
| 7c673cae FG |
1 | |
| 2 | // Copyright (C) 2009-2012 Lorenzo Caminiti | |
| 3 | // Distributed under the Boost Software License, Version 1.0 | |
| 4 | // (see accompanying file LICENSE_1_0.txt or a copy at | |
| 5 | // http://www.boost.org/LICENSE_1_0.txt) | |
| 6 | // Home at http://www.boost.org/libs/functional/overloaded_function | |
| 7 | ||
| 8 | #ifndef BOOST_FUNCTIONAL_OVERLOADED_FUNCTION_DETAIL_FUNCTION_TYPE_HPP_ | |
| 9 | #define BOOST_FUNCTIONAL_OVERLOADED_FUNCTION_DETAIL_FUNCTION_TYPE_HPP_ | |
| 10 | ||
| 11 | #include <boost/function_types/is_function.hpp> | |
| 12 | #include <boost/function_types/is_function_pointer.hpp> | |
| 13 | #include <boost/function_types/is_function_reference.hpp> | |
| 14 | #include <boost/function_types/function_type.hpp> | |
| 15 | #include <boost/function_types/parameter_types.hpp> | |
| 16 | #include <boost/function_types/result_type.hpp> | |
| 17 | #include <boost/type_traits/remove_pointer.hpp> | |
| 18 | #include <boost/type_traits/remove_reference.hpp> | |
| 19 | #include <boost/function.hpp> | |
| 20 | #include <boost/mpl/if.hpp> | |
| 21 | #include <boost/mpl/identity.hpp> | |
| 22 | #include <boost/mpl/pop_front.hpp> | |
| 23 | #include <boost/mpl/push_front.hpp> | |
| 24 | #include <boost/typeof/typeof.hpp> | |
| 25 | ||
| 26 | // Do not use namespace ::detail because overloaded_function is already a class. | |
| 27 | namespace boost { namespace overloaded_function_detail { | |
| 28 | ||
| 29 | // Requires: F is a monomorphic functor (i.e., has non-template `operator()`). | |
| 30 | // Returns: F's function type `result_type (arg1_type, arg2_type, ...)`. | |
| 31 | // It does not assume F typedef result_type, arg1_type, ... but needs typeof. | |
| 32 | template<typename F> | |
| 33 | class functor_type { | |
| 34 | // NOTE: clang does not accept extra parenthesis `&(...)`. | |
| 35 | typedef BOOST_TYPEOF_TPL(&F::operator()) call_ptr; | |
| 36 | public: | |
| 37 | typedef | |
| 38 | typename boost::function_types::function_type< | |
| 39 | typename boost::mpl::push_front< | |
| 40 | typename boost::mpl::pop_front< // Remove functor type (1st). | |
| 41 | typename boost::function_types::parameter_types< | |
| 42 | call_ptr>::type | |
| 43 | >::type | |
| 44 | , typename boost::function_types::result_type<call_ptr>::type | |
| 45 | >::type | |
| 46 | >::type | |
| 47 | type; | |
| 48 | }; | |
| 49 | ||
| 50 | // NOTE: When using boost::function in Boost.Typeof emulation mode, the user | |
| 51 | // has to register boost::functionN instead of boost::function in oder to | |
| 52 | // do TYPEOF(F::operator()). That is confusing, so boost::function is handled | |
| 53 | // separately so it does not require any Boost.Typeof registration at all. | |
| 54 | template<typename F> | |
| 55 | struct functor_type< boost::function<F> > { | |
| 56 | typedef F type; | |
| 57 | }; | |
| 58 | ||
| 59 | // Requires: F is a function type, pointer, reference, or monomorphic functor. | |
| 60 | // Returns: F's function type `result_type (arg1_type, arg2_type, ...)`. | |
| 61 | template<typename F> | |
| 62 | struct function_type { | |
| 63 | typedef | |
| 64 | typename boost::mpl::if_<boost::function_types::is_function<F>, | |
| 65 | boost::mpl::identity<F> | |
| 66 | , | |
| 67 | typename boost::mpl::if_<boost::function_types:: | |
| 68 | is_function_pointer<F>, | |
| 69 | boost::remove_pointer<F> | |
| 70 | , | |
| 71 | typename boost::mpl::if_<boost::function_types:: | |
| 72 | is_function_reference<F>, | |
| 73 | boost::remove_reference<F> | |
| 74 | , // Else, requires that F is a functor. | |
| 75 | functor_type<F> | |
| 76 | >::type | |
| 77 | >::type | |
| 78 | >::type | |
| 79 | ::type type; | |
| 80 | }; | |
| 81 | ||
| 82 | } } // namespace | |
| 83 | ||
| 84 | #endif // #include guard | |
| 85 |