variadic_pass.cpp 12 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300
  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) 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. // template <class T, class Ts>
  15. // future<tuple<T, Ts...>> when_all(T&&, Ts&& ...);
  16. #include <boost/config.hpp>
  17. #if ! defined BOOST_NO_CXX11_DECLTYPE
  18. #define BOOST_RESULT_OF_USE_DECLTYPE
  19. #endif
  20. #define BOOST_THREAD_VERSION 4
  21. #include <boost/thread/future.hpp>
  22. #include <boost/detail/lightweight_test.hpp>
  23. #include <stdexcept>
  24. #ifdef BOOST_MSVC
  25. #pragma warning(disable: 4127) // conditional expression is constant
  26. #endif
  27. int p1()
  28. {
  29. boost::this_thread::sleep_for(boost::chrono::milliseconds(100));
  30. return 123;
  31. }
  32. int thr()
  33. {
  34. throw std::logic_error("123");
  35. }
  36. int p2()
  37. {
  38. boost::this_thread::sleep_for(boost::chrono::milliseconds(200));
  39. return 321;
  40. }
  41. int main()
  42. {
  43. #if defined BOOST_THREAD_PROVIDES_FUTURE_WHEN_ALL_WHEN_ANY
  44. if (0) // todo not yet implemented
  45. { // invalid future copy-constructible
  46. boost::future<int> f1;
  47. boost::future<int> f2 = boost::make_ready_future(321);
  48. BOOST_TEST(! f1.valid());
  49. BOOST_TEST(f2.valid());
  50. boost::future<boost::csbl::tuple<boost::future<int>,boost::future<int> > > all = boost::when_all(boost::move(f1), boost::move(f2));
  51. BOOST_TEST(! f1.valid());
  52. BOOST_TEST(! f2.valid());
  53. BOOST_TEST(all.valid());
  54. boost::csbl::tuple<boost::future<int>,boost::future<int> > res = all.get();
  55. BOOST_TEST(boost::csbl::get<0>(res).valid());
  56. BOOST_TEST(boost::csbl::get<0>(res).is_ready());
  57. // has exception
  58. //BOOST_TEST(boost::csbl::get<0>(res).get() == 123);
  59. BOOST_TEST(boost::csbl::get<1>(res).valid());
  60. BOOST_TEST(boost::csbl::get<1>(res).is_ready());
  61. BOOST_TEST(boost::csbl::get<1>(res).get() == 321);
  62. }
  63. { // is_ready future copy-constructible
  64. boost::future<int> f1 = boost::make_ready_future(123);
  65. boost::future<int> f2 = boost::make_ready_future(321);
  66. BOOST_TEST(f1.valid());
  67. BOOST_TEST(f1.is_ready());
  68. BOOST_TEST(f2.valid());
  69. BOOST_TEST(f2.is_ready());
  70. boost::future<boost::csbl::tuple<boost::future<int>,boost::future<int> > > all = boost::when_all(boost::move(f1), boost::move(f2));
  71. BOOST_TEST(! f1.valid());
  72. BOOST_TEST(! f2.valid());
  73. BOOST_TEST(all.valid());
  74. if (0) // todo FAILS not yet implemented
  75. BOOST_TEST(all.is_ready());
  76. boost::csbl::tuple<boost::future<int>,boost::future<int> > res = all.get();
  77. BOOST_TEST(boost::csbl::get<0>(res).valid());
  78. BOOST_TEST(boost::csbl::get<0>(res).is_ready());
  79. BOOST_TEST(boost::csbl::get<0>(res).get() == 123);
  80. BOOST_TEST(boost::csbl::get<1>(res).valid());
  81. BOOST_TEST(boost::csbl::get<1>(res).is_ready());
  82. BOOST_TEST(boost::csbl::get<1>(res).get() == 321);
  83. }
  84. { // is_ready shared_future copy-constructible
  85. boost::shared_future<int> f1 = boost::make_ready_future(123).share();
  86. boost::shared_future<int> f2 = boost::make_ready_future(321).share();
  87. BOOST_TEST(f1.valid());
  88. BOOST_TEST(f1.is_ready());
  89. BOOST_TEST(f2.valid());
  90. BOOST_TEST(f2.is_ready());
  91. boost::future<boost::csbl::tuple<boost::shared_future<int>,boost::shared_future<int> > > all = boost::when_all(f1, f2);
  92. BOOST_TEST(f1.valid());
  93. BOOST_TEST(f2.valid());
  94. BOOST_TEST(all.valid());
  95. if (0) // todo FAILS not yet implemented
  96. BOOST_TEST(all.is_ready());
  97. boost::csbl::tuple<boost::shared_future<int>,boost::shared_future<int> > res = all.get();
  98. BOOST_TEST(boost::csbl::get<0>(res).valid());
  99. BOOST_TEST(boost::csbl::get<0>(res).is_ready());
  100. BOOST_TEST(boost::csbl::get<0>(res).get() == 123);
  101. BOOST_TEST(boost::csbl::get<1>(res).valid());
  102. BOOST_TEST(boost::csbl::get<1>(res).is_ready());
  103. BOOST_TEST(boost::csbl::get<1>(res).get() == 321);
  104. }
  105. { // packaged_task future copy-constructible
  106. boost::packaged_task<int()> pt1(&p1);
  107. boost::future<int> f1 = pt1.get_future();
  108. BOOST_TEST(f1.valid());
  109. boost::packaged_task<int()> pt2(&p2);
  110. boost::future<int> f2 = pt2.get_future();
  111. BOOST_TEST(f2.valid());
  112. boost::future<boost::csbl::tuple<boost::future<int>,boost::future<int> > > all = boost::when_all(boost::move(f1), boost::move(f2));
  113. BOOST_TEST(! f1.valid());
  114. BOOST_TEST(! f2.valid());
  115. BOOST_TEST(all.valid());
  116. pt1();
  117. pt2();
  118. boost::csbl::tuple<boost::future<int>,boost::future<int> > res = all.get();
  119. BOOST_TEST(boost::csbl::get<0>(res).valid());
  120. BOOST_TEST(boost::csbl::get<0>(res).is_ready());
  121. BOOST_TEST(boost::csbl::get<0>(res).get() == 123);
  122. BOOST_TEST(boost::csbl::get<1>(res).valid());
  123. BOOST_TEST(boost::csbl::get<1>(res).is_ready());
  124. BOOST_TEST(boost::csbl::get<1>(res).get() == 321);
  125. }
  126. { // packaged_task future copy-constructible
  127. boost::packaged_task<int()> pt1(&thr);
  128. boost::future<int> f1 = pt1.get_future();
  129. BOOST_TEST(f1.valid());
  130. boost::packaged_task<int()> pt2(&p2);
  131. boost::future<int> f2 = pt2.get_future();
  132. BOOST_TEST(f2.valid());
  133. boost::future<boost::csbl::tuple<boost::future<int>,boost::future<int> > > all = boost::when_all(boost::move(f1), boost::move(f2));
  134. BOOST_TEST(! f1.valid());
  135. BOOST_TEST(! f2.valid());
  136. BOOST_TEST(all.valid());
  137. pt1();
  138. pt2();
  139. boost::csbl::tuple<boost::future<int>,boost::future<int> > res = all.get();
  140. BOOST_TEST(boost::csbl::get<0>(res).valid());
  141. BOOST_TEST(boost::csbl::get<0>(res).is_ready());
  142. try {
  143. boost::csbl::get<0>(res).get();
  144. BOOST_TEST(false);
  145. } catch (std::logic_error& ex) {
  146. BOOST_TEST(ex.what() == std::string("123"));
  147. } catch (...) {
  148. BOOST_TEST(false);
  149. }
  150. BOOST_TEST(boost::csbl::get<1>(res).valid());
  151. BOOST_TEST(boost::csbl::get<1>(res).is_ready());
  152. BOOST_TEST(boost::csbl::get<1>(res).get() == 321);
  153. }
  154. { // packaged_task shared_future copy-constructible
  155. boost::packaged_task<int()> pt1(&p1);
  156. boost::shared_future<int> f1 = pt1.get_future().share();
  157. BOOST_TEST(f1.valid());
  158. boost::packaged_task<int()> pt2(&p2);
  159. boost::shared_future<int> f2 = pt2.get_future().share();
  160. BOOST_TEST(f2.valid());
  161. boost::future<boost::csbl::tuple<boost::shared_future<int>,boost::shared_future<int> > > all = boost::when_all(f1, f2);
  162. BOOST_TEST(f1.valid());
  163. BOOST_TEST(f2.valid());
  164. BOOST_TEST(all.valid());
  165. BOOST_TEST(! all.is_ready());
  166. pt1();
  167. BOOST_TEST(! all.is_ready());
  168. pt2();
  169. boost::this_thread::sleep_for(boost::chrono::milliseconds(300));
  170. BOOST_TEST(all.is_ready());
  171. boost::csbl::tuple<boost::shared_future<int>,boost::shared_future<int> > res = all.get();
  172. BOOST_TEST(boost::csbl::get<0>(res).valid());
  173. BOOST_TEST(boost::csbl::get<0>(res).is_ready());
  174. BOOST_TEST(boost::csbl::get<0>(res).get() == 123);
  175. BOOST_TEST(boost::csbl::get<1>(res).valid());
  176. BOOST_TEST(boost::csbl::get<1>(res).is_ready());
  177. BOOST_TEST(boost::csbl::get<1>(res).get() == 321);
  178. }
  179. { // async future copy-constructible
  180. boost::future<int> f1 = boost::async(boost::launch::async, &p1);
  181. BOOST_TEST(f1.valid());
  182. boost::future<int> f2 = boost::async(boost::launch::async, &p2);
  183. BOOST_TEST(f2.valid());
  184. boost::future<boost::csbl::tuple<boost::future<int>,boost::future<int> > > all = boost::when_all(boost::move(f1), boost::move(f2));
  185. BOOST_TEST(! f1.valid());
  186. BOOST_TEST(! f2.valid());
  187. BOOST_TEST(all.valid());
  188. boost::csbl::tuple<boost::future<int>,boost::future<int> > res = all.get();
  189. BOOST_TEST(boost::csbl::get<0>(res).valid());
  190. BOOST_TEST(boost::csbl::get<0>(res).is_ready());
  191. BOOST_TEST(boost::csbl::get<0>(res).get() == 123);
  192. BOOST_TEST(boost::csbl::get<1>(res).valid());
  193. BOOST_TEST(boost::csbl::get<1>(res).is_ready());
  194. BOOST_TEST(boost::csbl::get<1>(res).get() == 321);
  195. }
  196. { // async shared_future copy-constructible
  197. boost::shared_future<int> f1 = boost::async(boost::launch::async, &p1).share();
  198. BOOST_TEST(f1.valid());
  199. boost::shared_future<int> f2 = boost::async(boost::launch::async, &p2).share();
  200. BOOST_TEST(f2.valid());
  201. boost::future<boost::csbl::tuple<boost::shared_future<int>,boost::shared_future<int> > > all = boost::when_all(f1, f2);
  202. BOOST_TEST(f1.valid());
  203. BOOST_TEST(f2.valid());
  204. BOOST_TEST(all.valid());
  205. boost::csbl::tuple<boost::shared_future<int>,boost::shared_future<int> > res = all.get();
  206. BOOST_TEST(boost::csbl::get<0>(res).valid());
  207. BOOST_TEST(boost::csbl::get<0>(res).is_ready());
  208. BOOST_TEST(boost::csbl::get<0>(res).get() == 123);
  209. BOOST_TEST(boost::csbl::get<1>(res).valid());
  210. BOOST_TEST(boost::csbl::get<1>(res).is_ready());
  211. BOOST_TEST(boost::csbl::get<1>(res).get() == 321);
  212. }
  213. { // async future copy-constructible
  214. boost::future<int> f1 = boost::async(boost::launch::async, &p1);
  215. BOOST_TEST(f1.valid());
  216. boost::future<int> f2 = boost::make_ready_future(321);
  217. BOOST_TEST(f2.valid());
  218. BOOST_TEST(f2.is_ready());
  219. boost::future<boost::csbl::tuple<boost::future<int>,boost::future<int> > > all = boost::when_all(boost::move(f1), boost::move(f2));
  220. BOOST_TEST(! f1.valid());
  221. BOOST_TEST(! f2.valid());
  222. BOOST_TEST(all.valid());
  223. boost::csbl::tuple<boost::future<int>,boost::future<int> > res = all.get();
  224. BOOST_TEST(boost::csbl::get<0>(res).valid());
  225. BOOST_TEST(boost::csbl::get<0>(res).is_ready());
  226. BOOST_TEST(boost::csbl::get<0>(res).get() == 123);
  227. BOOST_TEST(boost::csbl::get<1>(res).valid());
  228. BOOST_TEST(boost::csbl::get<1>(res).is_ready());
  229. BOOST_TEST(boost::csbl::get<1>(res).get() == 321);
  230. }
  231. #if defined BOOST_THREAD_PROVIDES_VARIADIC_THREAD
  232. // fixme darwin-4.8.0_11 terminate called without an active exception
  233. { // deferred future copy-constructible
  234. boost::future<int> f1 = boost::async(boost::launch::deferred, &p1);
  235. boost::future<int> f2 = boost::async(boost::launch::deferred, &p2);
  236. boost::future<boost::csbl::tuple<boost::future<int>,boost::future<int> > > all = boost::when_all(boost::move(f1), boost::move(f2));
  237. BOOST_TEST(! f1.valid());
  238. BOOST_TEST(! f2.valid());
  239. BOOST_TEST(all.valid());
  240. boost::csbl::tuple<boost::future<int>,boost::future<int> > res = all.get();
  241. BOOST_TEST(boost::csbl::get<0>(res).valid());
  242. BOOST_TEST(boost::csbl::get<0>(res).is_ready());
  243. BOOST_TEST(boost::csbl::get<1>(res).valid());
  244. BOOST_TEST(boost::csbl::get<1>(res).is_ready());
  245. BOOST_TEST(boost::csbl::get<0>(res).get() == 123);
  246. BOOST_TEST(boost::csbl::get<1>(res).get() == 321);
  247. }
  248. // fixme darwin-4.8.0_11 terminate called without an active exception
  249. { // deferred shared_future copy-constructible
  250. boost::shared_future<int> f1 = boost::async(boost::launch::deferred, &p1).share();
  251. boost::shared_future<int> f2 = boost::async(boost::launch::deferred, &p2).share();
  252. boost::future<boost::csbl::tuple<boost::shared_future<int>,boost::shared_future<int> > > all = boost::when_all(f1, f2);
  253. BOOST_TEST(f1.valid());
  254. BOOST_TEST(f2.valid());
  255. BOOST_TEST(all.valid());
  256. boost::csbl::tuple<boost::shared_future<int>,boost::shared_future<int> > res = all.get();
  257. BOOST_TEST(boost::csbl::get<0>(res).valid());
  258. BOOST_TEST(boost::csbl::get<0>(res).is_ready());
  259. BOOST_TEST(boost::csbl::get<1>(res).valid());
  260. BOOST_TEST(boost::csbl::get<1>(res).is_ready());
  261. BOOST_TEST(boost::csbl::get<0>(res).get() == 123);
  262. BOOST_TEST(boost::csbl::get<1>(res).get() == 321);
  263. }
  264. #endif
  265. #if ! defined BOOST_NO_CXX11_LAMBDAS
  266. { // async futures copy-constructible then()
  267. boost::future<int> f1 = boost::async(boost::launch::async, &p1);
  268. BOOST_TEST(f1.valid());
  269. boost::future<int> f2 = boost::async(boost::launch::async, &p2);
  270. BOOST_TEST(f2.valid());
  271. boost::future<boost::csbl::tuple<boost::future<int>,boost::future<int> > > all = boost::when_all(boost::move(f1), boost::move(f2));
  272. BOOST_TEST(! f1.valid());
  273. BOOST_TEST(! f2.valid());
  274. BOOST_TEST(all.valid());
  275. boost::future<int> sum = all.then([](boost::future<boost::csbl::tuple<boost::future<int>, boost::future<int> > > f)
  276. {
  277. boost::csbl::tuple<boost::future<int>,boost::future<int> > v = f.get();
  278. return boost::csbl::get<0>(v).get()+boost::csbl::get<1>(v).get();
  279. });
  280. BOOST_TEST(sum.valid());
  281. BOOST_TEST(sum.get() == 444);
  282. }
  283. #endif
  284. #endif
  285. return boost::report_errors();
  286. }