| // Boost.Bimap |
| // |
| // Copyright (c) 2006-2007 Matias Capeletto |
| // |
| // Distributed under 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) |
| |
| /// \file relation/detail/mutant.hpp |
| /// \brief Mutate functions to extract views of mutant classes. |
| |
| #ifndef BOOST_BIMAP_RELATION_DETAIL_MUTANT_HPP |
| #define BOOST_BIMAP_RELATION_DETAIL_MUTANT_HPP |
| |
| #if defined(_MSC_VER) && (_MSC_VER>=1200) |
| #pragma once |
| #endif |
| |
| #include <boost/config.hpp> |
| |
| #include <boost/bimap/detail/debug/static_error.hpp> |
| #include <boost/mpl/contains.hpp> |
| #include <boost/mpl/assert.hpp> |
| #include <boost/utility.hpp> |
| #include <boost/static_assert.hpp> |
| #include <boost/type_traits/is_const.hpp> |
| #include <boost/mpl/not.hpp> |
| #include <boost/utility/enable_if.hpp> |
| |
| namespace boost { |
| namespace bimaps { |
| namespace relation { |
| |
| /// \brief Relation details, mutant idiom and symmetrical metafunctions builders. |
| |
| namespace detail { |
| |
| //@{ |
| /// \brief Converts a mutant class to a view with zero overhead. |
| /** |
| |
| This function is a safe wrapper around reinterpret_cast. It checks at |
| compile time that the desired view is supported by the mutant class. |
| See also mutant, can_mutate_in. |
| \ingroup mutant_group |
| **/ |
| |
| |
| template< class View, class Type > |
| BOOST_DEDUCED_TYPENAME enable_if< mpl::not_< is_const< Type > >, |
| |
| View& |
| |
| >::type mutate( Type & m ) |
| { |
| BOOST_MPL_ASSERT(( |
| ::boost::mpl::contains<BOOST_DEDUCED_TYPENAME Type::mutant_views,View> |
| )); |
| return *reinterpret_cast< View* >(boost::addressof(m)); |
| } |
| |
| template< class View, class Type > |
| BOOST_DEDUCED_TYPENAME enable_if< is_const< Type >, |
| |
| const View& |
| |
| >::type mutate( Type & m ) |
| { |
| BOOST_MPL_ASSERT(( |
| ::boost::mpl::contains<BOOST_DEDUCED_TYPENAME Type::mutant_views,View> |
| )); |
| return *reinterpret_cast< const View* >(boost::addressof(m)); |
| } |
| |
| //@} |
| |
| } // namespace detail |
| } // namespace relation |
| } // namespace bimaps |
| } // namespace boost |
| |
| #endif // BOOST_BIMAP_RELATION_DETAIL_MUTANT_HPP |
| |