123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150 |
- #ifndef BOOST_TT_IS_ABSTRACT_CLASS_HPP
- #define BOOST_TT_IS_ABSTRACT_CLASS_HPP
- #if defined(_MSC_VER)
- # pragma once
- #endif
- /////////1/////////2/////////3/////////4/////////5/////////6/////////7/////////8
- // is_abstract_class.hpp:
- //
- // (C) Copyright 2002 Rani Sharoni (rani_sharoni@hotmail.com) and Robert Ramey
- // Use, modification and distribution is 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 for updates, documentation, and revision history.
- //
- // Compile type discovery whether given type is abstract class or not.
- //
- // Requires DR 337 to be supported by compiler
- // (http://www.open-std.org/jtc1/sc22/wg21/docs/cwg_active.html#337).
- //
- //
- // Believed (Jan 2004) to work on:
- // - GCC 3.4
- // - VC++ 7.1
- // - compilers with new EDG frontend (Intel C++ 7, Comeau 4.3.2)
- //
- // Doesn't work on:
- // - VC++6, VC++7.0 and less
- // - GCC 3.3.X and less
- // - Borland C++ 6 and less
- //
- //
- // History:
- // - Originally written by Rani Sharoni, see
- // http://groups.google.com/groups?selm=df893da6.0207110613.75b2fe90%40posting.google.com
- // At this time supported by EDG (Intel C++ 7, Comeau 4.3.2) and VC7.1.
- // - Adapted and added into Boost.Serialization library by Robert Ramey
- // (starting with submission #10).
- // - Jan 2004: GCC 3.4 fixed to support DR337 (Giovanni Bajo).
- // - Jan 2004: modified to be part of Boost.TypeTraits (Pavel Vozenilek).
- // - Nov 2004: Christoph Ludwig found that the implementation did not work with
- // template types and gcc-3.4 or VC7.1, fix due to Christoph Ludwig
- // and John Maddock.
- // - Dec 2004: Added new config macro BOOST_NO_IS_ABSTRACT which causes the template
- // to degrade gracefully, rather than trash the compiler (John Maddock).
- //
- #include <cstddef> // size_t
- #include <boost/type_traits/intrinsics.hpp>
- #include <boost/type_traits/integral_constant.hpp>
- #ifndef BOOST_IS_ABSTRACT
- #include <boost/static_assert.hpp>
- #include <boost/type_traits/detail/yes_no_type.hpp>
- #include <boost/type_traits/is_class.hpp>
- #ifdef BOOST_NO_IS_ABSTRACT
- #include <boost/type_traits/is_polymorphic.hpp>
- #endif
- #endif
- namespace boost {
- namespace detail{
- #ifdef BOOST_IS_ABSTRACT
- template <class T>
- struct is_abstract_imp
- {
- BOOST_STATIC_CONSTANT(bool, value = BOOST_IS_ABSTRACT(T));
- };
- #elif !defined(BOOST_NO_IS_ABSTRACT)
- template<class T>
- struct is_abstract_imp2
- {
- // Deduction fails if T is void, function type,
- // reference type (14.8.2/2)or an abstract class type
- // according to review status issue #337
- //
- template<class U>
- static type_traits::no_type check_sig(U (*)[1]);
- template<class U>
- static type_traits::yes_type check_sig(...);
- //
- // T must be a complete type, further if T is a template then
- // it must be instantiated in order for us to get the right answer:
- //
- BOOST_STATIC_ASSERT(sizeof(T) != 0);
- // GCC2 won't even parse this template if we embed the computation
- // of s1 in the computation of value.
- #ifdef __GNUC__
- BOOST_STATIC_CONSTANT(std::size_t, s1 = sizeof(is_abstract_imp2<T>::template check_sig<T>(0)));
- #else
- #if BOOST_WORKAROUND(BOOST_MSVC_FULL_VER, >= 140050000)
- #pragma warning(push)
- #pragma warning(disable:6334)
- #endif
- BOOST_STATIC_CONSTANT(std::size_t, s1 = sizeof(check_sig<T>(0)));
- #if BOOST_WORKAROUND(BOOST_MSVC_FULL_VER, >= 140050000)
- #pragma warning(pop)
- #endif
- #endif
-
- BOOST_STATIC_CONSTANT(bool, value =
- (s1 == sizeof(type_traits::yes_type)));
- };
- template <bool v>
- struct is_abstract_select
- {
- template <class T>
- struct rebind
- {
- typedef is_abstract_imp2<T> type;
- };
- };
- template <>
- struct is_abstract_select<false>
- {
- template <class T>
- struct rebind
- {
- typedef false_type type;
- };
- };
- template <class T>
- struct is_abstract_imp
- {
- typedef is_abstract_select< ::boost::is_class<T>::value> selector;
- typedef typename selector::template rebind<T> binder;
- typedef typename binder::type type;
- BOOST_STATIC_CONSTANT(bool, value = type::value);
- };
- #endif
- }
- #ifndef BOOST_NO_IS_ABSTRACT
- template <class T> struct is_abstract : public integral_constant<bool, ::boost::detail::is_abstract_imp<T>::value> {};
- #else
- template <class T> struct is_abstract : public integral_constant<bool, ::boost::detail::is_polymorphic_imp<T>::value> {};
- #endif
- } // namespace boost
- #endif //BOOST_TT_IS_ABSTRACT_CLASS_HPP
|