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
  36 #if !defined( __CODEGEARC__ )
  37
  38 namespace detail {
  39
  40 #if !defined(BOOST_NO_TEMPLATE_PARTIAL_SPECIALIZATION) && !defined(BOOST_TT_TEST_MS_FUNC_SIGS)
  41 template<bool is_ref = true>
  42 struct is_function_chooser
  43     : public ::boost::type_traits::false_result
  44 {
  45 };
  46
  47 template <>
  48 struct is_function_chooser<false>
  49 {
  50     template< typename T > struct result_
  51         : public ::boost::type_traits::is_function_ptr_helper<T*>
  52     {
  53     };
  54 };
  55
  56 template <typename T>
  57 struct is_function_impl
  58     : public is_function_chooser< ::boost::is_reference<T>::value >
  59         ::BOOST_NESTED_TEMPLATE result_<T>
  60 {
  61 };
  62
  63 #else
  64
  65 template <typename T>
  66 struct is_function_impl
  67 {
  68 #if BOOST_WORKAROUND(BOOST_MSVC_FULL_VER, >= 140050000)
  69 #pragma warning(push)
  70 #pragma warning(disable:6334)
  71 #endif
  72     static T* t;
  73     BOOST_STATIC_CONSTANT(
  74         bool, value = sizeof(::boost::type_traits::is_function_ptr_tester(t))
  75         == sizeof(::boost::type_traits::yes_type)
  76         );
  77 #if BOOST_WORKAROUND(BOOST_MSVC_FULL_VER, >= 140050000)
  78 #pragma warning(pop)
  79 #endif
  80 };
  81
  82 #if !defined(BOOST_NO_TEMPLATE_PARTIAL_SPECIALIZATION)
  83 template <typename T>
  84 struct is_function_impl<T&> : public false_type
  85 {};
  86 #ifndef BOOST_NO_CXX11_RVALUE_REFERENCES
  87 template <typename T>
  88 struct is_function_impl<T&&> : public false_type
  89 {};
  90 #endif
  91 #endif
  92
  93 #endif
  94
  95 } // namespace detail
  96
  97 #endif // !defined( __CODEGEARC__ )
  98
  99 #if defined( __CODEGEARC__ )
 100 BOOST_TT_AUX_BOOL_TRAIT_DEF1(is_function,T,__is_function(T))
 101 #else
 102 BOOST_TT_AUX_BOOL_TRAIT_DEF1(is_function,T,::boost::detail::is_function_impl<T>::value)
 103 #ifndef BOOST_NO_CXX11_RVALUE_REFERENCES
 104 BOOST_TT_AUX_BOOL_TRAIT_PARTIAL_SPEC1_1(typename T,is_function,T&&,false)
 105 #endif
 106 #endif
 107 } // namespace boost
 108
 109 #include <boost/type_traits/detail/bool_trait_undef.hpp>
 110
 111 #endif // BOOST_TT_IS_FUNCTION_HPP_INCLUDED