123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230 |
- //////////////////////////////////////////////////////////////////////////////
- //
- // (C) Copyright Antony Polukhin 2014.
- // (C) Copyright Ion Gaztanaga 2014.
- // 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.
- //
- //////////////////////////////////////////////////////////////////////////////
- #include <boost/move/detail/config_begin.hpp>
- #include <boost/move/utility.hpp>
- #include <boost/core/lightweight_test.hpp>
- #include "../example/movable.hpp"
- #include "../example/copymovable.hpp"
- #include <boost/static_assert.hpp>
- //////////////////////////////////////////////////////////////////////////////
- //A copy_movable_noexcept class
- class copy_movable_noexcept
- {
- BOOST_COPYABLE_AND_MOVABLE(copy_movable_noexcept)
- int value_;
- public:
- copy_movable_noexcept() : value_(1){}
- //Move constructor and assignment
- copy_movable_noexcept(BOOST_RV_REF(copy_movable_noexcept) m)
- { value_ = m.value_; m.value_ = 0; }
- copy_movable_noexcept(const copy_movable_noexcept &m)
- { value_ = m.value_; }
- copy_movable_noexcept & operator=(BOOST_RV_REF(copy_movable_noexcept) m)
- { value_ = m.value_; m.value_ = 0; return *this; }
- copy_movable_noexcept & operator=(BOOST_COPY_ASSIGN_REF(copy_movable_noexcept) m)
- { value_ = m.value_; return *this; }
- bool moved() const //Observer
- { return value_ == 0; }
- };
- namespace boost{
- template<>
- struct has_nothrow_move<copy_movable_noexcept>
- {
- static const bool value = true;
- };
- } //namespace boost{
- //////////////////////////////////////////////////////////////////////////////
- //A movable_throwable class
- class movable_throwable
- {
- BOOST_MOVABLE_BUT_NOT_COPYABLE(movable_throwable)
- int value_;
- public:
- movable_throwable() : value_(1){}
- //Move constructor and assignment
- movable_throwable(BOOST_RV_REF(movable_throwable) m)
- { value_ = m.value_; m.value_ = 0; }
- movable_throwable & operator=(BOOST_RV_REF(movable_throwable) m)
- { value_ = m.value_; m.value_ = 0; return *this; }
- bool moved() const //Observer
- { return !value_; }
- int value() const //Observer
- { return value_; }
- };
- //////////////////////////////////////////////////////////////////////////////
- // Helper functions
- movable function(movable m)
- {
- return movable(boost::move_if_noexcept(m));
- }
- copy_movable function(copy_movable m)
- {
- return copy_movable(boost::move_if_noexcept(m));
- }
- copy_movable_noexcept function(copy_movable_noexcept m)
- {
- return copy_movable_noexcept(boost::move_if_noexcept(m));
- }
- movable_throwable function(movable_throwable m)
- {
- return movable_throwable(boost::move_if_noexcept(m));
- }
- movable functionr(BOOST_RV_REF(movable) m)
- {
- return movable(boost::move_if_noexcept(m));
- }
- movable function2(movable m)
- {
- return boost::move_if_noexcept(m);
- }
- BOOST_RV_REF(movable) function2r(BOOST_RV_REF(movable) m)
- {
- return boost::move_if_noexcept(m);
- }
- movable move_return_function2 ()
- {
- return movable();
- }
- movable move_return_function ()
- {
- movable m;
- return (boost::move_if_noexcept(m));
- }
- #define BOOST_CHECK(x) if (!(x)) { return __LINE__; }
- int main()
- {
- {
- movable m;
- movable m2(boost::move_if_noexcept(m));
- BOOST_CHECK(m.moved());
- movable m3(function(movable(boost::move_if_noexcept(m2))));
- BOOST_CHECK(m2.moved());
- movable m4(function(boost::move_if_noexcept(m3)));
- BOOST_CHECK(m3.moved());
- BOOST_CHECK(!m4.moved());
- }
- {
- movable m;
- movable m2(boost::move_if_noexcept(m));
- BOOST_CHECK(m.moved());
- movable m3(functionr(movable(boost::move_if_noexcept(m2))));
- BOOST_CHECK(m2.moved());
- movable m4(functionr(boost::move_if_noexcept(m3)));
- BOOST_CHECK(m3.moved());
- BOOST_CHECK(!m4.moved());
- }
- {
- movable m;
- movable m2(boost::move_if_noexcept(m));
- BOOST_CHECK(m.moved());
- movable m3(function2(movable(boost::move_if_noexcept(m2))));
- BOOST_CHECK(m2.moved());
- movable m4(function2(boost::move_if_noexcept(m3)));
- BOOST_CHECK(m3.moved());
- BOOST_CHECK(!m4.moved());
- }
- {
- movable m;
- movable m2(boost::move_if_noexcept(m));
- BOOST_CHECK(m.moved());
- movable m3(function2r(movable(boost::move_if_noexcept(m2))));
- BOOST_CHECK(m2.moved());
- movable m4(function2r(boost::move_if_noexcept(m3)));
- BOOST_CHECK(m3.moved());
- BOOST_CHECK(!m4.moved());
- }
- {
- movable m;
- movable m2(boost::move_if_noexcept(m));
- BOOST_CHECK(m.moved());
- BOOST_CHECK(!m2.moved());
- movable m3(move_return_function());
- BOOST_CHECK(!m3.moved());
- }
- {
- movable m;
- movable m2(boost::move_if_noexcept(m));
- BOOST_CHECK(m.moved());
- BOOST_CHECK(!m2.moved());
- movable m3(move_return_function2());
- BOOST_CHECK(!m3.moved());
- }
- // copy_movable may throw during move, so it must be copied
- {
- copy_movable m;
- copy_movable m2(boost::move_if_noexcept(m));
- BOOST_CHECK(!m.moved());
- copy_movable m3(function(copy_movable(boost::move_if_noexcept(m2))));
- BOOST_CHECK(!m2.moved());
- copy_movable m4(function(boost::move_if_noexcept(m3)));
- BOOST_CHECK(!m3.moved());
- BOOST_CHECK(!m4.moved());
- }
- // copy_movable_noexcept can not throw during move
- {
- copy_movable_noexcept m;
- copy_movable_noexcept m2(boost::move_if_noexcept(m));
- BOOST_CHECK(m.moved());
- copy_movable_noexcept m3(function(copy_movable_noexcept(boost::move_if_noexcept(m2))));
- BOOST_CHECK(m2.moved());
- copy_movable_noexcept m4(function(boost::move_if_noexcept(m3)));
- BOOST_CHECK(m3.moved());
- BOOST_CHECK(!m4.moved());
- }
- // movable_throwable can not throw during move but it has no copy constructor
- {
- movable_throwable m;
- movable_throwable m2(boost::move_if_noexcept(m));
- BOOST_CHECK(m.moved());
- movable_throwable m3(function(movable_throwable(boost::move_if_noexcept(m2))));
- BOOST_CHECK(m2.moved());
- movable_throwable m4(function(boost::move_if_noexcept(m3)));
- BOOST_CHECK(m3.moved());
- BOOST_CHECK(!m4.moved());
- }
- return boost::report_errors();
- }
- #include <boost/move/detail/config_end.hpp>
|