123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297 |
- //===----------------------------------------------------------------------===//
- //
- // The LLVM Compiler Infrastructure
- //
- // This file is dual licensed under the MIT and the University of Illinois Open
- // Source Licenses. See LICENSE.TXT for details.
- //
- //===----------------------------------------------------------------------===//
- // Copyright (C) 2011,2014 Vicente J. Botet Escriba
- //
- // 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)
- // <boost/thread/future.hpp>
- // class promise<R>
- // void promise::set_value(R&& r);
- #define BOOST_THREAD_VERSION 3
- #include <boost/thread/future.hpp>
- #include <boost/detail/lightweight_test.hpp>
- #include <boost/static_assert.hpp>
- struct A
- {
- A() :
- value(0)
- {
- }
- A(int i) :
- value(i)
- {
- }
- BOOST_THREAD_MOVABLE_ONLY(A)
- A(BOOST_THREAD_RV_REF(A) rhs)
- {
- if(rhs.value==0)
- throw 9;
- else
- {
- value=rhs.value;
- rhs.value=0;
- }
- }
- A& operator=(BOOST_THREAD_RV_REF(A) rhs)
- {
- if(rhs.value==0)
- throw 9;
- else
- {
- value=rhs.value;
- rhs.value=0;
- }
- return *this;
- }
- int value;
- };
- A make(int i) {
- return A(i);
- }
- struct movable2
- {
- int value_;
- BOOST_THREAD_MOVABLE_ONLY(movable2)
- movable2() : value_(1){}
- movable2(int i) : value_(i){}
- //Move constructor and assignment
- movable2(BOOST_RV_REF(movable2) m)
- { value_ = m.value_; m.value_ = 0; }
- movable2 & operator=(BOOST_THREAD_RV_REF(movable2) m)
- { value_ = m.value_; m.value_ = 0; return *this; }
- bool moved() const //Observer
- { return !value_; }
- int value() const //Observer
- { return value_; }
- };
- movable2 move_return_function2(int i) {
- return movable2(i);
- }
- int main()
- {
- #if defined BOOST_NO_CXX11_RVALUE_REFERENCES
- BOOST_STATIC_ASSERT((boost::is_copy_constructible<movable2>::value == false));
- BOOST_STATIC_ASSERT((boost::has_move_emulation_enabled<movable2>::value == true));
- BOOST_STATIC_ASSERT((boost::is_copy_constructible<A>::value == false));
- BOOST_STATIC_ASSERT((boost::has_move_emulation_enabled<A>::value == true));
- #endif
- {
- typedef A T;
- T i;
- boost::promise<T> p;
- boost::future<T> f = p.get_future();
- try
- {
- p.set_value(boost::move(i));
- BOOST_TEST(false);
- }
- catch (int j)
- {
- BOOST_TEST(j == 9);
- }
- catch (...)
- {
- BOOST_TEST(false);
- }
- }
- {
- typedef A T;
- T i;
- boost::promise<T> p;
- boost::future<T> f = p.get_future();
- try
- {
- p.set_value_deferred(boost::move(i));
- BOOST_TEST(!f.is_ready());
- p.notify_deferred();
- BOOST_TEST(false);
- }
- catch (int j)
- {
- BOOST_TEST(j == 9);
- }
- catch (...)
- {
- BOOST_TEST(false);
- }
- }
- {
- typedef A T;
- T i;
- boost::promise<T> p;
- boost::future<T> f = p.get_future();
- try
- {
- p.set_value((T()));
- BOOST_TEST(false);
- }
- catch (int j)
- {
- BOOST_TEST(j == 9);
- }
- catch (...)
- {
- BOOST_TEST(false);
- }
- }
- {
- typedef A T;
- T i;
- boost::promise<T> p;
- boost::future<T> f = p.get_future();
- try
- {
- p.set_value_deferred((T()));
- BOOST_TEST(false);
- }
- catch (int j)
- {
- BOOST_TEST(j == 9);
- }
- catch (...)
- {
- BOOST_TEST(false);
- }
- }
- {
- typedef A T;
- T i(3);
- boost::promise<T> p;
- boost::future<T> f = p.get_future();
- p.set_value(boost::move(i));
- BOOST_TEST(f.get().value == 3);
- try
- {
- T j(3);
- p.set_value(boost::move(j));
- BOOST_TEST(false);
- }
- catch (const boost::future_error& e)
- {
- BOOST_TEST(e.code() == boost::system::make_error_code(boost::future_errc::promise_already_satisfied));
- }
- catch (...)
- {
- BOOST_TEST(false);
- }
- }
- {
- movable2 i(3);
- boost::promise<movable2> p;
- boost::future<movable2> f = p.get_future();
- p.set_value(move_return_function2(3));
- BOOST_TEST(f.get().value_ == 3);
- try
- {
- movable2 j(3);
- p.set_value(boost::move(j));
- BOOST_TEST(false);
- }
- catch (const boost::future_error& e)
- {
- BOOST_TEST(e.code() == boost::system::make_error_code(boost::future_errc::promise_already_satisfied));
- }
- catch (...)
- {
- BOOST_TEST(false);
- }
- }
- {
- boost::promise<A> p;
- boost::future<A> f = p.get_future();
- p.set_value(make(3));
- BOOST_TEST(f.get().value == 3);
- try
- {
- A j(3);
- p.set_value(boost::move(j));
- BOOST_TEST(false);
- }
- catch (const boost::future_error& e)
- {
- BOOST_TEST(e.code() == boost::system::make_error_code(boost::future_errc::promise_already_satisfied));
- }
- catch (...)
- {
- BOOST_TEST(false);
- }
- }
- {
- typedef A T;
- T i(3);
- boost::promise<T> p;
- boost::future<T> f = p.get_future();
- p.set_value(boost::move(i));
- BOOST_TEST(i.value == 0);
- boost::promise<T> p2(boost::move(p));
- BOOST_TEST(f.get().value == 3);
- }
- {
- typedef A T;
- T i(3);
- boost::promise<T> p;
- boost::future<T> f = p.get_future();
- p.set_value(boost::move(i));
- BOOST_TEST(i.value == 0);
- boost::promise<T> p2(boost::move(p));
- boost::future<T> f2(boost::move(f));
- BOOST_TEST(f2.get().value == 3);
- }
- {
- typedef A T;
- T i(3);
- boost::promise<T> p;
- p.set_value(boost::move(i));
- BOOST_TEST(i.value == 0);
- boost::promise<T> p2(boost::move(p));
- boost::future<T> f = p2.get_future();
- BOOST_TEST(f.get().value == 3);
- }
- {
- typedef boost::future<int> T;
- boost::promise<int> pi;
- T fi=pi.get_future();
- pi.set_value(3);
- boost::promise<T> p;
- boost::future<T> f = p.get_future();
- p.set_value(boost::move(fi));
- boost::future<T> f2(boost::move(f));
- BOOST_TEST(f2.get().get() == 3);
- }
- return boost::report_errors();
- }
|