sl@0: #ifndef BOOST_SMART_CAST_HPP
sl@0: #define BOOST_SMART_CAST_HPP
sl@0: 
sl@0: // MS compatible compilers support #pragma once
sl@0: #if defined(_MSC_VER) && (_MSC_VER >= 1020)
sl@0: # pragma once
sl@0: #endif
sl@0: 
sl@0: /////////1/////////2/////////3/////////4/////////5/////////6/////////7/////////8
sl@0: // smart_cast.hpp:
sl@0: 
sl@0: // (C) Copyright 2002 Robert Ramey - http://www.rrsd.com . 
sl@0: // Use, modification and distribution is subject to the Boost Software
sl@0: // License, Version 1.0. (See accompanying file LICENSE_1_0.txt or copy at
sl@0: // http://www.boost.org/LICENSE_1_0.txt)
sl@0: 
sl@0: //  See http://www.boost.org for updates, documentation, and revision history.
sl@0: 
sl@0: // casting of pointers and references.  
sl@0: 
sl@0: // In casting between different C++ classes, there are a number of
sl@0: // rules that have to be kept in mind in deciding whether to use
sl@0: // static_cast or dynamic_cast.  
sl@0: 
sl@0: // a) dynamic casting can only be applied when one of the types is polymorphic
sl@0: // Otherwise static_cast must be used.
sl@0: // b) only dynamic casting can do runtime error checking
sl@0: // use of static_cast is generally un checked even when compiled for debug
sl@0: // c) static_cast would be considered faster than dynamic_cast.
sl@0: 
sl@0: // If casting is applied to a template parameter, there is no apriori way
sl@0: // to know which of the two casting methods will be permitted or convenient.
sl@0: 
sl@0: // smart_cast uses C++ type_traits, and program debug mode to select the
sl@0: // most convenient cast to use.
sl@0: 
sl@0: #include <exception>
sl@0: #include <typeinfo>
sl@0: 
sl@0: #include <boost/config.hpp>
sl@0: #include <boost/static_assert.hpp>
sl@0: 
sl@0: #include <boost/type_traits/is_base_and_derived.hpp>
sl@0: #include <boost/type_traits/is_polymorphic.hpp>
sl@0: #include <boost/type_traits/is_pointer.hpp>
sl@0: #include <boost/type_traits/is_reference.hpp>
sl@0: #include <boost/type_traits/is_same.hpp>
sl@0: #include <boost/type_traits/remove_pointer.hpp>
sl@0: #include <boost/type_traits/remove_reference.hpp>
sl@0: 
sl@0: #include <boost/mpl/eval_if.hpp>
sl@0: #include <boost/mpl/if.hpp>
sl@0: #include <boost/mpl/or.hpp>
sl@0: #include <boost/mpl/and.hpp>
sl@0: #include <boost/mpl/not.hpp>
sl@0: #include <boost/mpl/identity.hpp>
sl@0: 
sl@0: namespace boost {
sl@0: namespace smart_cast_impl {
sl@0: 
sl@0:     template<class T>
sl@0:     struct reference {
sl@0: 
sl@0:         struct polymorphic {
sl@0: 
sl@0:             struct linear {
sl@0:                 template<class U>
sl@0:                  static T cast(U & u){
sl@0:                     return static_cast<T>(u);
sl@0:                 }
sl@0:             };
sl@0: 
sl@0:             struct cross {
sl@0:                  template<class U>
sl@0:                 static T cast(U & u){
sl@0:                     return dynamic_cast<T>(u);
sl@0:                 }
sl@0:             };
sl@0: 
sl@0:             template<class U>
sl@0:             static T cast(U & u){
sl@0:                 // if we're in debug mode
sl@0:                 #if ! defined(NDEBUG)                               \
sl@0:                 || defined(__BORLANDC__) && (__BORLANDC__ <= 0x560) \
sl@0:                 || defined(__MWERKS__)
sl@0:                     // do a checked dynamic cast
sl@0:                     return cross::cast(u);
sl@0:                 #else
sl@0:                     // borland 5.51 chokes here so we can't use it
sl@0:                     // note: if remove_reference isn't function for these types
sl@0:                     // cross casting will be selected this will work but will
sl@0:                     // not be the most efficient method. This will conflict with
sl@0:                     // the original smart_cast motivation.
sl@0:                     typedef BOOST_DEDUCED_TYPENAME mpl::eval_if<
sl@0:                             BOOST_DEDUCED_TYPENAME mpl::and_<
sl@0:                                 mpl::not_<is_base_and_derived<
sl@0:                                     BOOST_DEDUCED_TYPENAME remove_reference<T>::type,
sl@0:                                     U
sl@0:                                 > >,
sl@0:                                 mpl::not_<is_base_and_derived<
sl@0:                                     U,
sl@0:                                     BOOST_DEDUCED_TYPENAME remove_reference<T>::type
sl@0:                                 > >
sl@0:                             >,
sl@0:                             // borland chokes w/o full qualification here
sl@0:                             mpl::identity<cross>,
sl@0:                             mpl::identity<linear>
sl@0:                     >::type typex;
sl@0:                     // typex works around gcc 2.95 issue
sl@0:                     return typex::cast(u);
sl@0:                 #endif
sl@0:             }
sl@0:         };
sl@0: 
sl@0:         struct non_polymorphic {
sl@0:             template<class U>
sl@0:              static T cast(U & u){
sl@0:                 return static_cast<T>(u);
sl@0:             }
sl@0:         };
sl@0:         template<class U>
sl@0:         static T cast(U & u){
sl@0:             #if defined(__BORLANDC__)
sl@0:                 return mpl::eval_if<
sl@0:                     boost::is_polymorphic<U>,
sl@0:                     mpl::identity<polymorphic>,
sl@0:                     mpl::identity<non_polymorphic>
sl@0:                 >::type::cast(u);
sl@0:             #else
sl@0:                 typedef BOOST_DEDUCED_TYPENAME mpl::eval_if<
sl@0:                     boost::is_polymorphic<U>,
sl@0:                     mpl::identity<polymorphic>,
sl@0:                     mpl::identity<non_polymorphic>
sl@0:                 >::type typex;
sl@0:                 return typex::cast(u);
sl@0:             #endif
sl@0:         }
sl@0:     };
sl@0: 
sl@0:     template<class T>
sl@0:     struct pointer {
sl@0: 
sl@0:         struct polymorphic {
sl@0:             // unfortunately, this below fails to work for virtual base 
sl@0:             // classes.  need has_virtual_base to do this.
sl@0:             // Subject for further study
sl@0:             #if 0
sl@0:             struct linear {
sl@0:                 template<class U>
sl@0:                  static T cast(U * u){
sl@0:                     return static_cast<T>(u);
sl@0:                 }
sl@0:             };
sl@0: 
sl@0:             struct cross {
sl@0:                 template<class U>
sl@0:                 static T cast(U * u){
sl@0:                     T tmp = dynamic_cast<T>(u);
sl@0:                     #ifndef NDEBUG
sl@0:                         if ( tmp == 0 ) throw std::bad_cast();
sl@0:                     #endif
sl@0:                     return tmp;
sl@0:                 }
sl@0:             };
sl@0: 
sl@0:             template<class U>
sl@0:             static T cast(U * u){
sl@0:                 // if we're in debug mode
sl@0:                 #if ! defined(NDEBUG) || defined(__BORLANDC__) && (__BORLANDC__ <= 0x560)
sl@0:                     // do a checked dynamic cast
sl@0:                     return cross::cast(u);
sl@0:                 #else
sl@0:                     // borland 5.51 chokes here so we can't use it
sl@0:                     // note: if remove_pointer isn't function for these types
sl@0:                     // cross casting will be selected this will work but will
sl@0:                     // not be the most efficient method. This will conflict with
sl@0:                     // the original smart_cast motivation.
sl@0:                     typedef
sl@0:                         BOOST_DEDUCED_TYPENAME mpl::eval_if<
sl@0:                             BOOST_DEDUCED_TYPENAME mpl::and_<
sl@0:                                 mpl::not_<is_base_and_derived<
sl@0:                                     BOOST_DEDUCED_TYPENAME remove_pointer<T>::type,
sl@0:                                     U
sl@0:                                 > >,
sl@0:                                 mpl::not_<is_base_and_derived<
sl@0:                                     U,
sl@0:                                     BOOST_DEDUCED_TYPENAME remove_pointer<T>::type
sl@0:                                 > >
sl@0:                             >,
sl@0:                             // borland chokes w/o full qualification here
sl@0:                             mpl::identity<cross>,
sl@0:                             mpl::identity<linear>
sl@0:                         >::type typex;
sl@0:                     return typex::cast(u);
sl@0:                 #endif
sl@0:             }
sl@0:             #else
sl@0:             template<class U>
sl@0:             static T cast(U * u){
sl@0:                 T tmp = dynamic_cast<T>(u);
sl@0:                 #ifndef NDEBUG
sl@0:                     if ( tmp == 0 ) throw std::bad_cast();
sl@0:                 #endif
sl@0:                 return tmp;
sl@0:             }
sl@0:             #endif
sl@0:         };
sl@0: 
sl@0:         struct non_polymorphic {
sl@0:             template<class U>
sl@0:              static T cast(U * u){
sl@0:                 return static_cast<T>(u);
sl@0:             }
sl@0:         };
sl@0: 
sl@0:         template<class U>
sl@0:         static T cast(U * u){
sl@0:             #if defined(__BORLANDC__)
sl@0:                 return mpl::eval_if<
sl@0:                     boost::is_polymorphic<U>,
sl@0:                     mpl::identity<polymorphic>,
sl@0:                     mpl::identity<non_polymorphic>
sl@0:                 >::type::cast(u);
sl@0:             #else
sl@0:                 typedef BOOST_DEDUCED_TYPENAME mpl::eval_if<
sl@0:                     boost::is_polymorphic<U>,
sl@0:                     mpl::identity<polymorphic>,
sl@0:                     mpl::identity<non_polymorphic>
sl@0:                 >::type typex;
sl@0:                 return typex::cast(u);
sl@0:             #endif
sl@0:         }
sl@0: 
sl@0:     };
sl@0: 
sl@0:     template<class TPtr>
sl@0:     struct void_pointer {
sl@0:         template<class UPtr>
sl@0:         static TPtr cast(UPtr uptr){
sl@0:             return static_cast<TPtr>(uptr);
sl@0:         }
sl@0:     };
sl@0: 
sl@0:     template<class T>
sl@0:     struct error {
sl@0:         // if we get here, its because we are using one argument in the
sl@0:         // cast on a system which doesn't support partial template 
sl@0:         // specialization
sl@0:         template<class U>
sl@0:         static T cast(U u){
sl@0:             BOOST_STATIC_ASSERT(sizeof(T)==0);
sl@0:             return * static_cast<T *>(NULL);
sl@0:         }
sl@0:     };
sl@0: 
sl@0: } // smart_cast_impl
sl@0: 
sl@0: // this implements:
sl@0: // smart_cast<Target *, Source *>(Source * s)
sl@0: // smart_cast<Target &, Source &>(s)
sl@0: // note that it will fail with
sl@0: // smart_cast<Target &>(s)
sl@0: template<class T, class U>
sl@0: T smart_cast(U u) {
sl@0:     typedef
sl@0:         BOOST_DEDUCED_TYPENAME mpl::eval_if<
sl@0:             BOOST_DEDUCED_TYPENAME mpl::or_<
sl@0:                 boost::is_same<void *, U>,
sl@0:                 boost::is_same<void *, T>,
sl@0:                 boost::is_same<const void *, U>,
sl@0:                 boost::is_same<const void *, T>
sl@0:             >,
sl@0:             mpl::identity<smart_cast_impl::void_pointer<T> >,
sl@0:         // else
sl@0:         BOOST_DEDUCED_TYPENAME mpl::eval_if<boost::is_pointer<U>,
sl@0:             mpl::identity<smart_cast_impl::pointer<T> >,
sl@0:         // else
sl@0:         BOOST_DEDUCED_TYPENAME mpl::eval_if<boost::is_reference<U>,
sl@0:             mpl::identity<smart_cast_impl::reference<T> >,
sl@0:         // else
sl@0:             mpl::identity<smart_cast_impl::error<T>
sl@0:         >
sl@0:         >
sl@0:         >
sl@0:         >::type typex;
sl@0:     return typex::cast(u);
sl@0: }
sl@0: 
sl@0: // this implements:
sl@0: // smart_cast_reference<Target &>(Source & s)
sl@0: template<class T, class U>
sl@0: T smart_cast_reference(U & u) {
sl@0:     return smart_cast_impl::reference<T>::cast(u);
sl@0: }
sl@0: 
sl@0: } // namespace boost
sl@0: 
sl@0: #endif // BOOST_SMART_CAST_HPP