123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194 |
- //////////////////////////////////////////////////////////////////////////////
- //
- // (C) Copyright Ion Gaztanaga 2012-2012.
- // 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)
- //
- // See http://www.boost.org/libs/move for documentation.
- //
- //////////////////////////////////////////////////////////////////////////////
- //! \file
- #ifndef BOOST_MOVE_MOVE_UTILITY_HPP
- #define BOOST_MOVE_MOVE_UTILITY_HPP
- #include <boost/move/detail/config_begin.hpp>
- #include <boost/move/core.hpp>
- #include <boost/move/detail/meta_utils.hpp>
- #if defined(BOOST_NO_CXX11_RVALUE_REFERENCES) && !defined(BOOST_MOVE_DOXYGEN_INVOKED)
- namespace boost {
- template<class T>
- struct enable_move_utility_emulation
- {
- static const bool value = true;
- };
-
- //////////////////////////////////////////////////////////////////////////////
- //
- // move()
- //
- //////////////////////////////////////////////////////////////////////////////
- template <class T>
- inline typename ::boost::move_detail::enable_if_c
- < enable_move_utility_emulation<T>::value && !has_move_emulation_enabled<T>::value, T&>::type
- move(T& x) BOOST_NOEXCEPT
- {
- return x;
- }
- template <class T>
- inline typename ::boost::move_detail::enable_if_c
- < enable_move_utility_emulation<T>::value && has_move_emulation_enabled<T>::value, rv<T>&>::type
- move(T& x) BOOST_NOEXCEPT
- {
- return *static_cast<rv<T>* >(::boost::move_detail::addressof(x));
- }
- template <class T>
- inline typename ::boost::move_detail::enable_if_c
- < enable_move_utility_emulation<T>::value && has_move_emulation_enabled<T>::value, rv<T>&>::type
- move(rv<T>& x) BOOST_NOEXCEPT
- {
- return x;
- }
- //////////////////////////////////////////////////////////////////////////////
- //
- // forward()
- //
- //////////////////////////////////////////////////////////////////////////////
- template <class T>
- inline typename ::boost::move_detail::enable_if_c
- < enable_move_utility_emulation<T>::value && ::boost::move_detail::is_rv<T>::value, T &>::type
- forward(const typename ::boost::move_detail::identity<T>::type &x) BOOST_NOEXCEPT
- {
- return const_cast<T&>(x);
- }
- template <class T>
- inline typename ::boost::move_detail::enable_if_c
- < enable_move_utility_emulation<T>::value && !::boost::move_detail::is_rv<T>::value, const T &>::type
- forward(const typename ::boost::move_detail::identity<T>::type &x) BOOST_NOEXCEPT
- {
- return x;
- }
- } //namespace boost
- #else //#if defined(BOOST_NO_CXX11_RVALUE_REFERENCES) && !defined(BOOST_MOVE_DOXYGEN_INVOKED)
- #if defined(BOOST_MOVE_USE_STANDARD_LIBRARY_MOVE)
- #include <utility>
- namespace boost{
- using ::std::move;
- using ::std::forward;
- } //namespace boost
- #else //!BOOST_MOVE_USE_STANDARD_LIBRARY_MOVE
- #include <boost/type_traits/remove_reference.hpp>
- namespace boost {
- //! This trait's internal boolean `value` is false in compilers with rvalue references
- //! and true in compilers without rvalue references.
- //!
- //! A user can specialize this trait for a type T to false to SFINAE out `move` and `forward`
- //! so that the user can define a different move emulation for that type in namespace boost
- //! (e.g. another Boost library for its types) and avoid any overload ambiguity.
- template<class T>
- struct enable_move_utility_emulation
- {
- static const bool value = false;
- };
- //////////////////////////////////////////////////////////////////////////////
- //
- // move
- //
- //////////////////////////////////////////////////////////////////////////////
- #if defined(BOOST_MOVE_DOXYGEN_INVOKED)
- //! This function provides a way to convert a reference into a rvalue reference
- //! in compilers with rvalue references. For other compilers converts T & into
- //! <i>::boost::rv<T> &</i> so that move emulation is activated.
- template <class T>
- rvalue_reference move(input_reference) noexcept;
- #elif defined(BOOST_MOVE_OLD_RVALUE_REF_BINDING_RULES)
- //Old move approach, lvalues could bind to rvalue references
- template <class T>
- inline typename remove_reference<T>::type && move(T&& t) BOOST_NOEXCEPT
- { return t; }
- #else //BOOST_MOVE_OLD_RVALUE_REF_BINDING_RULES
- template <class T>
- inline typename remove_reference<T>::type && move(T&& t) BOOST_NOEXCEPT
- { return static_cast<typename remove_reference<T>::type &&>(t); }
- #endif //BOOST_MOVE_OLD_RVALUE_REF_BINDING_RULES
- //////////////////////////////////////////////////////////////////////////////
- //
- // forward
- //
- //////////////////////////////////////////////////////////////////////////////
- #if defined(BOOST_MOVE_DOXYGEN_INVOKED)
- //! This function provides limited form of forwarding that is usually enough for
- //! in-place construction and avoids the exponential overloading for
- //! achieve the limited forwarding in C++03.
- //!
- //! For compilers with rvalue references this function provides perfect forwarding.
- //!
- //! Otherwise:
- //! * If input_reference binds to const ::boost::rv<T> & then it output_reference is
- //! ::boost::rv<T> &
- //!
- //! * Else, output_reference is equal to input_reference.
- template <class T> output_reference forward(input_reference) noexcept;
- #elif defined(BOOST_MOVE_OLD_RVALUE_REF_BINDING_RULES)
- //Old move approach, lvalues could bind to rvalue references
- template <class T>
- inline T&& forward(typename ::boost::move_detail::identity<T>::type&& t) BOOST_NOEXCEPT
- { return t; }
- #else //Old move
- //Implementation #5 from N2951, thanks to Howard Hinnant
- template <class T, class U>
- inline T&& forward(U&& t
- , typename ::boost::move_detail::enable_if_c<
- move_detail::is_lvalue_reference<T>::value ? move_detail::is_lvalue_reference<U>::value : true>::type * = 0/*
- , typename ::boost::move_detail::enable_if_c<
- move_detail::is_convertible
- <typename remove_reference<U>::type*, typename remove_reference<T>::type*>::value>::type * = 0*/) BOOST_NOEXCEPT
- { return static_cast<T&&>(t); }
- #endif //BOOST_MOVE_DOXYGEN_INVOKED
- } //namespace boost {
- #endif //#if defined(BOOST_MOVE_USE_STANDARD_LIBRARY_MOVE)
- #endif //BOOST_NO_CXX11_RVALUE_REFERENCES
- #include <boost/move/detail/config_end.hpp>
- #endif //#ifndef BOOST_MOVE_MOVE_UTILITY_HPP
|