123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122 |
- // (C) Copyright John Maddock 2000.
- // 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_POLYMORPHIC_HPP
- #define BOOST_TT_IS_POLYMORPHIC_HPP
- #include <boost/type_traits/intrinsics.hpp>
- #include <boost/type_traits/integral_constant.hpp>
- #ifndef BOOST_IS_POLYMORPHIC
- #include <boost/type_traits/is_class.hpp>
- #endif
- #include <boost/detail/workaround.hpp>
- #if defined(BOOST_MSVC) && (BOOST_MSVC >= 1700)
- #pragma warning(push)
- #pragma warning(disable:4250)
- #endif
- namespace boost{
- #ifndef BOOST_IS_POLYMORPHIC
- namespace detail{
- template <class T>
- struct is_polymorphic_imp1
- {
- # if BOOST_WORKAROUND(__MWERKS__, <= 0x2407) // CWPro7 should return false always.
- typedef char d1, (&d2)[2];
- # else
- struct d1 : public T
- {
- d1();
- # if !defined(__GNUC__) // this raises warnings with some classes, and buys nothing with GCC
- ~d1()throw();
- # endif
- char padding[256];
- private:
- // keep some picky compilers happy:
- d1(const d1&);
- d1& operator=(const d1&);
- };
- struct d2 : public T
- {
- d2();
- virtual ~d2()throw();
- # if !defined(BOOST_MSVC) && !defined(__ICL)
- // for some reason this messes up VC++ when T has virtual bases,
- // probably likewise for compilers that use the same ABI:
- struct unique{};
- virtual void unique_name_to_boost5487629(unique*);
- # endif
- char padding[256];
- private:
- // keep some picky compilers happy:
- d2(const d2&);
- d2& operator=(const d2&);
- };
- # endif
- BOOST_STATIC_CONSTANT(bool, value = (sizeof(d2) == sizeof(d1)));
- };
- template <class T> struct is_polymorphic_imp1<T const> : public is_polymorphic_imp1<T>{};
- template <class T> struct is_polymorphic_imp1<T const volatile> : public is_polymorphic_imp1<T>{};
- template <class T> struct is_polymorphic_imp1<T volatile> : public is_polymorphic_imp1<T>{};
- template <class T>
- struct is_polymorphic_imp2
- {
- BOOST_STATIC_CONSTANT(bool, value = false);
- };
- template <bool is_class>
- struct is_polymorphic_selector
- {
- template <class T>
- struct rebind
- {
- typedef is_polymorphic_imp2<T> type;
- };
- };
- template <>
- struct is_polymorphic_selector<true>
- {
- template <class T>
- struct rebind
- {
- typedef is_polymorphic_imp1<T> type;
- };
- };
- template <class T>
- struct is_polymorphic_imp
- {
- typedef is_polymorphic_selector< ::boost::is_class<T>::value> selector;
- typedef typename selector::template rebind<T> binder;
- typedef typename binder::type imp_type;
- BOOST_STATIC_CONSTANT(bool, value = imp_type::value);
- };
- } // namespace detail
- template <class T> struct is_polymorphic : public integral_constant<bool, ::boost::detail::is_polymorphic_imp<T>::value> {};
- #else // BOOST_IS_POLYMORPHIC
- template <class T> struct is_polymorphic : public integral_constant<bool, BOOST_IS_POLYMORPHIC(T)> {};
- #endif
- } // namespace boost
- #if defined(BOOST_MSVC) && (BOOST_MSVC >= 1700)
- #pragma warning(pop)
- #endif
- #endif
|