summaryrefslogtreecommitdiffstats
path: root/contrib/src/boost/type_traits/is_function.hpp
blob: 8d3fc89fe75ce7dcc012371343ad7f960b153455 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102

//  Copyright 2000 John Maddock (john@johnmaddock.co.uk)

//  Copyright 2002 Aleksey Gurtovoy (agurtovoy@meta-comm.com)

//

//  Use, modification and distribution are 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).

//

//  See http://www.boost.org/libs/type_traits for most recent version including documentation.


#ifndef BOOST_TT_IS_FUNCTION_HPP_INCLUDED

#define BOOST_TT_IS_FUNCTION_HPP_INCLUDED


#include <boost/type_traits/is_reference.hpp>

#include <boost/type_traits/detail/config.hpp>


#if !defined(BOOST_TT_TEST_MS_FUNC_SIGS)

#   include <boost/type_traits/detail/is_function_ptr_helper.hpp>

#else

#   include <boost/type_traits/detail/is_function_ptr_tester.hpp>

#   include <boost/type_traits/detail/yes_no_type.hpp>

#endif


// is a type a function?

// Please note that this implementation is unnecessarily complex:

// we could just use !is_convertible<T*, const volatile void*>::value,

// except that some compilers erroneously allow conversions from

// function pointers to void*.


namespace boost {

#if !defined( __CODEGEARC__ )


namespace detail {

#if !defined(BOOST_TT_TEST_MS_FUNC_SIGS)

template<bool is_ref = true>
struct is_function_chooser
{
   template< typename T > struct result_
      : public false_type {};
};

template <>
struct is_function_chooser<false>
{
    template< typename T > struct result_
        : public ::boost::type_traits::is_function_ptr_helper<T*> {};
};

template <typename T>
struct is_function_impl
    : public is_function_chooser< ::boost::is_reference<T>::value >
        ::BOOST_NESTED_TEMPLATE result_<T>
{
};

#else


template <typename T>
struct is_function_impl
{
#if BOOST_WORKAROUND(BOOST_MSVC_FULL_VER, >= 140050000)

#pragma warning(push)

#pragma warning(disable:6334)

#endif

    static T* t;
    BOOST_STATIC_CONSTANT(
        bool, value = sizeof(::boost::type_traits::is_function_ptr_tester(t))
        == sizeof(::boost::type_traits::yes_type)
        );
#if BOOST_WORKAROUND(BOOST_MSVC_FULL_VER, >= 140050000)

#pragma warning(pop)

#endif

};

template <typename T>
struct is_function_impl<T&> : public false_type
{};
#ifndef BOOST_NO_CXX11_RVALUE_REFERENCES

template <typename T>
struct is_function_impl<T&&> : public false_type
{};
#endif


#endif


} // namespace detail


#endif // !defined( __CODEGEARC__ )


#if defined( __CODEGEARC__ )

template <class T> struct is_function : integral_constant<bool, __is_function(T)> {};
#else

template <class T> struct is_function : integral_constant<bool, ::boost::detail::is_function_impl<T>::value> {};
#ifndef BOOST_NO_CXX11_RVALUE_REFERENCES

template <class T> struct is_function<T&&> : public false_type {};
#endif

#endif

} // namespace boost


#endif // BOOST_TT_IS_FUNCTION_HPP_INCLUDED