boost/boost/type_traits/is_function.hpp

   1
   2 //  Copyright 2000 John Maddock (john@johnmaddock.co.uk)
   3 //  Copyright 2002 Aleksey Gurtovoy (agurtovoy@meta-comm.com)
   4 //
   5 //  Use, modification and distribution are subject to the Boost Software License,
   6 //  Version 1.0. (See accompanying file LICENSE_1_0.txt or copy at
   7 //  http://www.boost.org/LICENSE_1_0.txt).
   8 //
   9 //  See http://www.boost.org/libs/type_traits for most recent version including documentation.
  10
  11 #ifndef BOOST_TT_IS_FUNCTION_HPP_INCLUDED
  12 #define BOOST_TT_IS_FUNCTION_HPP_INCLUDED
  13
  14 #include <boost/type_traits/is_reference.hpp>
  15 #include <boost/type_traits/detail/false_result.hpp>
  16 #include <boost/config.hpp>
  17
  18 #if !defined(BOOST_NO_TEMPLATE_PARTIAL_SPECIALIZATION) && !defined(BOOST_TT_TEST_MS_FUNC_SIGS)
  19 #   include <boost/type_traits/detail/is_function_ptr_helper.hpp>
  20 #else
  21 #   include <boost/type_traits/detail/is_function_ptr_tester.hpp>
  22 #   include <boost/type_traits/detail/yes_no_type.hpp>
  23 #endif
  24
  25 // should be the last #include
  26 #include <boost/type_traits/detail/bool_trait_def.hpp>
  27
  28 // is a type a function?
  29 // Please note that this implementation is unnecessarily complex:
  30 // we could just use !is_convertible<T*, const volatile void*>::value,
  31 // except that some compilers erroneously allow conversions from
  32 // function pointers to void*.
  33
  34 namespace boost {
  35 namespace detail {
  36
  37 #if !defined(BOOST_NO_TEMPLATE_PARTIAL_SPECIALIZATION) && !defined(BOOST_TT_TEST_MS_FUNC_SIGS)
  38 template<bool is_ref = true>
  39 struct is_function_chooser
  40     : ::boost::type_traits::false_result
  41 {
  42 };
  43
  44 template <>
  45 struct is_function_chooser<false>
  46 {
  47     template< typename T > struct result_
  48         : ::boost::type_traits::is_function_ptr_helper<T*>
  49     {
  50     };
  51 };
  52
  53 template <typename T>
  54 struct is_function_impl
  55     : is_function_chooser< ::boost::is_reference<T>::value >
  56         ::BOOST_NESTED_TEMPLATE result_<T>
  57 {
  58 };
  59
  60 #else
  61
  62 template <typename T>
  63 struct is_function_impl
  64 {
  65 #if BOOST_WORKAROUND(_MSC_FULL_VER, >= 140050000)
  66 #pragma warning(push)
  67 #pragma warning(disable:6334)
  68 #endif
  69     static T* t;
  70     BOOST_STATIC_CONSTANT(
  71         bool, value = sizeof(::boost::type_traits::is_function_ptr_tester(t))
  72         == sizeof(::boost::type_traits::yes_type)
  73         );
  74 #if BOOST_WORKAROUND(_MSC_FULL_VER, >= 140050000)
  75 #pragma warning(pop)
  76 #endif
  77 };
  78
  79 #if !defined(BOOST_NO_TEMPLATE_PARTIAL_SPECIALIZATION)
  80 template <typename T>
  81 struct is_function_impl<T&> : public false_type
  82 {};
  83 #endif
  84
  85 #endif
  86
  87 } // namespace detail
  88
  89 BOOST_TT_AUX_BOOL_TRAIT_DEF1(is_function,T,::boost::detail::is_function_impl<T>::value)
  90
  91 } // namespace boost
  92
  93 #include <boost/type_traits/detail/bool_trait_undef.hpp>
  94
  95 #endif // BOOST_TT_IS_FUNCTION_HPP_INCLUDED