| // (C) Copyright Steve Cleary, Beman Dawes, Howard Hinnant & John Maddock 2000. |
| // Permission to copy, use, modify, sell and |
| // distribute this software is granted provided this copyright notice appears |
| // in all copies. This software is provided "as is" without express or implied |
| // warranty, and with no claim as to its suitability for any purpose. |
| // |
| // See http://www.boost.org for most recent version including documentation. |
| // |
| // defines object traits classes: |
| // is_object, is_scalar, is_class, is_compound, is_POD, |
| // has_trivial_constructor, has_trivial_copy, has_trivial_assign, |
| // has_trivial_destructor, is_empty. |
| // |
| |
| #ifndef BOOST_OBJECT_TYPE_TRAITS_HPP |
| #define BOOST_OBJECT_TYPE_TRAITS_HPP |
| |
| #ifndef BOOST_ICE_TYPE_TRAITS_HPP |
| #include <boost/type_traits/ice.hpp> |
| #endif |
| #ifndef BOOST_FWD_TYPE_TRAITS_HPP |
| #include <boost/type_traits/fwd.hpp> |
| #endif |
| #ifndef BOOST_COMPOSITE_TYPE_TRAITS_HPP |
| #include <boost/type_traits/composite_traits.hpp> |
| #endif |
| #ifndef BOOST_ARITHMETIC_TYPE_TRAITS_HPP |
| #include <boost/type_traits/arithmetic_traits.hpp> |
| #endif |
| #ifndef BOOST_FUNCTION_TYPE_TRAITS_HPP |
| #include <boost/type_traits/function_traits.hpp> |
| #endif |
| #ifndef BOOST_TYPE_TRAITS_IS_CLASS_HPP |
| # include <boost/type_traits/is_class.hpp> |
| #endif |
| |
| #ifdef BOOST_HAS_SGI_TYPE_TRAITS |
| # include <type_traits.h> |
| # include <boost/type_traits/same_traits.hpp> |
| #endif |
| |
| namespace boost{ |
| |
| /********************************************** |
| * |
| * is_object |
| * |
| **********************************************/ |
| template <typename T> |
| struct is_object |
| { |
| #ifndef BOOST_NO_TEMPLATE_PARTIAL_SPECIALIZATION |
| BOOST_STATIC_CONSTANT(bool, value = |
| (::boost::type_traits::ice_and< |
| ::boost::type_traits::ice_not< ::boost::is_reference<T>::value>::value, |
| ::boost::type_traits::ice_not< ::boost::is_void<T>::value>::value, |
| ::boost::type_traits::ice_not< ::boost::is_function<T>::value>::value |
| >::value)); |
| #else |
| BOOST_STATIC_CONSTANT(bool, value = |
| (::boost::type_traits::ice_and< |
| ::boost::type_traits::ice_not< ::boost::is_reference<T>::value>::value, |
| ::boost::type_traits::ice_not< ::boost::is_void<T>::value>::value |
| >::value)); |
| #endif |
| }; |
| |
| /********************************************** |
| * |
| * is_scalar |
| * |
| **********************************************/ |
| template <typename T> |
| struct is_scalar |
| { |
| BOOST_STATIC_CONSTANT(bool, value = |
| (::boost::type_traits::ice_or< |
| ::boost::is_arithmetic<T>::value, |
| ::boost::is_enum<T>::value, |
| ::boost::is_pointer<T>::value, |
| ::boost::is_member_pointer<T>::value |
| >::value)); |
| }; |
| |
| # ifndef BOOST_TYPE_TRAITS_IS_CLASS_DEFINED |
| // conforming compilers use the implementation in <boost/type_traits/is_class.hpp> |
| /********************************************** |
| * |
| * is_class |
| * |
| **********************************************/ |
| template <typename T> |
| struct is_class |
| { |
| # ifndef BOOST_NO_TEMPLATE_PARTIAL_SPECIALIZATION |
| |
| BOOST_STATIC_CONSTANT(bool, value = |
| (::boost::type_traits::ice_and< |
| ::boost::type_traits::ice_not< ::boost::is_union<T>::value >::value, |
| ::boost::type_traits::ice_not< ::boost::is_scalar<T>::value >::value, |
| ::boost::type_traits::ice_not< ::boost::is_array<T>::value >::value, |
| ::boost::type_traits::ice_not< ::boost::is_reference<T>::value>::value, |
| ::boost::type_traits::ice_not< ::boost::is_void<T>::value >::value, |
| ::boost::type_traits::ice_not< ::boost::is_function<T>::value >::value |
| >::value)); |
| # else |
| BOOST_STATIC_CONSTANT(bool, value = |
| (::boost::type_traits::ice_and< |
| ::boost::type_traits::ice_not< ::boost::is_union<T>::value >::value, |
| ::boost::type_traits::ice_not< ::boost::is_scalar<T>::value >::value, |
| ::boost::type_traits::ice_not< ::boost::is_array<T>::value >::value, |
| ::boost::type_traits::ice_not< ::boost::is_reference<T>::value>::value, |
| ::boost::type_traits::ice_not< ::boost::is_void<T>::value >::value |
| >::value)); |
| # endif |
| }; |
| # endif // nonconforming implementations |
| /********************************************** |
| * |
| * is_compound |
| * |
| **********************************************/ |
| template <typename T> struct is_compound |
| { |
| BOOST_STATIC_CONSTANT(bool, value = |
| (::boost::type_traits::ice_or< |
| ::boost::is_array<T>::value, |
| ::boost::is_pointer<T>::value, |
| ::boost::is_reference<T>::value, |
| ::boost::is_class<T>::value, |
| ::boost::is_union<T>::value, |
| ::boost::is_enum<T>::value, |
| ::boost::is_member_pointer<T>::value |
| >::value)); |
| }; |
| |
| /********************************************** |
| * |
| * is_POD |
| * |
| **********************************************/ |
| |
| #ifndef BOOST_NO_TEMPLATE_PARTIAL_SPECIALIZATION |
| template <typename T> struct is_POD |
| { |
| BOOST_STATIC_CONSTANT( |
| bool, value = |
| (::boost::type_traits::ice_or< |
| ::boost::is_scalar<T>::value, |
| ::boost::is_void<T>::value, |
| BOOST_IS_POD(T) |
| >::value)); |
| }; |
| |
| template <typename T, std::size_t sz> |
| struct is_POD<T[sz]> |
| { |
| BOOST_STATIC_CONSTANT(bool, value = ::boost::is_POD<T>::value); |
| }; |
| #else |
| namespace detail |
| { |
| template <bool is_array = false> struct is_POD_helper; |
| } |
| |
| template <typename T> struct is_POD |
| { |
| BOOST_STATIC_CONSTANT( |
| bool, value = ( |
| ::boost::detail::is_POD_helper< |
| ::boost::is_array<T>::value |
| >::template apply<T>::value |
| ) |
| ); |
| }; |
| |
| namespace detail |
| { |
| template <bool is_array> |
| struct is_POD_helper |
| { |
| template <typename T> struct apply |
| { |
| BOOST_STATIC_CONSTANT( |
| bool, value = |
| (::boost::type_traits::ice_or< |
| ::boost::is_scalar<T>::value, |
| ::boost::is_void<T>::value, |
| BOOST_IS_POD(T) |
| >::value)); |
| }; |
| }; |
| |
| template <bool b> |
| struct bool_to_type |
| { |
| typedef ::boost::type_traits::no_type type; |
| }; |
| |
| template <> |
| struct bool_to_type<true> |
| { |
| typedef ::boost::type_traits::yes_type type; |
| }; |
| |
| template <class ArrayType> |
| struct is_POD_array_helper |
| { |
| typedef |
| #if !defined(__BORLANDC__) || __BORLANDC__ > 0x551 |
| typename |
| #endif |
| ::boost::detail::bool_to_type<(::boost::is_POD<ArrayType>::value)>::type type; |
| |
| type instance() const; |
| }; |
| |
| template <class T> |
| is_POD_array_helper<T> is_POD_array(T*); |
| |
| template <> |
| struct is_POD_helper<true> |
| { |
| template <typename T> struct apply |
| { |
| static T& help(); |
| |
| BOOST_STATIC_CONSTANT( |
| bool, value = |
| sizeof(is_POD_array(help()).instance()) == sizeof(::boost::type_traits::yes_type)); |
| }; |
| }; |
| } |
| #endif |
| |
| /********************************************** |
| * |
| * has_trivial_constructor |
| * |
| **********************************************/ |
| template <typename T> |
| struct has_trivial_constructor |
| { |
| BOOST_STATIC_CONSTANT(bool, value = |
| (::boost::type_traits::ice_or< |
| ::boost::is_POD<T>::value, |
| BOOST_HAS_TRIVIAL_CONSTRUCTOR(T) |
| >::value)); |
| }; |
| |
| /********************************************** |
| * |
| * has_trivial_copy |
| * |
| **********************************************/ |
| template <typename T> |
| struct has_trivial_copy |
| { |
| BOOST_STATIC_CONSTANT(bool, value = |
| (::boost::type_traits::ice_and< |
| ::boost::type_traits::ice_or< |
| ::boost::is_POD<T>::value, |
| BOOST_HAS_TRIVIAL_COPY(T) |
| >::value, |
| ::boost::type_traits::ice_not< ::boost::is_volatile<T>::value >::value |
| >::value)); |
| }; |
| |
| /********************************************** |
| * |
| * has_trivial_assign |
| * |
| **********************************************/ |
| template <typename T> |
| struct has_trivial_assign |
| { |
| BOOST_STATIC_CONSTANT(bool, value = |
| (::boost::type_traits::ice_and< |
| ::boost::type_traits::ice_or< |
| ::boost::is_POD<T>::value, |
| BOOST_HAS_TRIVIAL_ASSIGN(T) |
| >::value, |
| ::boost::type_traits::ice_not< ::boost::is_const<T>::value >::value, |
| ::boost::type_traits::ice_not< ::boost::is_volatile<T>::value >::value |
| >::value)); |
| }; |
| |
| /********************************************** |
| * |
| * has_trivial_destructor |
| * |
| **********************************************/ |
| template <typename T> |
| struct has_trivial_destructor |
| { |
| BOOST_STATIC_CONSTANT(bool, value = |
| (::boost::type_traits::ice_or< |
| ::boost::is_POD<T>::value, |
| BOOST_HAS_TRIVIAL_DESTRUCTOR(T) |
| >::value)); |
| }; |
| |
| /********************************************** |
| * |
| * has_nothrow_constructor |
| * |
| **********************************************/ |
| template <typename T> |
| struct has_nothrow_constructor |
| { |
| BOOST_STATIC_CONSTANT(bool, value = |
| (::boost::has_trivial_constructor<T>::value)); |
| }; |
| |
| /********************************************** |
| * |
| * has_nothrow_copy |
| * |
| **********************************************/ |
| template <typename T> |
| struct has_nothrow_copy |
| { |
| BOOST_STATIC_CONSTANT(bool, value = |
| (::boost::has_trivial_copy<T>::value)); |
| }; |
| |
| /********************************************** |
| * |
| * has_nothrow_assign |
| * |
| **********************************************/ |
| template <typename T> |
| struct has_nothrow_assign |
| { |
| BOOST_STATIC_CONSTANT(bool, value = |
| (::boost::has_trivial_assign<T>::value)); |
| }; |
| |
| /********************************************** |
| * |
| * is_empty |
| * |
| **********************************************/ |
| #ifndef BOOST_NO_TEMPLATE_PARTIAL_SPECIALIZATION |
| namespace detail |
| { |
| template <typename T> |
| struct empty_helper_t1 : public T |
| { |
| //#ifdef __MWERKS__ |
| empty_helper_t1(); // hh compiler bug workaround |
| //#endif |
| int i[256]; |
| }; |
| struct empty_helper_t2 { int i[256]; }; |
| } |
| |
| # ifndef __BORLANDC__ |
| namespace detail |
| { |
| template <typename T, bool is_a_class = false> |
| struct empty_helper{ BOOST_STATIC_CONSTANT(bool, value = false); }; |
| |
| template <typename T> |
| struct empty_helper<T, true> |
| { |
| BOOST_STATIC_CONSTANT( |
| bool, value = (sizeof(empty_helper_t1<T>) == sizeof(empty_helper_t2))); |
| }; |
| } |
| |
| template <typename T> |
| struct is_empty |
| { |
| private: |
| typedef typename remove_cv<T>::type cvt; |
| |
| public: |
| BOOST_STATIC_CONSTANT( |
| bool, value = ( |
| ::boost::type_traits::ice_or< |
| ::boost::detail::empty_helper<T,::boost::is_class<T>::value>::value |
| , BOOST_IS_EMPTY(cvt) |
| >::value |
| )); |
| }; |
| |
| # else // __BORLANDC__ |
| |
| namespace detail |
| { |
| template <typename T, bool is_a_class, bool convertible_to_int> |
| struct empty_helper{ BOOST_STATIC_CONSTANT(bool, value = false); }; |
| |
| template <typename T> |
| struct empty_helper<T, true, false> |
| { |
| BOOST_STATIC_CONSTANT(bool, value = |
| (sizeof(empty_helper_t1<T>) == sizeof(empty_helper_t2))); |
| }; |
| } |
| |
| template <typename T> |
| struct is_empty |
| { |
| private: |
| typedef typename remove_cv<T>::type cvt; |
| typedef typename add_reference<T>::type r_type; |
| public: |
| BOOST_STATIC_CONSTANT( |
| bool, value = ( |
| ::boost::type_traits::ice_or< |
| ::boost::detail::empty_helper< |
| T |
| , ::boost::is_class<T>::value |
| , ::boost::is_convertible< r_type,int>::value |
| >::value |
| , BOOST_IS_EMPTY(cvt) |
| >::value)); |
| }; |
| # endif // __BORLANDC__ |
| |
| #else // BOOST_NO_TEMPLATE_PARTIAL_SPECIALIZATION |
| #ifdef BOOST_MSVC6_MEMBER_TEMPLATES |
| |
| namespace detail{ |
| |
| template <typename T> |
| struct empty_helper_t1 : public T |
| { |
| empty_helper_t1(); |
| int i[256]; |
| }; |
| struct empty_helper_t2 { int i[256]; }; |
| |
| template <typename T> |
| struct empty_helper_base |
| { |
| enum{ value = (sizeof(empty_helper_t1<T>) == sizeof(empty_helper_t2)) }; |
| }; |
| |
| template <typename T> |
| struct empty_helper_nonbase |
| { |
| enum{ value = false }; |
| }; |
| |
| template <bool base> |
| struct empty_helper_chooser |
| { |
| template <class T> |
| struct rebind |
| { |
| typedef empty_helper_nonbase<T> type; |
| }; |
| }; |
| |
| template <> |
| struct empty_helper_chooser<true> |
| { |
| template <class T> |
| struct rebind |
| { |
| typedef empty_helper_base<T> type; |
| }; |
| }; |
| |
| } // namespace detail |
| |
| template <typename T> |
| struct is_empty |
| { |
| private: |
| typedef ::boost::detail::empty_helper_chooser< |
| ::boost::type_traits::ice_and< |
| ::boost::type_traits::ice_not< |
| ::boost::is_reference<T>::value>::value, |
| ::boost::type_traits::ice_not< |
| ::boost::is_convertible<T,double>::value>::value, |
| ::boost::type_traits::ice_not< |
| ::boost::is_pointer<T>::value>::value, |
| ::boost::type_traits::ice_not< |
| ::boost::is_member_pointer<T>::value>::value, |
| ::boost::type_traits::ice_not< |
| ::boost::is_array<T>::value>::value, |
| ::boost::type_traits::ice_not< |
| ::boost::is_void<T>::value>::value, |
| ::boost::type_traits::ice_not< |
| ::boost::is_convertible<T, const volatile void*>::value>::value |
| >::value> chooser; |
| typedef typename chooser::template rebind<T> bound_type; |
| typedef typename bound_type::type eh_type; |
| public: |
| BOOST_STATIC_CONSTANT(bool, value = |
| (::boost::type_traits::ice_or<eh_type::value, BOOST_IS_EMPTY(T)>::value)); |
| }; |
| |
| #else |
| template <typename T> struct is_empty |
| { enum{ value = BOOST_IS_EMPTY(T) }; }; |
| #endif // BOOST_MSVC6_MEMBER_TEMPLATES |
| |
| #endif // BOOST_NO_TEMPLATE_PARTIAL_SPECIALIZATION |
| |
| /********************************************** |
| * |
| * is_stateless |
| * |
| **********************************************/ |
| template <typename T> |
| struct is_stateless |
| { |
| BOOST_STATIC_CONSTANT(bool, value = |
| (::boost::type_traits::ice_and< |
| ::boost::has_trivial_constructor<T>::value, |
| ::boost::has_trivial_copy<T>::value, |
| ::boost::has_trivial_destructor<T>::value, |
| ::boost::is_class<T>::value, |
| ::boost::is_empty<T>::value |
| >::value)); |
| }; |
| |
| template <class Base, class Derived> |
| struct is_base_and_derived |
| { |
| BOOST_STATIC_CONSTANT(bool, value = |
| (::boost::type_traits::ice_and< |
| ::boost::is_convertible<Derived*,Base*>::value, |
| ::boost::is_class<Derived>::value, |
| ::boost::is_class<Base>::value |
| >::value) |
| ); |
| }; |
| |
| #ifndef BOOST_NO_TEMPLATE_PARTIAL_SPECIALIZATION |
| template <class Base, class Derived> |
| struct is_base_and_derived<Base&, Derived> |
| { |
| BOOST_STATIC_CONSTANT(bool, value = false); |
| }; |
| template <class Base, class Derived> |
| struct is_base_and_derived<Base, Derived&> |
| { |
| BOOST_STATIC_CONSTANT(bool, value = false); |
| }; |
| template <class Base, class Derived> |
| struct is_base_and_derived<Base&, Derived&> |
| { |
| BOOST_STATIC_CONSTANT(bool, value = false); |
| }; |
| #endif |
| |
| } // namespace boost |
| |
| #endif // BOOST_OBJECT_TYPE_TRAITS_HPP |
| |
| |
| |
| |
| |
| |
| |