Chris@16: //////////////////////////////////////////////////////////////////////////////
Chris@16: //
Chris@16: // (C) Copyright Ion Gaztanaga 2010-2012.
Chris@16: // Distributed under the Boost Software License, Version 1.0.
Chris@16: // (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/libs/move for documentation.
Chris@16: //
Chris@16: //////////////////////////////////////////////////////////////////////////////
Chris@16: 
Chris@16: #ifndef BOOST_MOVE_MOVE_HELPERS_HPP
Chris@16: #define BOOST_MOVE_MOVE_HELPERS_HPP
Chris@16: 
Chris@16: #include <boost/move/utility.hpp>
Chris@16: #include <boost/type_traits/is_class.hpp>
Chris@16: #include <boost/move/utility.hpp>
Chris@16: #include <boost/move/traits.hpp>
Chris@16: 
Chris@16: #if defined(BOOST_NO_CXX11_RVALUE_REFERENCES) || (defined(_MSC_VER) && (_MSC_VER == 1600))
Chris@16: #include <boost/type_traits/is_same.hpp>
Chris@16: #include <boost/type_traits/is_class.hpp>
Chris@16: #include <boost/type_traits/is_convertible.hpp>
Chris@16: #include <boost/utility/enable_if.hpp>
Chris@16: #endif
Chris@16: #if defined(BOOST_NO_CXX11_RVALUE_REFERENCES) 
Chris@16: #include <boost/mpl/if.hpp>
Chris@16: #endif
Chris@16: 
Chris@16: 
Chris@16: #if defined(BOOST_NO_CXX11_RVALUE_REFERENCES)
Chris@16: struct not_a_type;
Chris@16: struct not_a_type2;
Chris@16: #define BOOST_MOVE_CATCH_CONST(U)  \
Chris@16:    typename ::boost::mpl::if_< ::boost::is_class<U>, BOOST_CATCH_CONST_RLVALUE(U), const U &>::type
Chris@16: #define BOOST_MOVE_CATCH_RVALUE(U)\
Chris@16:    typename ::boost::mpl::if_< ::boost::is_class<U>, BOOST_RV_REF(U), not_a_type>::type
Chris@16: #define BOOST_MOVE_CATCH_FWD(U) BOOST_FWD_REF(U)
Chris@16: #else
Chris@16: #define BOOST_MOVE_CATCH_CONST(U)  const U &
Chris@16: #define BOOST_MOVE_CATCH_RVALUE(U) U &&
Chris@16: #define BOOST_MOVE_CATCH_FWD(U)    U &&
Chris@16: #endif
Chris@16: 
Chris@16: #ifdef BOOST_NO_CXX11_RVALUE_REFERENCES
Chris@16: #define BOOST_MOVE_CONVERSION_AWARE_CATCH(PUB_FUNCTION, TYPE, RETURN_VALUE, FWD_FUNCTION)\
Chris@16:    RETURN_VALUE PUB_FUNCTION(BOOST_MOVE_CATCH_CONST(TYPE) x)\
Chris@16:    {  return FWD_FUNCTION(static_cast<const TYPE&>(x)); }\
Chris@16: \
Chris@16:    RETURN_VALUE PUB_FUNCTION(BOOST_MOVE_CATCH_RVALUE(TYPE) x) \
Chris@16:    {  return FWD_FUNCTION(::boost::move(x));  }\
Chris@16: \
Chris@16:    RETURN_VALUE PUB_FUNCTION(TYPE &x)\
Chris@16:    {  return FWD_FUNCTION(const_cast<const TYPE &>(x)); }\
Chris@16: \
Chris@16:    template<class BOOST_MOVE_TEMPL_PARAM>\
Chris@16:    typename ::boost::enable_if_c\
Chris@16:                      <  ::boost::is_class<TYPE>::value &&\
Chris@16:                         ::boost::is_same<TYPE, BOOST_MOVE_TEMPL_PARAM>::value &&\
Chris@16:                        !::boost::has_move_emulation_enabled<BOOST_MOVE_TEMPL_PARAM>::value\
Chris@16:                      , RETURN_VALUE >::type\
Chris@16:    PUB_FUNCTION(const BOOST_MOVE_TEMPL_PARAM &u)\
Chris@16:    { return FWD_FUNCTION(u); }\
Chris@16: \
Chris@16:    template<class BOOST_MOVE_TEMPL_PARAM>\
Chris@16:    typename ::boost::enable_if_c\
Chris@16:                      < (!::boost::is_class<BOOST_MOVE_TEMPL_PARAM>::value || \
Chris@16:                         !::boost::move_detail::is_rv<BOOST_MOVE_TEMPL_PARAM>::value) && \
Chris@16:                        !::boost::is_same<TYPE, BOOST_MOVE_TEMPL_PARAM>::value \
Chris@16:                      , RETURN_VALUE >::type\
Chris@16:    PUB_FUNCTION(const BOOST_MOVE_TEMPL_PARAM &u)\
Chris@16:    {\
Chris@16:       TYPE t(u);\
Chris@16:       return FWD_FUNCTION(::boost::move(t));\
Chris@16:    }\
Chris@16: //
Chris@16: //                         ::boost::is_convertible<BOOST_MOVE_TEMPL_PARAM, TYPE>::value &&
Chris@16: #elif (defined(_MSC_VER) && (_MSC_VER == 1600))
Chris@16: 
Chris@16: #define BOOST_MOVE_CONVERSION_AWARE_CATCH(PUB_FUNCTION, TYPE, RETURN_VALUE, FWD_FUNCTION)\
Chris@16:    RETURN_VALUE PUB_FUNCTION(BOOST_MOVE_CATCH_CONST(TYPE) x)\
Chris@16:    {  return FWD_FUNCTION(static_cast<const TYPE&>(x)); }\
Chris@16: \
Chris@16:    RETURN_VALUE PUB_FUNCTION(BOOST_MOVE_CATCH_RVALUE(TYPE) x) \
Chris@16:    {  return FWD_FUNCTION(::boost::move(x));  }\
Chris@16: \
Chris@16:    template<class BOOST_MOVE_TEMPL_PARAM>\
Chris@16:    typename ::boost::enable_if_c\
Chris@16:                      <  !::boost::is_same<TYPE, BOOST_MOVE_TEMPL_PARAM>::value\
Chris@16:                      , RETURN_VALUE >::type\
Chris@16:    PUB_FUNCTION(const BOOST_MOVE_TEMPL_PARAM &u)\
Chris@16:    {\
Chris@16:       TYPE t(u);\
Chris@16:       return FWD_FUNCTION(::boost::move(t));\
Chris@16:    }\
Chris@16: //
Chris@16: 
Chris@16: #else
Chris@16: 
Chris@16: #define BOOST_MOVE_CONVERSION_AWARE_CATCH(PUB_FUNCTION, TYPE, RETURN_VALUE, FWD_FUNCTION)\
Chris@16:    RETURN_VALUE PUB_FUNCTION(BOOST_MOVE_CATCH_CONST(TYPE) x)\
Chris@16:    {  return FWD_FUNCTION(static_cast<const TYPE&>(x)); }\
Chris@16: \
Chris@16:    RETURN_VALUE PUB_FUNCTION(BOOST_MOVE_CATCH_RVALUE(TYPE) x) \
Chris@16:    {  return FWD_FUNCTION(::boost::move(x));  }\
Chris@16: //
Chris@16: 
Chris@16: #endif
Chris@16: 
Chris@16: 
Chris@16: #ifdef BOOST_NO_CXX11_RVALUE_REFERENCES
Chris@16: 
Chris@16: #define BOOST_MOVE_CONVERSION_AWARE_CATCH_1ARG(PUB_FUNCTION, TYPE, RETURN_VALUE, FWD_FUNCTION, ARG1, UNLESS_CONVERTIBLE_TO)\
Chris@16:    RETURN_VALUE PUB_FUNCTION(ARG1 arg1, BOOST_MOVE_CATCH_CONST(TYPE) x)\
Chris@16:    {  return FWD_FUNCTION(arg1, static_cast<const TYPE&>(x)); }\
Chris@16: \
Chris@16:    RETURN_VALUE PUB_FUNCTION(ARG1 arg1, BOOST_MOVE_CATCH_RVALUE(TYPE) x) \
Chris@16:    {  return FWD_FUNCTION(arg1, ::boost::move(x));  }\
Chris@16: \
Chris@16:    RETURN_VALUE PUB_FUNCTION(ARG1 arg1, TYPE &x)\
Chris@16:    {  return FWD_FUNCTION(arg1, const_cast<const TYPE &>(x)); }\
Chris@16: \
Chris@16:    template<class BOOST_MOVE_TEMPL_PARAM>\
Chris@16:    typename ::boost::enable_if_c<\
Chris@16:                         ::boost::is_same<TYPE, BOOST_MOVE_TEMPL_PARAM>::value &&\
Chris@16:                        !::boost::has_move_emulation_enabled<BOOST_MOVE_TEMPL_PARAM>::value\
Chris@16:                      , RETURN_VALUE >::type\
Chris@16:    PUB_FUNCTION(ARG1 arg1, const BOOST_MOVE_TEMPL_PARAM &u)\
Chris@16:    { return FWD_FUNCTION(arg1, u); }\
Chris@16: \
Chris@16:    template<class BOOST_MOVE_TEMPL_PARAM>\
Chris@16:    typename ::boost::enable_if_c<\
Chris@16:                        !::boost::move_detail::is_rv<BOOST_MOVE_TEMPL_PARAM>::value && \
Chris@16:                        !::boost::is_same<TYPE, BOOST_MOVE_TEMPL_PARAM>::value && \
Chris@16:                        !::boost::is_convertible<BOOST_MOVE_TEMPL_PARAM, UNLESS_CONVERTIBLE_TO>::value \
Chris@16:                      , RETURN_VALUE >::type\
Chris@16:    PUB_FUNCTION(ARG1 arg1, const BOOST_MOVE_TEMPL_PARAM &u)\
Chris@16:    {\
Chris@16:       TYPE t(u);\
Chris@16:       return FWD_FUNCTION(arg1, ::boost::move(t));\
Chris@16:    }\
Chris@16: //
Chris@16: 
Chris@16: #elif (defined(_MSC_VER) && (_MSC_VER == 1600))
Chris@16: 
Chris@16: #define BOOST_MOVE_CONVERSION_AWARE_CATCH_1ARG(PUB_FUNCTION, TYPE, RETURN_VALUE, FWD_FUNCTION, ARG1, UNLESS_CONVERTIBLE_TO)\
Chris@16:    RETURN_VALUE PUB_FUNCTION(ARG1 arg1, BOOST_MOVE_CATCH_CONST(TYPE) x)\
Chris@16:    {  return FWD_FUNCTION(arg1, static_cast<const TYPE&>(x)); }\
Chris@16: \
Chris@16:    RETURN_VALUE PUB_FUNCTION(ARG1 arg1, BOOST_MOVE_CATCH_RVALUE(TYPE) x) \
Chris@16:    {  return FWD_FUNCTION(arg1, ::boost::move(x));  }\
Chris@16: \
Chris@16:    template<class BOOST_MOVE_TEMPL_PARAM>\
Chris@16:    typename ::boost::enable_if_c\
Chris@16:                      <  !::boost::is_same<TYPE, BOOST_MOVE_TEMPL_PARAM>::value && \
Chris@16:                        !::boost::is_convertible<BOOST_MOVE_TEMPL_PARAM, UNLESS_CONVERTIBLE_TO>::value \
Chris@16:                      , RETURN_VALUE >::type\
Chris@16:    PUB_FUNCTION(ARG1 arg1, const BOOST_MOVE_TEMPL_PARAM &u)\
Chris@16:    {\
Chris@16:       TYPE t(u);\
Chris@16:       return FWD_FUNCTION(arg1, ::boost::move(t));\
Chris@16:    }\
Chris@16: //
Chris@16: 
Chris@16: #else
Chris@16: 
Chris@16: #define BOOST_MOVE_CONVERSION_AWARE_CATCH_1ARG(PUB_FUNCTION, TYPE, RETURN_VALUE, FWD_FUNCTION, ARG1, UNLESS_CONVERTIBLE_TO)\
Chris@16:    RETURN_VALUE PUB_FUNCTION(ARG1 arg1, BOOST_MOVE_CATCH_CONST(TYPE) x)\
Chris@16:    {  return FWD_FUNCTION(arg1, static_cast<const TYPE&>(x)); }\
Chris@16: \
Chris@16:    RETURN_VALUE PUB_FUNCTION(ARG1 arg1, BOOST_MOVE_CATCH_RVALUE(TYPE) x) \
Chris@16:    {  return FWD_FUNCTION(arg1, ::boost::move(x));  }\
Chris@16: //
Chris@16: 
Chris@16: #endif
Chris@16: 
Chris@16: #endif //#ifndef BOOST_MOVE_MOVE_HELPERS_HPP