Chris@16: #ifndef BOOST_SERIALIZATION_BASE_OBJECT_HPP
Chris@16: #define BOOST_SERIALIZATION_BASE_OBJECT_HPP
Chris@16: 
Chris@16: // MS compatible compilers support #pragma once
Chris@101: #if defined(_MSC_VER)
Chris@16: # pragma once
Chris@16: #endif
Chris@16: 
Chris@16: /////////1/////////2/////////3/////////4/////////5/////////6/////////7/////////8
Chris@16: // base_object.hpp:
Chris@16: 
Chris@16: // (C) Copyright 2002 Robert Ramey - http://www.rrsd.com . 
Chris@16: // Use, modification and distribution is subject to the Boost Software
Chris@16: // License, Version 1.0. (See accompanying file LICENSE_1_0.txt or copy at
Chris@16: // http://www.boost.org/LICENSE_1_0.txt)
Chris@16: 
Chris@16: //  See http://www.boost.org for updates, documentation, and revision history.
Chris@16: 
Chris@16: // if no archive headers have been included this is a no op
Chris@16: // this is to permit BOOST_EXPORT etc to be included in a 
Chris@16: // file declaration header
Chris@16: 
Chris@16: #include <boost/config.hpp>
Chris@16: #include <boost/detail/workaround.hpp>
Chris@16: 
Chris@16: #include <boost/mpl/eval_if.hpp>
Chris@16: #include <boost/mpl/int.hpp>
Chris@16: #include <boost/mpl/bool.hpp>
Chris@16: #include <boost/mpl/identity.hpp>
Chris@16: 
Chris@16: #include <boost/type_traits/is_base_and_derived.hpp>
Chris@16: #include <boost/type_traits/is_pointer.hpp>
Chris@16: #include <boost/type_traits/is_const.hpp>
Chris@16: #include <boost/type_traits/is_polymorphic.hpp>
Chris@16: 
Chris@16: #include <boost/static_assert.hpp>
Chris@16: #include <boost/serialization/access.hpp>
Chris@16: #include <boost/serialization/force_include.hpp>
Chris@16: #include <boost/serialization/void_cast_fwd.hpp>
Chris@16: 
Chris@16: namespace boost {
Chris@16: namespace serialization {
Chris@16: 
Chris@16: namespace detail
Chris@16: {
Chris@16:     // get the base type for a given derived type
Chris@16:     // preserving the const-ness
Chris@16:     template<class B, class D>
Chris@16:     struct base_cast
Chris@16:     {
Chris@101:         typedef typename
Chris@16:         mpl::if_<
Chris@16:             is_const<D>,
Chris@16:             const B,
Chris@16:             B
Chris@16:         >::type type;
Chris@16:         BOOST_STATIC_ASSERT(is_const<type>::value == is_const<D>::value);
Chris@16:     };
Chris@16: 
Chris@16:     // only register void casts if the types are polymorphic
Chris@16:     template<class Base, class Derived>
Chris@16:     struct base_register
Chris@16:     {
Chris@16:         struct polymorphic {
Chris@16:             static void const * invoke(){
Chris@16:                 Base const * const b = 0;
Chris@16:                 Derived const * const d = 0;
Chris@16:                 return & void_cast_register(d, b);
Chris@16:             }
Chris@16:         };
Chris@16:         struct non_polymorphic {
Chris@16:             static void const * invoke(){
Chris@16:                 return 0;
Chris@16:             }
Chris@16:         };
Chris@16:         static void const * invoke(){
Chris@101:             typedef typename mpl::eval_if<
Chris@16:                 is_polymorphic<Base>,
Chris@16:                 mpl::identity<polymorphic>,
Chris@16:                 mpl::identity<non_polymorphic>
Chris@16:             >::type type;
Chris@16:             return type::invoke();
Chris@16:         }
Chris@16:     };
Chris@16: 
Chris@16: } // namespace detail
Chris@16: #if defined(__BORLANDC__) && __BORLANDC__ < 0x610
Chris@16: template<class Base, class Derived>
Chris@16: const Base & 
Chris@16: base_object(const Derived & d)
Chris@16: {
Chris@16:     BOOST_STATIC_ASSERT(! is_pointer<Derived>::value);
Chris@16:     detail::base_register<Base, Derived>::invoke();
Chris@16:     return access::cast_reference<const Base, Derived>(d);
Chris@16: }
Chris@16: #else
Chris@16: template<class Base, class Derived>
Chris@101: typename detail::base_cast<Base, Derived>::type & 
Chris@16: base_object(Derived &d)
Chris@16: {
Chris@16:     BOOST_STATIC_ASSERT(( is_base_and_derived<Base,Derived>::value));
Chris@16:     BOOST_STATIC_ASSERT(! is_pointer<Derived>::value);
Chris@101:     typedef typename detail::base_cast<Base, Derived>::type type;
Chris@16:     detail::base_register<type, Derived>::invoke();
Chris@16:     return access::cast_reference<type, Derived>(d);
Chris@16: }
Chris@16: #endif
Chris@16: 
Chris@16: } // namespace serialization
Chris@16: } // namespace boost
Chris@16: 
Chris@16: #endif // BOOST_SERIALIZATION_BASE_OBJECT_HPP