set_rvalue_pass.cpp 5.8 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297
  1. //===----------------------------------------------------------------------===//
  2. //
  3. // The LLVM Compiler Infrastructure
  4. //
  5. // This file is dual licensed under the MIT and the University of Illinois Open
  6. // Source Licenses. See LICENSE.TXT for details.
  7. //
  8. //===----------------------------------------------------------------------===//
  9. // Copyright (C) 2011,2014 Vicente J. Botet Escriba
  10. //
  11. // Distributed under the Boost Software License, Version 1.0. (See accompanying
  12. // file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
  13. // <boost/thread/future.hpp>
  14. // class promise<R>
  15. // void promise::set_value(R&& r);
  16. #define BOOST_THREAD_VERSION 3
  17. #include <boost/thread/future.hpp>
  18. #include <boost/detail/lightweight_test.hpp>
  19. #include <boost/static_assert.hpp>
  20. struct A
  21. {
  22. A() :
  23. value(0)
  24. {
  25. }
  26. A(int i) :
  27. value(i)
  28. {
  29. }
  30. BOOST_THREAD_MOVABLE_ONLY(A)
  31. A(BOOST_THREAD_RV_REF(A) rhs)
  32. {
  33. if(rhs.value==0)
  34. throw 9;
  35. else
  36. {
  37. value=rhs.value;
  38. rhs.value=0;
  39. }
  40. }
  41. A& operator=(BOOST_THREAD_RV_REF(A) rhs)
  42. {
  43. if(rhs.value==0)
  44. throw 9;
  45. else
  46. {
  47. value=rhs.value;
  48. rhs.value=0;
  49. }
  50. return *this;
  51. }
  52. int value;
  53. };
  54. A make(int i) {
  55. return A(i);
  56. }
  57. struct movable2
  58. {
  59. int value_;
  60. BOOST_THREAD_MOVABLE_ONLY(movable2)
  61. movable2() : value_(1){}
  62. movable2(int i) : value_(i){}
  63. //Move constructor and assignment
  64. movable2(BOOST_RV_REF(movable2) m)
  65. { value_ = m.value_; m.value_ = 0; }
  66. movable2 & operator=(BOOST_THREAD_RV_REF(movable2) m)
  67. { value_ = m.value_; m.value_ = 0; return *this; }
  68. bool moved() const //Observer
  69. { return !value_; }
  70. int value() const //Observer
  71. { return value_; }
  72. };
  73. movable2 move_return_function2(int i) {
  74. return movable2(i);
  75. }
  76. int main()
  77. {
  78. #if defined BOOST_NO_CXX11_RVALUE_REFERENCES
  79. BOOST_STATIC_ASSERT((boost::is_copy_constructible<movable2>::value == false));
  80. BOOST_STATIC_ASSERT((boost::has_move_emulation_enabled<movable2>::value == true));
  81. BOOST_STATIC_ASSERT((boost::is_copy_constructible<A>::value == false));
  82. BOOST_STATIC_ASSERT((boost::has_move_emulation_enabled<A>::value == true));
  83. #endif
  84. {
  85. typedef A T;
  86. T i;
  87. boost::promise<T> p;
  88. boost::future<T> f = p.get_future();
  89. try
  90. {
  91. p.set_value(boost::move(i));
  92. BOOST_TEST(false);
  93. }
  94. catch (int j)
  95. {
  96. BOOST_TEST(j == 9);
  97. }
  98. catch (...)
  99. {
  100. BOOST_TEST(false);
  101. }
  102. }
  103. {
  104. typedef A T;
  105. T i;
  106. boost::promise<T> p;
  107. boost::future<T> f = p.get_future();
  108. try
  109. {
  110. p.set_value_deferred(boost::move(i));
  111. BOOST_TEST(!f.is_ready());
  112. p.notify_deferred();
  113. BOOST_TEST(false);
  114. }
  115. catch (int j)
  116. {
  117. BOOST_TEST(j == 9);
  118. }
  119. catch (...)
  120. {
  121. BOOST_TEST(false);
  122. }
  123. }
  124. {
  125. typedef A T;
  126. T i;
  127. boost::promise<T> p;
  128. boost::future<T> f = p.get_future();
  129. try
  130. {
  131. p.set_value((T()));
  132. BOOST_TEST(false);
  133. }
  134. catch (int j)
  135. {
  136. BOOST_TEST(j == 9);
  137. }
  138. catch (...)
  139. {
  140. BOOST_TEST(false);
  141. }
  142. }
  143. {
  144. typedef A T;
  145. T i;
  146. boost::promise<T> p;
  147. boost::future<T> f = p.get_future();
  148. try
  149. {
  150. p.set_value_deferred((T()));
  151. BOOST_TEST(false);
  152. }
  153. catch (int j)
  154. {
  155. BOOST_TEST(j == 9);
  156. }
  157. catch (...)
  158. {
  159. BOOST_TEST(false);
  160. }
  161. }
  162. {
  163. typedef A T;
  164. T i(3);
  165. boost::promise<T> p;
  166. boost::future<T> f = p.get_future();
  167. p.set_value(boost::move(i));
  168. BOOST_TEST(f.get().value == 3);
  169. try
  170. {
  171. T j(3);
  172. p.set_value(boost::move(j));
  173. BOOST_TEST(false);
  174. }
  175. catch (const boost::future_error& e)
  176. {
  177. BOOST_TEST(e.code() == boost::system::make_error_code(boost::future_errc::promise_already_satisfied));
  178. }
  179. catch (...)
  180. {
  181. BOOST_TEST(false);
  182. }
  183. }
  184. {
  185. movable2 i(3);
  186. boost::promise<movable2> p;
  187. boost::future<movable2> f = p.get_future();
  188. p.set_value(move_return_function2(3));
  189. BOOST_TEST(f.get().value_ == 3);
  190. try
  191. {
  192. movable2 j(3);
  193. p.set_value(boost::move(j));
  194. BOOST_TEST(false);
  195. }
  196. catch (const boost::future_error& e)
  197. {
  198. BOOST_TEST(e.code() == boost::system::make_error_code(boost::future_errc::promise_already_satisfied));
  199. }
  200. catch (...)
  201. {
  202. BOOST_TEST(false);
  203. }
  204. }
  205. {
  206. boost::promise<A> p;
  207. boost::future<A> f = p.get_future();
  208. p.set_value(make(3));
  209. BOOST_TEST(f.get().value == 3);
  210. try
  211. {
  212. A j(3);
  213. p.set_value(boost::move(j));
  214. BOOST_TEST(false);
  215. }
  216. catch (const boost::future_error& e)
  217. {
  218. BOOST_TEST(e.code() == boost::system::make_error_code(boost::future_errc::promise_already_satisfied));
  219. }
  220. catch (...)
  221. {
  222. BOOST_TEST(false);
  223. }
  224. }
  225. {
  226. typedef A T;
  227. T i(3);
  228. boost::promise<T> p;
  229. boost::future<T> f = p.get_future();
  230. p.set_value(boost::move(i));
  231. BOOST_TEST(i.value == 0);
  232. boost::promise<T> p2(boost::move(p));
  233. BOOST_TEST(f.get().value == 3);
  234. }
  235. {
  236. typedef A T;
  237. T i(3);
  238. boost::promise<T> p;
  239. boost::future<T> f = p.get_future();
  240. p.set_value(boost::move(i));
  241. BOOST_TEST(i.value == 0);
  242. boost::promise<T> p2(boost::move(p));
  243. boost::future<T> f2(boost::move(f));
  244. BOOST_TEST(f2.get().value == 3);
  245. }
  246. {
  247. typedef A T;
  248. T i(3);
  249. boost::promise<T> p;
  250. p.set_value(boost::move(i));
  251. BOOST_TEST(i.value == 0);
  252. boost::promise<T> p2(boost::move(p));
  253. boost::future<T> f = p2.get_future();
  254. BOOST_TEST(f.get().value == 3);
  255. }
  256. {
  257. typedef boost::future<int> T;
  258. boost::promise<int> pi;
  259. T fi=pi.get_future();
  260. pi.set_value(3);
  261. boost::promise<T> p;
  262. boost::future<T> f = p.get_future();
  263. p.set_value(boost::move(fi));
  264. boost::future<T> f2(boost::move(f));
  265. BOOST_TEST(f2.get().get() == 3);
  266. }
  267. return boost::report_errors();
  268. }