123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195 |
- // Copyright David Abrahams 2002.
- // Distributed under 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)
- #ifndef INDIRECT_TRAITS_DWA2002131_HPP
- # define INDIRECT_TRAITS_DWA2002131_HPP
- # include <boost/type_traits/integral_constant.hpp>
- # include <boost/type_traits/is_function.hpp>
- # include <boost/type_traits/is_reference.hpp>
- # include <boost/type_traits/is_pointer.hpp>
- # include <boost/type_traits/is_class.hpp>
- # include <boost/type_traits/is_const.hpp>
- # include <boost/type_traits/is_volatile.hpp>
- # include <boost/type_traits/is_member_function_pointer.hpp>
- # include <boost/type_traits/is_member_pointer.hpp>
- # include <boost/type_traits/remove_cv.hpp>
- # include <boost/type_traits/remove_reference.hpp>
- # include <boost/type_traits/remove_pointer.hpp>
- # include <boost/detail/workaround.hpp>
- # include <boost/detail/select_type.hpp>
- namespace boost { namespace detail {
- namespace indirect_traits {
- template <class T>
- struct is_reference_to_const : boost::false_type
- {
- };
- template <class T>
- struct is_reference_to_const<T const&> : boost::true_type
- {
- };
- # if defined(BOOST_MSVC) && _MSC_FULL_VER <= 13102140 // vc7.01 alpha workaround
- template<class T>
- struct is_reference_to_const<T const volatile&> : boost::true_type
- {
- };
- # endif
- template <class T>
- struct is_reference_to_function : boost::false_type
- {
- };
- template <class T>
- struct is_reference_to_function<T&> : is_function<T>
- {
- };
- template <class T>
- struct is_pointer_to_function : boost::false_type
- {
- };
- // There's no such thing as a pointer-to-cv-function, so we don't need
- // specializations for those
- template <class T>
- struct is_pointer_to_function<T*> : is_function<T>
- {
- };
- template <class T>
- struct is_reference_to_member_function_pointer_impl : boost::false_type
- {
- };
- template <class T>
- struct is_reference_to_member_function_pointer_impl<T&>
- : is_member_function_pointer<typename remove_cv<T>::type>
- {
- };
- template <class T>
- struct is_reference_to_member_function_pointer
- : is_reference_to_member_function_pointer_impl<T>
- {
- };
- template <class T>
- struct is_reference_to_function_pointer_aux
- : boost::integral_constant<bool,
- is_reference<T>::value &&
- is_pointer_to_function<
- typename remove_cv<
- typename remove_reference<T>::type
- >::type
- >::value
- >
- {
- // There's no such thing as a pointer-to-cv-function, so we don't need specializations for those
- };
- template <class T>
- struct is_reference_to_function_pointer
- : boost::detail::if_true<
- is_reference_to_function<T>::value
- >::template then<
- boost::false_type
- , is_reference_to_function_pointer_aux<T>
- >::type
- {
- };
- template <class T>
- struct is_reference_to_non_const
- : boost::integral_constant<bool,
- is_reference<T>::value &&
- !is_reference_to_const<T>::value
- >
- {
- };
- template <class T>
- struct is_reference_to_volatile : boost::false_type
- {
- };
- template <class T>
- struct is_reference_to_volatile<T volatile&> : boost::true_type
- {
- };
- # if defined(BOOST_MSVC) && _MSC_FULL_VER <= 13102140 // vc7.01 alpha workaround
- template <class T>
- struct is_reference_to_volatile<T const volatile&> : boost::true_type
- {
- };
- # endif
- template <class T>
- struct is_reference_to_pointer : boost::false_type
- {
- };
- template <class T>
- struct is_reference_to_pointer<T*&> : boost::true_type
- {
- };
- template <class T>
- struct is_reference_to_pointer<T* const&> : boost::true_type
- {
- };
- template <class T>
- struct is_reference_to_pointer<T* volatile&> : boost::true_type
- {
- };
- template <class T>
- struct is_reference_to_pointer<T* const volatile&> : boost::true_type
- {
- };
- template <class T>
- struct is_reference_to_class
- : boost::integral_constant<bool,
- is_reference<T>::value &&
- is_class<
- typename remove_cv<
- typename remove_reference<T>::type
- >::type
- >::value
- >
- {
- };
- template <class T>
- struct is_pointer_to_class
- : boost::integral_constant<bool,
- is_pointer<T>::value &&
- is_class<
- typename remove_cv<
- typename remove_pointer<T>::type
- >::type
- >::value
- >
- {
- };
- }
- using namespace indirect_traits;
- }} // namespace boost::python::detail
- #endif // INDIRECT_TRAITS_DWA2002131_HPP
|